-
188New V, ZF and AbstractionPhilosophia Mathematica 7 (3): 293-321. 1999.We examine George Boolos's proposed abstraction principle for extensions based on the limitation-of-size conception, New V, from several perspectives. Crispin Wright once suggested that New V could serve as part of a neo-logicist development of real analysis. We show that it fails both of the conservativeness criteria for abstraction principles that Wright proposes. Thus, we support Boolos against Wright. We also show that, when combined with the axioms for Boolos's iterative notion of set, New …Read more
-
88Translating Logical TermsTopoi 38 (2): 291-303. 2019.The is an old question over whether there is a substantial disagreement between advocates of different logics, as they simply attach different meanings to the crucial logical terminology. The purpose of this article is to revisit this old question in light a pluralism/relativism that regards the various logics as equally legitimate, in their own contexts. We thereby address the vexed notion of translation, as it occurs between mathematical theories. We articulate and defend a thesis that the not…Read more
-
13II—Patrick Greenough: Contextualism about Vagueness and Higher‐order VaguenessAristotelian Society Supplementary Volume 79 (1): 167-190. 2005.To get to grips with what Shapiro does and can say about higher-order vagueness, it is first necessary to thoroughly review and evaluate his conception of (first-order) vagueness, a conception which is both rich and suggestive but, as it turns out, not so easy to stabilise. In Sections I–IV, his basic position on vagueness (see Shapiro [2003]) is outlined and assessed. As we go along, I offer some suggestions for improvement. In Sections V–VI, I review two key paradoxes of higher-order vagueness…Read more
-
1Review: Constructibility and mathematical existence by Charles Chihara (review)Mind 101 361-364. 1992.
-
60The Company Kept by Cut Abstraction (and its Relatives)Philosophia Mathematica 19 (2): 107-138. 2011.This article concerns the ongoing neo-logicist program in the philosophy of mathematics. The enterprise began life, in something close to its present form, with Crispin Wright’s seminal [1983]. It was bolstered when Bob Hale [1987] joined the fray on Wright’s behalf and it continues through many extensions, objections, and replies to objections . The overall plan is to develop branches of established mathematics using abstraction principles in the form: Formula where a and b are variables of a g…Read more
-
108Frege meets dedekind: A neologicist treatment of real analysisNotre Dame Journal of Formal Logic 41 (4): 335--364. 2000.This paper uses neo-Fregean-style abstraction principles to develop the integers from the natural numbers (assuming Hume’s principle), the rational numbers from the integers, and the real numbers from the rationals. The first two are first-order abstractions that treat pairs of numbers: (DIF) INT(a,b)=INT(c,d) ≡ (a+d)=(b+c). (QUOT) Q(m,n)=Q(p,q) ≡ (n=0 & q=0) ∨ (n≠0 & q≠0 & m⋅q=n⋅p). The development of the real numbers is an adaption of the Dedekind program involving “cuts” of ra…Read more
-
16The Lindenbaum construction and decidabilityNotre Dame Journal of Formal Logic 29 (2): 208-213. 1988.
-
27Expressive completeness and decidabilityNotre Dame Journal of Formal Logic 31 (4): 576-579. 1990.
-
41Deflation and conservationIn Volker Halbach & Leon Horsten (eds.), Principles of truth, Hänsel-hohenhausen. pp. 103-128. 2002.
-
66Review of T. Franzen, Godel's theorem: An incomplete guide to its use and abuse (review)Philosophia Mathematica 14 (2): 262-264. 2006.This short book has two main purposes. The first is to explain Kurt Gödel's first and second incompleteness theorems in informal terms accessible to a layperson, or at least a non-logician. The author claims that, to follow this part of the book, a reader need only be familiar with the mathematics taught in secondary school. I am not sure if this is sufficient. A grasp of the incompleteness theorems, even at the level of ‘the big picture’, might require some experience with the rigor of mathemat…Read more
-
22Mechanism, Mentalism and Metamathematics: An Essay on FinitismJournal of Symbolic Logic 51 (2): 472. 1980.
-
144Structure and identityIn Fraser MacBride (ed.), Identity and modality, Oxford University Press. pp. 34--69. 2006.According to ante rem structuralism a branch of mathematics, such as arithmetic, is about a structure, or structures, that exist independent of the mathematician, and independent of any systems that exemplify the structure. A structure is a universal of sorts: structure is to exemplified system as property is to object. So ante rem structuralist is a form of ante rem realism concerning universals. Since the appearance of my Philosophy of mathematics: Structure and ontology, a number of crit…Read more
-
1""Bertrand Russell," On Denoting"(1905) and" Mathematical Logic as Based on the Theory of Types"(1908)In Jorge J. E. Gracia, Gregory M. Reichberg & Bernard N. Schumacher (eds.), The Classics of Western Philosophy: A Reader's Guide, Wiley-blackwell. pp. 460. 2003.
-
1Vagueness, Metaphysics, and ObjectivityIn Richard Dietz & Sebastiano Moruzzi (eds.), Cuts and clouds: vagueness, its nature, and its logic, Oxford University Press. 2010.
-
34Life on the Ship of NeurathCroatian Journal of Philosophy 9 (2): 149-166. 2009.Some central philosophical issues concern the use of mathematics in putatively non-mathematical endeavors. One such endeavor, of course, is philosophy, and the philosophy of mathematics is a key instance of that. The present article provides an idiosyncratic survey of the use of mathematical results to provide support or counter-support to various philosophical programs concerning the foundations of mathematics.
-
159An “I” for an I: Singular terms, uniqueness, and referenceReview of Symbolic Logic 5 (3): 380-415. 2012.There is an interesting logical/semantic issue with some mathematical languages and theories. In the language of (pure) complex analysis, the two square roots of i’ manage to pick out a unique object? This is perhaps the most prominent example of the phenomenon, but there are some others. The issue is related to matters concerning the use of definite descriptions and singular pronouns, such as donkey anaphora and the problem of indistinguishable participants. Taking a cue from some work in lingu…Read more
-
24The Work of John Corcoran: An AppreciationHistory and Philosophy of Logic 20 (3-4): 149-158. 1999.
-
168Incompleteness, mechanism, and optimismBulletin of Symbolic Logic 4 (3): 273-302. 1998.§1. Overview. Philosophers and mathematicians have drawn lots of conclusions from Gödel's incompleteness theorems, and related results from mathematical logic. Languages, minds, and machines figure prominently in the discussion. Gödel's theorems surely tell us something about these important matters. But what?A descriptive title for this paper would be “Gödel, Lucas, Penrose, Turing, Feferman, Dummett, mechanism, optimism, reflection, and indefinite extensibility”. Adding “God and the Devil” wou…Read more
-
7Review of Michael D. Resnik: Mathematics as a Science of Patterns_; Stewart Shapiro: _Philosophy of Mathematics: Structure and Ontology (review)British Journal for the Philosophy of Science 49 (4): 652-656. 1998.
-
247The classical continuum without pointsReview of Symbolic Logic 6 (3): 488-512. 2013.We develop a point-free construction of the classical one- dimensional continuum, with an interval structure based on mereology and either a weak set theory or logic of plural quantification. In some respects this realizes ideas going back to Aristotle,although, unlike Aristotle, we make free use of classical "actual infinity". Also, in contrast to intuitionistic, Bishop, and smooth infinitesimal analysis, we follow classical analysis in allowing partitioning of our "gunky line" into mutually ex…Read more
-
29The governance of identityIn Fraser MacBride (ed.), Identity and modality, Oxford University Press. pp. 164--173. 2006.
-
24Introduction to special issue: Abstraction and Neo-LogicismPhilosophia Mathematica 8 (2): 97-99. 2000.
-
37Philosophy of MathematicsIn Peter Clark & Katherine Hawley (eds.), Philosophy of science today, Oxford University Press. 2003.Moving beyond both realist and anti-realist accounts of mathematics, Shapiro articulates a "structuralist" approach, arguing that the subject matter of a mathematical theory is not a fixed domain of numbers that exist independent of each other, but rather is the natural structure, the pattern common to any system of objects that has an initial object and successor relation satisfying the induction principle
-
59EffectivenessIn Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today, Springer. pp. 37--49. 2006.
Columbus, Ohio, United States of America
Areas of Specialization
Philosophy of Language |
Logic and Philosophy of Logic |
Philosophy of Mathematics |
Areas of Interest
Philosophy of Language |
Logic and Philosophy of Logic |
Philosophy of Mathematics |