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

Confirmation theorists seek to define a function that will take into account the various factors relevant in determining the degree to which an hypothesis is confirmed by its evidence. Among confirmation theorists, only Rudolf Carnap has constructed a system which purports to consider factors in addition to the number of instances, viz. the variety manifested by the instances and the amount of analogy between the instances. It is the purpose of this paper to examine the problem which these additional factors (...) raise for confirmation theory, and to prove that, despite Carnap's claim, no confirmation function satisfying the requirements he has specified can take account of variety and analogy. This result is first proved for a special case, and then, in a subsequent section, is generalized through the introduction of a theorem (the proof of which is given in Appendix I). In the final section of the paper it is shown that, contrary to a claim which Carnap has made, not even the concept of the "logical width" of a predicate will enable confirmation functions satisfying his requirements to take adequate account of analogies between instances. (shrink)

So far no known measure of confirmation of a hypothesis by evidence has satisfied a minimal requirement concerning thresholds of acceptance. In contrast, Shogenji’s new measure of justification (Shogenji, Synthese, this number 2009) does the trick. As we show, it is ordinally equivalent to the most general measure which satisfies this requirement. We further demonstrate that this general measure resolves the problem of the irrelevant conjunction. Finally, we spell out some implications of the general measure for the Conjunction Effect; in (...) particular we give an example in which the effect occurs in a larger domain, according to Shogenji justification, than Carnap’s measure of confirmation would have led one to expect. (shrink)

Can some evidence confirm a conjunction of two hypotheses more than it confirms either of the hypotheses separately? We show that it can, moreover under conditions that are the same for nine different measures of confirmation. Further we demonstrate that it is even possible for the conjunction of two disconfirmed hypotheses to be confirmed by the same evidence.

The tendency to test outcomes that are predicted by our current theory (the confirmation bias) is one of the best-known biases of human decision making. We prove that the confirmation bias is an optimal strategy for testing hypotheses when those hypotheses are deterministic, each making a single prediction about the next event in a sequence. Our proof applies for two normative standards commonly used for evaluating hypothesis testing: maximizing expected information gain and maximizing the probability of falsifying the current hypothesis. (...) This analysis rests on two assumptions: (a) that people predict the next event in a sequence in a way that is consistent with Bayesian inference; and (b) when testing hypotheses, people test the hypothesis to which they assign highest posterior probability. We present four behavioral experiments that support these assumptions, showing that a simple Bayesian model can capture people's predictions about numerical sequences (Experiments 1 and 2), and that we can alter the hypotheses that people choose to test by manipulating the prior probability of those hypotheses (Experiments 3 and 4). (shrink)

In this paper I criticize one of the most convincing recent attempts to resist the underdetermination thesis, Laudan’s argument from indirect confirmation. Laudan highlights and rejects a tacit assumption of the underdetermination theorist, namely that theories can be confirmed only by empirical evidence that follows from them. He shows that once we accept that theories can also be confirmed indirectly, by evidence not entailed by them, the skeptical conclusion does not follow. I agree that Laudan is right to reject this (...) assumption, but I argue that his explanation of how the rejection of this assumption blocks the skeptical conclusion is flawed. I conclude that the argument from indirect confirmation is not effective against the underdetermination thesis. (shrink)

In his discussion of the paradox of the ravens,1 Mark Sainsbury takes the paradox to show the falsity of the following principle: G1. A generalisation is confirmed by any of its instances. The other possibilities, he argues, are to accept the paradoxical conclusion, or to reject the other principle involved.

Sometimes we learn what the world is like, and sometimes we learn where in the world we are. Are there any interesting differences between the two kinds of cases? The main aim of this article is to argue that learning where we are in the world brings into view the same kind of observation selection effects that operate when sampling from a population. I will first explain what observation selection effects are ( Section 1 ) and how they are relevant (...) to learning where we are in the world ( Section 2 ). I will show how measurements in the Many Worlds Interpretation of quantum mechanics can be understood as learning where you are in the world via some observation selection effect ( Section 3 ). I will apply a similar argument to the Sleeping Beauty Problem ( Section 4 ) and explain what I take the significance of the analogy to be ( Section 5 ). Finally, I will defend the Restricted Principle of Indifference on which some of my arguments depend ( Section 6 ). (shrink)

In sum, then, Chalmers’s attempt to argue against physicalism based on the conceivability of zombies misses the mark. His version of conceivability does indeed imply possibility, but at the cost of making it unclear whether zombies are indeed conceivable.

This essay discusses Elliott Sober’s Evidence and Evolution: The Logic Behind the Science. Valuable to both philosophers and biologists, Sober analyzes the testing of different kinds of evolutionary hypotheses about natural selection or phylogenetic history, including a thorough critique of intelligent design. Not at least because of a discussion of different schools of hypothesis testing (Bayesianism, likelihoodism, and frequentism), with Sober favoring a pluralism where different inference methods are appropriate in different empirical contexts, the book has lessons for philosophy of (...) science beyond its evolutionary focus. I criticize Sober for not including epistemic values and social aspects of scientific practice in his epistemological framework. (shrink)

Whereas an inference (deductive as well as inductive) is usually viewed as being valid in virtue of its argument form, the present paper argues that scientific reasoning is material inference, i.e., justified in virtue of its content. A material inference is licensed by the empirical content embodied in the concepts contained in the premises and conclusion. Understanding scientific reasoning as material inference has the advantage of combining different aspects of scientific reasoning, such as confirmation, discovery, and explanation. This approach explains (...) why these different aspects (including discovery) can be rational without conforming to formal schemes, and why scientific reasoning is local, i.e., justified only in certain domains and contingent on particular empirical facts. The notion of material inference also fruitfully interacts with accounts of conceptual change and psychological theories of concepts. (shrink)

The idea that human cognitive capacities are explainable by computational models is often conjoined with the idea that, while the states postulated by such models are in fact realized by brain states, there are no type-type correlations between the states postulated by computational models and brain states (a corollary of token physicalism). I argue that these ideas are not jointly tenable. I discuss the kinds of empirical evidence available to cognitive scientists for (dis)confirming computational models of cognition and argue that (...) none of these kinds of evidence can be relevant to a choice among competing computational models unless there are in fact type-type correlations between the states postulated by computational models and brain states. Thus, I conclude, research into the computational procedures employed in human cognition must be conducted hand-in-hand with research into the brain processes which realize those procedures. (shrink)

It is commonly acknowledged that, in order to test a theoretical hypothesis, one must, in Duhem' s phrase, rely on a "theoretical scaffolding" to connect the hypothesis with something measurable. Hypothesis-confirmation, on this view, becomes a three-place relation: evidence E will confirm hypothesis H only relative to some such scaffolding B. Thus the two leading logical approaches to qualitative confirmation--the hypothetico-deductive (H-D) account and Clark Glymour' s bootstrap account--analyze confirmation in relative terms. But this raises questions about the philosophical interpretation (...) of the technical conditions these accounts describe. What does it mean to say that E confirms H "relative to B"? How should we interpret the relation we are trying to analyze? (shrink)

In this paper I examine Quine''s indispensability argument, with particular emphasis on what is meant by ''indispensable''. I show that confirmation theory plays a crucial role in answering this question and that once indispensability is understood in this light, Quine''s argument is seen to be a serious stumbling block for any scientific realist wishing to maintain an anti-realist position with regard to mathematical entities.

The conjunction fallacy has been a key topic in debates on the rationality of human reasoning and its limitations. Despite extensive inquiry, however, the attempt to provide a satisfactory account of the phenomenon has proved challenging. Here we elaborate the suggestion (first discussed by Sides, Osherson, Bonini, & Viale, 2002) that in standard conjunction problems the fallacious probability judgements observed experimentally are typically guided by sound assessments of _confirmation_ relations, meant in terms of contemporary Bayesian confirmation theory. Our main formal (...) result is a confirmation-theoretic account of the conjunction fallacy, which is proven _robust_ (i.e., not depending on various alternative ways of measuring degrees of confirmation). The proposed analysis is shown distinct from contentions that the conjunction effect is in fact not a fallacy, and is compared with major competing explanations of the phenomenon, including earlier references to a confirmation-theoretic account. (shrink)

The author discusses some difficulties involved in the application of "degree of confirmation" to the confirmation of lawlike-statements. An alternative analysis is proposed, which is based on interval estimation. It is argued that this analysis is superior to the criticized method, in that it is better able to show how instantial confirmations are inductively relevant to a law, and in that it requires fewer undesirable extra-logical assumptions.

In 1975, 'An Essay on Knowledge Formation' by H. Törnebohm was published in this Journal. Its content in revised form was included in a work in Swedish of 1983 on knowledge development. HT defines his confirmation criterion in terms of a measure of truth degree T, which is based on a measure of matching M, which is also used as a measure of the degree to which proposition p (an hypothesis) is supported or undermined by another proposition q (the evidence (...) for p), M is defined in terms of a measure of the content C. Here it is argued that HT works with two measures C: (1) a first C, which is defined only for consistent propositions and which really is a measure of content; (2) a final C, which is an inverted measure of probability rather than a measure of content. As an extension of HT's first C, a new content measure, defined also for inconsistent propositions, is constructed. HT's measure M, which is based on his final C, is replaced by one measure of support and one of undermining. Both are based on the new content measure. (shrink)

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

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.

To solve the highly counterintuitive paradox of confirmation represented by the statement, “A pair of red shoes confirms that all ravens are black,” Hempel employed a strategy that retained the equivalence condition but abandoned Nicod’s irrelevance condition. However, his use of the equivalence condition is fairly ad hoc, raising doubts about its applicability to this problem. Furthermore, applying the irrelevance condition from Nicod’s criterion does not necessarily lead to paradoxes, nor does discarding it prevent the emergence of paradoxes. Hempel’s approach (...) fails to adequately resolve the paradox. (shrink)

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

Glymour has developed an account of the confirmation of scientific hypotheses which he advocates as an alternative to the hypothetico-deductive and Bayesian accounts. This account is subject to a counter-example which may be accomodated by a slight modification. So modified it describes an important dimension of confirmation. If the modification of Glymour's account is slightly extended, both the resulting account and the hypothetico-deductive account may be seen as special cases of a Bayesian theory which is immune to Glymour's criticisms.

Paul Horwich has formulated a paradox which he believes to be even more virulent than the related Hempel paradox. I show that Horwich's paradox, as orginally formulated, has a purely logical solution, hence that it has no bearing on the theory of confirmation. On the other hand, it illuminates some undesirable traits of classical predicate logic. A revised formulation of the paradox is then dealt with in a way that implies a modest revision of Nicod's criterion.

Confirmation of a hypothesis by evidence can be measured by one of the so far known incremental measures of confirmation. As we show, incremental measures can be formally defined as the measures of confirmation satisfying a certain small set of basic conditions. Moreover, several kinds of incremental measure may be characterized on the basis of appropriate structural properties. In particular, we focus on the so-called Matthew properties: we introduce a family of six Matthew properties including the reverse Matthew effect; we (...) further prove that incremental measures endowed with reverse Matthew effect are possible; finally, we shortly consider the problem of the plausibility of Matthew properties. (shrink)

Bayesian epistemology suggests various ways of measuring the support that a piece of evidence provides a hypothesis. Such measures are defined in terms of a subjective probability assignment, pr, over propositions entertained by an agent. The most standard measure (where “H” stands for “hypothesis” and “E” stands for “evidence”) is.

Likelihoodists and Bayesians seem to have a fundamental disagreement about the proper probabilistic explication of relational (or contrastive) conceptions of evidential support (or confirmation). In this paper, I will survey some recent arguments and results in this area, with an eye toward pinpointing the nexus of the dispute. This will lead, first, to an important shift in the way the debate has been couched, and, second, to an alternative explication of relational support, which is in some sense a "middle way" (...) between Likelihoodism and Bayesianism. In the process, I will propose some new work for an old probability puzzle: the "Monty Hall" problem. (shrink)

The conjunction fallacy has been a key topic in debates on the rationality of human reasoning and its limitations. Despite extensive inquiry, however, the attempt to provide a satisfactory account of the phenomenon has proved challenging. Here we elaborate the suggestion (first discussed by Sides, Osherson, Bonini, & Viale, 2002) that in standard conjunction problems the fallacious probability judgements observed experimentally are typically guided by sound assessments of confirmation relations, meant in terms of contemporary Bayesian confirmation theory. Our main formal (...) result is a confirmation-theoretic account of the conjunction fallacy, which is proven robust (i.e., not depending on various alternative ways of measuring degrees of confirmation). The proposed analysis is shown distinct from contentions that the conjunction effect is in fact not a fallacy, and is compared with major competing explanations of the phenomenon, including earlier references to a confirmation-theoretic account. (shrink)

Type 1: This process occurs for half of the population. For this segment of the population, there is 10% chance of developing the disease. There is a test for the disease such that 90% of the people who have the disease in this case will test positive (event E), while the false positive rate is 10%, which means that there is a 10% chance of testing positive for the disease when they do not have the disease.

The Value of Good Illustrative Examples: In order to speak as generally as possible about science, philosophers of science have traditionally formulated their theses in terms of elementary logic and elementary probability theory. They often point to real scientific examples without explaining them in detail and/or use artificial examples that fail to fit with intricacies of real examples. Sometimes their illustrative examples are chosen to fit their framework, rather than the science. Frequently these are non-scientific examples, which distances the discussion (...) from its intended target. In the final analysis, philosophical discussions of explanation, confirmation, scientific realism, and the nature of theories are often too abstract, or too imprecise, or too disconnected with real science, to allow scientists to benefit from the discussion. This is a great loss for both parties. In my experience, working scientists are confronted with philosophical issues not only in their role as researchers, but also in their role as tertiary teachers of science. (shrink)

The purpose of the present note is to advertise an interesting conjecture concerning a well-known translation in modal logic, by confirming a (highly restricted) special case of the conjecture.

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

Christensen [Philosophy of Science, 50: 471–481, 1983] and [Philosophy of Science, 57: 644–662, 1990] provides two sets of counter-examples to the versions of bootstrap confirmation for standard first-order languages presented in Glymour [Theory and Evidence, Princeton University Press, Princeton, 1980] and [Philosophy of Science, 50: 626–629, 1983]. This paper responds to the counter-examples of Christensen [Philosophy of Science, 50: 471–481, 1983] by utilizing a new notion of content introduced in Gemes [Journal of Philosophical Logic, 26, 449–476, 1997]. It is (...) claimed that this response is better motivated and more effective than that presented in Glymour [Philosophy of Science, 50: 626–629, 1983]. It is then argued that while this response meets some of the counter-examples of Christensen [Philosophy of Science, 57: 644–662, 1990] two of those counter-examples, though not unanswerable, suggest the need for a substantial reformulation of the formal versions of bootstrapping. The essay proceeds with such a reformulation, arguing that this new formulation better fits the philosophical insights that originally motivated bootstrapping than do Glymour’s earlier formulations. In the concluding sections some alternative solutions to the problem posed by the Christensen counter-examples are discussed. (shrink)

Alleged counter-examples deployed in Park (2004) [Erkenntnis 60: 229–240] against the account of selective hypothetico-deductive confirmation offered in Gemes (1998) [Erkenntnis 49: 1–20] are shown to be ineffective. Furthermore, the reservations expressed in Gemes (1998) [ibid] and (1993) [Philosophy of Science 62: 477–487] about hypothetico-deductivism (H-D) are retracted and replaced with the conclusion that H-D is a viable account of confirmation that captures much of the practice of working scientists. However, because it cannot capture cases of inference to (...) the best explanation and cases of the observational confirmation of statistical hypotheses, it is concluded that H-D cannot supply a complete theory of confirmation. (shrink)

Recently, Rueger and Sharp (1996) and Koperski (1998) have been concerned to show that certain procedural accounts of model confirmation are compromised by non-linear dynamics. We suggest that the issues raised are better approached by considering whether chaotic data analysis methods allow for reliable inference from data. We provide a framework and an example of this approach.

In this paper we articulate confirmation and disconfirmation as components in human motivation. We develop a theory of motivation on the basis of a model of human action and we explore aspects of confirmation and disconfirmation in the context of the meeting of dysphagic patients with their physicians. We distinguish four central elements in confirmation and disconfirmation and use these and the relations between them for the purpose of constructing a typology. Finally, on the basis of the results obtained we (...) interpret a small volume of remarks reflecting the meaning field of some dysphagic patients in relation to their physicians. The underlying motive is to develop tools for understanding health care processes. The SAUC-Confirmation-Model and the theoretical framework in which it is embedded should be seen from that point of view. (shrink)

I.1. Introduction Confirmation theory is intended to codify the evidential bearing of observations on hypotheses, characterizing relations of inductive “support” and “counter­support” in full generality. The central task is to understand what it means to say that datum E confirms or supports a hypothesis H when E does not logically entail H.

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)

Recently, Rueger and Sharp (1996) and Koperski (1998) have been concerned to show that certain procedural accounts of model confirmation are compromised by non‐linear dynamics. We suggest that the issues raised are better approached by considering whether chaotic data analysis methods allow for reliable inference from data. We provide a framework and an example of this approach.

Gillies introduced a propensity interpretation of probability which is linked to experience by a falsifying rule for probability statements. The present paper argues that general statistical tests should qualify as falsification rules. The ‘goodness-of-fit paradox’ is introduced: the confirmation of a probability model by a test refutes the model's validity. An example is given in which an independence test introduces dependence. Several possibilities to interpret the paradox and to deal with it are discussed. It is concluded that the propensity interpretation (...) properly reflects statistical practice, but it is not as objective as some adherents claim. (shrink)

Hempel's qualitative criteria of converse consequence and special consequence for confirmation are examined, and the resulting paradoxes traced to the general intransitivity of confirmation. Adopting a probabilistic measure of confirmation, a limiting form of transitivity of confirmation from evidence to predictions is derived, and it is shown to what extent its application depends on prior probability judgments. In arguments involving this kind of transitivity therefore there is no necessary "convergence of opinion" in the sense claimed by some personalists. The conditions (...) of application of the limiting transitivity theorem are most perspicuously described in terms of De Finetti's notion of exchangeability, which leads to a suggested revaluation of the function of theories in relation to confirmation and explanation. (shrink)

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