-
125Logical pluralism and normativityInquiry: An Interdisciplinary Journal of Philosophy 1-22. 2017.We are logical pluralists who hold that the right logic is dependent on the domain of investigation; different logics for different mathematical theories. The purpose of this article is to explore the ramifications for our pluralism concerning normativity. Is there any normative role for logic, once we give up its universality? We discuss Florian Steingerger’s “Frege and Carnap on the Normativity of Logic” as a source for possible types of normativity, and then turn to our own proposal, which po…Read more
-
30Ontology via semantics? Introduction to the special issue on the semantics of cardinalsLinguistics and Philosophy 40 (4): 321-329. 2017.As introduction to the special issue on the semantics of cardinals, we offer some background on the relevant literature, and an overview of the contributions to this volume. Most of these papers were presented in earlier form at an interdisciplinary workshop on the topic at The Ohio State University, and the contributions to this issue reflect that interdisciplinary character: the authors represent both fields in the title of this journal.
-
67Computing with Numbers and Other Non-syntactic Things: De re Knowledge of Abstract ObjectsPhilosophia Mathematica 25 (2): 268-281. 2017.ABSTRACT Michael Rescorla has argued that it makes sense to compute directly with numbers, and he faulted Turing for not giving an analysis of number-theoretic computability. However, in line with a later paper of his, it only makes sense to compute directly with syntactic entities, such as strings on a given alphabet. Computing with numbers goes via notation. This raises broader issues involving de re propositional attitudes towards numbers and other non-syntactic abstract entities.
-
Philosophy of Mathematics: Structure and OntologyPhilosophy and Phenomenological Research 65 (2): 467-475. 2002.
-
Mathematics as a Science of PatternsBritish Journal for the Philosophy of Science 49 (4): 652-656. 1998.
-
30Induction and Indefinite Extensibility: The Gödel Sentence is True, but Did Someone Change the Subject?Mind 107 (427): 597-624. 1998.Over the last few decades Michael Dummett developed a rich program for assessing logic and the meaning of the terms of a language. He is also a major exponent of Frege's version of logicism in the philosophy of mathematics. Over the last decade, Neil Tennant developed an extensive version of logicism in Dummettian terms, and Dummett influenced other contemporary logicists such as Crispin Wright and Bob Hale. The purpose of this paper is to explore the prospects for Fregean logicism within a broa…Read more
-
Review of Kleene 1981, Davis 1982, and Kleene 1987 (review)Journal of Symbolic Logic 55 348-350. 1990.
-
81A procedural solution to the unexpected hanging and sorites paradoxesMind 107 (428): 751-762. 1998.The paradox of the Unexpected Hanging, related prediction paradoxes, and the Sorites paradoxes all involve reasoning about ordered collections of entities: days ordered by date in the case of the Unexpected Hanging; men ordered by the number of hairs on their heads the case of the bald man version of the Sorites. The reasoning then assigns each entity a value that depends on the previously assigned value of one of the neighboring entities. The final result is paradoxical because it conflicts wit…Read more
-
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.
-
165Foundations of Mathematics: Metaphysics, Epistemology, StructurePhilosophical Quarterly 54 (214). 2004.Since virtually every mathematical theory can be interpreted in set theory, the latter is a foundation for mathematics. Whether set theory, as opposed to any of its rivals, is the right foundation for mathematics depends on what a foundation is for. One purpose is philosophical, to provide the metaphysical basis for mathematics. Another is epistemic, to provide the basis of all mathematical knowledge. Another is to serve mathematics, by lending insight into the various fields. Another is to prov…Read more
-
168Mechanism, truth, and Penrose's new argumentJournal of Philosophical Logic 32 (1): 19-42. 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 Lucas-Penrose formulations. The new argument, however, seems to invoke an unrestricted truth predicate (and an unrestricted knowability predicate). I…Read more
-
255Where in the (world wide) web of belief is the law of non-contradiction?Noûs 41 (2). 2007.It is sometimes said that there are two, competing versions of W. V. O. Quine’s unrelenting empiricism, perhaps divided according to temporal periods of his career. According to one, logic is exempt from, or lies outside the scope of, the attack on the analytic-synthetic distinction. This logic-friendly Quine holds that logical truths and, presumably, logical inferences are analytic in the traditional sense. Logical truths are knowable a priori, and, importantly, they are incorrigible, and so…Read more
-
107Set-Theoretic FoundationsThe Proceedings of the Twentieth World Congress of Philosophy 6 183-196. 2000.Since virtually every mathematical theory can be interpreted in Zermelo-Fraenkel set theory, it is a foundation for mathematics. There are other foundations, such as alternate set theories, higher-order 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
-
27Consumer memory for intentions: A prospective memory perspectiveJournal of Experimental Psychology: Applied 5 (2): 169. 1999.
-
85We hold these truths to be self-evident: But what do we mean by that?: We hold these truths to be self-evidentReview of Symbolic Logic 2 (1): 175-207. 2009.At the beginning of Die Grundlagen der Arithmetik [1884], Frege observes that “it is in the nature of mathematics to prefer proof, where proof is possible”. This, of course, is true, but thinkers differ on why it is that mathematicians prefer proof. And what of propositions for which no proof is possible? What of axioms? This talk explores various notions of self-evidence, and the role they play in various foundational systems, notably those of Frege and Zermelo. I argue that both programs are u…Read more
-
Mathematics and ObjectivityIn John Polkinghorne (ed.), Meaning in mathematics, Oxford University Press. 2011.
-
18Review: Wilfried Sieg, Step by Recursive Step: Church's Analysis of Effective Calculability (review)Journal of Symbolic Logic 64 (1): 398-399. 1999.
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 |