•  118
    Accuracy, Language Dependence, and Joyce’s Argument for Probabilism
    Philosophy of Science 79 (1): 167-174. 2012.
    In this article, I explain how a variant of David Miller's argument concerning the language dependence of the accuracy of predictions can be applied to Joyce's notion of the accuracy of “estimates of numerical truth-values”. This leads to a potential problem for Joyce's accuracy-dominance-based argument for the conclusion that credences should obey the probability calculus.
  •  44
    • Several recent Bayesian discussions make use of “approximation” – Earman on the Quantitative Old Evidence Problem – Vranas on Quantitative Approaches to the Ravens Paradox – Dorling’s Quantitative Approach to Duhem–Quine – Strevens’s Quantitative Approach to Duhem–Quine – rThere are also examples not involving confirmation: E.g.
  •  102
    This talk is (mainly) about the relationship two types of epistemic norms: accuracy norms and coherence norms. A simple example that everyone will be familiar with
  •  41
    detail a question that, for a quarter of a century, remained open despite intense study by various researchers. Is the formula XC B = e(x e(e(e( ) e( )) z)) a single axiom for the classical equivalential calculus when the rules of inference consist..
  •  165
    Favoring, Likelihoodism, and Bayesianism (review)
    Philosophy and Phenomenological Research 83 (3): 666-672. 2011.
    This (brief) note is about the (evidential) “favoring” relation. Pre-theoretically, favoring is a three-place (epistemic) relation, between an evidential proposition E and two hypotheses H1 and H2. Favoring relations are expressed via locutions of the form: E favors H1 over H2. Strictly speaking, favoring should really be thought of as a four-place relation, between E, H1, H2, and a corpus of background evidence K. But, for present purposes (which won't address issues involving K), I will suppre…Read more
  •  17
    Review of Richard Swinburne (ed.), Bayes's Theorem (review)
    Notre Dame Philosophical Reviews 2003 (11). 2003.
  •  135
    Comments and Criticism: Measuring Confirmation and Evidence
    with Ellery Eells
    Journal of Philosophy 97 (12): 663-672. 2000.
    Bayesian epistemology suggests various ways of measuring the support that a piece of evidence provides a hypothesis. Such measures are defined in terms of a subjective probability assignment, pr, over propositions entertained by an agent. The most standard measure (where “H” stands for “hypothesis” and “E” stands for “evidence”) is: the difference measure: d(H,E) = pr(H/E) - pr(H).0 This may be called a “positive (probabilistic) relevance measure” of confirmation, since, according to it, a piece…Read more
  •  36
    Certain distributivity results for Lukasiewicz’s infinite-valued logic Lℵ0 are proved axiomatically (for the first time) with the help of the automated reasoning program Otter [16]. In addition, non -distributivity results are established for a wide variety of positive substructural logics by the use of logical matrices discovered with the automated model findingprograms Mace [15] and MaGIC [25].
  •  74
    Let Ln be a sentential language with n atomic sentences {A1, . . . , An}. Let Sn = {s1, . . . , s2n} be the set of 2n state descriptions of Ln, in the following, canonical lexicographical truth-table order: State Description A1 A2 · · · An−1 An T T T T T s1 = A1 & A2 & · · · &An−1 & An T T T T F s1 = A1 & A2 & · · · &An−1 & ¬An T T T F T s3 = A1 & A2 & · · · & ¬An−1 & An T T T F F s4 = A1 & A2 & · · · & ¬An−1 & ¬An..