The idea of verisimilitude is implicit in the writings of Albert Einstein ever since 1905, when he declared the distribution of field energy according to Maxwell's theory an approximation to that according to quantum-radiation theory, and Newtonian kinetic energy an approximation to his relativistic mass-energy. All his life Einstein presented new ideas as yielding older established ones as special cases and first approximations. The news has reached the philosophical community via the writings of Sir Karl Popper half-a-century after Einstein's (...) trailblazing conception — first in his epoch-making "Note on Berkeley as a Precursor to Mach" and then in his classic "Three Views Concerning Human Knowledge" (both reissued in his Conjectures and Refutations, 1963). (shrink)

1. Sir Karl Popper has offered two different theories of scientific progress, his theory of conjectures and refutations and corroboration, as well as his theory of verisimilitude increase. The former was attacked by some old-fashioned inductivists, yet is triumphant; the latter has been refuted by Tichy and by Miller to Popper’s own satisfaction. Oddly, however, the theory of verisimilitude was developed because of some deficiency in the theory of corroboration, and though in its present precise formulation it was refuted, Popper (...) still holds it in general terms, and I think he still hopes to find a better precise formulation of it. My aims in the present note are to pin-point the deficiency of Popper’s theory of corroboration and to use this for a precise formulation of verisimilitude increase acceptable to him. For my part, however, I see the situation in a different way, as will be indicated at the end of this note. (shrink)

JOSEPH AGASSI 1. Sir Karl Popper has offered two different theories of scientific progress, his theory of conjectures and refutations and corroboration, as well as his theory of verisimilitude increase. The former was attacked by some old-fashioned inductivists, yet is triumphant; the latter has been refuted by Tichy and by Miller to Popper’s own satisfaction. Oddly, however, the theory of verisimilitude was developed because of some deficiency in the theory of corroboration, and though in its present precise formulation it was (...) refuted, Popper still holds it in general terms, and I think he still hopes to find a better precise formulation of it. My aims in the present note are to pin-point the deficiency of Popper’s theory of corroboration and to use this for a precise formulation of verisimilitude increase acceptable to him. For my part, however, I see the situation in a different way, as will be indicated at the end of this note. (shrink)

D. Miller's demonstrations of the language dependence of truthlikeness raise a profound problem for the claim that scientific progress is objective. In two recent papers (Barnes 1990, 1991) I argue that the objectivity of progress may be grounded on the claim that the aim of science is not merely truth but knowledge; progress thus construed is objective in an epistemic sense. In this paper I construct a new solution to Miller's problem grounded on the notion of "approximate causal explanation" which (...) allows for linguistically invariant progress outside an epistemic context. I suggest that the notion of "approximate causal explanation" provides the resources for a more robust theory of progress than that provided by the notion of "approximate truth.". (shrink)

This paper proposes a solution to David Miller's Minnesotan-Arizonan demonstration of the language dependence of truthlikeness (Miller 1974), along with Miller's first-order demonstration of the same (Miller 1978). It is assumed, with Peter Urbach, that the implication of these demonstrations is that the very notion of truthlikeness is intrinsically language dependent and thus non-objective. As such, truthlikeness cannot supply a basis for an objective account of scientific progress. I argue that, while Miller is correct in arguing that the number of (...) true atomic sentences of a false theory is language dependent, the number of known sentences (under certain straightforward assumptions) is conserved by translation; degree of knowledge, unlike truthlikeness, is thus a linguistically invariant notion. It is concluded that the objectivity of scientific progress must be grounded on the fact (noted in Cohen 1980) that knowledge, not mere truth, is the aim of science. (shrink)

David Miller has demonstrated to the satisfaction of a variety of philosophers that the accuracy of false quantitative theories is language dependent (cf. Miller 1975). This demonstration renders the accuracy-based mode of comparison for such theories obsolete. The purpose of this essay is to supply an alternate basis for theory comparison which in this paper is deemed the knowledge-based mode of quantitative theory comparison. It is argued that the status of a quantitative theory as knowledge depends primarily on the soundness (...) of the measurement procedure which produced the theory; such soundness is invariant, on my view, under Milleresque translations. This point is the basis for the linguistic invariance of knowledgelikeness. When the aim of science is not construed simply in terms of the truthlikeness or accuracy of theories, but in terms of the knowledge such theories embody, Miller's language dependence problem is overcome. One result of this analysis is that the possibility of objective scientific progress is restored, a possibility that Miller's analysis has prima facie defeated. (shrink)

This paper is both a survey and a review of the current state of the debate concerning verisimilitude. As a survey it is intended for the interested outsider who wants both easy access to and some comparison between the respective approaches. As a review it covers the first three books on the topic: those of Oddie. Niiniluoto and Kuipers.

In this paper I propose a solution to the qualitative version of David Miller's verisimilitude reversal argument. Miller (1974) shows that verisimilitude rankings are relative to language choice and hence, are not objective. My solution stems from a reply to an earlier solution proposed by Eric Barnes (1991). Barnes argues that the verisimilitude reversal problem can be solved by revealing an epistemic dimension. I show that Miller's problem cannot be solved by side-stepping foundational metaphysical claims as his epistemic solution suggests. (...) Rather, a substantive metaphysical basis grounds identity relations among properties. The problem of verisimilitude cannot be solved without embracing the fundamental metaphysical distinctions between basic and composite properties that ground the relationship of partial identity among properties. (shrink)

In 1910, only four years before his death, Peirce began an adumbration of a life's worth of major results concerning nondeductive logic—results that he had reached after more than forty-five years of extremely careful and detailed investigations2—as follows: "I must premiss that we, all of us, use this word ["probability"] with a degree of laxity which corrupts and rots our reasoning to a degree that very few of us are at all awake to."3 Peirce continued the adumbration by outlining his (...) mature theory, according to which, contrary to what is generally supposed, there is not just one measure of "falling short of certainty,"4 viz. probability. Rather, there are three utterly distinct and mutually incommensurable .. (shrink)

In logic, including the designer logics of artificial intelligence, and in the philosophy of science, one is often concerned with qualitative, comparative orderings on the states of a system, or on theories expressing information about the system. States may be compared with respect to normality, or some preference criterium, or similarity to some given (set of) state(s). Theories may be compared with respect to logical power, or to truthlikeness, or to how well they capture certain information. We explain a number (...) of these relations, study their properties, and unravel some of their interrelationships. (shrink)

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

We provide a 'verisimilitudinarian' analysis of the well-known Linda paradox or conjunction fallacy, i.e., the fact that most people judge the probability of the conjunctive statement "Linda is a bank teller and is active in the feminist movement" (B & F) as more probable than the isolated statement "Linda is a bank teller" (B), contrary to an uncontroversial principle of probability theory. The basic idea is that experimental participants may judge B & F a better hypothesis about Linda as compared (...) to B because they evaluate B & F as more verisimilar than B. In fact, the hypothesis "feminist bank teller", while less likely to be true than "bank teller", may well be a better approximation to the truth about Linda. (shrink)

In this paper it is argued that qualitative theories (Q-theories) can be used to describe the statistical structure of cross classified populations and that the notion of verisimilitude provides an appropriate tool for measuring the statistical adequacy of Q-theories. First of all, a short outline of the post-Popperian approaches to verisimilitude and of the related verisimilitudinarian non-falsificationist methodologies (VNF-methodologies) is given. Secondly, the notion of Q-theory is explicated, and the qualitative verisimilitude of Q-theories is defined. Afterwards, appropriate measures for the (...) statistical verisimilitude of Q-theories are introduced, so to obtain a clear formulation of the intuitive idea that the statistical truth about cross classified populations can be approached by falsified Q-theories. Finally, it is argued that some basic intuitions underlying VNF-methodologies are shared by the so-called prediction logic, developed by the statisticians and social scientists David K. Hildebrand, James D. Laing and Howard Rosenthal. (shrink)

According to the Bayesian view, scientific hypotheses must be appraised in terms of their posterior probabilities relative to the available experimental data. Such posterior probabilities are derived from the prior probabilities of the hypotheses by applying Bayes'theorem. One of the most important problems arising within the Bayesian approach to scientific methodology is the choice of prior probabilities. Here this problem is considered in detail w.r.t. two applications of the Bayesian approach: (1) the theory of inductive probabilities (TIP) developed by Rudolf (...) Carnap and other epistomologists and (2) the analysis of the multinational inferences provided by Bayesian statstics (BS). ... Zie: Summary. (shrink)

Popper [3] offers a qualitative definition of the relation “p q” = “p is (strictly) closer to the truth than (i.e., strictly more verisimilar than) q”, using the notions of truth (in the actual world) and classical logical consequence ( ), as follows.

Popper’s original definition of verisimilitude in terms of comparisons of truth content and falsity content has known counter-examples. More complicated approaches have met with mixed success. This paper uses a new account of logical content to develop a definition of verisimilitude that is close to Popper’s original account. It is claimed that Popper’s mistake was to couch his account of truth and falsity content in terms of true and false consequences. Comparison to a similar approach by Schurz and Wiengartner show (...) certain advantages of this new approach. (shrink)

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. (shrink)

Science progresses if we succeed in rendering the objects of scientific inquiry more comprehensively or more precisely. Popper tries to formalize this venerable idea. According to him the most comprehensive and most precise description of the world is given by the set T of all true statements. A hypothesis comes the closer to T, or has the more verisimilitude, the more true consequences and the fewer false consequences it implies. Popper proposes to order hypotheses by the inclusion relations between the (...) sets of their true and of their false consequences ("truth contents" and "falsity contents"). A partial ordering would permit one to decide whether the substitution of theory t 1 by t 2 represents scientific progress. But because of the logical relations between the elements of the sets of logical consequences, or contents, false hypotheses cannot be compared. As our theories usually turn out to be false sooner or later, they can seldom be compared as to their verisimilitude and when they can, the result depends only on which theory implies the other and on their truth-values. Popper even tries to define a measure of verisimilitude on the partial ordering. It has to fail for the same reason. In addition he tries to relativize the concept of a content and fails. What is more, any attempt at defining a measure of better or worse correspondence to the whole truth must fail, as there is no justification for saying that any true primitive sentence asserts as much about reality as some other primitive sentence, or more. (shrink)

A qualitative theory of truthlikeness, based on a family of quantitative measures, is developed for hypotheses that are concerned with the values of a finite number of real-valued quantities. Representing hypotheses by subsets of n, I first show that a straightforward application of the basic ideas of the similarity approach to truthlikeness does not work out for hypotheses with zero n-dimensional Lebesgue measure. However, it is easy to give a counterpart for the average measure preferred by Pavel Tichý and Graham (...) Oddie in terms of Hausdorff measures. The task of finding analogies of the min-sum-measure preferred by Ilkka Niiniluoto is more interesting. I present and discuss analogies of two different types for this measure. (shrink)

J. P. Z. Bonilla's methodological approach to truthlikeness is evaluated critically. On a more general level, various senses in which the theory of truthlikeness could be seen as a theory concerned with methodology are distinguished, and it is argued that providing speical sciences with methodological tools is unrealistic as an aim of the theory of verisimilitude. Rather, when developing this theory, one should rest contnet with the more modest aim of conceptual analysis, or of providing explications for the relational concept (...) of being closer to the truth. In addition, some remarks will be made on the difficulties which the similarity approach to truthlikeness has in realizing this aim and which are caused by the important role that Hintikka's constituents have in it. (shrink)

This paper primarily deals with the conceptual prospects for generalizing the aim of abduction from the standard one of explaining surprising or anomalous observations to that of empirical progress or even truth approximation. It turns out that the main abduction task then becomes the instrumentalist task of theory revision aiming at an empirically more successful theory, relative to the available data, but not necessarily compatible with them. The rest, that is, genuine empirical progress as well as observational, referential and theoretical (...) truth approximation, is a matter of evaluation and selection, and possibly new generation tasks for further improvement. The paper concludes with a survey of possible points of departure, in AI and logic, for computational treatment of the instrumentalist task guided by the ‘comparative evaluation matrix’. (shrink)

In this article I give a naturalistic-cum-formal analysis of therelation between beauty, empirical success, and truth. The analysis is based on the onehand on a hypothetical variant of the so-called `mere-exposure effect'' which has been more orless established in experimental psychology regarding exposure-affect relationshipsin general and aesthetic appreciation in particular (Zajonc 1968; Temme 1983; Bornstein 1989;Ye 2000). On the other hand it is based on the formal theory of truthlikeness andtruth approximation as presented in my From Instrumentalism to Constructive Realism (...) (2000).The analysis supports the findings of James McAllister in his beautifulBeauty and Revolution in Science (1996), by explaining and justifying them.First, scientists are essentially right in regarding aesthetic criteria useful for empiricalprogress and even for truth approximation, provided they conceive of them as less hard thanempirical criteria. Second, the aesthetic criteria of the time, the `aesthetic canon'', maywell be based on `aesthetic induction'' regarding nonempirical features of paradigms of successfultheories which scientists have come to appreciate as beautiful. Third, aestheticcriteria can play a crucial, schismatic role in scientific revolutions. Since they may well be wrong, they may, in the hands of aesthetic conservatives, retard empirical progress and hence truth approximation, but this does not happen in the hands of aesthetically flexible, `revolutionary'' scientists. We may find totallyopposite things beautiful: a simplemathematical principle as well as a series of unrepeatable complex contingencies. It is a matter of psychology.(Stephen Jay Gould, translated passage from (Kayzer 2000, 30)). (shrink)

This paper primarily deals with theconceptual prospects for generalizing the aim ofabduction from the standard one of explainingsurprising or anomalous observations to that ofempirical progress or even truth approximation. Itturns out that the main abduction task then becomesthe instrumentalist task of theory revision aiming atan empirically more successful theory, relative to theavailable data, but not necessarily compatible withthem. The rest, that is, genuine empirical progress aswell as observational, referential and theoreticaltruth approximation, is a matter of evaluation andselection, and possibly new (...) generation tasks forfurther improvement. The paper concludes with a surveyof possible points of departure, in AI and logic, forcomputational treatment of the instrumentalist taskguided by the `comparative evaluation matrix''. (shrink)

The main formal notion involved in qualitative truth approximation by the HD-method, viz. ‘more truthlike’, is shown to not only have, by its definition, an intuitively appealing ‘model foundation’, but also, at least partially, a conceptually plausible ‘consequence foundation’. Moreover, combining the relevant parts of both leads to a very appealing ‘dual foundation’, the more so since the relevant methodological notions, viz. ‘more successful’ and its ingredients provided by the HD-method, can be given a similar dual foundation. According to the (...) resulting dual foundation of ‘naive truth approximation’, the HD-method provides successes (established true consequences) and counterexamples (established wrongly missing models) of theories. Such HD-results may support the tentative conclusion that one theory seems to remain more successful than another in the naive sense of having more successes and fewer counterexamples. If so, this provides good reasons for believing that the more successful theory is also more truthlike in the naive sense of having more correct models and more true consequences. (shrink)

The naive structuralist definition of truthlikeness is an idealization in the sense that it assumes that all mistaken models of a theory are equally bad. The natural concretization is a refined definition based on an underlying notion of structurelikeness.In Section 1 the naive definition of truthlikeness of theories is presented, using a new conceptual justification, in terms of instantial and explanatory mistakes.

INTRODUCTION When Karl Popper published in' his definition of closer-to-the- truth this was an important intellectual event, but not a shocking one. ...

In this article I give a naturalistic-cum-formal analysis of the relation between beauty, empirical success, and truth. The analysis is based on the one hand on a hypothetical variant of the so-called 'mere-exposure effect' which has been more or less established in experimental psychology regarding exposure-affect relationships in general and aesthetic appreciation in particular (Zajonc 1968; Temme 1983; Bornstein 1989; (Ye 2000). On the other hand it is based on the formal theory of truthlikeness and truth approximation as presented in (...) my From Instrumentalism to Constructive Realism (2000). The analysis supports the findings of James McAllister in his beautiful Beauty and Revolutiorl in Science (1996), by explaining and justifying them. First, scientists are essentially right in regarding aesthetic criteria useful for empirical progress and even for truth approximation, provided they conceive of them as less hard than empirical criteria. Second, the aesthetic criteria of the time, the 'aesthetic canon', may well be based on 'aesthetic induction' regarding nonempirical features of paradigms of successful theories which scientists have come to appreciate as beautiful. Third, aesthetic criteria can play a crucial, schismatic role in scientific revolutions. Since they may well be wrong, they may, in the hands of aesthetic conservatives, retard empirical progress and hence truth approximation, but this does not happen in the hands of aesthetically flexible, 'revolutionary' scientists. (shrink)

Traditional theories construe approximate truth or truthlikeness as a measure of closeness to facts, singular facts, and idealization as an act of either assuming zero of otherwise very small differences from facts or imagining ideal conditions under which scientific laws are either approximately true or will be so when the conditions are relaxed. I first explain the serious but not insurmountable difficulties for the theories of approximation, and then argue that more serious and perhaps insurmountable difficulties for the theory of (...) idealization force us to sever its close tie to approximation. This leads to an appreciation of lawlikeness as a measure of closeness to laws, which I argue is the real measure of idealization whose main purpose is to carve nature at its joints. (shrink)

In this paper, a criticism of the traditional theories of approximation and idealization is given as a summary of previous works. After identifying the real purpose and measure of idealization in the practice of science, it is argued that the best way to characterize idealization is not to formulate a logical model – something analogous to Hempel's D-N model for explanation – but to study its different guises in the praxis of science. A case study of it is then made (...) in thermostatistical physics. After a brief sketch of the theories for phase transitions and critical phenomena, I examine the various idealizations that go into the making of models at three difference levels. The intended result is to induce a deeper appreciation of the complexity and fruitfulness of idealization in the praxis of model-building, not to give an abstract theory of it. (shrink)

I first give a brief summary of a critique of the traditional theories of approximation and idealization; and after identifying one of the major roles of idealization as detaching component processes or systems from their joints, a detailed analysis is given of idealized laws – which are discoverable and/or applicable – in such processes and systems (i.e., idealized model systems). Then, I argue that dispositional properties should be regarded as admissible properties for laws and that such an inclusion supplies the (...) much needed connection between idealized models and the laws they `produce'' or `accommodate''. And I then argue that idealized law-statements so produced or accommodated in the models may be either true simpliciter or true approximately, but the latter is not because of the idealizations involved. I argue that the kind of limiting-case idealizations that produce approximate truth is best regarded as approximation; and finally I compare my theory with some existing theories of laws of nature.We seem to trace [in KingLear] ... the tendency of imagination toanalyse and abstract, to decomposehuman nature into its constituentfactors, and then to construct beings in whomone or more of these factors isabsent or atrophied or only incipient. (shrink)

This paper proposes a response to the duplication objection to the descriptive theory of singular mental reference. This objection involves hypothetical cases in each of which there are a pair of qualitatively indistinguishable objects and a thought that apparently refers to only one of the pair, despite the descriptive indistinguishability of the two objects. I identify a concept of reference-likeness or closeness to reference, which is related to the concept of genuine singular reference as the concept of truthlikeness or closeness (...) to truth is related to the concept of truth. My response to the duplication objection is to say that the hypothetical cases it involves establish only that a thought can come close enough to singular reference to a thing despite not genuinely referring to that thing, a consequence that is compatible with the descriptive theory of singular mental reference. (shrink)

In this three-part paper, my concern is to expound and defend a conception of science, close to Einstein's, which I call aim-oriented empiricism. I argue that aim-oriented empiricsim has the following virtues. (i) It solve the problem of induction; (ii) it provides decisive reasons for rejecting van Fraassen's brilliantly defended but intuitively implausible constructive empiricism; (iii) it solves the problem of verisimilitude, the problem of explicating what it can mean to speak of scientific progress given that science advances from one (...) false theory to another; (iv) it enables us to hold that appropriate scientific theories, even though false, can nevertheless legitimately be interpreted realistically, as providing us with genuine , even if only approximate, knowledge of unobservable physical entities; (v) it provies science with a rational, even though fallible and non-mechanical, method for the discovery of fundamental new theories in physics. In the third part of the paper I show that Einstein made essential use of aim-oriented empiricism in scientific practice in developing special and general relativity. I conclude by considering to what extent Einstein came explicitly to advocate aim-oriented empiricism in his later years. (shrink)

A rationalist and realist model of scientific revolutions will be constructed by reference to two categories of criteria of theory-evaluation, denominated indicators of truth and of beauty. Whereas indicators of truth are formulateda priori and thus unite science in the pursuit of verisimilitude, aesthetic criteria are inductive constructs which lag behind the progression of theories in truthlikeness. Revolutions occur when the evaluative divergence between the two categories of criteria proves too wide to be recomposed or overlooked. This model of revolutions (...) depends upon a substantial new treatment of aesthetic criteria in science with which much of the paper will therefore be occupied. (shrink)

Statistical procedures can be applied to episodes in the history of science in order to weight attributes to predict short-term survival of theories; an asymptotic method is used to show that short-term survival is a valid proxy for ultimate survival; and a theoretical argument is made that ultimate survival is a valid proxy for objective truth. While realists will appreciate this last step, instrumentalists do not need it to benefit from the actuarial procedures of cliometric metatheory. Introduction A plausible proxy (...) for Peircean consensus Assessing the validity of theory attributes as predictors of theory survival 3.1 Linear discriminant function 3.2 Factor analysis 3.3 Taxometric analysis Verisimilitude index Satisfying both instrumentalists and realists Recapitulation Implementation of cliometric metatheory * Correspondence about this article may be addressed to Leslie Yonce at pemeehle{at}umn.edu' + u + '@' + d + ''//--> This article had been completed by Paul Meehl at the time of his death on 14 February 2003. His wife, Leslie J. Yonce, is grateful to Keith Gunderson (University of Minnesota, Center for Philosophy of Science) and Niels G. Waller (Psychology Department, Vanderbilt University) for advice with some final editing details. (shrink)

When data are limited, simple models of complex ecological systems tend to wind up closer to the truth than more complex models of the same systems. This greater proximity to the truth, or verisimilitude, leads to greater predictive success. When more data are available, the advantage of simplicity decreases, and more complex models may gain the upper hand. In ecology, holistic models are usually simpler than reductionistic models. Thus, when data are limited, holistic models have an advantage over reductionistic models, (...) with respect to verisimilitude and predictive success. I illustrate these points with models designed to explain and predict the numbers of species on islands. (shrink)

This note aims at critically assessing a little-noticed proposal made by Popper in the second edition ofObjective Knowledge to the effect that verisimilitude of scientific theories should be made relative to the problems they deal with. Using a simple propositional calculus formalism, it is shown that the relativized definition fails for the very same reason why Popper's original concept of verisimilitude collapsed-only if one of two theories is true can they be compared in terms of the suggested definition of versimilitude.

In this paper it is argued that the theory of truth approximation should be pursued in the framework of some kind of geometry of logic. More specifically it is shown that the theory of interval structures provides a general framework for dealing with matters of truth approximation. The qualitative and the quantitative accounts of truthlikeness turn out to be special cases of the interval account. This suggests that there is no principled gap between the qualitative and quantitative approach. Rather, there (...) is a connected spectrum of ways of measuring truthlikeness depending on the specifics of the context in which it takes place. (shrink)

This paper studies the interplay between two notions which are important for the project of defending scientific realism: abduction and truthlikeness. The main focus is the generalization of abduction to cases where the conclusion states that the best theory is truthlike or approximately true. After reconstructing the recent proposals of Theo Kuipers within the framework of monadic predicate logic, I apply my own notion of truthlikeness. It turns out that a theory with higher truthlikeness does not always have greater empirical (...) success than its less truthlike rivals. It is further shown that the notion of expected truthlikeness provides a fallible link from the approximate explanatory success of a theory to its truthlikeness. This treatment can be applied also in cases where even the best potential theory is an idealization that is known to be false. (shrink)

The modern history of verisimilitude can be divided into three periods. The first began in 1960, when Karl Popper proposed his qualitative definition of what it is for one theory to be more truthlike than another theory, and lasted until 1974, when David Miller and Pavel Trich published their refutation of Popper's definition. The second period started immediately with the attempt to explicate truthlikeness by means of relations of similarity or resemblance between states of affairs (or their linguistic representations); the (...) work within this similarity approach was summarized in the books of Graham Oddie [1986] and Ilkka Niiniluoto [1987]. During the subsequent third period, studies in verisimilitude have been actively continued, and interesting results and applications have been achieved, but not many dramatic novelties. While it is now obsolete to claim that truthlikeness with reasonable properties cannot be defined at all, there is still a lot of controversy about the best and least arbitrary approach to doing this. (shrink)

A holistic account of the meaning of theoretical terms leads scientific realism into serious troubles. Alternative methods of reference fixing are needed by a realist who wishes to show how reference invariance is possible in spite of meaning variance. This paper argues that the similarity theory of truthlikeness and approximate truth, developed by logicians since the mid 1970s, helps to make precise the idea of charitable theoretical reference. Comparisons to the recent proposals by Kitcher and Psillos are given. This argument (...) helps to undermine the scepticist meta-induction about theories, and thereby to reevaluate Laudan's alleged confutation of scientific realism. (shrink)

The recent theories of truthlikeness have not paid attention to the distinction between lawlike and accidental generalizations. L.J. Cohen has expressed this by saying that science aims at legisimilitude rather than verisimilitude. G. Oddie has given a reply to Cohen by defining the notion of legisimilitude in terms of higher-order logics. This paper gives a different reply to Cohen by treating laws as physically necessary generalizations and by defining the notion of legisimilitude as closeness to a suitably chosen lawlike sentence.

Popper distinguishes the problems of theoretical and pragmatic preference between rival theories, but he claims that there is a common non-inductive solution to both of them, viz. the "best-tested theory", or the theory with the highest degree of corroboration. He further suggests that the degrees of corroboration serve as indicators of verisimilitude. One may therefore raise the question whether the recent theory of verisimilitude gives a general non-inductive solution to the problem of theoretical preference. This paper argues that this is (...) not the case: the theory of verisimilitude is applicable to this problem if and only if there is an independent solution to the problem of induction. Moreover, the solutions to the theoretical and pragmatic problems of preference coincide only in some special cases. (shrink)

Truth is the aim of inquiry. Nevertheless, some falsehoods seem to realize this aim better than others. Some truths better realize the aim than other truths. And perhaps even some falsehoods realize the aim better than some truths do. The dichotomy of the class of propositions into truths and falsehoods should thus be supplemented with a more fine-grained ordering — one which classifies propositions according to their closeness to the truth, their degree of truthlikeness or verisimilitude. The logical problem of (...) truthlikeness is to give an adequate account of the concept and to explore its logical properties. Of course, the logical problem intersects with problems in both epistemology and value theory. (shrink)

A number of different theories of truthlikeness have been proposed, but most can be classified into one of two different main programmes: the probability-content programme and the likeness programme.1 In Brink and Heidema [1987] we are offered a further proposal, with the attraction of some novelty. I argue that while the heuristic path taken by the authors is rather remote from what they call ‘the well-worn paths’,2 in fact their point of arrival is rather closer to existing proposals within the (...) likeness approach than might at first appear. It is the purpose of this note to outline the logical connections and to assess the reasons which have been offered in favour of the new proposal. (shrink)

The importance for realism of the concept of truthlikeness was first stressed by Popper. Popper himself not only mapped out a program for defining truthlikeness (in terms of falsity content and truth content) but produced the first definitions within this program. These were shown to be inadequate. But the program lingered on, and the most recent attempt to revive it is that of Newton-Smith. His attempt is a failure, not because of some minor defect or technical flaw in his particular (...) account but rather because the program incorporates a fundamental flaw. However, realists need not despair. There already exists an entirely different program not subject to these criticisms. (shrink)

In the paper ordering relations for comparison of verisimilitude of theories are introduced and discussed. The relations refer to semantic analysis of the results of theories, in particular to analysis of concepts the theories deal with.

The similarity approach stands as a significant attempt to defend scientific realism from the attack of the pessimistic meta-induction. The strategy behind the similarity approach is to shift from an absolute notion of truth to the more flexible one of truthlikeness. Nonetheless, some authors are not satisfied with this attempt to defend realism and find that the notion of truthlikeness is not fully convincing. The aim of this paper is to analyze and understand the reasons of this dissatisfaction. Our thesis (...) is that the dissatisfaction with the notion of truthlikeness concerns the double role that this notion plays within the similarity approach: This notion plays both a regulative role in the conception of theories and a constitutive one in their selection. (shrink)

In this paper it is shown that, in spite of their intuitive starting points, Kuipers' accounts lead to counterintuitive consequences. The counterintuitive results of Kuipers' account of H-D confirmation stem from the fact that Kuipers explicates a concept of partial (as opposed to full) confirmation. It is shown that Schurz-Weingartner's relevant-element approach as well as Gemes' content-part approach provide an account of full confirmation that does not lead to these counterintuitive results. One of the unwelcome results of Kuipers' account of (...) nomic truthlikeness is the consequence that a theory Y, in order to be more truthlike than a theory X (where Y and X are incompatible), must imply the entire nomic truth. It is shown how the relevant-element approach to truthlikeness avoids this result. (shrink)

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). (shrink)

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

The importance of the comparative notion of versimilitude, or truthlikeness, for a realist conception of knowledge follows from two modest ‘realist’ assumptions, namely, that the aim of an enquiry, as an enquiry, is the truth of some matter; and that one false theory may realize this aim better than another. However, there seem to be two ways in which one (false) theory can realize this aim better than another. One (false) theory can be closer to the truth than another either (...) by being preponderantly more accurate in its predictions or by providing more comprehensive information about the system (or class of systems) at issue. This paper presents a model-theoretic approach to the analysis of the comprehensiveness-related component of the comparative notion of versimilitude. The machinery of the ‘semantic’ view of theories is applied to the problem of providing necessary and sufficient conditions for the truth of sentences of the form, ‘B is truth-increasing with respect to A’, where A and B are taken to be sets of structures. (shrink)

Verisimilitude theorists (and many scientific realists) assume that science attempts to provide hypotheses with an increasing degree of closeness to the full truth; on the other hand, radical sociologists of science assert that flesh and bone scientists struggle to attain much more mundane goals (such as income, power, fame, and so on). This paper argues that both points of view can be made compatible, for (1) rational individuals only would be interested in engaging in a strong competition (such as that (...) described by radical sociologists) if they knew in advance the rules under which their outcomes are to be assessed, and (2), if these rules have to be chosen "under a veil of ignorance" (i.e., before knowing what specific theory each scientist is going to devise), then rules favoring highly verisimilar theories can be prefered by researchers to other methodological rules. (shrink)

Some peculiarities of the evaluation of theories within scientific research programmes (SRPs) and of the assessing of rival SRPs are described assuming that scientists try to maximise an ‘epistemic utility function’ under economic and institutional constraints. Special attention is given to Lakatos' concepts of ‘empirical progress’ and ‘theoretical progress’. A notion of ‘empirical verisimilitude’ is defended as an appropriate utility function. The neologism ‘methodonomics’ is applied to this kind of studies.

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. (shrink)

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. (shrink)

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.