-
1Burali-Forti's revengeIn J. C. Beall (ed.), Revenge of the Liar: New Essays on the Paradox, Oxford University Press. 2007.
-
21Vagueness and LogicIn Giuseppina Ronzitti (ed.), Vagueness: A Guide, Springer Verlag. pp. 55--81. 2011.
-
202Logical consequence: Models and modalityIn Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993, Clarendon Press. pp. 131--156. 1998.
-
89Reasoning, logic and computationPhilosophia Mathematica 3 (1): 31-51. 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
-
277The Objectivity of MathematicsSynthese 156 (2): 337-381. 2007.The purpose of this paper is to apply Crispin Wright’s criteria and various axes of objectivity to mathematics. I test the criteria and the objectivity of mathematics against each other. Along the way, various issues concerning general logic and epistemology are encountered.
-
346Identity, indiscernibility, and Ante Rem structuralism: The tale of I and –IPhilosophia Mathematica 16 (3): 285-309. 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 non-trivial 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
-
38Priest, Graham. An Introduction to Non-classical Logic (review)Review of Metaphysics 56 (3): 670-672. 2003.
-
192Truth, function and paradoxAnalysis 71 (1): 38-44. 2011.Michael Lynch’s Truth as One and Many is a contribution to the large body of philosophical literature on the nature of truth. Within that genre, advocates of truth-as-correspondence, advocates of truth-as-coherence, and the like, all hold that truth has a single underlying metaphysical nature, but they sharply disagree as to what this nature is. Lynch argues that many of these views make good sense of truth attributions for a limited stretch of discourse, but he adds that each of the contenders …Read more
-
175Frege Meets Zermelo: A Perspective on Ineffability and ReflectionReview of Symbolic Logic 1 (2): 241-266. 2008.1. Philosophical background: iteration, ineffability, reflection. There are at least two heuristic motivations for the axioms of standard set theory, by which we mean, as usual, first-order Zermelo–Fraenkel set theory with the axiom of choice (ZFC): the iterative conception and limitation of size (see Boolos, 1989). Each strand provides a rather hospitable environment for the hypothesis that the set-theoretic universe is ineffable, which is our target in this paper, although the motivation is di…Read more
-
84The 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 neo-logicist 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.
-
12Matftematical ObjectsIn Bonnie Gold & Roger Simons (eds.), Proof and Other Dilemmas: Mathematics and Philosophy, Mathematical Association of America. pp. 157. 2008.
-
103Space, number and structure: A tale of two debatesPhilosophia Mathematica 4 (2): 148-173. 1996.Around the turn of the century, Poincare and Hilbert each published an account of geometry that took the discipline to be an implicit definition of its concepts. The terms ‘point’, ‘line’, and ‘plane’ can be applied to any system of objects that satisfies the axioms. Each mathematician found spirited opposition from a different logicist—Russell against Poincare' and Frege against Hilbert— who maintained the dying view that geometry essentially concerns space or spatial intuition. The debates ill…Read more
-
D. GABBAY and F. GUENTHNER "Handbook of philosophical logic. Volume 1: Elements of classical logic"History and Philosophy of Logic 6 (2): 215. 1985.
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 |