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
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) (Current page)
Sigla:
SEP = There is an entry in the Stanford Encyclopedia of Philosophy
IEP = There is an entry in the Internet Encyclopedia of Philosophy, James Fieser and Bradley Dowden (eds.)
Aristotle's Logic: Introductory Readings and the Syllogistic
Aristotle's De Interpretatione: Semantics and Philosophy of Language
Aristotle's Theory of Categorical Syllogism in the Prior Analytics
On the website "Theory and History of Ontology"
Aristotle's Categories. Annotated Bibliography of the studies in English:
Bibliographie des études en français sur les Catégories d'Aristote
Bibliographie der deutschen Studien zur Aristoteles Kategorien
Bibliografia degli studi italiani sulle Categorie di Aristotele
Annotated Bibliography of the studies in English: Complete Version (PDF)
Philo the Dialectician (4th century BC)
Diodorus Cronus (second-half of the 4th century BC) | SEP |
Zeno of Citium (c. 334 BC - 262 BC)
Cleanthes of Assos (c. 331 BC - c. 232 BC) | IEP |
Chrysippus (c. 280 - c. 207 BC) | IEP |
Epictetus (50 - 130) | SEP | IEP |
Philodemus of Gadara (c. 110 - c. 40 BC) | SEP |
Alexander of Aphrodisias (end of 2nd century) | SEP |
Porphyry (234? - 305?) | SEP |
Ammonius Hermeiou (c. 435/445 - 517/526) | SEP |
Simplicius of Cilicia (c. 490 - c. 560)
John Philoponus (c. 490 - c. 570)
Claudius Galenus (129 - 200) | SEP |
Sextus Empiricus (160 - 210)
Plotinus (204 - 270) | SEP |
Diogenes Laertius (3rd century)
Proclus Diadocus (412 - 485) | SEP |
Cicero (106 BC 43 BC) | SEP |
Lucius Apuleius of Madaura (c. 123/125 - 180)
Marius Victorinus (4th century)
Martianus Capella (5th century)
Anicius Manlius Severinus Boethius (c. 480 - 524 or 525) | SEP |
Byzantine Logicians (from 6th to 12th century)
Alcuin of York (c. 735 - 804)
John Scottus Eriugena (c. 815 - 877) | SEP |
Abbo of Fleury (c. 945 - 1004)
Anselm of Canterbury (1033 - 1109) | SEP | IEP |
Al Kindi (c. 801 - 873) | SEP |
Al-Farabi (c. 872 - 950/951) | SEP |
Avicenna (Ibn Sina) (c. 980 - 1037) | SEP | IEP |
Peter Damian (1007 - 1072) | SEP |
Averroes (Ibn Rushd) (1126 - 1198) | IEP |
The anonymous Glosulae super Priscianum (written between 1080 and 1150)
Roscelin (c. 1050 - c. 1125)
William of Champeaux (c. 1070 - 1122) | SEP |
Garlandus Computista [Gerlandus of Besançon] (early 12th century)
Peter Abelard (1079 - 1142) | SEP | IEP |
Adam Parvipontanus (or Adam of Balsham) (? - 1181)
Gilbert of Poitiers (after 1085 - 1154)
John of Salisbury (c. 1120 - 1180) | SEP |
Moses Maimonides (1135 m- 1204) | SEP | IEP |
William of Sherwood (or Shyreswood) (1200/5 - 1266/71) | SEP |
Albert the Great (1200 - 1280) | SEP |
Peter of Spain (d. 1277) | SEP |
Robert Kilwardby (1215? - 1279) | SEP |
Roger Bacon (1215 - 1294) | SEP | IEP |
Henry of Ghent (c. 1217 - 1293) | SEP |
Richard the Sophister (second quarter of the 13th century) | SEP |
Ramón Llull (c. 1233 - 1316)
Giles of Romes (1243 - 1316) | SEP |
Boethius of Dacia (fl. 1260 - 1270)
William Heytesbury (? - d. 1272/3)
Simon of Faversham (c. 1260 - 1306) | SEP |
John Duns Scotus (c. 1266 - 1308) | SEP | IEP |
Radulphus Brito (c. 1270 - 1320)
Pseudo-Scotus (14th century)
Thomas of Erfurt (first quarter of the 14th century) | SEP | IEP |
Walter Burley (c. 1275 - 1344) | SEP |
Peter Aureoli (c. 1280 - 1322)
Siger of Courtrai (c. 1283 - 1341)
William of Ockham (c. 1287 - 1347) | SEP | IEP |
Walter Chatton (c. 1290 - 1343) | SEP |
Robert Holkot (c. 1290 - 1349)
Thomas Bradwardine (c. 1290 - 1349)
John Buridan (c. 1300 - after 1358) | SEP |
Gregory of Rimini (c. 1300 - 1358) | SEP |
Nicholas of Autrecourt (c. 1300 - after 1358) | SEP |
Richard Kilvington (1305 - 1361) | SEP |
Albert of Saxony (c. 1316 - 1390) | SEP |
John Wyclif (c. 1330 - 1384) | SEP |
Marsilius of Inghen (c. 1340 - 1396) | SEP |
Robert Alyngton ( ? - 1398) | SEP |
William Crathorn (fl. 1330) | SEP |
Richard Billingham (fl. 1350 - 1360)
Peter of Mantua (d. 1400)
Vincent Ferrer (c. 1350 - 1420/1)
Peter of Ailly (c. 1350 - 1420)
Sharpe Johannes (c. 1360 - 1515) | SEP |
William Penbygull ( ? - 1420 | SEP |)
Paul of Venice (c. 1369 - 1429) | SEP |
Paul of Pergola (1380 - 1455)
George of Trebizond (1395 - 1472/3)
Nicholas of Cusa (1401 - 1464)
Lorenzo Valla (1407 - 1457) | SEP |
Rodolphus Agricola (1444 - 1485)
Pico della Mirandola (1463 - 1494) | SEP |
Jean Luis Vivés (1493 - 1540) | SEP |
Domingo de Soto (1494 - 1560)
Philipp Melanchthon (1497 – 1560)
Petrus Ramus (1515 - 1572) | SEP |
Pedro da Fonseca (1528 - 1599)
Franciscus Toletus (1532 - 1596)
Giacomo (Jacopo) Zabarella (1533 - 1589) | SEP |
Bartholomäus Keckermann (1572 - 1609)
Joachim Jungius (1587 - 1657)
Robert Sanderson (1587 - 1663)
Thomas Hobbes (1588 - 1679) | SEP | IEP |
Franco Burgersdijk (1590 - 1635)
Gassendi Pierre (1592 - 1655) | SEP |
The Conimbricenses (In universam dialectica Aristotelis, 1606)
Athanasius Kircher (1601/2 - 1680)
Sebastián Izquierdo (1601 - 1681)
Juan Caramuel y Lobkowtiz (1606 - 1682)
Georges Dalgarno (1616 - 1687)
Antoine Arnauld (1612 - 1694) | IEP |
John Wallis (1616 - 1703)
Johannes Clauberg (1622 - 1665)
Arnold Geulincx (1624 - 1669)
John Locke (1632 – 1704)
Nicolas Malebranche (1638 – 1715)
Gottfried Wilhelm Leibniz (1646 - 1716) | SEP | IEP |
Ehrenfried Walther von Tschirnhaus (1651 – 1708)
Christian Thomasius (1655 - 1728)
Johann Franz Budde (1667 - 1729)
Giovanni Girolamo Saccheri (1667 - 1733)
Andreas Rüdiger (1673 - 1731)
Christian Wolff (1679 - 1754) | SEP |
Johann Peter Reusch (1691 - 1758)
Johann Georg Walch (1693 – 1775)
Joahann Andreas Segner (1704 - 1777)
Leonhard Euler (1707 - 1783)
Étienne Bonnot de Condillac (1714 - 1780) | SEP | IEP |
Joachim Georg Darjes (1714 - 1791)
Gottfried Ploucquet (1716 - 1790)
Georg Friedrich Meier (1718 – 1777)
Immanuel Kant (1724 - 1804) | SEP | IEP |
Johann Heinrich Lambert (1728 - 1777)
Nicolas Condorcet (1743 - 1794)
Jeremy Bentham (1748 - 1832) | SEP | IEP |
Georg Wilhelm Friedrich Hegel (1770 - 1831)
Joseph Diaz Gergonne (1771 - 1859)
Samuel Taylor Coleridge (1772 - 1834)
Bernard Bolzano (1781 - 1848) | SEP | IEP |
Richard Whateley (1787 - 1863)
William Hamilton (1788 - 1856)
William Whewell (1794 - 1866) | SEP |
Friedrich Adolf Trendelenburg (1802 - 1872)
Augustus De Morgan (1806 - 1871)
John Stuart Mill (1806 - 1873) | SEP | IEP |
George Boole (1815 - 1864) | SEP |
Hermann Lotze (1817- 1881) | SEP |
Christoph von Sigwart (1830 - 1904)
Charles Dodgson [Lewis Carroll] (1832 - 1898)
John Venn (1834 - 1923)
William Stanley Jevons (1835 - 1882)
Hugh MacColl (1837 - 1909)
Victoria, Lady Welby (1837 - 1912)
Franz Brentano (1838 - 1917) | SEP |
Charles Saunders Peirce (1839 - 1914) | SEP | IEP |
Ernst Schröder (1841 - 1902)
Georg Cantor (1845 - 1918)
Francis Herbert Bradley (1846 - 1924) | SEP | IEP |
Christine Ladd-Franklin (1847 - 1930)
Bernard Bosanquet (1848 - 1923) | SEP |
Gottlob Frege (1848 - 1925) | SEP | IEP |
John Neville Keynes (1852 - 1949)
Alexius Meinong (1853 - 1920) | SEP |
Giuseppe Peano (1858 - 1932)
Edmund Husserl (1859 - 1938) | SEP | IEP |
Alfred Whitehead (1861 - 1947) | SEP | IEP |
David Hilbert (1862 - 1943)
Louis Couturat (1868 - 1914)
Ernst Zermelo (1871 - 1953)
Bertrand Russell (1872 - 1970) | SEP | IEP |
Jan Łukasiewicz (1878 - 1956) | SEP |
Ernst Mally (1879 - 1944) | SEP |
Luitzen Egbertus Jan Brouwer (1881 - 1966) | SEP |
Clarence Irving Lewis (1883 - 1924) | SEP | IEP |
Hermann Weyl (1885 - 1955) | SEP |
Kazimierz Twardowski (1886 - 1938) | SEP |
Stanislaw Lesniewski (1886 - 1939) | SEP |
Thoralf Skolem (1887 - 1963)
Ludwig Wittgenstein (1889 - 1951) | SEP | IEP |
Rudolf Carnap (1891 - 1970) | IEP |
Frank Plumpton Ramsey (1903 - 1930)
Jacques Herbrand (1908 - 1931)
Kurt Gödel (1906 - 1978) | SEP |
