Graduate studies at Western
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)|
|Through your library||Configure|
Similar books and articles
Richard Kaye (2007). The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications. Cambridge University Press.
P. T. Johnstone (1987). Notes on Logic and Set Theory. Cambridge University Press.
Otávio Bueno (2010). A Defense of Second-Order Logic. Axiomathes 20 (2-3):365-383.
Kenny Easwaran (2010). Logic and Probability. Journal of the Indian Council of Philosophical Research 27 (2):229-253.
Jouko Väänänen (2012). Second Order Logic or Set Theory? Bulletin of Symbolic Logic 18 (1):91-121.
Gregory H. Moore (1980). Beyond First-Order Logic: The Historical Interplay Between Mathematical Logic and Axiomatic Set Theory. History and Philosophy of Logic 1 (1-2):95-137.
S. Shapiro (2012). Higher-Order Logic or Set Theory: A False Dilemma. Philosophia Mathematica 20 (3):305-323.
Jouko Vaananen (2001). Second-Order Logic and Foundations of Mathematics. Bulletin of Symbolic Logic 7 (4):504-520.
Added to index2010-08-10
Total downloads36 ( #38,186 of 740,548 )
Recent downloads (6 months)3 ( #26,535 of 740,548 )
How can I increase my downloads?