Online research in philosophy

In this rather technical paper we establish a useful combination of belief revision and verisimilitude according to which better theories provide better predictions, and revising with more verisimilar data results in theories that are closer to the truth. Moreover, this paper presents two alternative definitions of refined verisimilitude, which are more perspicuous than the algebraic version used in previous publications.

Zwart and Franssen’s impossibility theorem reveals a conflict between the possible-world-based content-definition and the possible-world-based likeness-definition of verisimilitude. In Sect. 2 we show that the possible-world-based content-definition violates four basic intuitions of Popper’s consequence-based content-account to verisimilitude, and therefore cannot be said to be in the spirit of Popper’s account, although this is the opinion of some prominent authors. In Sect. 3 we argue that in consequence-accounts , content-aspects and likeness-aspects of verisimilitude are not in conflict with each other, but in agreement . We explain this fact by pointing towards the deep difference between possible-world- and the consequence-accounts, which does not lie in the difference between syntactic (object-language) versus semantic (meta-language) formulations, but in the difference between ‘disjunction-of-possible-worlds’ versus ‘conjunction-of-parts’ representations of theories. Drawing on earlier work, we explain in Sect. 4 how the shortcomings of Popper’s original definition can be repaired by what we call the relevant element approach. We propose a quantitative likeness-definition of verisimilitude based on relevant elements which provably agrees with the qualitative relevant content-definition of verisimilitude on all pairs of comparable theories. We conclude the paper with a plea for consequence-accounts and a brief analysis of the problem of language-dependence (Sect. 6).

An epistemic notion of verisimilitude (as the degree in which a theory seems closer to the full truth to a scientific community) is defined in several ways. Application to the structuralist description of theories is carried out by introducing a notion of empirical regularity in structuralist terms. It is argued that these definitions of verisimilitude can be used to give formal reconstructions of scientific methodologies such as falsificationism, conventionalism and normal science.

Karl Popper introduced the idea of verisimilitude to explicate the intuitive idea that a theory T2, even though it is strictly speaking false, may be closer to the truth than a competitor T1. However, as is now well known, the results of Pavel Tichý, John Harris and David Miller establish that on Popper’s qualitative theory of verisimilitude, a theory T2 could be closer to the truth than another theory T1 only if T2 contains no false sentences. This result has been taken universally to show the inadequacy of Popper’s original account of verisimilitude, since the Miller-Tichý-Harris Theorem conflicts with the very basic intuition which first led Popper to formulate his theory.In this paper I shall first review the Miller-Tichý-Harris Theorem and examine a number of attempts to salvage the concept of verisimilitude. It will be argued that none of these attempts is successful. Finally an alternative, simple and intuitively satisfactory account of verisimilitude will be offered. This account will be along the lines first suggested by Popper, but it is not subject to any known limitation theorem. Further, the account is capable of giving verisimilitude orderings between not only scientific theories, but philosophical theories as well. This will be achieved without the use of the excessive formalism which dominates the contemporary verisimilitude research programs.

I. A. Kieseppä's criticism of the methodological use of the theory of verisimilitude, and D. B. Resnik's arguments against the explanation of scientific method by appeal to scientific aims are critically considered. Since the notion of verisimilitude was introduced as an attempt to show that science can be seen as a rational enterprise in the pursuit of truth, defenders of the verisimilitude programme need to show that scientific norms can be interpreted (at least in principle) as rules that try to increase the degree of truthlikeness of scientific theories. This possibility is explored for several approaches to the problem of verisimilitude.

I. A. Kieseppä''s criticism of the methodological use of the theory of verisimilitude, and D. B. Resnik''s arguments against the explanation of scientific method by appeal to scientific aims are critically considered. Since the notion of verisimilitude was introduced as an attempt to show that science can be seen as a rational enterprise in the pursuit of truth, defenders of the verisimilitude programme need to show that scientific norms can be interpreted (at least in principle) as rules that try to increase the degree of truthlikeness of scientific theories. This possibility is explored for several approaches to the problem of verisimilitude.

The expansion or revision of false theories by true evidence does not always increase their verisimilitude. After a comparison of different notions of verisimilitude the relation between verisimilitude and belief expansion or revision is investigated within the framework of the relevant element account. We are able to find certain interesting conditions under which both the expansion and the revision of theories by true evidence is guaranteed to increase their verisimilitude.

2 Popper's Logical Definition of Verisimilitude. 3 Popper's Probabilistic Definition of Verisimilitude. 4 Conclusion.

ACCORDING TO POPPER, SCIENTIFIC THEORIES ARE TO BE ACCEPTED IN SO FAR AS THEY ARE FALSIFIABLE AND IN SO FAR AS THEY HAVE BEEN CORROBORATED. THE CONCEPTS OF FALSIFIABILITY AND CORROBORATION ARE SUBMITTED TO DETAILED ANALYSIS. THE POINT OF ACCEPTING THEORIES, ACCORDING TO POPPER, IS TO OBTAIN THEORIES OF HIGH VERISIMILITUDE. HOWEVER THE BEST WE CAN DO IS TO OBTAIN THEORIES OF HIGH PROBABLE VERISIMILITUDE. POPPER’S CRITERIA FOR ACCEPTING THEORIES WILL ONLY LEAD TO THEORIES OF HIGH PROBABLE VERISIMILITUDE ON NON-POPPERIAN ASSUMPTIONS ABOUT INDUCTION.

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.