Le présent article veut (1) montrer que la théorie qualitative de la vérisimilarité exposée par Karl R. Popper dansConjectures and RefutationsetObjective Knowledgeest compatible avec sa méthode des conjectures, corroborations et réfutations; (2) faire voir pourquoi cette théorie apparaît néanmoins trop forte d'un point de vue intuitif; (3) montrer comment le système poppérien permet de contourner la preuve formelle présentée par Pavel Tichy en 1974 à l'encontre de la théorie qualitative de la vérisimilarité; (4) proposer une nouvelle définition de la vérisimilarité (...) qui apparaisse non seulement logiquement fondée, mais plus intuitivement acceptable et davantage liée à la méthodologie poppérienne que la définition originelle. (shrink)

The technical results presented here on continuity and approximate implication are obviously incomplete. In particular, a syntactic characterization of approximate implication is highly desirable. Nevertheless, I believe the results above do show that the theory has considerable promise for application to the areas mentioned at the top of the paper.Formulation and defense of realist interpretations of science, for example, require approximate truth because we hardly ever have evidence that a particular scientific theory corresponds perfectly with a portion of the real (...) world. Realists need to assert, then, that evidence for a theory is evidence for its approximate truth, not its truth (see [3] and [18]). Approximate truth is, however, a vague notion, and specification of quantity terms and of a sense of approximation are needed to make precise applications of it. Suitability of both vocabulary and sense of approximation depend on the subject matter, and their selection is a partly empirical matter that raises complex issues. In light of the number of common inferences which are not continuous, realists also need to be concerned about indiscriminate use of deductive logic to derive consequences from approximately true theories. These issues will be considered further in a future paper.Approximate truth also has potential application in areas of artificial intelligence that require inference from inaccurate data. In the ‘qualitative’ physical theories of de Kleer and Brown [6], for example, ‘qualitative’ values are derived by partitioning the real numbers into regions. Inferences leading from inside to outside a region must be identified and avoided, and approximate implication and continuity may prove useful in doing this. More generally, growing use of predicate logic as a programming language invites application of the theory of approximate truth as a symbolic substitute for numerical evaluation of computation errors. This too will be the subject of a future paper. (shrink)

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)

Engineering deals with different problem situations than science, and theories in engineering are different to theories in science. So, the growth of knowledge in engineering is also different to that in science. Nonetheless, methodological issues in engineering epistemology can be explored by adapting frameworks already established in the philosophy of science. In this paper I use critical rationalism and Popper’s three worlds framework to investigate error elimination and the growth of knowledge in engineering. I discuss engineering failure arising from the (...) falsification of engineering theories, and present taxonomies of the sources of falsification and responses to falsification in engineering. From this I discuss contexts of research and design in engineering, ad hoc rescue of engineering theories, and engineering assurance. (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)

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.

The paper starts with the distinction between conjunction-of-parts accounts and disjunction-of-possibilities accounts to truthlikeness. In Sect. 3, three distinctions between kinds of truthlikeness measures are introduced: comparative versus numeric t-measures, t-measures for qualitative versus quantitative theories, and t-measures for deterministic versus probabilistic truth. These three kinds of truthlikeness are explicated and developed within a version of conjunctive part accounts based on content elements. The focus lies on measures of probabilistic truthlikeness, that are divided into t-measures for statistical probabilities and single (...) case probabilities. The logical notion of probabilistic truthlikeness can be treated as a subcase of deterministic truthlikeness for quantitative theories. In contrast, the epistemic notion of probabilistic truthlikeness creates genuinely new problems, especially for hypotheses about single case probabilities that are evaluated not by comparison to observed frequencies, but by comparison to the truth values of single event statements. By the method of meta-induction, competing theories about single case probabilities can be aggregated into a combined theory with optimal predictive success and epistemic truthlikeness. (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)

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)

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)

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)

Assuming that the target of theory oriented empirical science in general and of nomic truth approximation in particular is to characterize the boundary or demarcation between nomic possibilities and nomic impossibilities, I have presented, in my article entitled “Models, postulates, and generalized nomic truth approximation” :3057–3077, 2016. 10.1007/s11229-015-0916-9), the ‘basic’ version of generalized nomic truth approximation, starting from ‘two-sided’ theories. Its main claim is that nomic truth approximation can perfectly be achieved by combining two prima facie opposing views on theories: (...) the traditional view: theories are postulates that exclude certain possibilities from being realizable, enabling explanation and prediction and the model view: theories are sets of models that claim to represent certain realizable possibilities. Nomic truth approximation, i.e. increasing truth-content and decreasing falsity-content, becomes in this way revising theories by revising their models and/or their postulates in the face of increasing evidence. The basic version of generalized nomic truth approximation is in many respects as simple as possible. Among other things, it does not take into account that one conceptual possibility may be more similar to another than a third one. However, for example, one theory may include a possibility that is more similar to a wrongly not included possibility than another theory can offer. Similarly, for wrongly not excluded possibilities. In this article it will be shown that such ‘refined’ considerations can be taken into account by adapted clauses based on a ternary similarity relation between possibilities. This allows again abductive conclusions about refined truth approximation if a theory is persistently more successful in the refined sense than another. It will also be indicated and illustrated that this refined approach enables a specification to the effect that refined truth approximation can be obtained by the method of idealization and subsequent concretization. Finally, the basic and the refined approach will be evaluated with regard to some general principles and objections that have been discussed in the literature. (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)

Surprisingly, modified versions of the confirmation theory (Carnap and Hempel) and truth approximation theory (Popper) turn out to be smoothly sythesizable. The glue between the two appears to be the instrumentalist methodology, rather than that of the falsificationalist. The instrumentalist methodology, used in the separate, comparative evaluation of theories in terms of their successes and problems (hence, even if already falsified), provides in theory and practice the straight road to short-term empirical progress in science ( à la Laudan). It is (...) also argued that such progress is also functional for all kinds of truth approximation: observational, referential, and theoretical. This sheds new light on the long-term dynamics of science and hence on the relation between the main epistemological positions, viz., instrumentalism (Toulmin, Laudan), constructive empiricism (Van Fraassen), referential realism (Hacking, Cartwright), and theory realism of a non-essentialist nature (constructive realism à la Popper). Readership: Open minded philosophers and scientists. The book explains and justifies the scientist's intuition that the debate among philosophers about instrumentalism and realism has almost no practical 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.

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)

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)

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)

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)

Two types of idealization in theory construction are distinguished, and the distinction is used to give a critique of Ron Laymon's account of confirming idealized theories and his argument for scientific realism.