
23Philosophy of MathematicsIn Peter Clark & Katherine Hawley (eds.), Philosophy of Science Today, Clarendon Press. 2003.Moving beyond both realist and antirealist 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

8Coping with fear through suppression and avoidance of threatening informationJournal of Experimental Psychology: Applied 15 (3): 258274. 2009.

65Introduction II: The George Boolos memorial symposium: Dedicated to the memory of George Boolos (1940 9 41996 5 27)Philosophia Mathematica 7 (3): 244246. 1999.

72The Nature and Limits of Abstraction (review)Philosophical Quarterly 54 (214). 2004.This article is an extended critical study of Kit Fine’s The limits of abstraction, which is a sustained attempt to take the measure of the neologicist program in the philosophy and foundations of mathematics, founded on abstraction principles like Hume’s principle. The present article covers the philosophical and technical aspects of Fine’s deep and penetrating study.

100Mechanism, truth, and Penrose's new argumentJournal of Philosophical Logic 32 (1): 1942. 2003.Sections 3.16 and 3.23 of Roger Penrose's Shadows of the mind (Oxford, Oxford University Press, 1994) contain a subtle and intriguing new argument against mechanism, the thesis that the human mind can be accurately modeled by a Turing machine. The argument, based on the incompleteness theorem, is designed to meet standard objections to the original LucasPenrose formulations. The new argument, however, seems to invoke an unrestricted truth predicate (and an unrestricted knowability predicate). I…Read more

162So truth is safe from paradox: now what?Philosophical Studies 147 (3): 445455. 2010.The article is part of a symposium on Hartry Field’s “Saving truth from paradox”. The book is one of the most significant intellectual achievements of the past decades, but it is not clear what, exactly, it accomplishes. I explore some alternatives, relating the developed view to the intuitive, pretheoretic notion of truth.

120Frege Meets Aristotle: Points as AbstractsPhilosophia Mathematica. 2015.There are a number of regionsbased accounts of space/time, due to Whitehead, Roeper, Menger, Tarski, the present authors, and others. They all follow the Aristotelian theme that continua are not composed of points: each region has a proper part. The purpose of this note is to show how to recapture ‘points’ in such frameworks via Scottish neologicist abstraction principles. The results recapitulate some Aristotelian themes. A second agenda is to provide a new arena to help decide what is at sta…Read more

76SetTheoretic FoundationsThe Proceedings of the Twentieth World Congress of Philosophy 2000 183196. 2000.Since virtually every mathematical theory can be interpreted in ZermeloFraenkel set theory, it is a foundation for mathematics. There are other foundations, such as alternate set theories, higherorder logic, ramified type theory, and category theory. Whether set theory is the right foundation for mathematics depends on what a foundation is for. One purpose is to provide the ultimate metaphysical basis for mathematics. A second is to assure the basic epistemological coherence of all mathematica…Read more

179Categories, Structures, and the FregeHilbert Controversy: The Status of Metamathematics &daggerPhilosophia Mathematica 13 (1): 6177. 2005.There is a parallel between the debate between Gottlob Frege and David Hilbert at the turn of the twentieth century and at least some aspects of the current controversy over whether category theory provides the proper framework for structuralism in the philosophy of mathematics. The main issue, I think, concerns the place and interpretation of metamathematics in an algebraic or structuralist approach to mathematics. Can metamathematics itself be understood in algebraic or structural terms? Or …Read more

36Varieties of LogicOxford University Press. 2014.Logical pluralism is the view that different logics are equally appropriate, or equally correct. Logical relativism is a pluralism according to which validity and logical consequence are relative to something. Stewart Shapiro explores various such views. He argues that the question of meaning shift is itself contextsensitive and interestrelative.

Mathematics and ObjectivityIn John Polkinghorne (ed.), Meaning in Mathematics, Oxford University Press. 2011.

16Review: Wilfried Sieg, Step by Recursive Step: Church's Analysis of Effective Calculability (review)Journal of Symbolic Logic 64 (1): 398399. 1999.

74Book Review: John P. Burgess and Gideon Rose. A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics (review)Notre Dame Journal of Formal Logic 39 (4): 600612. 1998.

29Understanding the InfinitePhilosophical Review 105 (2): 256. 1996.Understanding the Infinite is a loosely connected series of essays on the nature of the infinite in mathematics. The chapters contain much detail, most of which is interesting, but the reader is not given many clues concerning what concepts and ideas are relevant for later developments in the book. There are, however, many technical crossreferences, so the reader can expect to spend much time flipping backward and forward.

113Logical consequence: Models and modalityIn Matthias Schirn (ed.), The Philosophy of Mathematics Today, Clarendon Press. pp. 131156. 1998.

49Reasoning, logic and computationPhilosophia Mathematica 3 (1): 3151. 1995.The idea that logic and reasoning are somehow related goes back to antiquity. It clearly underlies much of the work in logic, as witnessed by the development of computability, and formal and mechanical deductive systems, for example. On the other hand, a platitude is that logic is the study of correct reasoning; and reasoning is cognitive if anything Is. Thus, the relationship between logic, computation, and correct reasoning makes an interesting and historically central case study for mechanism…Read more

219Identity, indiscernibility, and Ante Rem structuralism: The tale of I and –IPhilosophia Mathematica 16 (3): 285309. 2008.Some authors have claimed that ante rem structuralism has problems with structures that have indiscernible places. In response, I argue that there is no requirement that mathematical objects be individuated in a nontrivial way. Metaphysical principles and intuitions to the contrary do not stand up to ordinary mathematical practice, which presupposes an identity relation that, in a sense, cannot be defined. In complex analysis, the two square roots of –1 are indiscernible: anything true of one o…Read more

29Priest, Graham. An Introduction to Nonclassical LogicReview of Metaphysics 56 (3): 670672. 2003.

33The Classical Continuum without Points – CORRIGENDUMReview of Symbolic Logic 6 (3): 571571. 2013.

9Foundations Without Foundationalism: A Case for SecondOrder LogicPhilosophical Quarterly 44 (174): 127129. 1994.

31On the notion of effectivenessHistory and Philosophy of Logic 1 (12): 209230. 1980.This paper focuses on two notions of effectiveness which are not treated in detail elsewhere. Unlike the standard computability notion, which is a property of functions themselves, both notions of effectiveness are properties of interpreted linguistic presentations of functions. It is shown that effectiveness is epistemically at least as basic as computability in the sense that decisions about computability normally involve judgments concerning effectiveness. There are many occurrences of the pr…Read more

7Do Not Claim Too Much: Secondorder Logic and Firstorder LogicPhilosophia Mathematica 6 (3): 4264. 1998.The purpose of this article is to delimit what can and cannot be claimed on behalf of secondorder logic. The starting point is some of the discussions surrounding my Foundations without Foundationalism: A Case for Secondorder Logic.
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 