Stewart Shapiro

From Wikipedia, the free encyclopedia

Stewart Shapiro (born 15 June 1951) is Professor of Philosophy at the Ohio State University and a regular visiting professor at the University of St Andrews in Scotland. He is an important contemporary figure in the philosophy of mathematics where he defends a version of "structuralism". He studied Mathematics and Philosophy at Case Western Reserve University in 1973. Then, he got his M.A. in Mathematics with Distinction at the State University of New York in Buffalo in 1975. Three years later he got his Ph.D. at the same place. Now, he is O'Donnell Professor of Philosophy.

Contents 1 Publications 1.1 Books 1.2 Editorships 1.3 Work in progress 1.4 Papers 2 External links

[edit] Publications

[edit] Books

• Philosophy of Mathematics: Structure and Ontology. Oxford University Press, 2000. 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. Oxofrd University Press, 2006. ISBN 0-19-928039-8

[edit] Editorships

• The Oxford Handdbook of Philosophy of Mathematics and Logic. Oxofrd 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.

[edit] Work in progress

• Logical consequence: Models and modality

[edit] Papers

• "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.
• "Logic, ontology, mathematical practice", Synthese 79 (1989), 13-50
• "The Lindenbaum construction and decidability", Notre Dame Journal of Formal Logic 29 (1988), 208-213.
• "Principles of reflection and second-order logic", Journal of Philosophical Logic 16 (1987), 309-333.
• "Turing projectibility" (with Timothy McCarthy), Notre Dame Journal of Formal Logic 28 (1987), 520-535.
• "Actuality and essence" (with William Lycan), Midwest Studies in Philosophy 11 (1986), 343-377.
• "Second-order languages and mathematical practice", Journal of Symbolic Logic 50 (1985), 714-742.
• "Epistemic arithmetic and intuitionistic arithmetic" in Intensional Mathematics (see above), 11-46.
• "Introduction" in Intensional Mathematics (see above), 1-10.
• "Arithmetic Sinn and effectiveness", Dialectica 38 (1984), 3-16.
• "On an empiricist philosophy of mathematics", Philosophia 14 (1984), 213-223.
• "Mathematics and reality", Philosophy of Science 50 (1983), 523-548.
• "Remarks on the development of computability", History and Philosophy of Logic 4 (1983), 203-220.
• "Conservativeness and incompleteness", The Journal of Philosophy 80 (1983), 521-531
• "Acceptable notation", Notre Dame Journal of Formal Logic 23 (1982), 14-20
• "Understanding Church's thesis", Journal of Philosophical Logic 10 (1981), 353-365
• "Largomento con la tesi di Church" (Argument by Church's thesis), Nominazione 2 (1981), 195-199.
• "On the notion of effectiveness", History and Philosophy of Logic 1 (1980), 209-230.
• "Incomplete translations of complete logics", Notre Dame Journal of Formal Logic 18 (1977), 248-250.

[edit] External links

• Stewart Shapiro's webpage at Ohio State University
• Stewart Shapiro's Home Page at St. Andrews