Do Not Claim Too Much: Second-order Logic and First-order Logic

Philosophia Mathematica 6 (3):42-64 (1998)
  Copy   BIBTEX

Abstract

The purpose of this article is to delimit what can and cannot be claimed on behalf of second-order logic. The starting point is some of the discussions surrounding my Foundations without Foundationalism: A Case for Secondorder Logic.

Categories

Keywords

Reprint years

DOI

10.1093/philmat/7.1.42

Other Versions

reprint Shapiro, Stewart (1999) "Do not claim too much: Second-order logic and first-order logic". Philosophia Mathematica 7(1):42-64

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,270

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

Stewart Shapiro. Foundations Without Foundationalism: A Case for Second-Order Logic.Darcy Cutler - 1997 - Philosophia Mathematica 5 (1):71-91.
Review: Stewart Shapiro, Foundations without Foundationalism. A Case for Second-Order Logic. [REVIEW]John Burgess - 1993 - Journal of Symbolic Logic 58 (1):363-365.
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.
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.
Foundations Without Foundationalism: A Case for Second-Order Logic.Michael Potter - 1994 - Philosophical Quarterly 44 (174):127-129.
Second-order Logic Revisited.Otavio Bueno - unknown
Higher-Order Logic or Set Theory: A False Dilemma.S. Shapiro - 2012 - Philosophia Mathematica 20 (3):305-323.
Second-order Logic.John Corcoran - 2001 - In C. Anthony Anderson & Michael Zelëny (eds.), Logic, meaning, and computation: essays in memory of Alonzo Church. Boston: Kluwer Academic Publishers. pp. 61–76.

Analytics

Added to PP
2017-02-21

Downloads
25 (#885,875)

6 months
6 (#876,365)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Stewart Shapiro
Ohio State University

Citations of this work

Speaking with Shadows: A Study of Neo‐Logicism.Fraser MacBride - 2003 - British Journal for the Philosophy of Science 54 (1):103-163.
Second-order Logic and the Power Set.Ethan Brauer - 2018 - Journal of Philosophical Logic 47 (1):123-142.
Set Theory and its Place in the Foundations of Mathematics: A New Look at an Old Question.Mirna Džamonja - 2017 - Journal of the Indian Council of Philosophical Research 34 (2):415-424.

Add more citations

References found in this work

No references found.

Add more references