Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
Graduate studies at Western
History and Philosophy of Logic 1 (1-2):95-137 (1980)
|Abstract||What has been the historical relationship between set theory and logic? On the one hand, Zermelo and other mathematicians developed set theory as a Hilbert-style axiomatic system. On the other hand, set theory influenced logic by suggesting to Schröder, Löwenheim and others the use of infinitely long expressions. The questions of which logic was appropriate for set theory - first-order logic, second-order logic, or an infinitary logic - culminated in a vigorous exchange between Zermelo and Gödel around 1930|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Jouko Väänänen (2012). Second Order Logic or Set Theory? Bulletin of Symbolic Logic 18 (1):91-121.
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
José Ferreiros (1997). Notes on Types, Sets, and Logicism, 1930-1950. Theoria 12 (1):91-124.
Kenny Easwaran (2010). Logic and Probability. Journal of the Indian Council of Philosophical Research 27 (2):229-253.
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.
John N. Crossley (ed.) (1972/1990). What is Mathematical Logic? Dover Publications.
Ignacio Jané (1993). A Critical Appraisal of Second-Order Logic. History and Philosophy of Logic 14 (1):67-86.
P. T. Johnstone (1987). Notes on Logic and Set Theory. Cambridge University Press.
Added to index2010-08-10
Total downloads32 ( #43,521 of 739,473 )
Recent downloads (6 months)3 ( #26,464 of 739,473 )
How can I increase my downloads?