-
195What is the aim of (contradictory) Christology?In Jonathan Rutledge (ed.), Paradox and Contradiction in Theology, Routledge Academic. pp. 33-51. 2023.How good a theory is depends on how well it meets the goals of its inquiry. Thus, for example, theories in the natural sciences are better if in addition to stating truths, they also impart a kind of understanding. Recent proposals—such as Jc Beall’s Contradictory Christology—to set Christian theology within non-classical logic should be judged in a like manner: according to how well they meet the goals of Christology. This paper examines some of the effects of changing the logic of Christo…Read more
-
70On Number-Set Identity: A StudyPhilosophia Mathematica 30 (2): 223-244. 2022.Benacerraf’s 1965 multiple-reductions argument depends on what I call ‘deferential logicism’: his necessary condition for number-set identity is most plausible against a background Quineanism that allows autonomy of the natural number concept. Steinhart’s ‘folkist’ sufficient condition on number-set identity, by contrast, puts that autonomy at the center — but fails for not taking the folk perspective seriously enough. Learning from both sides, we explore new conditions on number-set identity, e…Read more
-
32Deductive Cardinality Results and Nuisance-Like PrinciplesReview of Symbolic Logic 14 (3): 592-623. 2021.The injective version of Cantor’s theorem appears in full second-order logic as the inconsistency of the abstraction principle, Frege’s Basic Law V (BLV), an inconsistency easily shown using Russell’s paradox. This incompatibility is akin to others—most notably that of a (Dedekind) infinite universe with the Nuisance Principle (NP) discussed by neo-Fregean philosophers of mathematics. This paper uses the Burali–Forti paradox to demonstrate this incompatibility, and another closely related, witho…Read more
-
51Identifying finite cardinal abstractsPhilosophical Studies 178 (5): 1603-1630. 2020.Objects appear to fall into different sorts, each with their own criteria for identity. This raises the question of whether sorts overlap. Abstractionists about numbers—those who think natural numbers are objects characterized by abstraction principles—face an acute version of this problem. Many abstraction principles appear to characterize the natural numbers. If each abstraction principle determines its own sort, then there is no single subject-matter of arithmetic—there are too many numbers. …Read more
-
39Abstraction Principles and the Classification of Second-Order Equivalence RelationsNotre Dame Journal of Formal Logic 60 (1): 77-117. 2019.This article improves two existing theorems of interest to neologicist philosophers of mathematics. The first is a classification theorem due to Fine for equivalence relations between concepts definable in a well-behaved second-order logic. The improved theorem states that if an equivalence relation E is defined without nonlogical vocabulary, then the bicardinal slice of any equivalence class—those equinumerous elements of the equivalence class with equinumerous complements—can have one of only …Read more
-
82The Nuisance Principle in Infinite SettingsThought: A Journal of Philosophy 4 (4): 263-268. 2015.Neo-Fregeans have been troubled by the Nuisance Principle, an abstraction principle that is consistent but not jointly satisfiable with the favored abstraction principle HP. We show that logically this situation persists if one looks at joint consistency rather than satisfiability: under a modest assumption about infinite concepts, NP is also inconsistent with HP
-
165Relative categoricity and abstraction principlesReview of Symbolic Logic 8 (3): 572-606. 2015.Many recent writers in the philosophy of mathematics have put great weight on the relative categoricity of the traditional axiomatizations of our foundational theories of arithmetic and set theory. Another great enterprise in contemporary philosophy of mathematics has been Wright's and Hale's project of founding mathematics on abstraction principles. In earlier work, it was noted that one traditional abstraction principle, namely Hume's Principle, had a certain relative categoricity property, wh…Read more
Evanston, Illinois, United States of America
Areas of Specialization
Logic and Philosophy of Logic |
Philosophy of Mathematics |
Areas of Interest
11 more