Ohio State University
Department of Philosophy

Stewart Shapiro, Foundations without foundationalism: a case for second-order logic

George F. Schumm and Stewart Shapiro, Expressive completeness and decidability

Stewart Shapiro, Review: Stephen C. Kleene, Origins of Recursive Function Theory; Martin Davis, Why Godel Didn't have Church's Thesis; Stephen C. Kleene, Reflections on Church's Thesis (review)

Stewart Shapiro, Second-Order Logic, Foundations, and Rules

Stewart Shapiro, Review of Kleene 1981, Davis 1982, and Kleene 1987 (review)

Stewart Shapiro, Stephen C. Kleene. Origins of recursive function theory. Annals of the history of computing, vol. 3 , pp. 52– 67. - Martin Davis. Why Gödel didn't have Church's thesis. Information and control, vol. 54 , pp. 3– 24. - Stephen C. Kleene. Reflections on Church's thesis. Notre Dame journal of formal logic, vol. 28 , pp. 490– 498 (review)

Stewart Shapiro, Intensional Mathematics

Stewart Shapiro, Logic, ontology, mathematical practice

Stewart Shapiro, Structure and Ontology

Stewart Shapiro, Second-Order Languages and Mathematical Practice

Stewart Shapiro, K. GÖDEL "Collected works" (review)

Stewart Shapiro, The Lindenbaum construction and decidability

Desmond Paul Henry, A. Broadie, de Jong R. Willem, James Gasser, J. W. van Evra, Lewis C. Albert, J. Jay Zeman, Gabriel Nuchelmans, G. H. Bird, Jan Hertrich-Woleński, Stewart Shapiro, Barry C. Smith, and C. Cellucci, Book Reviews (review)

Stewart Shapiro, Principles of reflection and second-order logic

Timothy McCarthy and Stewart Shapiro, Turing projectability

Stewart Shapiro, Webb Judson Chambers. Mechanism, mentalism, and metamathematics. An essay on finitism. Synthese library, vol. 137. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1980, xiii + 277 pp

William G. Lycan and Stewart Shapiro, Actuality and Essence

Stewart Shapiro, D. GABBAY and F. GUENTHNER "Handbook of philosophical logic. Volume 1: Elements of classical logic"

Stewart Shapiro, Intentional mathematics (edited book)

Stewart Shapiro, Second-order languages and mathematical practice

Stewart Shapiro, Arithmetic Sinn and Effectiveness

Stewart Shapiro, On an “empiricist” philosophy of mathematics

Stewart Shapiro, Conservativeness and incompleteness

Stewart Shapiro, Mathematics and reality

Stewart Shapiro, Remarks on the development of computability

Stewart Shapiro, Acceptable notation

Stewart Shapiro, Understanding church's thesis

Stewart Shapiro, On the notion of effectiveness

John Corcoran and Stewart Shapiro, What is mathematical logic?

John Corcoran and Stewart Shapiro, Review of J. N. Crossley et al., What Is Mathematical Logic? (review)