Online research in philosophy

This paper discusses an almost sixty year old problem in the philosophy of science -- that of a logic of confirmation. We present a new analysis of Carl G. Hempel's conditions of adequacy (Hempel 1945), differing from the one Carnap gave in §87 of his Logical Foundations of Probability (1962). Hempel, it is argued, felt the need for two concepts of confirmation: one aiming at true theories and another aiming at informative theories. However, he also realized that these two concepts are conflicting, and he gave up the concept of confirmation aiming at informative theories. We then show that one can have Hempel's cake and eat it, too: There is a (rank-theoretic and genuinely nonmonotonic) logic of confirmation -- or rather, theory assessment -- that takes into account both of these two conflicting aspects. According to this logic, a statement H is an acceptable theory for the data E if and only if H is both sufficiently plausible given E and sufficiently informative about E. Finally, the logic sheds new light on Carnap's analysis (and solves another problem of confirmation theory).

The attempt to explicate the intuitive notions of confirmation and inductive support through use of the formal calculus of probability received its canonical formulation in Carnap's The Logical Foundations of Probability. It is a central part of modern Bayesianism as developed recently, for instance, by Paul Horwich and John Earman. Carnap places much emphasis on the identification of confirmation with the notion of probabilistic favorable relevance. Notoriously, the notion of confirmation as probabilistic favorable relevance violates the intuitive transmittability condition that if e confirms h and h' is part of the content of h then e confirms h'. This suggests that, pace Carnap, it cannot capture our intuitive notions of confirmation and inductive support. Without transmittability confirmation losses much of its intrinsic interest. If e, say a report of past observations, can confirm h, say a law-like generalization, without that confirmation being transmitted to those parts of h dealing with the as yet unobserved, then it is not clear why we should be interested in whether h is confirmed or not. The following paper rehearses these difficulties and then proposes a new probabilistic account of confirmation that does not violate the transmittability condition.

In spite of several attempts to explicate the relationship between a scientific hypothesis and evidence, the issue still cries for a satisfactory solution. Logical approaches to confirmation, such as the hypothetico-deductive method and the positive instance account of confirmation, are problematic because of their neglect of the semantic dimension of hypothesis confirmation. Probabilistic accounts of confirmation are no better than logical approaches in this regard. An outstanding probabilistic account of confirmation, the Bayesian approach, for instance, is found to be defective in that it treats evidence as a formal entity and this creates the problem of relevance of evidence to the hypothesis at issue, in addition to the difficulties arising from the subjective interpretation of probabilities. This essay purports to satisfy the need for a successful account of hypothesis confirmation by offering an original formulation based on the notion of instantiation of the relation urged by an hypothesis.

Glymour’s theory of bootstrap confirmation is a purely qualitative account of confirmation; it allows us to say that the evidence confirms a given theory, but not that it confirms the theory to a certain degree. The present paper extends Glymour’s theory to a quantitative account and investigates the resulting theory in some detail. It also considers the question how bootstrap confirmation relates to justification.

Contemporary Bayesian confirmation theorists measure degree of (incremental) confirmation using a variety of non-equivalent relevance measures. As a result, a great many of the arguments surrounding quantitative Bayesian confirmation theory are implicitly sensitive to choice of measure of confirmation. Such arguments are enthymematic, since they tacitly presuppose that certain relevance measures should be used (for various purposes) rather than other relevance measures that have been proposed and defended in the philosophical literature. I present a survey of this pervasive class of Bayesian confirmation-theoretic enthymemes, and a brief analysis of some recent attempts to resolve the problem of measure sensitivity.

The Relevance Criterion of confirmation gained prominence as the underlying principle of the class-size approach (CSA) to Hempel's paradoxes of confirmation. The CSA, however, yields counter-intuitive results for (c) instances, and this failing cast serious doubt on the acceptability of the Relevance Criterion. In this paper an attempt is made to rescue the Relevance Criterion from this embarrassment. This is done by incorporating that criterion into a new resolution of the paradoxes, a resolution based on a theory of selective confirmation and a distinction between mere confirmation in principle and evaluative confirmation (E-confirmation).

This paper examines problems of order and periodicity which arise when the attempt is made to define a confirmation function for a language containing elementary number theory as applied to a universe in which the individuals are considered to be arranged in some fixed order. Certain plausible conditions of adequacy are stated for such a confirmation function. By the construction of certain types of predicates, it is proved, however, that these conditions of adequacy are violated by any confirmation function defined for the type of language in question. Various possible solutions to these difficulties are explored and found to be inadequate. In particular, a proposal which stems from the suggestion to restrict a fundamental principle of confirmation to hypotheses containing only non-positional predicates is cited. This proposal, however, is shown to prevent confirmation functions from taking periodicities into account, and so is deemed unsatisfactory. A general theorem is proved to the effect that if non-positional predicates are taken to satisfy the conditions of adequacy which have been formulated, then no periodicity predicates whatsoever (i.e., predicates used in formulating hypotheses which foretell periodicities) can be subject to these conditions, on pain of contradiction. Yet it seems that periodicity predicates must be subject to these conditions of adequacy if a confirmation function is to recognize periodic occurrences. Thus, an impasse seems to be reached. In the final sections we consider the beginnings of one possible solution to these difficulties. Our proposal involves treating sets of individuals, rather than individuals themselves, as instances of an hypothesis which predicts a periodicity. On this basis we formulate new conditions of adequacy which are free from the previous difficulties and which will permit a confirmation function that satisfies them to take periodicities into account.

Glymour's account of confirmation is seen to have paradoxical consequences when applied to the confirmation of theories containing theoretical functions. An alternative conception of instances derived from Sneed's reconstruction of physical theories is conjoined with the instance view of confirmation to produce an account of confirmation that avoids these problems. The topic of selective confirmation is discussed, and it is argued that theories containing theoretical functions are not selectively confirmable.

Recent work on the logical theory of confirmation has centered on accounts of the confirmation of hypotheses relative to auxiliary assumptions or background theory. Whether such relative confirmation actually increases the credibility of the (relatively) confirmed hypothesis will depend in various ways on the epistemic status of the auxiliaries involved. Most obviously, if the auxiliaries are not themselves credible, confirmation relative to them will not increase the credibility of the hypothesis thus confirmed. A complete theory of confirmation must thus combine an account of relative confirmation with an account of the route from relative confirmation to real confirmation. Some recent criticisms of hypothetico-deductive and bootstrapping accounts of relative confirmation are undermined by failure to appreciate the limitations of relative confirmation.

The argument from analogy is examined from the point of view of Carnap's confirmation theory. It is argued that if inductive arguments are to be applicable to the real world, they must contain elementary analogical inferences. Carnap's system as originally developed (theλ -system) is not strong enough to take account of analogical arguments, but it is shown that the new system, which he has announced but not published in detail (theη -system), is capable of satisfying the conditions of inductive analogy. Finally it is shown that an elementary analysis of analogical inference yields postulates of the η -system with a minimum of arbitrary assumptions.