Stewart Shapiro is O'Donnell Professor

Professor

A professor is a scholarly teacher; the precise meaning of the term varies by country. Literally, professor derives from Latin as a "person who professes" being usually an expert in arts or sciences; a teacher of high rank...

 of Philosophy

Philosophy

Philosophy is the study of general and fundamental problems, such as those connected with existence, knowledge, values, reason, mind, and language. Philosophy is distinguished from other ways of addressing such problems by its critical, generally systematic approach and its reliance on rational...

 at the Ohio State University

Ohio State University

The Ohio State University, commonly referred to as Ohio State, is a public research university located in Columbus, Ohio. It was originally founded in 1870 as a land-grant university and is currently the third largest university campus in the United States...

 and a regular visiting professor at the University of St Andrews

University of St Andrews

The University of St Andrews, informally referred to as "St Andrews", is the oldest university in Scotland and the third oldest in the English-speaking world after Oxford and Cambridge. The university is situated in the town of St Andrews, Fife, on the east coast of Scotland. It was founded between...

 in Scotland

Scotland

Scotland is a country that is part of the United Kingdom. Occupying the northern third of the island of Great Britain, it shares a border with England to the south and is bounded by the North Sea to the east, the Atlantic Ocean to the north and west, and the North Channel and Irish Sea to the...

. He is an important contemporary figure in the philosophy of mathematics

Philosophy of mathematics

The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of mathematics and to understand the place of...

 where he defends a version of structuralism

Structuralism (philosophy of mathematics)

Structuralism is a theory in the philosophy of mathematics that holds that mathematical theories describe structures, and that mathematical objects are exhaustively defined by their place in such structures, consequently having no intrinsic properties. For instance, it would maintain that all that...

. He studied Mathematics

Mathematics

Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...

 and Philosophy

Philosophy

Philosophy is the study of general and fundamental problems, such as those connected with existence, knowledge, values, reason, mind, and language. Philosophy is distinguished from other ways of addressing such problems by its critical, generally systematic approach and its reliance on rational...

 at Case Western Reserve University

Case Western Reserve University

Case Western Reserve University is a private research university located in Cleveland, Ohio, USA...

 in 1973. Then, he got his M.A.

Master of Arts (postgraduate)

A Master of Arts from the Latin Magister Artium, is a type of Master's degree awarded by universities in many countries. The M.A. is usually contrasted with the M.S. or M.Sc. degrees...

 in Mathematics at the State University of New York at Buffalo in 1975. He transferred to the UB Philosophy Department, where three years later he got his Ph.D. (with Distinction). His doctoral supervisor was John Corcoran

John Corcoran (logician)

.John Corcoran is a logician, philosopher, mathematician, and historian of logic. He is best known for his philosophical work, helping us to understand such central concepts as the nature of inference, the relationship between logic and epistemology, and the place of proof theory and model theory...

.

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

John Myhill

John R. Myhill was a mathematician, born in 1923. He received his Ph.D. from Harvard University under Willard Van Orman Quine in 1949. He was professor at SUNY Buffalo from 1966 until his death in 1987...

, N. D. Goodman, A. Scedrov, V. Lifschitz, R. Flagg, R. Smullyan.

Papers

• "Corcoran the mathematician", Current Issues in Logic / Temas Actuales de Lógica. Imprenta Univeridade 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.
• "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.

External links

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