•  18
    The consideration of careful reasoning can be traced to Aristotle and earlier authors. The possibility of rigorous rules for drawing conclusions can certainly be traced to the Middle Ages when types o f syllogism were studied. Shortly after the introduction of computers, the audacious scientist naturally envisioned the automation of sound reasoning—reasoning in which conclusions that are drawn follow l ogically and inevitably from the given hypotheses. Did the idea spring from the intent to emul…Read more
  •  118
    A bayesian account of independent evidence with applications
    Proceedings of the Philosophy of Science Association 2001 (3). 2001.
    outlined. This account is partly inspired by the work of C.S. Peirce. When we want to consider how degree of confirmation varies with changing I show that a large class of quantitative Bayesian measures of con-.
  •  77
    The philosophical significance of Stein’s paradox
    European Journal for Philosophy of Science 7 (3): 411-433. 2017.
    Charles Stein discovered a paradox in 1955 that many statisticians think is of fundamental importance. Here we explore its philosophical implications. We outline the nature of Stein’s result and of subsequent work on shrinkage estimators; then we describe how these results are related to Bayesianism and to model selection criteria like AIC. We also discuss their bearing on scientific realism and instrumentalism. We argue that results concerning shrinkage estimators underwrite a surprising form o…Read more
  •  672
    Evidence of evidence is not (necessarily) evidence
    Analysis 72 (1): 85-88. 2012.
    In this note, I consider various precisifications of the slogan ‘evidence of evidence is evidence’. I provide counter-examples to each of these precisifications (assuming an epistemic probabilistic relevance notion of ‘evidential support’)
  •  145
    Studies in Bayesian Confirmation Theory
    Dissertation, University of Wisconsin, Madison. 2001.
    According to Bayesian confirmation theory, evidence E (incrementally) confirms (or supports) a hypothesis H (roughly) just in case E and H are positively probabilistically correlated (under an appropriate probability function Pr). There are many logically equivalent ways of saying that E and H are correlated under Pr. Surprisingly, this leads to a plethora of non-equivalent quantitative measures of the degree to which E confirms H (under Pr). In fact, many non-equivalent Bayesian measures of the…Read more
  •  317
    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_ relation…Read more
  •  94
    A New Garber-Style Solution to the Problem of Old Evidence
    Philosophy of Science 82 (4): 712-717. 2015.
    In this discussion note, we explain how to relax some of the standard assumptions made in Garber-style solutions to the Problem of Old Evidence. The result is a more general and explanatory Bayesian approach
  •  43
    • What’s essential to Newcomb’s problem? 1. You must choose between two particular acts: A1 = you take just the opaque box; A2 = you take both boxes, where the two states of nature are: S 1 = there’s $1M in the opaque box, S2 = there’s $0 in the opaque box.
  •  147
    Putting the irrelevance back into the problem of irrelevant conjunction
    Philosophy of Science 69 (4): 611-622. 2002.
    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, i…Read more
  •  170
    The Wason task(s) and the paradox of confirmation
    Philosophical Perspectives 24 (1): 207-241. 2010.
    The (recent, Bayesian) cognitive science literature on the Wason Task (WT) has been modeled largely after the (not-so-recent, Bayesian) philosophy of science literature on the Paradox of Confirmation (POC). In this paper, we apply some insights from more recent Bayesian approaches to the (POC) to analogous models of (WT). This involves, first, retracing the history of the (POC), and, then, re-examining the (WT) with these historico-philosophical insights in mind
  •  45
    This is a high quality, concise collection of articles on the foundations of probability and statistics. Its editor, Richard Swinburne, has collected five papers by contemporary leaders in the field, written a pretty thorough and even-handed introductory essay, and placed a very clean and accessible version of Reverend Thomas Bayes’s famous essay (“An Essay Towards the Solving a Problem in the Doctrine of Chances”) at the end, as an Appendix (with a brief historical introduction by the noted sta…Read more
  •  280
    Probability
    with Alan Hajek and Ned Hall
    In Jessica Pfeifer & Sahotra Sarkar (eds.), The Philosophy of Science: An Encyclopedia, Routledge. 2006.
    There are two central questions concerning probability. First, what are its formal features? That is a mathematical question, to which there is a standard, widely (though not universally) agreed upon answer. This answer is reviewed in the next section. Second, what sorts of things are probabilities---what, that is, is the subject matter of probability theory? This is a philosophical question, and while the mathematical theory of probability certainly bears on it, the answer must come from elsewh…Read more
  •  32
    Axiomatic proofs through automated reasoning
    with Larry Wos
    Bulletin of the Section of Logic 29 (3): 125-36. 2000.
  •  100
    It is useful to note how (CC) differs from closure: (C) If S comes to believe q solely on the basis of competent deduction from p and S knows that p, then S knows that q. I won’t be discussing (C) today, but here is a useful contrast
  •  28
    We’ll adopt a simple framework today. Our assumptions: A model (M) is a family of hypotheses. A hypothesis (H) is a curve plus an associated error term . For simplicity, we’ll assume a common N (0, 1) Gaussian
  •  37
    In this talk, I will explain why only one of Miller’s two types of language-dependence-of-verisimilitude problems is a (potential) threat to the sorts of accuracy-dominance approaches to coherence that I’ve been discussing
  •  118
    Updating: Learning versus supposing
    with Jiaying Zhao, Vincenzo Crupi, Katya Tentori, and Daniel Osherson
    Cognition 124 (3): 373-378. 2012.
  •  71
    FEW 2009 Special Issue: Preface (review)
    Journal of Philosophical Logic 39 (6): 591-591. 2010.
  •  178
    Symmetries and asymmetries in evidential support
    with Ellery Eells
    Philosophical Studies 107 (2). 2002.
    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.
  •  147
    Naive deductivist 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 completely irrelevant to E and H. Bayesian accounts of confirmation may appear to have the same problem. In a recent article in this journal Fitelson (2002) argued that existing Bayesian attempts to resolve of this problem are inadequate in several important respects. Fitelson then proposes a new‐and‐improved Bayesian account that over…Read more
  •  22
    Certain distributivity results for Lukasiewicz’s infinite-valued logic Lℵ0..
  •  19
    Remarks on "Random Sequences"
    with Daniel Osherson
    Australasian Journal of Logic 12 (1). 2015.
    We show that standard statistical tests for randomness of finite sequences are language-dependent in an inductively pernicious way.
  •  208
    Too Odd (Not) to Be True? A Reply to Olsson
    with Luc Bovens, Stephan Hartmann, and Josh Snyder
    British Journal for the Philosophy of Science 53 (4): 539-563. 2002.
    Corroborating Testimony, Probability and Surprise’, Erik J. Olsson ascribes to L. Jonathan Cohen the claims that if two witnesses provide us with the same information, then the less probable the information is, the more confident we may be that the information is true (C), and the stronger the information is corroborated (C*). We question whether Cohen intends anything like claims (C) and (C*). Furthermore, he discusses the concurrence of witness reports within a context of independent witnesses…Read more
  •  438
    What is the “Equal Weight View'?
    with David Jehle
    Episteme 6 (3): 280-293. 2009.
    In this paper, we investigate various possible (Bayesian) precisifications of the (somewhat vague) statements of “the equal weight view” (EWV) that have appeared in the recent literature on disagreement. We will show that the renditions of (EWV) that immediately suggest themselves are untenable from a Bayesian point of view. In the end, we will propose some tenable (but not necessarily desirable) interpretations of (EWV). Our aim here will not be to defend any particular Bayesian precisification…Read more
  •  145
    Comparative Bayesian Confirmation and the Quine–Duhem Problem: A Rejoinder to Strevens
    with Andrew Waterman
    British Journal for the Philosophy of Science 58 (2): 333-338. 2007.
    By and large, we think is a useful reply to our original critique of his article on the Quine–Duhem problem. But, we remain unsatisfied with several aspects of his reply. Ultimately, we do not think he properly addresses our most important worries. In this brief rejoinder, we explain our remaining worries, and we issue a revised challenge for Strevens's approach to QD.
  •  216
    Probabilistic measures of causal strength
    In Phyllis McKay Illari Federica Russo (ed.), Causality in the Sciences, Oxford University Press. pp. 600--627. 2011.
  •  21
    E confirmsi H1 more strongly than E confirmsi H2 iff c(H1, E) > c(H2, E). [where c is some relevance measure]
  •  278
    Bayesian confirmation and auxiliary hypotheses revisited: A reply to Strevens
    with Andrew Waterman
    British Journal for the Philosophy of Science 56 (2): 293-302. 2005.
    has proposed an interesting and novel Bayesian analysis of the Quine-Duhem (Q–D) problem (i.e., the problem of auxiliary hypotheses). Strevens's analysis involves the use of a simplifying idealization concerning the original Q–D problem. We will show that this idealization is far stronger than it might appear. Indeed, we argue that Strevens's idealization oversimplifies the Q–D problem, and we propose a diagnosis of the source(s) of the oversimplification. Some background on Quine–Duhem Strevens…Read more
  •  48
    Suppose we have two false hypotheses H1 and H2. Sometimes, we would like to be able to say that H1 is closer to the truth than H2 (e.g., Newton’s hypothesis vs. Ptolemy’s).