Point-Free Geometry and Verisimilitude of Theories

A metric approach to Popper’s verisimilitude question is proposed which is related to point-free geometry. Indeed, we define the theory of approximate metric spaces whose primitive notions are regions, inclusion relation, minimum distance, and maximum distance between regions. Then, we show that the class of possible scientific theories has the structure of an approximate metric space. So, we can define the verisimilitude of a theory as a function of its (approximate) distance from the truth. This avoids some of the difficulties arising from the known definitions of verisimilitude.

[1]  Ilkka Niiniluoto,et al.  Is Science Progressive , 1984 .

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

[3]  Pierre-Yves Schobbens,et al.  Belief Revision and Verisimilitude , 1995, Notre Dame J. Formal Log..

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

[5]  Geometry Without Points , 1985 .

[6]  Francis Buekenhout.  Handbook of incidence geometry : buildings and foundations , 1995 .

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

[8]  Leonard M. Blumenthal,et al.  Theory and applications of distance geometry , 1954 .

[9]  M. Sachs.  Objective Knowledge , 1974 .

[10]  Giangiacomo Gerla,et al.  Pointless metric spaces , 1990, Journal of Symbolic Logic.

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

[12]  Giangiacomo Gerla.  Distances, diameters and verisimilitude of theories , 1992, Arch. Math. Log..

[13]  Giangiacomo Gerla.  Chapter 18 – Pointless Geometries , 1995 .

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

[15]  Karel L. de Bouvère.  Remarks on classification of theories by their complete extensions , 1969, Notre Dame J. Formal Log..

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

[17]  Alfred North Whitehead,et al.  An enquiry concerning the principles of natural knowledge , 1919 .

[18]  Giangiacomo Gerla,et al.  Fuzzy Logic: Mathematical Tools for Approximate Reasoning , 2001 .

[19]  L. Birch,et al.  The concept of nature , 1992 .

[20]  John H. Harris.  POPPER'S DEFINITIONS OF ‘VERISIMILITUDE’1 , 1974, The British Journal for the Philosophy of Science.