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
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 26,804
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
Parts of Classes.David Lewis - 1991 - Blackwell.
Philosophy of Logic.W. V. Quine - 1970 - Harvard University Press.
Quiddities: An Intermittently Philosophical Dictionary.W. V. Quine - 1987 - Belknap Press of Harvard University Press.

View all 17 references / Add more references

Citations of this work BETA
Sets and Abstracts – Discussion.Stewart Shapiro - 2004 - Philosophical Studies 122 (3):315-332.
Completeness and Categoricity: Frege, Gödel and Model Theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.

Add more citations

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

Monthly downloads

Added to index

2010-08-10

Total downloads

73 ( #70,977 of 2,159,093 )

Recent downloads (6 months)

7 ( #45,873 of 2,159,093 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums