Second-order logic, foundations, and rules

Journal of Philosophy 87 (5):234-261 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

0022362X

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Second-Order Logic, Foundations, and Rules.Stewart Shapiro - 1990 - Journal of Philosophy 87 (5):234.
Review: Stewart Shapiro, Foundations without Foundationalism. A Case for Second-Order Logic. [REVIEW]John Burgess - 1993 - Journal of Symbolic Logic 58 (1):363-365.
Stewart Shapiro. Foundations Without Foundationalism: A Case for Second-Order Logic.Darcy Cutler - 1997 - Philosophia Mathematica 5 (1):71-91.
Book reviews. [REVIEW]Michael D. Resnik, John Bigelow, Albert C. Lewis, Massimo Galuzzi, M. Franchella, Gabriel Nuchelmans, Alan R. Perreiah, Besprechung Von Christoph Demmerling, I. Grattan-Guinness, Michele Di Francesco, Thomas Oberdan, Wolfe Mays, John N. Martin, H. A. Ide, E. J. Lowe, J. Woleński, Liliana Albertazzi, H. Hodes, C. W. Kilmister, Christoph Demmerling, S. B. Russ & Geregory H. Moore - 1993 - History and Philosophy of Logic 14 (2):221-263.
Book reviews. [REVIEW]Michael Resnik, John Bigelow, Albert Lewis, Massimo Galuzzi, M. Franchella, Gabriel Nuchelmans, Alan Perreiah, Besprechung Von Christoph Demmerling, I. Grattan-Guinness, Michele Di Francesco, Thomas Oberdan, Wolfe Mays, John Martin, H. A. Ide, E. J. Lowe, J. Wolenski, Liliana Albertazzi, H. Hodes, C. W. Kilmister, Christoph Demmerling, S. B. Russ & Geregory Moore - 1993 - History and Philosophy of Logic 14 (2):221-263.
Shapiro Stewart. Foundations without foundationalism. A case for second-order logic. Oxford logic guides, no. 17. Clarendon Press, Oxford University Press, Oxford and New York 1991, xx + 277 pp. [REVIEW]John Burgess - 1993 - Journal of Symbolic Logic 58 (1):363-365.
Stewart Shapiro. Introduction—intensional mathematics and constructive mathematics. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, vol. 113, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 1–10. - Stewart Shapiro. Epistemic and intuitionistic arithmetic. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 11–46. - John Myhill. Intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 47–61. - Nicolas D. Goodman. A genuinely intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 63–79. - Andrej Ščedrov. Extending Godel's modal interpretation to type theory and set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 81–119. - Robert C. Flagg. Church's. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
Review: Stewart Shapiro, Second-Order Languages and Mathematical Practice. [REVIEW]Geoffrey Hellman - 1989 - Journal of Symbolic Logic 54 (1):291-293.
Geoffrey Hellman and Stewart Shapiro: Varieties of Continua: From Regions to Points and Back.Maureen Donnelly - 2019 - Journal of Philosophy 116 (3):174-178.
Stewart Shapiro (ed.), The Limits of Higher-Order Logic and the Löwenheim-Skolem Theorem.Jan Woleński - 1998 - Erkenntnis 49 (3):393-396.

Analytics

Added to PP
2009-01-28

Downloads
91 (#184,152)

6 months
9 (#437,668)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Stewart Shapiro
Ohio State University

Citations of this work

A Defense of Second-Order Logic.Otávio Bueno - 2010 - Axiomathes 20 (2-3):365-383.

Add more citations

References found in this work

Models and reality.Hilary Putnam - 1980 - Journal of Symbolic Logic 45 (3):464-482.
The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.
The rationalist conception of logic.Steven J. Wagner - 1987 - Notre Dame Journal of Formal Logic 28 (1):3-35.

Add more references