An impossibility theorem for verisimilitude

In this paper, we show that Arrow’s well-known impossibility theorem is instrumental in bringing the ongoing discussion about verisimilitude to a more general level of abstraction. After some preparatory technical steps, we show that Arrow’s requirements for voting procedures in social choice are also natural desiderata for a general verisimilitude definition that places content and likeness considerations on the same footing. Our main result states that no qualitative unifying procedure of a functional form can simultaneously satisfy the requirements of Unanimity, Independence of irrelevant alternatives and Non-dictatorship at the level of sentence variables. By giving a formal account of the incompatibility of the considerations of content and likeness, our impossibility result makes it possible to systematize the discussion about verisimilitude, and to understand it in more general terms.

[1]  David W. Miller.  On Distance from the Truth as a True Distance , 1979 .

[2]  Theo A.F. Kuipers,et al.  Approaching descriptive and theoretical truth , 1982 .

[3]  Better Theories , 1975, Philosophy of Science.

[4]  Klemens Szaniawski,et al.  Formal methods in the methodology of empirical sciences : proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974 , 1976 .

[5]  G. Gorham.  Similarity as an Intertheory Relation , 1996, Philosophy of Science.

[6]  Husain Sarkar,et al.  Anti-Realism Against Methodology , 1998, Synthese.

[7]  J. Heidema,et al.  Comparing Theories by their Positive and Negative Contents , 1994, The British Journal for the Philosophy of Science.

[8]  K. Popper.  Objective Knowledge: An Evolutionary Approach , 1972 .

[9]  K. Popper,et al.  Conjectures and Refutations , 1963 .

[10]  Ilkka Niiniluoto,et al.  Content and Likeness Definitions of Truthlikeness , 2003 .

[11]  K. Arrow.  A Difficulty in the Concept of Social Welfare , 1950, Journal of Political Economy.

[12]  L. A. Goodman,et al.  Social Choice and Individual Values , 1951 .

[13]  Teresa Britton,et al.  The Problem of Verisimilitude and Counting Partially Identical Properties , 2004, Synthese.

[14]  A. Sen,et al.  Collective Choice and Social Welfare , 2017 .

[15]  Jaakko Hintikka,et al.  Philosophy and Logic in Search of the Polish Tradition : Essays in Honor of Jan Wole Nski on the Occasion of His 60th Birthday , 2003 .

[16]  T. Kuipers.  From Instrumentalism to Constructive Realism: On Some Relations between Confirmation, Empirical Progress, and Truth Approximation , 2000 .

[17]  Jaakko Hintikka,et al.  Essays on Mathematical and Philosophical Logic , 1979 .

[18]  Roberto Festa,et al.  Confirmation, Empirical Progress, and Truth Approximation , 2005 .

[19]  G. Oddie.  Likeness to Truth , 1986 .

[20]  David Miller,et al.  Out of Error: Further Essays on Critical Rationalism , 2006 .

[21]  Johannes Heidema,et al.  Merging Inference and Conjecture by Information , 2002, Synthese.

[22]  David W. Miller.  POPPER'S QUALITATIVE THEORY OF VERISIMILITUDE , 1974, The British Journal for the Philosophy of Science.

[23]  P. Tichý,et al.  ON POPPER'S DEFINITIONS OF VERISIMILITUDE1 , 1974, The British Journal for the Philosophy of Science.

[24]  George Henry Radcliffe Parkinson,et al.  Philosophy and logic , 1994 .

[25]  I. Niiniluoto.  Verisimilitude: The Third Period , 1998, The British Journal for the Philosophy of Science.

[26]  J. Geanakoplos.  Three brief proofs of Arrow’s Impossibility Theorem , 2001 .

[27]  Risto Hilpinen,et al.  Approximate Truth and Truthlikeness , 1976 .