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.

Laudan constructs a fresh approach to a longtime problem for the philosopher of science: how to explain the simultaneous and widespread presence of both agreement and disagreement in science. Laudan critiques the logical empiricists and the post-positivists as he stresses the need for centrality and values and the interdependence of values, methods, and facts as prerequisites to solving the problems of consensus and dissent in 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. (shrink)

By contrasting three general conceptions of scientific explanation, this paper seeks to clarify the explanandum and to exhibit the fundamental philosophical issues involved in the project of explicating scientific explanation. The three conceptions--epistemic, modal, and ontic--have both historical and contemporary importance. In the context of Laplacian determinism, they do not seem importantly distinct, but in the context of irreducibly statistical explanations, the three are seen to diverge sharply. The paper argues for a causal/mechanical version of the ontic conception, and concludes (...) by exhibiting some striking consequences of this approach. (shrink)

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

This paper gives a critical evaluation of the philosophical presuppositions and implications of two current schools in the sociology of knowledge: the Strong Programme of Bloor and Barnes; and the Constructivism of Latour and Knorr-Cetina. Bloor's arguments for his externalist symmetry thesis (i.e., scientific beliefs must always be explained by social factors) are found to be incoherent or inconclusive. At best, they suggest a Weak Programme of the sociology of science: when theoretical preferences in a scientific community, SC, are first (...) internally explained by appealing to the evidence, e, and the standards or values, V, accepted in SC, then a sociologist may sometimes step in to explain why e and V were accepted in SC. Latour's story about the social construction of facts in scientific laboratories is found to be misleading or incredible. The idea that scientific reality is an artifact turns out to have some interesting affinities with classical pragmatism, instrumentalism, phenomenology, and internal realism. However, the constructivist account of theoretical entities in terms of negotiation and social consensus is less plausible than the alternative realist story which explains consensus by the preexistence of mind-independent real entities. The author concludes that critical scientific realism, developed with the concept of truthlikeness, is compatible with the thesis that scientific beliefs or knowledge claims may be relative to various types of cognitive and practical interests. However, the realist denies, with good reasons, the stronger type of relativism which takes reality and truth to be relative to persons, groups, or social interests. (shrink)

This note aims at critically assessing a little-noticed proposal made by Popper in the second edition of "Objective 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 verisimilitude. (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 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)

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.

Recent interest in the problem of verisimilitude stemmed originally from Popper's desire to provide a non-inductive criterion of merit that will select between two false theories) But the problem has also been taken up by others who are not committed to Popper's anti-inductivism. Indeed Ilkka Niiniluoto has argued that the estimated degree of truthlikeness of a generalisation g which is compatible with evidence e can be equated with the inductive probability of g on e, wherever g is a constituent in (...) Hintikka's sense. It might therefore be worth while to approach the problem afresh, in order to determine quite generally whether a measure of verisimilitude is what is principally needed for the evaluation of scientific progress. I shall argue that it is not. (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 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)

This paper describes a theory of accuracy or approximate truth and applies it to problems in the realist interpretation of scientific theories. It argues not only that realism requires approximate truth, but that an adequate theory of approximation also presupposes some elements of a realist interpretation of theories. The paper distinguishes approximate truth from vagueness, probability and verisimilitude, and applies it to problems of confirmation and deduction from inaccurate premises. Basic results are cited, but details appear elsewhere. Objections are surveyed, (...) including arguments by Miller, Laymon, and Laudan. Comparison is made with Niiniluoto's theory of verisimilitude, and the utility of his theory for realism assessed. (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.

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)

In a recent article, Goldstick and O'Neill propose a definition for the comparative "truer than" relation between rival propositions. This definition is studied here in a context where the concept of "convexity" is well defined for propositions. It turns out that the Goldstick-O'Neill definition gives a reasonable but very restricted sufficient condition for the "truer than" relation, but fails as a necessary condition.

Approximations form an essential part of scientific activity and they come in different forms: conceptual approximations (simplifications in models), mathematical approximations of various types (e.g. linear equations instead of non-linear ones, computational approximations), experimental approximations due to limitations of the instruments and so on and so forth. In this paper, we will consider one type of approximation, namely numerical approximations involved in the comparison of two results, be they experimental or theoretical. Our goal is to lay down the conceptual and (...) formal foundations of a local theory of partial truth. This is done by introducing and exploring the concept of truth space. (shrink)

Scientific Realists argue that it would be a miracle if scientific theories were getting more predictive without getting closer to the truth; so they must be getting closer to the truth. Van Fraassen, Laudan et al. argue that owing to the underdetermination of theory by data (UDT) for all we know, it is a miracle, a fluke. So we should not believe in even the approximate truth of theories. I argue that there is a test for who is right: suppose (...) we are at the limit of inquiry. Suppose that we then have all the logically possible theories that are adequate to all the actual data. If they all resembled in their theoretical claims, since one of them must be true, all of them would then resemble it, whichever it is. We would thus be justified in saying they all approximated the truth in the degree to which they co-resembled. If they don't all co-resemble, the SRs are wrong; more predictive theories are not necessarily closer to the theoretical truth. Prior to the limit, if, in spite of our best efforts to the contrary, all the theories we can make adequate to current data tend to co-resemble, we have inductive warrant for thinking more predictive theories are closer to the truth. If they don't resemble, we have inductive warrant for thinking that more predictive theories are not necessarily closer to the truth. (shrink)

When can one say that a new theory is truer than the old one it contradicts, even though neither is absolutely true? We are primarily concerned with the case in which the conflicting theories offer answers to the same questions, and so we do not introduce considerations of "logical width". We propose that part of the new theory is truer than part of the old one when the former part gets right whatever the latter-part got right while the former does (...) not make any new mistakes. Pragmatic considerations will determine the relative importance of whatever new mistakes the new theory does make as a whole. To avoid artificial counterexamples, we restrict the parts compared to those that are "convex". A "convex" theory is one that holds in all cases intermediate between any two cases in which it holds. (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)

Traditional analyses of the curve fitting problem maintain that the data do not indicate what form the fitted curve should take. Rather, this issue is said to be settled by prior probabilities, by simplicity, or by a background theory. In this paper, we describe a result due to Akaike [1973], which shows how the data can underwrite an inference concerning the curve's form based on an estimate of how predictively accurate it will be. We argue that this approach throws light (...) on the theoretical virtues of parsimoniousness, unification, and non ad hocness, on the dispute about Bayesianism, and on empiricism and scientific realism. * Both of us gratefully acknowledge support from the Graduate School at the University of Wisconsin-Madison, and NSF grant DIR-8822278 (M.F.) and NSF grant SBE-9212294 (E.S.). Special thanks go to A. W. F. Edwards.William Harper. Martin Leckey. Brian Skyrms, and especially Peter Turney for helpful comments on an earlier draft. (shrink)

In this paper, an attempt is made to solve various problems posed to current theories of verisimilitude: the problem of linguistic variance; the problem of which are the best scientific methods for getting the most verisimilar theories; and the question of the ontological commitment in scientific theories. As a result of my solution to these problems, and with the help of other considerations of epistemological character, I conclude that the notion of 'Tarskian truth' is dispensable in a rational interpretation of (...) the scientific enterprise. As a logical result, however, falsificationism will be vindicated. (shrink)

The problem of distance from the truth, and more generally distance between hypotheses, is considered here with respect to the case of quantitative hypotheses concerning the value of a given scientific quantity.Our main goal consists in the explication of the concept of distance D(I, ) between an interval hypothesis I and a point hypothesis . In particular, we attempt to give an axiomatic foundation of this notion on the basis of a small number of adequacy conditions.

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)

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.

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)

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 $R^{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)

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

This paper utilizes Scott domains (continuous lattices) to provide a mathematical model for the use of idealized and approximately true data in the testing of scientific theories. Key episodes from the history of science can be understood in terms of this model as attempts to demonstrate that theories are monotonic, that is, yield better predictions when fed better or more realistic data. However, as we show, monotonicity and truth of theories are independent notions. A formal description is given of the (...) pragmatic virtues of theories which are monotonic. We also introduce the stronger concept of continuity and show how it relates to the finite nature of scientific computations. Finally, we show that the space of theories also has the structure of a Scott domain. This result provides an analysis of how one theory can be said to approximate another. (shrink)

relative to the actual world) of a propositional theory are defined. A theory is ‘closer to the truth’ the logically stronger its positive content and the logically weaker its negative content. This proposal delivers the same verisimilar preordering of theories that has been defined by Brink and Heidema as a ‘power ordering’. The preordering may be collapsed to a partial ordering and then embedded into a complete distributive lattice. The preordering may also be refined to a partial ordering by employing (...) the ‘convex content’ and the ‘non-convex content’ of each theory. Philosophical implications and historical relations are discussed. (shrink)

In line with the semantic conception of scientific theories, I develop an account of the intertheory relation of comparative structural similarity. I argue that this relation is useful in explaining the concept of verisimilitude and I support this contention with a concrete historical example. Finally, I defend this relation against the familiar charge that the concept of similarity is insufficiently objective.