David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
The study of logic goes back more than two thousand years and in that time many symbols and diagrams have been devised. Around 300 BC Aristotle introduced letters as term-variables, a "new and epoch-making device in logical technique." (W. & M. Kneale The Development of Logic (1962, p. 61). The modern era of mathematical notation in logic began with George Boole (1815- 1864), although none of his notation survives. Set theory came into being in the late 19th and early 20th centuries, largely a creation of Georg Cantor (1845-1918). See MacTutor's A history of set theory or, for more detail, Set theory from the Stanford Encyclopedia of Philosophy
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
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
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
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.
George Englebretsen & Charles Sayward (2010). Philosophical Logic: An Introduction to Advanced Topics. continuum.
P. T. Johnstone (1987). Notes on Logic and Set Theory. Cambridge University Press.
John P. Burgess (2004). E Pluribus Unum: Plural Logic and Set Theory. Philosophia Mathematica 12 (3):193-221.
Kazushige Terui (2004). Light Affine Set Theory: A Naive Set Theory of Polynomial Time. Studia Logica 77 (1):9 - 40.
Ignacio Jané (1993). A Critical Appraisal of Second-Order Logic. History and Philosophy of Logic 14 (1):67-86.
William M. Farmer & Joshua D. Guttman (2000). A Set Theory with Support for Partial Functions. Studia Logica 66 (1):59-78.
Luca Incurvati (2008). On Adopting Kripke Semantics in Set Theory. Review of Symbolic Logic 1 (1):81-96.
Christopher Menzel (1984). Cantor and the Burali-Forti Paradox. The Monist 67 (1):92-107.
George J. Tourlakis (2003). Lectures in Logic and Set Theory. Cambridge University Press.
A. Paseau (2003). The Open-Endedness of the Set Concept and the Semantics of Set Theory. Synthese 135 (3):379 - 399.
I. Grattan-Guinness (1980). Georg Cantor's Influence on Bertrand Russell. History and Philosophy of Logic 1 (1-2):61-93.
George Tourlakis (2003). Lectures in Logic and Set Theory. Volume 2: Set Theory. Cambridge University Press.
José Ferreiros (1997). Notes on Types, Sets, and Logicism, 1930-1950. Theoria 12 (1):91-124.
Added to index2011-01-21
Total downloads18 ( #98,395 of 1,101,833 )
Recent downloads (6 months)1 ( #306,516 of 1,101,833 )
How can I increase my downloads?