Belief revision (BR) and truthlikeness (TL) emerged independently as two research programmes in formal methodology in the 1970s. A natural way of connecting BR and TL is to ask under what conditions the revision of a belief system by new input information leads the system towards the truth. It turns out that, for the AGM model of belief revision, the only safe case is the expansion of true beliefs by true input, but this is not very interesting or realistic as (...) a model of theory change in science. The new accounts of non-prioritized belief revision do not seem more promising in this respect, and the alternative BR account of updating by imaging leads to other problems. Still, positive results about increasing truthlikeness by belief revision may be sought by restricting attention to special kinds of theories. Another approach is to link truthlikeness to epistemic matters by an estimation function which calculates expected degrees of truthlikeness relative to evidence. Then we can study how the expected truthlikeness of a theory changes when probabilities are revised by conditionalization or imaging. Again, we can ask under what conditions such changes lead our best theories towards the truth. (shrink)

This book examines the philosophical conception of abductive reasoning as developed by Charles S. Peirce, the founder of American pragmatism. It explores the historical and systematic connections of Peirce's original ideas and debates about their interpretations. Abduction is understood in a broad sense which covers the discovery and pursuit of hypotheses and inference to the best explanation. The analysis presents fresh insights into this notion of reasoning, which derives from effects to causes or from surprising observations to explanatory theories. The (...) author outlines some logical and AI approaches to abduction as well as studies various kinds of inverse problems in astronomy, physics, medicine, biology, and human sciences to provide examples of retroductions and abductions. The discussion covers also everyday examples with the implication of this notion in detective stories, one of Peirce’s own favorite themes. The author uses Bayesian probabilities to argue that explanatory abduction is a method of confirmation. He uses his own account of truth approximation to reformulate abduction as inference which leads to the truthlikeness of its conclusion. This allows a powerful abductive defense of scientific realism. This up-to-date survey and defense of the Peircean view of abduction may very well help researchers, students, and philosophers better understand the logic of truth-seeking. (shrink)

Proceedings of the 2016 "one word" colloquium of the The Philosophical Society of Finland. The word was "Possibility".

Abstract:In his new book, Charles Peirce and Modern Science (2022), T. L. Short convincingly presents Charles S. Peirce as a scientific philosopher whose philosophical views were influenced by his empirical and experimental work in geodesy, astronomy, chemistry, and psychology. This includes his treatment of metaphysics, theory of categories, cosmogony, phenomenology or phaneroscopy, semiotics, and normative science. In all of his works, Peirce exemplified the spirit of modern science, not as a system builder looking for final truths, but rather as a (...) fallibilist inquirer who was always ready to refine and revise his conjectures. In these comments, it is first pointed out that there existed a European counterpart to Peirce’s scientific philosophy: the program of “inductive metaphysics,” which is today continued as “abductive metaphysis” by analytic philosophers. Peirce’s contributions to nomological probabilistic explanations are then mentioned as a complement to Short’s treatment of statistical explanation. Finally, it is argued that Short’s remarks about Peirce’s ironical relation to modernity are based on a narrow interpretation of the values and achievements of modernity. (shrink)

This book comes to the rescue of scientific realism, showing that reports of its death have been greatly exaggerated. Philosophical realism holds that the aim of a particular discourse is to make true statements about its subject matter. Ilkka Niiniluoto surveys different kinds of realism in various areas of philosophy and then sets out his own critical realist philosophy of science.

The larger part of Yearbook 6 of the Institute Vienna Circle constitutes the proceedings of a symposium on Alfred Tarski and his influence on and interchanges with the Vienna Circle, especially those on and with Rudolf Carnap and Kurt Gödel. It is the first time that this topic has been treated on such a scale and in such depth. Attention is mainly paid to the origins, development and subsequent role of Tarski's definition of truth. Some contributions are primarily historical, others (...) analyze logical aspects of the concept of truth. Contributors include Anita and Saul Feferman, Jan Wolenski, Jan Tarski and Hans Sluga. Several Polish logicians contributed: Gzegorczyk, Wójcicki, Murawski and Rojszczak. The volume presents entirely new biographical material on Tarski, both from his Polish period and on his influential career in the United States: at Harvard, in Princeton, at Hunter, and at the University of California at Berkeley. The high point of the analysis involves Tarski's influence on Carnap's evolution from a narrow syntactical view of language, to the ontologically more sophisticated but more controversial semantical view. Another highlight involves the interchange between Tarski and Gödel on the connection between truth and proof and on the nature of metalanguages. The concluding part of Yearbook 6 includes documentation, book reviews and a summary of current activities of the Institute Vienna Circle. Jan Tarski introduces letters written by his father to Gödel; Paolo Parrini reports on the Vienna Circle's influence in Italy; several reviews cover recent books on logical empiricism, on Gödel, on cosmology, on holistic approaches in Germany, and on Mauthner. (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)

According to the foundationalist picture, shared by many rationalists and positivist empiricists, science makes cognitive progress by accumulating justified truths. Fallibilists, who point out that complete certainty cannot be achieved in empirical science, can still argue that even successions of false theories may progress toward the truth. This proposal was supported by Karl Popper with his notion of truthlikeness or verisimilitude. Popper’s own technical definition failed, but the idea that scientific progress means increasing truthlikeness can be expressed by defining degrees (...) of truthlikeness in terms of similarities between states of affairs. This paper defends the verisimilitude approach against Alexander Bird who argues that the “semantic” definition is not sufficient to define progress, but the “epistemic” definition referring to justification and knowledge is more adequate. Here Bird ignores the crucial distinction between real progress and estimated progress, explicated by the difference between absolute degrees of truthlikeness and their evidence-relative expected values. Further, it is argued that Bird’s idea of returning to the cumulative model of growth requires an implausible trick of transforming past false theories into true ones. (shrink)

Scientific realists use the “no miracle argument” to show that the empirical and pragmatic success of science is an indicator of the ability of scientific theories to give true or truthlike representations of unobservable reality. While antirealists define scientific progress in terms of empirical success or practical problem-solving, realists characterize progress by using some truth-related criteria. This paper defends the definition of scientific progress as increasing truthlikeness or verisimilitude. Antirealists have tried to rebut realism with the “pessimistic metainduction”, but critical (...) realists turn this argument into an optimistic view about progressive science. (shrink)

The notion of truthlikeness or verisimilitude has been a topic of intensive discussion ever since the definition proposed by Karl Popper was refuted in 1974. This paper gives an analysis of old and new debates about this notion. There is a fairly large agreement about the truthlikeness ordering of conjunctive theories, but the main rival approaches differ especially about false disjunctive theories. Continuing the debate between Niiniluoto’s min-sum measure and Schurz’s relevant consequence measure, the paper also gives a critical (...) assessment of Oddie’s new defense of the average measure and Kuipers’ refined definition of truth approximation. (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)

The modern discussion on the concept of truthlikeness was started in 1960. In his influential Word and Object, W. V. O. Quine argued that Charles Peirce's definition of truth as the limit of inquiry is faulty for the reason that the notion 'nearer than' is only "defined for numbers and not for theories". In his contribution to the 1960 International Congress for Logic, Methodology, and Philosophy of Science at Stan­ ford, Karl Popper defended the opposite view by defining a compara­tive (...) notion of verisimilitude for theories. The concept of verisimilitude was originally introduced by the Ancient sceptics to moderate their radical thesis of the inaccessibility of truth. But soon verisimilitudo, indicating likeness to the truth, was confused with probabilitas, which expresses an opiniotative attitude weaker than full certainty. The idea of truthlikeness fell in disrepute also as a result of the careless, often confused and metaphysically loaded way in which many philosophers used - and still use - such concepts as 'degree of truth', 'approximate truth', 'partial truth', and 'approach to the truth'. Popper's great achievement was his insight that the criticism against truthlikeness - by those who urge that it is meaningless to speak about 'closeness to truth' - is more based on prejudice than argument. (shrink)

Charles S. Peirce argued that, besides deduction and induction, there is a third mode of inference which he called " hypothesis " or " abduction." He characterized abduction as reasoning " from effect to cause," and as " the operation of adopting an explanatory hypothesis." Peirce ' s ideas about abduction, which are related also to historically earlier accounts of heuristic reasoning, have been seen as providing a logic of scientific discovery. Alternatively, abduction is interpreted as giving reasons for pursuing (...) a hypothesis. Inference to the best explanation has also been regarded as an important mode of justification, both in everyday life, detective stories, and science. In particular, scientific realism has been defended by an abductive nomiracle argument, while the critics of realism have attempted to show that this appeal to abduction is question - begging, circular, or incoherent. This paper approaches these issues by distinguishing weaker and stronger forms of abduction, and by showing how these types of inferences can be given Peircean and Bayesian probabilistic reconstructions. (shrink)

Conceptual change and its connection to the development of new seien tific theories has reeently beeome an intensively discussed topic in philo sophieal literature. Even if the inductive aspects related to conceptual change have already been discussed to some extent, there has so far existed no systematic treatment of inductive change due to conceptual enrichment. This is what we attempt to accomplish in this work, al though most of our technical results are restricted to the framework of monadic languages. We (...) extend Hintikka's system of inductive logic to apply to situations in which new concepts are introduced to the original language. By interpreting them as theoretica1 concepts, it is possible to discuss a number of currently debated philosophical and methodological problems which have previously escaped systematic and exact treatment. For instance, the role which seientific theories employing theoretical con cepts may play within inductive inference can be studied within this framework. From the viewpoint of seientific realism, sueh a study gives outlines for a theory of what we call hypothetico-induetive inference. Some parts of this work which are based on Hintikka's system of in ductive logic are fairly technical. However, no previous knowledge of this system is required, but, in general, acquaintance with the basic ideas of elementary logic and probability theory is suffieient. This work is part of a project, originated by Professors Jaakko Hintikka and Raimo Tuomela, concerning the role of theoretical concepts in science. (shrink)

The distinction between basic and applied research is notoriously vague, despite its frequent use in science studies and in science policy. In most cases it is based on such pragmatic factors as the knowledge and intentions of the investigator or the type of research institute. Sometimes the validity of the distinction is denied altogether. This paper suggests that there are two ways of distinguishing systematically between basic and applied research: (i) in terms of the utilities that define the aims of (...) inquiry, and (ii) by reference to the structure of the relevant knowledge claims. An important type of applied research aims at results that are expressed by techical norms (in von Wright's sense): if you wish to achieveA, and you believe you are in a situationB, then you should doX. This conception of design sciences allows us to re-evaluate many issues in the history, philosophy, and ethics of science. (shrink)

In a seminar with the title “Deduction and Induction in the Sciences”, it is intriguing to ask the following questions: Is there a third type of inference besides deduction and induction? Does this third type of inference play a significant role within scientific inquiry? A positive answer to both of these questions was advocated by Charles S. Peirce throughout his career, even though his opinions changed in important ways during the fifty years between 1865 and 1914. Peirce called the third (...) kind of inference “hypothesis”, “abduction”, or “retroduction”.1 In this paper, I shall follow Peirce’s steps in discussing abduction by analyzing its logical form , its role in science , and the grounds of its validity . We shall see that Peirce’s discussion is more insightful than many recent attempts to analyze abductive inference. Still, recently some progress has been made in the treatment of abduction within the Bayesian theory of epistemic probability and truth-approximation . The results of this work support the view of scientific realism: abduction or inference to the best explanation , combined with empirical and experimental testing of scientific theories, is the best method of seeking informative truths in science. (shrink)

In 1958, to refute the argument known as the theoretician's dilemma, Hempel suggested that theoretical terms might be logically indispensable for inductive systematization of observational statements. This thesis, in some form or another, has later been supported by Scheffler, Lehrer, and Tuomela, and opposed by Bohnert, Hooker, Stegmüller, and Cornman. In this paper, a critical survey of this discussion is given. Several different putative definitions of the crucial notion inductive systematization achieved by a theory are discussed by reference to the (...) properties of inductive inference. The consequences of the following differences between deductive and inductive inference are emphasized: the lack of simple transitivity properties (even in a modified sense) of inductive inference, and the failure of the inductive analogue of the converse of The Deduction Theorem. The main conclusions are: (i) Hempel's original thesis may very well be right but his argument for it is unsatisfactory, (ii) theoretical terms can be logically indispensable for a non-Hempelian kind of inductive systematization, relative to both Craigian and Ramseyan elimination, (iii) Lehrer's attempt to prove the indispensability of theoretical terms for inductive-probabilistic systematization is, as a modification of Hempelian kind of inductive-deterministic systematization, unsatisfactory, and (iv) there does not seem to be much hope of escaping the conclusion (ii), if it is true, by extending the Craigian replacement programme along the lines suggested by Cornman. (shrink)

From its inception in 1987 social epistemology has been divided into analytic and critical approaches, represented by Alvin I. Goldman and Steve Fuller, respectively. In this paper, the agendas and some basic ideas of ASE and CSE are compared and assessed by bringing into the discussion also other participants of the debates on the social aspects of scientific knowledge—among them Raimo Tuomela, Philip Kitcher and Helen Longino. The six topics to be analyzed include individual and collective epistemic agents; the notion (...) of scientific community; realism and constructivism; truth-seeking communities; epistemic and social values; science, experts, and democracy. (shrink)

The notion of truthlikeness or verisimilitude has been a topic of intensive discussion ever since the definition proposed by Karl Popper was refuted in 1974. This paper gives an analysis of old and new debates about this notion. There is a fairly large agreement about the truthlikeness ordering of conjunctive theories, but the main rival approaches differ especially about false disjunctive theories. Continuing the debate between Niiniluoto’s min-sum measure and Schurz’s relevant consequence measure, the paper also gives a critical (...) assessment of Oddie’s new defense of the average measure and Kuipers’ refined definition of truth approximation. (shrink)

The use of idealized scientific theories in explanations of empirical facts and regularities is problematic in two ways: they don’t satisfy the condition that the explanans is true, and they may fail to entail the explanandum. An attempt to deal with the latter problem was proposed by Hempel and Popper with their notion of approximate explanation. A more systematic perspective on idealized explanations was developed with the method of idealization and concretization by the Poznan school in the 1970s. If idealizational (...) laws are treated as counterfactual conditionals, they can be true or truthlike, and the concretizations of such laws may increase their degree of truthlikeness. By replacing Hempel’s truth requirement with the condition that an explanatory theory is truthlike one can distinguish several important types of approximate, corrective, and contrastive explanations by idealized theories. The conclusions have important consequences for the debates about scientific realism and anti-realism. (shrink)

In a recent article [4], Fred I. Dretske has proposed a new analysis of natural laws. Dretske rejects the more or less standard view which says that laws are universal truths with a special function or status in science. As an alternative account, he suggests that laws are expressed by singular statements describing the relationship between universal properties and magnitudes: the statement It is a law that F's are G's3.is to be analysed as F-ness ↦ G-ness.I shall argue, however, that (...) Dretske's reasons for rejecting the standard account are not conclusive. Moreover, his own proposal seems to be either inadequate or reducible to that version of the standard account which takes laws to be nomically necessary generalizations. (shrink)