A critical appraisal of second-order logic

History and Philosophy of Logic 14 (1):67-86 (1993)

Abstract
Because of its capacity to characterize mathematical concepts and structures?a capacity which first-order languages clearly lack?second-order languages recommend themselves as a convenient framework for much of mathematics, including set theory. This paper is about the credentials of second-order logic:the reasons for it to be considered logic, its relations with set theory, and especially the efficacy with which it performs its role of the underlying logic of set theory
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/01445349308837210
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,330
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Philosophy of Logic.W. V. O. Quine - 1970 - Harvard University Press.
Quiddities: An Intermittently Philosophical Dictionary.W. V. Quine - 1987 - Belknap Press of Harvard University Press.

View all 19 references / Add more references

Citations of this work BETA

Completeness and Categoricity: Frege, Gödel and Model Theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.

View all 11 citations / Add more citations

Similar books and articles

Higher-Order Logic or Set Theory: A False Dilemma.S. Shapiro - 2012 - Philosophia Mathematica 20 (3):305-323.
Second Order Logic or Set Theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.
Logic and Probability.Kenny Easwaran - 2010 - Journal of the Indian Council of Philosophical Research 27 (2):229-253.
A Defense of Second-Order Logic.Otávio Bueno - 2010 - Axiomathes 20 (2-3):365-383.
Notes on Logic and Set Theory.P. T. Johnstone - 1987 - Cambridge University Press.
Second-Order Logic and Foundations of Mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.

Analytics

Added to PP index
2010-08-10

Total views
90 ( #98,158 of 2,291,064 )

Recent downloads (6 months)
3 ( #400,984 of 2,291,064 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature