•  80
    Overview Setting the Stage Consistency Redundancy Goodbye ? Conclusion & References Overview Setting the Stage Consistency Redundancy Goodbye ? Conclusion & References..
  •  454
    The paradox of confirmation
    Philosophy Compass 1 (1). 2006.
    Hempel first introduced the paradox of confirmation in (Hempel 1937). Since then, a very extensive literature on the paradox has evolved (Vranas 2004). Much of this literature can be seen as responding to Hempel’s subsequent discussions and analyses of the paradox in (Hempel 1945). Recently, it was noted that Hempel’s intuitive (and plausible) resolution of the paradox was inconsistent with his official theory of confirmation (Fitelson & Hawthorne 2006). In this article, we will try to explain h…Read more
  •  471
    A probabilistic theory of coherence
    Analysis 63 (3): 194-199. 2003.
    Let E be a set of n propositions E1, ..., En. We seek a probabilistic measure C(E) of the ‘degree of coherence’ of E. Intuitively, we want C to be a quantitative, probabilistic generalization of the (deductive) logical coherence of E. So, in particular, we require C to satisfy the following..
  •  570
    Goodman’s “New Riddle‘
    Journal of Philosophical Logic 37 (6): 613-643. 2008.
    First, a brief historical trace of the developments in confirmation theory leading up to Goodman's infamous "grue" paradox is presented. Then, Goodman's argument is analyzed from both Hempelian and Bayesian perspectives. A guiding analogy is drawn between certain arguments against classical deductive logic, and Goodman's "grue" argument against classical inductive logic. The upshot of this analogy is that the "New Riddle" is not as vexing as many commentators have claimed. Specifically, the anal…Read more
  •  38
    Solutions to Some Open Problems from Slaney
    Australasian Journal of Logic 13 (4): 78-88. 2016.
    In response to a paper by Harris & Fitelson, Slaney states several open questions concerning possible strategies for proving distributivity in a wide class of positive sentential logics. In this note, I provide answers to all of Slaney's open questions. The result is a better understanding of the class of positive logics in which distributivity holds.
  •  48
    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
  •  252
    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
  •  309
    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.
  •  211
    Shortest Axiomatizations of Implicational S4 and S
    with Zachary Ernst, Kenneth Harris, and Larry Wos
    Notre Dame Journal of Formal Logic 43 (3): 169-179. 2002.
    Shortest possible axiomatizations for the implicational fragments of the modal logics S4 and S5 are reported. Among these axiomatizations is included a shortest single axiom for implicational S4—which to our knowledge is the first reported single axiom for that system—and several new shortest single axioms for implicational S5. A variety of automated reasoning strategies were essential to our discoveries
  •  75
    Jill’s paper contains several distinct threads and arguments. I will focus only on what I see as the main theses of the paper, which involve the justification or grounding of the microcanonical probability distribution of classical statistical mechanics. I’ll begin by telling the “canonical” story of the MCD. Then I will discuss Jill’s proposal. I will describe one worry that I have regarding her proposal, and I will offer a friendly amendment which seems to allay my worry
  •  399
    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
  •  253
    Comments on some completeness theorems of Urquhart and méndez & Salto
    with Kenneth Harris
    Journal of Philosophical Logic 30 (1): 51-55. 2001.
    Urquhart and Méndez and Salto claim to establish completeness theorems for the system C and two of its negation extensions. In this note, we do the following three things: (1) provide a counterexample to all of these alleged completeness theorems, (2) attempt to diagnose the mistakes in the reported completeness proofs, and (3) provide complete axiomatizations of the desired systems