In this paper I demonstrate that, contrary to the standard interpretations, William Whewell's view of scientific method is neither that of the hypothetico-deductivist nor that of the retroductivist. Rather, he offers a unique inductive methodology, which he calls "discoverers' induction." After explicating this methodology, I show that Kepler's discovery of his first law of planetary motion conforms to it, as Whewell claims it does. In explaining Whewell's famous phrase about "happy guesses" in science, I suggest that Whewell intended a distinction (...) between "inductions," which can be empirically verified, and "mere hypotheses"--or guesses--which cannot. Finally, I argue that Whewell's discoverers' induction is a view worthy of our attention today, because it avoids a number of problems faced by prominent alternative methodologies. (shrink)

This research article revisits Hempel’s logic of confirmation in light of recent developments in categorical proof theory. While Hempel advocated several logical conditions in favor of a purely syntactical definition of a general non-quantitative concept of confirmation, we show how these criteria can be associated to specific logical properties of monoidal modal deductive systems. In addition, we show that many problems in confirmation logic, such as the tacked disjunction, the problem of weakening with background knowledge and the problem of irrelevant (...) conjunction, are also associated with specific logical properties and, incidentally, with some of Hempel’s logical conditions of adequacy. We discuss the raven paradox together with further objections against Hempel’s approach, showing how our analysis enables a clear understanding of the relationships between Hempel’s conditions, the problems in confirmation logic, and the properties of deductive systems. (shrink)

Hypothetico-deductivists have struggled to develop qualitative confirmation theories not raising the so-called tacking by disjunction paradox. In this paper, I analyze the difficulties yielded by the paradox and I argue that the hypothetico-deductivist solutions given by Gemes (1998) and Kuipers (2000) are questionable because they do not fit such analysis. I then show that the paradox yields no difficulty for the Bayesian who appeals to the Total Evidence Condition. I finally argue that the same strategy is unavailable to the hypothetico-deductivist.

In this paper, I focus on the so-called "tacking by disjunction problem". Namely, the problem to the effect that, if a hypothesis H is confirmed by a statement E, H is confirmed by the disjunction E v F, for whatever statement F. I show that the attempt to settle this difficulty made by Grimes 1990, in a paper apparently forgotten by today methodologists, is irremediably faulty.

In Gemes (1990) I examined certain formal versions of hypothetico-deductivism (H-D) showing that they have the unacceptable consequence that "Abe is a white raven" confirms "All ravens are black"! In Gemes (1992) I developed a new notion of content that could save H-D from this bizarre consequence. In this paper, I argue that more traditional formulations of H-D also need recourse to this new notion of content. I present a new account of the vexing notion of the natural axiomatization of (...) a theory. The notion is used to construct a form of H-D that allows for the type of selective confirmation without which Glymour (1980a,b) claims H-D is hopeless. (shrink)

Philosophers of science as divergent as the inductivist Carnap and the deductivist Popper share the notion that the (logical) content of a proposition is given by its consequence class. I claim that this notion of content is (a) unintuitive and (b) inappropriate for many of the formal needs of philosophers of science. The basic problem is that given this notion of content, for any arbitrary p and q, [(p ∨ q)] will count as part of the content of both p (...) and q. In other words, any arbitrary p and q share some common content. This notion of content has disastrous effects on, for instance, Carnap's attempts to explicate the notion of confirmation in terms of probabilistic favorable relevance, and Popper's attempts to define verisimilitude. After briefly reviewing some of the problems of the traditional notion of content I present an alternative notion of (basic) content which (a) better fits our intuitions about content and (b) better serves the formal needs of philosophers of science. (shrink)

This paper develops a semantical model - theoretic account of (logical) content complementing the syntactically specified account of content developed in "A New Theory of Content I", JPL 23: 596-620, 1994. Proofs of Completeness are given for both propositional and quantificational languages (without identity). Means for handling a quantificational language with identity are also explored. Finally, this new notion of content is compared, in respect of both logical properties and philosophical applications, to alternative partitions of the standard consequence class relation (...) proposed by Stelzner, Schurz and Wiengartner. (shrink)

The traditional Bayesian qualitative account of evidential support (TB) takes assertions of the form 'E evidentially supports H' to affirm the existence of a two-place relation of evidential support between E and H. The analysans given for this relation is $C(H,E) =_{def} Pr(H\arrowvertE) \models Pr(H)$ . Now it is well known that when a hypothesis H entails evidence E, not only is it the case that C(H,E), but it is also the case that C(H&X,E) for any arbitrary X. There is (...) a widespread feeling that this is a problematic result for TB. Indeed, there are a number of cases in which many feel it is false to assert 'E evidentially supports H&X', despite H entailing E. This is known, by those who share that feeling, as the 'tacking problem' for Bayesian confirmation theory. After outlining a generalization of the problem, I argue that the Bayesian response has so far been unsatisfactory. I then argue the following: (i) There exists, either instead of, or in addition to, a two-place relation of confirmation, a three-place, 'contrastive' relation of confirmation, holding between an item of evidence E and two competing hypotheses H₁ and H₂. (ii) The correct analysans of the relation is a particular probabilistic inequality, abbreviated C(H₁, H₂, E). (iii) Those who take the putative counterexamples to TB discussed to indeed be counterexamples are interpreting the relevant utterances as implicitly contrastive, contrasting the relevant hypothesis H₁ with a particular competitor H₂. (iv) The probabilistic structure of these cases is such that ∼C(H₁, H₂, E). This solves my generalization of the tacking problem. I then conclude with some thoughts about the relationship between the traditional Bayesian account of evidential support and my proposed account of the three-place relation of confirmation. (shrink)

An a priori thesis about evidence, defended by many, states that the only empirical fact that can affect the truth of an objective evidence claim of the form ‘e is evidence for h’ (or ‘e confirms h to degree r’) is the truth of e; all other considerations are a priori. By examining cases involving evidential flaws, I challange this claim and defend an empirical concept of evidence. In accordance with such a concept, whether, and the extent to which, e, (...) if true, confirms h is an empirical, not a priori, fact. (shrink)

According to the demand of the Hypothetico-Deductive (H-D) method, a theory is confirmed when the prediction-observation (p-o) gap is small and disconfirmed when the gap is large. A major goal of this paper is to introduce a research domain for which this demand does not hold. In contrast to the H-D method's demand, this research, called the Catch model for reconstructing a face previously seen from memory, requires an increase, within limits, in the p-o gap. The Catch model research substantiates (...) theoretically and empirically a new proposed method that I call the "Deductive-Reconstruction" (D-R) method. This method provides essential conditions whose fulfillment guarantees successful reconstruction of past events (a face previously seen) from memory. It is argued that the D-R method fits the area of research of reconstructing past events from memory better than the H-D method. Application of the H-D method to the Catch model's research domain leads to an internal contradiction and failure to reconstruct past events (a face previously seen) from memory. Finally, the nature of the D-R method along with the Catch model is discussed from three points of view: confirmation, explanation, and generality. (shrink)

Noam Chomsky supone, de forma equivocada, que en la ciencia hay contrastaciones cruciales. La confirmación de las hipótesis de una teoría x no nos habilita para desestimar la teoría z, incompatible con x. Se sugiere, como alternativa, un “principio de complementariedad en lingüística”, en virtud del cual podría aceptarse que alguna teoría lingüística zes científica si ésta caracteriza ciertos fenómenos lingüísticos aun cuando resulte incompatible con la de Chomsky.