-
80Overview Setting the Stage Consistency Redundancy Goodbye ? Conclusion & References Overview Setting the Stage Consistency Redundancy Goodbye ? Conclusion & References..
-
454The paradox of confirmationPhilosophy 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
-
471A probabilistic theory of coherenceAnalysis 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..
-
570Goodman’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
-
38Solutions to Some Open Problems from SlaneyAustralasian 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.
-
48In 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
-
252Studies in Bayesian Confirmation TheoryDissertation, 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
-
309Symmetries and asymmetries in evidential supportPhilosophical 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.
-
211Shortest Axiomatizations of Implicational S4 and SNotre 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
-
75Jill’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
-
399Putting the irrelevance back into the problem of irrelevant conjunctionPhilosophy 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
-
253Comments on some completeness theorems of Urquhart and méndez & SaltoJournal 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
Boston, MA, United States of America
Areas of Specialization
| Metaphysics and Epistemology |
| Science, Logic, and Mathematics |
| Formal Epistemology |