-
90Let L be a sentential (object) language containing atoms ‘A’, ‘B’, . . . , and two logical connectives ‘&’ and ‘→’. In addition to these two logical connectives, L will also contain another binary connective ‘ ’, which is intended to be interpreted as the English indicative. In the meta-language for L , we will have two meta-linguistic operations: ‘ ’ and ‘ ’. ‘ ’ is a binary relation between individual sentences in L . It will be interpreted as “single premise entailment” (or “single premise de…Read more
-
87Shortest 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
-
84The talk is mainly defensive. I won’t offer positive accounts of the “paradoxical” cases I will discuss (but, see “Extras”). I’ll begin with Harman’s defense of classical deductive logic against certain (epistemological) “relevantist” arguments
-
84Probability, confirmation, and the conjunction fallacyThinking and Reasoning 14 (2): 182-199. 2008.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 of providing a satisfactory account of the phenomenon has proven challenging. Here, we elaborate the suggestion (first discussed by Sides et al., 2001) that in standard conjunction problems the fallacious probability judgments experimentally observed are typically guided by sound assessments of confirmation relations, meant in terms of…Read more
-
84Knowledge, Scepticism, and Defeat: Themes from Klein (edited book)Springer Verlag. 2019.This is a collection of new essays written in honor of the work of Peter D. Klein, who has had and continues to have a tremendous influence in the development of epistemology. The essays reflect the breadth and depth of Klein’s work by engaging directly with his views and with the views of his interlocutors.
-
81The philosophical significance of Stein’s paradoxEuropean 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
-
79∗ C pp, qq as a “mutual confirmation” generalization of pp & qq Prpe hq won’t work Prpp & qq won’t work ∗ C pp, qq, so understood, is not Prpp & qq or Prpq | pq, etc.
-
79Finding missing proofs with automated reasoningStudia Logica 68 (3): 329-356. 2001.This article features long-sought proofs with intriguing properties (such as the absence of double negation and the avoidance of lemmas that appeared to be indispensable), and it features the automated methods for finding them. The theorems of concern are taken from various areas of logic that include two-valued sentential (or propositional) calculus and infinite-valued sentential calculus. Many of the proofs (in effect) answer questions that had remained open for decades, questions focusing on …Read more
-
70In Bayes or Bust? John Earman quickly dismisses a possible resolution (or avoidance) of the problem of old evidence. In this note, I argue that his dismissal is premature, and that the proposed resolution (when charitably reconstructed) is reasonable.
-
69Let 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..
-
65A Problem for Confirmation Measure ZPhilosophy of Science 88 (4): 726-730. 2021.In this article, I present a serious problem for confirmation measure Z.
-
573 Contrastive BayesiansimIn Martijn Blaauw (ed.), Contrastivism in philosophy, Routledge/taylor & Francis Group. pp. 39--64. 2013.
-
56In the first edition of LFP, Carnap [2] undertakes a precise probabilistic explication of the concept of confirmation. This is where modern confirmation theory was born (in sin). Carnap was interested mainly in quantitative confirmation (which he took to be fundamental). But, he also gave (derivative) qualitative and comparative explications: • Qualitative. E inductively supports H. • Comparative. E supports H more strongly than E supports H . • Quantitative. E inductively supports H to degree r . C…Read more
-
54Note: This is not an ad hoc change at all. It’s simply the natural thing say here – if one thinks of F as a generalization of classical logical entailment. The extra complexity I had in my original (incorrect) definition of F was there because I was foolishly trying to encode some non-classical, or “relavant” logical structure in F. I now think this is a mistake, and that I should go with the above, classical account of F. Arguments about relevance logic need to be handled in a different way (and …Read more
-
49Overview Setting the Stage Consistency Redundancy Goodbye ? Conclusion & References Overview Setting the Stage Consistency Redundancy Goodbye ? Conclusion & References..
-
48Suppose 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).
-
48The Automation of Sound Reasoning and Successful Proof FindingIn Dale Jacquette (ed.), A Companion to Philosophical Logic, Blackwell. 2006.This chapter contains sections titled: The Cutting Edge Automated Reasoning, Principles and Elements Significant Successes Myths, Mechanization, and Mystique.
-
47Here’s what Nicod [23] said about instantial confirmation: Consider the formula or the law: A entails B. How can a particular proposition, or more briefly, a fact, affect its probability? If this fact consists of the presence of B in a case of A, it is favourable to the law . . . on the contrary, if it consists of the absence of B in a case of A, it is unfavourable to this law.
-
46This 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
-
45A Bayesian Account of Independent Evidence with ApplicationsPhilosophy of Science 68 (S3). 2001.A Bayesian account of independent evidential support is outlined. This account is partly inspired by the work of C. S. Peirce. I show that a large class of quantitative Bayesian measures of confirmation satisfy some basic desiderata suggested by Peirce for adequate accounts of independent evidence. I argue that, by considering further natural constraints on a probabilistic account of independent evidence, all but a very small class of Bayesian measures of confirmation can be ruled out. In closin…Read more
-
45There are various questions that arise in connection with the “intelligent design” (ID) controversy. This introductory section aims to distinguish five of these questions. Later sections are devoted to detailed discussions of each of these five questions. The first (and central) question is the one that has been discussed most frequently in the news lately: (Q1) Should ID be taught in our public schools? It is helpful to break this general “public school curriculum question” into the following t…Read more
-
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.
-
44To be honest, I have almost nothing critical to say about Jim’s presentation (and this is quite unusual for a cranky analytic philosopher like me!). What Jim has said is all very sensible, and his examples are very well chosen, etc. So, instead of making critical remarks, I will try to expand a little on one of the themes Jim briefly touched upon in his talk: the contextuality of probability.
-
44– Foundation: Probabilistic Confirmation (c) from a Logical POV ∗ cph, eq as a “relevant” quantitative generalization of pe hq ∗ cph, eq, so understood, is not Prpe hq or Prph | eq, etc. ∗ cph, eq is something akin (ordinally) to the likelihood ratio..
-
44• 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.
Boston, MA, United States of America
Areas of Specialization
Metaphysics and Epistemology |
Science, Logic, and Mathematics |
Formal Epistemology |