History and Philosophy of Logic 14 (1):67-86 (1993)
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)|
References found in this work BETA
Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 2007 - Cambridge University Press.
Quiddities: An Intermittently Philosophical Dictionary.W. V. Quine - 1987 - Belknap Press of Harvard University Press.
Citations of this work BETA
Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-First-Century Semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (2):77-94.
Completeness and Categoricity: Frege, Gödel and Model Theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
Similar books and articles
The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications.Richard Kaye - 2007 - Cambridge University Press.
Logic and Probability.Kenny Easwaran - 2010 - Journal of the Indian Council of Philosophical Research 27 (2):229-253.
A Proof of Nominalism: An Exercise in Successful Reduction in Logic.Jaakko Hintikka - 2009 - In A. Hieke & H. Leitgeb (eds.), Reduction - Abstraction - Analysis. Ontos.
Beyond First-Order Logic: The Historical Interplay Between Mathematical Logic and Axiomatic Set Theory.Gregory H. Moore - 1980 - History and Philosophy of Logic 1 (1-2):95-137.
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.
Added to index2010-08-10
Total downloads73 ( #70,977 of 2,159,093 )
Recent downloads (6 months)7 ( #45,873 of 2,159,093 )
How can I increase my downloads?