Garber (1983) and Jeffrey (1991, 1995) have both proposed solutions to the old evidence problem. Jeffrey's solution, based on a new probability revision method called reparation, has been generalized to the case of uncertain old evidence and probabilistic new explanation in Wagner 1997, 1999. The present paper reformulates some of the latter work, highlighting the central role of Bayes factors and their associated uniformity principle, and extending the analysis to the case in which an hypothesis bears on a countable (...) family of evidentiary propositions. This extension shows that no Garber-type approach is capable of reproducing the results of generalized reparation. (shrink)

CONSENSUS AND PHILOSOPHICAL ISSUES Various atomistic and individualistic theories of knowledge, language, ethics and politics have dominated philosophical ...

The so-called "non-commutativity" of probability kinematics has caused much unjustified concern. When identical learning is properly represented, namely, by identical Bayes factors rather than identical posterior probabilities, then sequential probability-kinematical revisions behave just as they should. Our analysis is based on a variant of Field's reformulation of probability kinematics, divested of its (inessential) physicalist gloss.

Jonathan Weisberg claims that certain probability assessments constructed by Jeffrey conditioning resist subsequent revision by a certain type of after-the-fact defeater of the reasons supporting those assessments, and that such conditioning is thus “inherently anti-holistic.” His analysis founders, however, in applying Jeffrey conditioning to a partition for which an essential rigidity condition clearly fails. Applied to an appropriate partition, Jeffrey conditioning is amenable to revision by the sort of after-the-fact defeaters considered by Weisberg in precisely the way that he demands.

Suppose that several individuals who have separately assessed prior probability distributions over a set of possible states of the world wish to pool their individual distributions into a single group distribution, while taking into account jointly perceived new evidence. They have the option of first updating their individual priors and then pooling the resulting posteriors or first pooling their priors and then updating the resulting group prior. If the pooling method that they employ is such that they arrive at the (...) same final distribution in both cases, the method is said to be externally Bayesian, a property first studied by Madansky . We show that a pooling method for discrete distributions is externally Bayesian if and only if it commutes with Jeffrey conditioning, parameterized in terms of certain ratios of new to old odds, as in Wagner , rather than in terms of the posterior probabilities of members of the disjoint family of events on which such conditioning originates. (shrink)

We establish a probabilized version of modus tollens, deriving from p(E|H)=a and p()=b the best possible bounds on p(). In particular, we show that p() 1 as a, b 1, and also as a, b 0. Introduction Probabilities of conditionals Conditional probabilities 3.1 Adams' thesis 3.2 Modus ponens for conditional probabilities 3.3 Modus tollens for conditional probabilities.

It has often been recommended that the differing probability distributions of a group of experts should be reconciled in such a way as to preserve each instance of independence common to all of their distributions. When probability pooling is subject to a universal domain condition, along with state-wise aggregation, there are severe limitations on implementing this recommendation. In particular, when the individuals are epistemic peers whose probability assessments are to be accorded equal weight, universal preservation of independence is, with a (...) few exceptions, impossible. Under more reasonable restrictions on pooling, however, there is a natural method of preserving the independence of any fixed finite family of countable partitions, and hence of any fixed finite family of discrete random variables. (shrink)

Jeffrey has devised a probability revision method that increases the probability of hypothesis H when it is discovered that H implies previously known evidence E. A natural extension of Jeffrey's method likewise increases the probability of H when E has been established with sufficiently high probability and it is then discovered, quite apart from this, that H confers sufficiently higher probability on E than does its logical negation H̄.

Additional results are reported on the author's earlier generalization of Richard Jeffrey's solution to the problem of old evidence and new explanation.

A simple rule of probability revision ensures that the final result of a sequence of probability revisions is undisturbed by an alteration in the temporal order of the learning prompting those revisions. This Uniformity Rule dictates that identical learning be reflected in identical ratios of certain new-to-old odds, and is grounded in the old Bayesian idea that such ratios represent what is learned from new experience alone, with prior probabilities factored out. The main theorem of this paper includes as special (...) cases Field's theorem on commuting probability-kinematical revisions and the equivalence of two strategies for generalizing Jeffrey 's solution to the old evidence problem to the case of uncertain old evidence and probabilistic new explanation. (shrink)

Jeffrey conditionalization is generalized to the case in which new evidence bounds the possible revisions of a prior below by a Dempsterian lower probability. Classical probability kinematics arises within this generalization as the special case in which the evidentiary focal elements of the bounding lower probability are pairwise disjoint.

In ordinary discourse the term ambiguity typically refers to vagueness or imprecision in a natural language. Among decision theorists, however, this term usually refers to imprecision in an individual’s probabilistic judgments, in the sense that the available evidence is consistent with more than one probability distribution over possible states of the world. Avoiding a prior commitment to either of these interpretations, Fishburn has explored ambiguity as a primitive concept, in terms of what he calls an ambiguity measure a on the (...) power set 2Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$2^{\Omega }$$\end{document} of a finite set Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document}, characterized by five axioms. We prove, in purely set-theoretic terms, that if λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document} is a so-called necessity measure on 2Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$2^{\Omega }$$\end{document} and υ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\upsilon $$\end{document} is its associated possibility measure, then a=υ-λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$a=\upsilon -\lambda $$\end{document} is an ambiguity measure. When Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document} is construed as a set of possible exemplars of a vague predicate ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\phi $$\end{document}, then λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document} and υ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\upsilon $$\end{document} may be regarded as arising from a fuzzy membership function f on Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document}, where f\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f$$\end{document} designates the degree to which ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\phi $$\end{document} is applicable to ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega $$\end{document}. In this case a represents the degree to which the partition {A,Ac}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\{A,A^{c}\}$$\end{document} differentiates members of Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document} with respect to the predicate ϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\phi $$\end{document}. When Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document} is construed as a set of possible states of the world, a necessity measure may be regarded as a very special type of lower probability known as a consonant belief function, and a possibility measure as its associated upper probability, whence a represents the degree of imprecision in the pair \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$$$\end{document} with respect to the event A. Fishburn’s axioms are thus consistent with an interpretation of ambiguity as linguistic vagueness, as well as probabilistic imprecision. (shrink)

Evidentiary propositions E 1 and E 2, each p-positively relevant to some hypothesis H, are mutually corroborating if p > p, i = 1, 2. Failures of such mutual corroboration are instances of what may be called the corroboration paradox. This paper assesses two rather different analyses of the corroboration paradox due, respectively, to John Pollock and Jonathan Cohen. Pollock invokes a particular embodiment of the principle of insufficient reason to argue that instances of the corroboration paradox are of negligible (...) probability, and that it is therefore defeasibly reasonable to assume that items of evidence positively relevant to some hypothesis are mutually corroborating. Taking a different approach, Cohen seeks to identify supplementary conditions that are sufficient to ensure that such items of evidence will be mutually corroborating, and claims to have identified conditions which account for most cases of mutual corroboration. Combining a proposed common framework for the general study of paradoxes of positive relevance with a simulation experiment, we conclude that neither Pollock’s nor Cohen’s claims stand up to detailed scrutiny. I am quite prepared to be told…”oh, that is an extreme case: it could never really happen!” Now I have observed that this answer is always given instantly, with perfect confidence, and without any examination of the proposed case. It must therefore rest on some general principle: the mental process being something like this—“I have formed a theory. This case contradicts my theory. Therefore, this is an extreme case, and would never occur in practice.”Rev. Charles L. Dodgson. (shrink)

A decision problem in which the values of the decision variables must sum to a fixed positive real number s is called an "allocation problem," and the problem of aggregating the allocations of n experts the "allocation aggregation problem." Under two simple axiomatic restrictions on aggregation, the only acceptable allocation aggregation method is based on weighted arithmetic averaging (Lehrer and Wagner, Rational Consensus in Science and Society, 1981). In this note it is demonstrated that when the values assigned to (...) the variables are restricted to a finite set (as is always the case in practice), the aforementioned axioms allow only dictatorial aggregation. (shrink)

Among the many sorts of problems encountered in decision theory, allocation problems occupy a central position. Such problems call for the assignment of a nonnegative real number to each member of a finite set of entities, in such a way that the values so assigned sum to some fixed positive real number s. Familiar cases include the problem of specifying a probability mass function on a countable set of possible states of the world, and the distribution of a certain sum (...) of money, or other resource, among various enterprises. In determining an s-allocation it is common to solicit the opinions of more than one individual, which leads immediately to the question of how to aggregate their typically differing allocations into a single “consensual” allocation. Guided by the traditions of social choice theory decision theorists have taken an axiomatic approach to determining acceptable methods of allocation aggregation. In such approaches so-called “independence” conditions have been ubiquitous. Such conditions dictate that the consensual allocation assigned to each entity should depend only on the allocations assigned by individuals to that entity, taking no account of the allocations that they assign to any other entities. While there are reasons beyond mere simplicity for subjecting allocation aggregation to independence, this radically anti-holistic stricture has frequently proved to severely limit the set of acceptable aggregation methods. As we show in what follows, the limitations are particularly acute in the case of three or more entities which must be assigned nonnegative values summing to some fixed positive number s. For if the set V⊆[0,s] of values that may be assigned to these entities satisfies some simple closure conditions and Vis finite, then independence allows only for dictatorial or imposed aggregation. This theorem builds on and extends a theorem of Bradley and Wagner and, when V={0,1}, yields as a corollary an impossibility theorem of Dietrich on judgment aggregation. (shrink)

In framing the concept of rational consensus, decision theorists have tended to defer to an older, established literature on social welfare theory for guidance on how to proceed. But the uncritical adoption of standards meant to regulate the reconciliation of differing interests has unduly burdened the development of rational methods for the synthesis of differing judgments. In particular, the universality conditions typically postulated in social welfare theory, which derive from fundamentally ethical considerations, preclude a sensitive treatment of special cases when (...) carried over to the realm of judgment aggregation, especially in the case of probabilistic judgment. (shrink)

Richard Jeffrey’s “Conditioning, Kinematics, and Exchangeability” is one of the foundational documents of probability kinematics. However, the section entitled “Successive Updating” contains a subtle error regarding the applicability of updating by so-called relevance quotients in order to ensure the commutativity of successive probability kinematical revisions. Upon becoming aware of this error, Jeffrey formulated the appropriate remedy, but he never discussed the issue in print. To head off any confusion, it seems worthwhile to alert readers of Jeffrey’s “Conditioning, Kinematics, and Exchangeability” (...) to the aforementioned error and to document his remedy, placing it in the context of both earlier and subsequent work on commuting probability kinematical revisions.1. (shrink)

Given someone’s fully specified posterior probability distribution q and information about the revision method that they employed to produce q, what can you infer about their prior probabilistic commitments? This question provides an entrée into a thoroughgoing discussion of a class of parameterizations of Jeffrey conditioning in which the parameters furnish information above and beyond that incorporated in \. Our analysis highlights the ubiquity of Bayes factors in the study of probability revision.

It is shown that the Fisher smoking problem and Newcomb's problem are decisiontheoretically identical, each having at its core an identical case of Simpson's paradox for certain probabilities. From this perspective, incorrect solutions to these problems arise from treating them as cases of decisionmaking under risk, while adopting certain global empirical conditional probabilities as the relevant subjective probabihties. The most natural correct solutions employ the methodology of decisionmaking under uncertainty with lottery acts, with certain local empirical conditional probabilities adopted as (...) the relevant subjective probabilities. (shrink)

It is shown that the Fisher smoking problem and Newcomb's problem are decisiontheoretically identical, each having at its core an identical case of Simpson's paradox for certain probabilities. From this perspective, incorrect solutions to these problems arise from treating them as cases of decisionmaking under risk, while adopting certain global empirical conditional probabilities as the relevant subjective probabihties. The most natural correct solutions employ the methodology of decisionmaking under uncertainty with lottery acts, with certain local empirical conditional probabilities adopted as (...) the relevant subjective probabilities. (shrink)

The right interpretation of subjective probability is implicit in the theories of upper and lower odds, and upper and lower previsions, developed, respectively, by Cedric Smith (1961) and Peter Walley (1991). On this interpretation you are free to assign contingent events the probability 1 (and thus to employ conditionalization as a method of probability revision) without becoming vulnerable to a weak Dutch book.

A simple rule of probability revision ensures that the final result ofa sequence of probability revisions is undisturbed by an alterationin the temporal order of the learning prompting those revisions.This Uniformity Rule dictates that identical learning be reflectedin identical ratios of certain new-to-old odds, and is grounded in the oldBayesian idea that such ratios represent what is learned from new experiencealone, with prior probabilities factored out. The main theorem of this paperincludes as special cases (i) Field's theorem on commuting probability-kinematical (...) revisions and (ii) the equivalence of two strategiesfor generalizing Jeffrey's solution to the old evidence problem tothe case of uncertain old evidence and probabilistic new explanation. (shrink)

Peer review is a widely accepted instrument for raising the quality of science. Peer review limits the enormous unstructured influx of information and the sheer amount of dubious data, which in its absence would plunge science into chaos. In particular, peer review offers the benefit of eliminating papers that suffer from poor craftsmanship or methodological shortcomings, especially in the experimental sciences. However, we believe that peer review is not always appropriate for the evaluation of controversial hypothetical science. We argue that (...) the process of peer review can be prone to bias towards ideas that affirm the prior convictions of reviewers and against innovation and radical new ideas. Innovative hypotheses are thus highly vulnerable to being “filtered out” or made to accord with conventional wisdom by the peer review process. Consequently, having introduced peer review, the Elsevier journal Medical Hypotheses may be unable to continue its tradition as a radical journal allowing discussion of improbable or unconventional ideas. Hence we conclude by asking the publisher to consider re-introducing the system of editorial review to Medical Hypotheses. (shrink)

Several fallacies of conditionalization are illustrated, using the two-envelope problem as a case in point.

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 lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 40.1 (2002) 130-131 [Access article in PDF] Book Review Nietzsche and the Philology of the Future The Invention of Dionysus: An Essay on 'The Birth of Tragedy.' James I. Porter. Nietzsche and the Philology of the Future. Stanford: Stanford University Press, 2000. Pp. xiii + 449. Cloth, $60.00. Paper, $19.95. James I. Porter. The Invention of Dionysus: An Essay on 'The Birth of (...) Tragedy.' Stanford: Stanford University Press, 2000. Pp. xiii + 224. Cloth, $45.00. Paper, $16.95. Every year an astonishing number of books are published on Nietzsche. Here are two more from a single author. James I. Porter's thesis--in both of them--is that "The Birth of Tragedy does not mark a break in Nietzsche's thinking, whether away from his philological understanding of antiquity or toward... emancipation from metaphysics" (Philology of the Future, 2). Perhaps to lend drama to his case, he assumes an unwarranted degree of unanimity among those who see a break between the philological writings of the young Nietzsche and the philosophical ones written later. But Porter's elaboration of his own thesis is quite persuasive nonetheless. He shows that essential tenets of Nietzsche's later philosophy can be found in his early philological writings, and that Nietzsche's interpretations of the ancient Greeks were as ambiguous, "mythological," and self-critical as his later books. In this way, Porter extensively reinterprets Nietzsche's early writing.The Invention of Dionysus is the shorter and more closely argued of the two books. Here Porter attempts to show that in The Birth of Tragedy Nietzsche both began his exposé of the fictional nature of all metaphysics and recognized that metaphysics would forever haunt the human mind. Porter asserts--more forcefully than earlier authors--that Nietzsche was decisively influenced by Friedrich Albert Lange in this; indeed he ascribes much of what is thought most characteristic of Nietzsche's philosophy to Lange! But what Porter takes away from Nietzsche and awards to Lange in originality, he returns to Nietzsche in subtlety.Porter contends that throughout his career Nietzsche defended an "embattled position" (18), attempting to preserve both appearance and metaphysics as necessary dimensions of human consciousness. This is perhaps Porter's contribution: to assert that Nietzsche never thought he had abolished metaphysics in favor of appearance, as so many writers have claimed. According to Porter, Nietzsche understood in The Birth of Tragedy and throughout his career that metaphysics could never be abolished; that the act of trying to abolish metaphysics is itself inevitably metaphysical, and that any philosophy of appearances including his own must also be metaphysical. Porter characterizes Nietzsche's rhetorical stance as "mythological."Porter quotes a passage from The Birth of Tragedy to show that Nietzsche was both eager to reveal the mythological status of Greek metaphysics, and fully aware that his own efforts to reveal it were mythological as well: "It is the fate of every myth to creep by degrees into the narrow limits of some alleged historical reality, and to be treated by some later generation as a unique fact with historical claims"(45). So if readers take Nietzsche's arguments at face value, that is understandable; but it does not make them any less mythological. According to Porter, this stance gives the lie to claims that The Birth of Tragedy was "still" metaphysical. And it should establish that from the first Nietzsche had a more subtle view of his project than previously acknowledged.Porter makes this enduring mythological stance the central issue for interpreting Nietzsche's oeuvre. Interesting as this is, it makes Nietzsche out to be impossibly consistent and prescient about his later writing. And it leaves him an oddly disembodied thinker--quite contrary to his own understanding of the philosophical career. The obvious contortions [End Page 130] in Nietzsche's early writing--rooted in his attempt to be true to his own best insights while maintaining a strenuous discipleship to Richard Wagner--are entirely glossed over. While this might be... (shrink)

The handicap principle stipulates that signal reliability can be maintained if signals are costly to produce. Yet empirical biologists are typically unable to directly measure evolutionary costs, and instead appeal to expenditure as a sensible proxy. However the link between expenditure and cost is not always as straightforward as proponents of HP assume. We consider signaling interactions where whether the expenditure associated with signaling is converted into an evolutionary cost is in some sense dependent on the behavior of the intended (...) recipient of the signal. We illustrate this with a few empirical examples and demonstrate that on this alternative expenditure to cost mapping the traditional predictions of HP no longer hold. Instead of full information transfer, a partially informative communication system like those uncovered by Wagner :163–181, 2013) and Zollman et al. is possible. (shrink)