Theoria 12 (1):91-124 (1997)
|Abstract||The present paper is a contribution to the history of logic and its philosophy toward the mid-20th century. It examines the interplay between logic, type theory and set theory during the 1930s and 40s, before the reign of first-order logic, and the closely connected issue of the fate of logicism. After a brief presentation of the emergence of logicism, set theory, and type theory (with particular attention to Carnap and Tarski), Quine’s work is our central concern, since he was seemingly the most outstanding logicist around 1940, though he would shortly abandon that viewpoint and promote first-order logic as all of logic. Quine’s class-theoretic systems NF and ML, and his farewell to logicism, are examined. The last section attempts to summarize the motives why set theory was preferred to other systems, and first orderlogic won its position as the paradigm logic system after the great War|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Jerome Frazee (1990). A New Symbolic Representation for the Algebra of Sets. History and Philosophy of Logic 11 (1):67-75.
Eric Thomas Updike (2012). Abstraction in Fitch's Basic Logic. History and Philosophy of Logic 33 (3):215-243.
I. Grattan-Guinness (1984). Notes on the Fate of Logicism Fromprincipia Mathematicato Gödel's Incompletability Theorem. History and Philosophy of Logic 5 (1):67-78.
Bird Alexander (1997). The Logic in Logicism. Dialogue 36:341–60.
Gregory H. Moore (1997). Hilbert and the Emergence of Modern Mathematical Logic. Theoria 12 (1):65-90.
William M. Farmer & Joshua D. Guttman (2000). A Set Theory with Support for Partial Functions. Studia Logica 66 (1):59-78.
José Ferreirós (2009). Hilbert, Logicism, and Mathematical Existence. Synthese 170 (1):33 - 70.
Timothy Bays (2000). The Fruits of Logicism. Notre Dame Journal of Formal Logic 41 (4):415-421.
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.
Added to index2009-01-28
Total downloads4 ( #178,434 of 548,977 )
Recent downloads (6 months)1 ( #63,511 of 548,977 )
How can I increase my downloads?