•  296
    Foundations of Mathematics: Metaphysics, Epistemology, Structure
    Philosophical 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
  •  322
    Higher-Order Logic or Set Theory: A False Dilemma
    Philosophia Mathematica 20 (3): 305-323. 2012.
    The purpose of this article is show that second-order logic, as understood through standard semantics, is intimately bound up with set theory, or some other general theory of interpretations, structures, or whatever. Contra Quine, this does not disqualify second-order logic from its role in foundational studies. To wax Quinean, why should there be a sharp border separating mathematics from logic, especially the logic of mathematics?
  •  110
    Philosophy of Mathematics
    In 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
  •  179
    Vagueness, Open-Texture, and Retrievability
    Inquiry: An Interdisciplinary Journal of Philosophy 56 (2-3): 307-326. 2013.
    Just about every theorist holds that vague terms are context-sensitive to some extent. What counts as ?tall?, ?rich?, and ?bald? depends on the ambient comparison class, paradigm cases, and/or the like. To take a stock example, a given person might be tall with respect to European entrepreneurs and downright short with respect to professional basketball players. It is also generally agreed that vagueness remains even after comparison class, paradigm cases, etc. are fixed, and so this context sen…Read more
  •  66
    Do Not Claim Too Much: Second-order Logic and First-order Logic
    Philosophia Mathematica 6 (3): 42-64. 1998.
    The purpose of this article is to delimit what can and cannot be claimed on behalf of second-order logic. The starting point is some of the discussions surrounding my Foundations without Foundationalism: A Case for Secondorder Logic.