This paper proposes a framework for representing in Bayesian terms the idea that analogical arguments of various degrees of strength may provide inductive support to yet untested scientific hypotheses. On this account, contextual information plays a crucial role in determining whether, and to what extent, a given similarity or dissimilarity between source and target may confirm an empirical hypothesis over a rival one. In addition to showing confirmation by analogy compatible with the adoption of a Bayesian standpoint, the proposal outlined (...) in this paper reveals a close agreement between the fulfillment of Hesse’s (Models and analogies in science, University of Notre Dame Press, 1963) criteria for analogical arguments capable of inductive support and the attribution of confirmatory power by the lights of Bayesian confirmation theory. In this sense, the Bayesian representation not only enriches a framework, Hesse’s, of enduring relevance for understanding scientific activity, but may offer something akin to a proof of concept of it. (shrink)

Igor Douven establishes several new intransitivity results concerning evidential support. I add to Douven’s very instructive discussion by establishing two further intransitivity results and a transitivity result.

Probabilistic support is not transitive. There are cases in which x probabilistically supports y , i.e., Pr( y | x ) > Pr( y ), y , in turn, probabilistically supports z , and yet it is not the case that x probabilistically supports z . Tomoji Shogenji, though, establishes a condition for transitivity in probabilistic support, that is, a condition such that, for any x , y , and z , if Pr( y | x ) > Pr( y (...) ), Pr( z | y ) > Pr( z ), and the condition in question is satisfied, then Pr( z | x ) > Pr( z ). I argue for a second and weaker condition for transitivity in probabilistic support. This condition, or the principle involving it, makes it easier (than does the condition Shogenji provides) to establish claims of probabilistic support, and has the potential to play an important role in at least some areas of philosophy. (shrink)

I argue that coherence is truth-conducive in that coherence implies an increase in the probability of truth. Central to my argument is a certain principle for transitivity in probabilistic support. I then address a question concerning the truth-conduciveness of coherence as it relates to (something else I argue for) the truth-conduciveness of consistency, and consider how the truth-conduciveness of coherence bears on coherentist theories of justification.

An argument, different from the Newman objection, against the view that the cognitive content of a theory is exhausted by its Ramsey sentence is reviewed. The crux of the argument is that Ramsification may ruin inductive systematization between theory and observation. The argument also has some implications concerning the issue of underdetermination.

Explication usually plays the role of the method of language revision. The paper sticks to the Carnapian project of explication and develops some of the formal requirements imposed on the explicatum. However, it departs from Carnap’s view when it comes to how to construe the simplicity condition. It is suggested that in some cases the simplicity condition, which in the Carnapian project plays the derived role with respect to the other three conditions—the similarity, exactness, and fruitfulness conditions—may be substantive for (...) the overall evaluation of explications. Based on a case study of three different explications of the H-D concept of confirmation :391–437, 1991; Erkenntnis 41:183–188, 1994; Gemes in Philos Sci 60:477–487, 1993; Erkenntnis 49:1–20, 1998; Sprenger in Philos Compass 6:497–508, 2011), we show that there are cases where competing explicata of a common explicandum satisfy the first three conditions equally well. In those cases, then, the simplicity condition is supposed to make the difference. However, instead of using Carnap’s construal of simplicity, we suggest a Principle of instrumental simplicity according to which, ceteris paribus, the simpler the explicatum is, the more likely is its ‘survival’ in competition with other explicata. Moreover, it is suggested that whereas the similarity, exactness and fruitfulness conditions are, in some sense, formal criteria, the simplicity condition is rather tested empirically. (shrink)

This paper presents an outline of a new theory of relevant deduction which arose from the purpose of solving paradoxes in various fields of analytic philosophy. In distinction to relevance logics, this approach does not replace classical logic by a new one, but distinguishes between relevance and validity. It is argued that irrelevant arguments are, although formally valid, nonsensical and even harmful in practical applications. The basic idea is this: a valid deduction is relevant iff no subformula of the conclusion (...) is replaceable on some of its occurrences by any other formula salva validitate of the deduction. The paper first motivates the approach by showing that four paradoxes seemingly very distant from each other have a common source. Then the exact definition of relevant deduction is given and its logical properties are investigated. An extension to relevance of premises is discussed. Finally the paper presents an overview of its applications in philosophy of science, ethics, cognitive psychology and artificial intelligence. (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)

Several standard conditions of adequacy for confirmation are considered and a conclusion of B. Skyrms regarding the converse-consequence condition is shown to be mistaken. Widely accepted conditions such as the entailment condition and the special consequence condition are shown to be open to counterexample, and confusion about these conditions is traced to confusion about the difference between two kinds of confirmation concepts--concepts of firmness and concepts of increase in firmness. The importance of concepts of the latter sort is stressed. Finally, (...) some suggestions are offered relating to the notion of selective confirmation. (shrink)

The present paper first shows that the validity of deductive-nomological (D-N) explanations (systematizations) depends in general on the interpretation context of the predicates involved in the explanation. Therefore, no logical-semantical model can be adequate. This problem is solved by relativisation of the validity criteria on both the confirmation context and the definition context of the premisses. Based upon this, a logical-pragmatical model of D-N explanation is developed. Thereby, especially explanations of laws and global explanations are taken into consideration, since these (...) can be regarded as prototypes of scientific explanation. (shrink)

Suppose a theory T entails hypotheses H and $$H'$$, neither of which entails the other. A number of authors have argued that a piece of evidence E “indirectly confirms” H when E confirms either T or $$H'$$. But there has been a protracted and unsettled debate about whether indirect confirmation is a sound inference procedure. Skeptics argue that the procedure employs conditions of confirmation that jointly lead to absurdity. Proponents argue that this criticism is unfounded or that its import is (...) exaggerated. I will argue that no side has the story quite right, and some have the story quite wrong. Indirect confirmation, as characterized above, is unsound, and a good chunk of this paper will be concerned with showing why most extant defenses of the procedure err. On the other hand, when certain probabilistic (in)dependence relations hold between T, H, and $$H'$$, indirect confirmation can work, for reasons that trace back to Reichenbach’s principle of the common cause. I illustrate these matters with some contemporary and historical examples, with a particular focus on Kepler’s use of data about mars’s elliptical orbit to justify a claim about earth’s. (shrink)

The probabilistic support relation is known to violate transitivity. But over the years, philosophers have identified various conditions under which it does not, most notably screening-off and weak screening-off. In this short discussion note, I wish to highlight another condition that, unfortunately, is often neglected in the literature. This condition is due to Mary Hesse who recognized its transitivity-ensuring property long before other conditions entered the stage. I show that her condition is logically independent of screening-off and weak screening-off, but (...) that, just like the two aforementioned, it entails the recently proposed very weak screening-off condition due to Jeanne Peijnenburg and David Atkinson. (shrink)

Synthetic biology represents a relatively young field of research which has developed into an important scientific endeavour. Characterised by a high degree of interdisciplinary work crossing disciplinary boundaries, such as biology, mathematics and engineering, SynBio has been, since its beginning, devoted to creating new biological functions, metabolic pathways or even minimal organisms. Although its often-articulated aim of developing new forms of life has so far not been archived, SynBio nowadays represents a well-established biotechnological approach and it has also attracted public (...) concern, especially since Craig Venter’s work on Mycoplasma Mycoides JCVI-syn1.0. Taking these developments as a starting point, the paper empirically investigates the metaphorical representations of SynBio in two leading German media publications, the daily newspaper Die Frankfurter Allgemeine Zeitung and the weekly magazine Der Spiegel between 2000 and 2010. Using a novel combination of metaphor and co-occurrence analysis, the paper engages in a systematic examination of implicit moral implications inherent in linguistic images permeating this news coverage. It demonstrates a method of how media-metaphorical representations and their moral implications of SynBio could analytically be revealed and analysed. In doing so, it aims at contributing to empirical ethical analyses of the news coverage on SynBio in particular and offers an approach that methodologically adds to literature on responsible language use, which is emerging in science and technology studies and ethical analyses of new technologies. (shrink)

This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default logic – and analyze to what extent and under what adjustments it could work as a logic of induction in the philosophical sense. By making use of this analysis, we extend default logic so as to make it able to minimally perform the task of a logic of induction, having (...) as a result a system which we believe has interesting properties from the standpoint of theory of confirmation. It is for instance able to represent chains of inductive rules as well as to reason paraconsistently on the conclusions obtained from them. We then use this logic to represent some traditional ideas concerning confirmation theory, in particular the ones proposed by Carl Hempel in his classical paper "Studies in the Logic of Confirmation" of 1945 and the ones incorporated in the so-called abductive and hy-pothetico-deductive models. (shrink)