Charles parsons intuition and reason frege stewart shapiro
Books
Philosophy of Mathematics: Structure and Ontology. Oxford University Press, 1997. ISBN 0-19-513930-5
Thinking about Mathematics: The Philosophy of Mathematics. Oxford University Press, 2000. ISBN 0-19-289306-8
Foundations without Foundationalism: A Case for Second-Order Logic. Oxford University Press, 1991. ISBN 0-19-853391-8
Vagueness in Context. Oxford University Press, 2006. ISBN 0-19-928039-8
Editorships
The Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press, 2005. ISBN 0-19-514877-0
Special issue of "Philosophia Mathematica", devoted to structuralism.
Contributors: P. Benacerraf, G. Hellman, B. Hale, C. Parsons, M. Resnik, S. Shapiro, forthcoming.
"The limits of logic: Second order logic and the Skolem paradox", The international research library of philosophy, Dartmouth Publishing Company, forthcoming.
Intensional Mathematics, Studies in Logic and the Foundations of Mathematics 113, Amsterdam, North Holland Publishing Company, 1985.
Contributors: S. Shapiro, J. Myhill, N. D. Goodman, A. Scedrov, V. Lifschitz, R. Flagg, R. Smullyan.
Papers
"The Work of John Corcoran: an Appreciation" Scanlan, M. and Shapiro, S. 1999., ‘‘History and Philosophy of Logic’’, 20, 149–158.
"Corcoran the mathematician", Current Issues in Logic / Temas Actuales de Lógica. Imprenta Universidade Santiago de Compostela, Santiago de Compostela, Spain, 2007, 271-288.
"Cognitive command and excluded middle" (with William Taschek), Journal of Philosophy, forthcoming.
"Space, number, and structure: A tale of two debates", Philosophia Mathematica, forthcoming.
"Introduction", Philosophia Mathematica (see above), forthcoming.
"The limits of logic", introduction to The limits of logic: Second order logic and the Skolem paradox, The international research library of philosophy (see above), Dartmouth Publishing Company, forthcoming.
"The triumph of first order logic", Festschrift for Alonzo Church, University of Chicago Press, forthcoming.
"Logical consequence: Models and modality", Philosophy of mathematics today: Proceedings of an international conference in Munich, The Mind Association, Oxford, Oxford University Press, forthcoming.
"Understanding Church's thesis, again", Acta Analytica 11 (1993), 59-77 published in August 1995.
"Reasoning, logic, and computation", Philosophia Mathematica (3) 3 (1995), 31-51.
"Mathematics and philosophy of mathematics", Philosophia Mathematica (3) 2 (1994), 148-160.
"Modality and ontology", Mind 102 (1993), 455-481.
"Antirealism and modality", Philosophy of Mathematics: Proceedings of the Fifteenth International Wittgenstein Symposium, Vienna, Verlag Holder Pichler Tempsky, 1993,269-287.
"Foundationalism and foundations of mathematics", in Proof and knowledge in mathematics, ed. by Michael Detlefsen, London and New York, Routledge, 1992, 171-207.
"Second order logic, foundations, and rules", Journal of Philosophy 87 (1990), 234-261.
"Expressive completeness and decidability" (with George Schumm),Notre Dame Journal of Formal Logic 31 (1990), 576-579.
"Structure and ontology", Philosophical Topics 17 (1989), 145-171.