Digital Quadrivium Project by Raul Corazzon: four websites
History of Logic from Aristotle to Gödel (www.historyoflogic.com)
by Raul Corazzon | e-mail: rc@ontology.co
History of Logic from Aristotle to Gödel
A.I. Chatbots on the Digital Quadrivium Project
This website can also be downloaded as ebook or PDF:
Search in the four Websites:
This part of the section Contemporary Logic includes the following pages:
The Rise of Contemporary Logic
The Period from Boole to Gödel (Current page)
Selected Bibliography on the Contemporary Symbolic Logic from Boole to Gödel
The Great Logicians
A Selection of Prominent Logicians from Aristotle to Gödel (1931)
(page under construction)
George Boole (1815 - 1864)
Lewis Carroll (1832 - 1898)
John Venn (1834 - 1923)
William Stanley Jevons (1835 - 1882)
Hugh MacColl (1837 - 1909)
Charles Saunders Peirce (1839 - 1914)
Ernst Schröder (1841 - 1902)
Georg Cantor (1845 - 1918)
Francis Herbert Bradley (1846 - 1924)
Giuseppe Peano (1858 - 1932)
Ernst Zermelo (1871 - 1953)
Bertrand Russell (1872 - 1970)
Jan Łukasiewicz (1878 - 1956)
Kazimierz Twardowski (1886 - 1938)
Stanislaw Lesniewski (1886 - 1939)
Thoralf Skolem (1887 - 1963)
Ludwig Wittgenstein (1889 - 1951)
Frank Plumpton Ramsey (1903 - 1930)
Jacques Herbrand (1908 - 1931)
Kurt Gödel (1906 - 1978)
