The so‐called problem of irrelevant conjunction has been seen as a serious challenge for theories of confirmation. It involves the consequences of conjoining irrelevant statements to a hypothesis that is confirmed by some piece of evidence. Following Hawthorne and Fitelson, we reconstruct the problem with reference to Bayesian confirmation theory. Then we extend it to the case of conjoining irrelevant statements to a hypothesis that is dis confirmed by some piece of evidence. As a consequence, we obtain and formally present (...) a novel and more troublesome problem of irrelevant conjunction. We conclude by indicating a possible solution based on a measure‐sensitive approach and by critically discussing a major alternative way to address the problem. *Received December 2008; revised August 2009. †To contact the authors, please write to: Department of Philosophy, University of Turin, via Sant'Ottavio 20, 10124 Turin, Italy; e‐mail: [email protected] ; [email protected] or [email protected]. (shrink)

A basic system of inductive logic; An axiomatic foundation for the logic of inductive generalization; A survey of inductive systems; On the condition of partial exchangeability; Representation theorems of the de finetti type; De finetti's generalizations of excahngeability; The structure of probabilities defined on first-order languages; A subjectivit's guide to objective chance.

APA PsycNET abstract: This is the first volume of a two-volume work on Probability and Induction. Because the writer holds that probability logic is identical with inductive logic, this work is devoted to philosophical problems concerning the nature of probability and inductive reasoning. The author rejects a statistical frequency basis for probability in favor of a logical relation between two statements or propositions. Probability "is the degree of confirmation of a hypothesis (or conclusion) on the basis of some given evidence (...) (or premises)." Furthermore, all principles and theorems of inductive logic are analytic, and the entire system is to be constructed by means of symbolic logic and semantic methods. This means that the author confines himself to the formalistic procedures of word and symbol systems. The resulting sentence or language structures are presumed to separate off logic from all subjectivist or psychological elements. Despite the abstractionism, the claim is made that if an inductive probability system of logic can be constructed it will have its practical application in mathematical statistics, and in various sciences. 16-page bibliography. (PsycINFO Database Record (c) 2016 APA, all rights reserved). (shrink)

1. Introduction. It is generally admitted that a large part of man's knowledge is based on inductive arguments. Hence any philosophical theory concerning the nature of inductive arguments constitutes an epistemological theory. Any such philosophical theory of induction must, if it is to be satisfactory, take adequate account of Hume's criticism of inductive arguments. One way of treating his criticism is to say that the validity of inductive arguments is in an important sense relative to some broad factual assumptions about (...) the general nature of the universe and that these general factual assumptions are presupposed in a certain way by the users of inductive arguments. Let us call any theory of this general type a postulate theory of induction. (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)

Bayesianism provides a rich theoretical framework, which lends itself rather naturally to the explication of various “contrastive” and “non-contrastive” concepts. In this (brief) discussion, I will focus on issues involving “contrastivism”, as they arise in some of the recent philosophy of science, epistemology, and cognitive science literature surrounding Bayesian confirmation theory.

Scientific reasoning is—and ought to be—conducted in accordance with the axioms of probability. This Bayesian view—so called because of the central role it accords to a theorem first proved by Thomas Bayes in the late eighteenth ...

First published in 1949 expressly to introduce logical positivism to English speakers. Reichenbach, with Rudolph Carnap, founded logical positivism, a form of epistemofogy that privileged scientific over metaphysical truths.

How do we know what we "know"? How did we –as individuals and as a society – come to accept certain knowledge as fact? In _Human Knowledge,_ Bertrand Russell questions the reliability of our assumptions on knowledge. This brilliant and controversial work investigates the relationship between ‘individual’ and ‘scientific’ knowledge. First published in 1948, this provocative work contributed significantly to an explosive intellectual discourse that continues to this day.

Includes chapters on scientific language, mathematics, probability, credibility and induction, scientific explanations, life, and science and values.

The likelihood principle (LP) is a core issue in disagreements between Bayesian and frequentist statistical theories. Yet statements of the LP are often ambiguous, while arguments for why a Bayesian must accept it rely upon unexamined implicit premises. I distinguish two propositions associated with the LP, which I label LP1 and LP2. I maintain that there is a compelling Bayesian argument for LP1, based upon strict conditionalization, standard Bayesian decision theory, and a proposition I call the practical relevance principle. In (...) contrast, I argue that there is no similarly compelling argument for or against LP2. I suggest that these conclusions lead to a restrictedly pluralistic view of Bayesian confirmation measures. (shrink)

This article suggests a ‘best alternative' justification of induction (in the sense of Reichenbach) which is based on meta-induction . The meta-inductivist applies the principle of induction to all competing prediction methods which are accessible to her. It is demonstrated, and illustrated by computer simulations, that there exist meta-inductivistic prediction strategies whose success is approximately optimal among all accessible prediction methods in arbitrary possible worlds, and which dominate the success of every noninductive prediction strategy. The proposed justification of meta-induction is (...) mathematically analytical. It implies, however, an a posteriori justification of object-induction based on the experiences in our world. *Received November 2005; revised March 2008. †To contact the author, please write to: Department of Philosophy, University of Duesseldorf, Universitaetsstrasse 1, Geb. 23.21, Duesseldorf, Germany D-40225; e-mail: [email protected]. (shrink)

While there is no universal logic of induction, the probability calculus succeeds as a logic of induction in many contexts through its use of several notions concerning inductive inference. They include Addition, through which low probabilities represent disbelief as opposed to ignorance; and Bayes property, which commits the calculus to a ‘refute and rescale’ dynamics for incorporating new evidence. These notions are independent and it is urged that they be employed selectively according to needs of the problem at hand. It (...) is shown that neither is adapted to inductive inference concerning some indeterministic systems. (shrink)

I show that the two most devastating objections to Shogenji's formal account of coherence necessarily involve information sets of cardinality . Given this, I surmise that the problem with Shogenji's measure has more to do with his means of generalizing the measure than with the measure itself. I defend this claim by offering an alternative generalization of Shogenji's measure. This alternative retains the intuitive merits of the original measure while avoiding both of the relevant problems that befall it. In the (...) light of all of this, I suggest that there is new hope for Shogenji's analysis: Shogenji's early and influential attempt at measuring coherence, when generalized in a subset-sensitive way, is able to clear its most troubling objections. (shrink)

Plausibly, when we adopt a probabilistic standpoint any measure Cb of the degree to which evidence e confirms hypothesis h relative to background knowledge b should meet these five desiderata: Cb > 0 when P > P < 0 when P < P; Cb = 0 when P = P. Cb is some function of the values P and P assume on the at most sixteen truth-functional combinations of e and h. If P < P and P = P then (...) Cb ≤ Cb; if P = P and P < P then Cb ≥ Cb. Cb – Cb is fully determined by Cb and Cbe – Cbe; if Cb = 0 then Cb + Cbe = 0. If P = P then Cb = Cb. (shrink)

Bayesian confirmation theory offers an explicatum for a pretheoretic concept of confirmation. The “problem of irrelevant conjunction” for this theory is that, according to some people's intuitions, the pretheoretic concept differs from the explicatum with regard to conjunctions involving irrelevant propositions. Previous Bayesian solutions to this problem consist in showing that irrelevant conjuncts reduce the degree of confirmation; they have the drawbacks that (i) they don't hold for all ways of measuring degree of confirmation and (ii) they don't remove the (...) conflict with intuition but merely “soften the impact” (as Fitelson has written). A better solution, which avoids both these drawbacks, is to show that the intuition is wrong. (shrink)

The problem of scientific disregard is the problem of accounting for why some putative theories that appear to be well-supported by empirical evidence nevertheless play no role in the scientific enterprise. Laudan and Leplin suggest (and Hoefer and Rosenberg concur) that at least some of these putative theories fail to be genuine theoretical rivals because they lack some non-empirical property of theoreticity. This solution also supports their repudiation of the thesis of underdetermination. I argue that the attempt to provide criteria (...) of theoreticity fails, that there is a Bayesian solution to the problem of scientific disregard that fares better, and that this successful solution supports a distinctively Bayesian version of the underdetermination thesis. (shrink)

Surprisingly, modified versions of the confirmation theory (Carnap and Hempel) and truth approximation theory (Popper) turn out to be smoothly sythesizable. The glue between the two appears to be the instrumentalist methodology, rather than that of the falsificationalist. The instrumentalist methodology, used in the separate, comparative evaluation of theories in terms of their successes and problems (hence, even if already falsified), provides in theory and practice the straight road to short-term empirical progress in science ( à la Laudan). It is (...) also argued that such progress is also functional for all kinds of truth approximation: observational, referential, and theoretical. This sheds new light on the long-term dynamics of science and hence on the relation between the main epistemological positions, viz., instrumentalism (Toulmin, Laudan), constructive empiricism (Van Fraassen), referential realism (Hacking, Cartwright), and theory realism of a non-essentialist nature (constructive realism à la Popper). Readership: Open minded philosophers and scientists. The book explains and justifies the scientist's intuition that the debate among philosophers about instrumentalism and realism has almost no practical consequences. (shrink)

Then, in 1960, Carnap drew up a plan of articles for Studies in Inductive Logic and Probability — a surrogate for Volume II of the ...

The underdetermination of theory by evidence must be distinguished from holism. The latter is a doctrine about the testing of scientific hypotheses; the former is a thesis about empirically adequate logically incompatible global theories or "systems of the world". The distinction is crucial for an adequate assessment of the underdetermination thesis. The paper shows how some treatments of underdetermination are vitiated by failure to observe this distinction, and identifies some necessary conditions for the existence of multiple empirically equivalent global theories. (...) We consider how empiricists should respond to the possibility of such systems of the world. (shrink)

The Description for this book, Theory and Evidence, will be forthcoming.

In their 1983 article, Popper and Miller present an argument against inductive probability. This argument is criticized by Redhead in his 1985 article. The aim of the present note is to state one form of the Popper-Miller argument, and defend it against Redhead's criticisms.

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

Naive deductive accounts of confirmation have the undesirable consequence that if E confirms H, then E also confirms the conjunction H & X, for any X—even if X is utterly irrelevant to H (and E). Bayesian accounts of confirmation also have this property (in the case of deductive evidence). Several Bayesians have attempted to soften the impact of this fact by arguing that—according to Bayesian accounts of confirmation— E will confirm the conjunction H & X less strongly than E confirms (...) H (again, in the case of deductive evidence). I argue that existing Bayesian “resolutions” of this problem are inadequate in several important respects. In the end, I suggest a new‐and‐improved Bayesian account (and understanding) of the problem of irrelevant conjunction. (shrink)

Experimental observations are often taken in order to assist in making a choice between relevant hypotheses ∼ H and H. The power of observations in this decision is here metrically defined by information-theoretic concepts and Bayes' theorem. The exact (or maximum power) of a new observation to increase or decrease Pr(H) the prior probability that H is true; the power of that observation to modify the total amount of uncertainty involved in the choice between ∼ H and H: the power (...) of a new observation to reduce uncertainty toward the ideal amount, zero; all these powers are systematically shown to be exact metrical functions of Pr(H) and Pr(o/H)/Pr(o)-1 where the numerator is the likelihood of the new observation given H, and the denominator is the "expectedness" of the observation. (shrink)

Experimental observations are often taken in order to assist in making a choice between relevant hypotheses ∼ H and H. The power of observations in this decision is here metrically defined by information-theoretic concepts and Bayes' theorem. The exact (or maximum power) of a new observation to increase or decrease Pr(H) the prior probability that H is true; the power of that observation to modify the total amount of uncertainty involved in the choice between ∼ H and H: the power (...) of a new observation to reduce uncertainty toward the ideal amount, zero; all these powers are systematically shown to be exact metrical functions of Pr(H) and Pr(o/H)/Pr(o)-1 where the numerator is the likelihood of the new observation given H, and the denominator is the "expectedness" of the observation. (shrink)

Experimental observations are often taken in order to assist in making a choice between relevant hypotheses ~H and H. The power of observations in this decision is here metrically defined by information-theoretic concepts and Bayes' theorem. The exact of a new observation to increase or decrease Pr the prior probability that H is true; the power of that observation to modify the total amount of uncertainty involved in the choice between ~H and H: the power of a new observation to (...) reduce uncertainty toward the ideal amount, zero; all these powers are systematically shown to be exact metrical functions ofwhere the numerator is the likelihood of the new observation given H, and the denominator is the “expectedness” of the observation. (shrink)

Several forms of symmetry in degrees of evidential support areconsidered. Some of these symmetries are shown not to hold in general. This has implications for the adequacy of many measures of degree ofevidential support that have been proposed and defended in the philosophical literature.

There is currently no viable alternative to the Bayesian analysis of scientific inference, yet the available versions of Bayesianism fail to do justice to several aspects of the testing and confirmation of scientific hypotheses. Bayes or Bust? provides the first balanced treatment of the complex set of issues involved in this nagging conundrum in the philosophy of science. Both Bayesians and anti-Bayesians will find a wealth of new insights on topics ranging from Bayes’s original paper to contemporary formal learning theory.In (...) a paper published posthumously in 1763, the Reverend Thomas Bayes made a seminal contribution to the understanding of "analogical or inductive reasoning." Building on his insights, modem Bayesians have developed an account of scientific inference that has attracted numerous champions as well as numerous detractors. Earman argues that Bayesianism provides the best hope for a comprehensive and unified account of scientific inference, yet the presently available versions of Bayesianisin fail to do justice to several aspects of the testing and confirming of scientific theories and hypotheses. By focusing on the need for a resolution to this impasse, Earman sharpens the issues on which a resolution turns. John Earman is Professor of History and Philosophy of Science at the University of Pittsburgh. (shrink)