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
This website can also be downloaded as ebook or PDF:
A Selection of Prominent Logicians from Aristotle to Gödel (1931)
Introduction
SEP = There is an entry in the Stanford Encyclopedia of Philosophy
IEP = There is an entry in the Internet Encyclopedia of Philosophy
Aristotle (384 BC - 322 BC) | SEP | IEP |
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 (only PDF)
Disciples of Aristotle
Sigla:
SEP = See the entries in the Stanford Encyclopedia of Philosophy
IEP = See the entries in the Internet Encyclopedia of Philosophy
Eudemus of Rhodes (c. 350 BC - 290 BC) and Theophrastus of Eresus (371 BC - c. 287 BC) | SEP | IEP |
The Dialectical School
Philo the Dialectician (4th century BC)
Diodorus Cronus (second-half of the 4th century BC) | SEP |
Stoics
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 |
Epicureans
Philodemus of Gadara (c. 110 - c. 40 BC) | SEP |
Greek Commentators of Aristotle's logical works
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)
Other Greek logicians
Claudius Galenus (129 - 200) | SEP |
Sextus Empiricus (160 - 210)
Plotinus (204 - 270) | SEP |
Proclus Diadocus (412 - 485) | SEP |
Diogenes Laertius (3rd century)
Latin logic before Eleventh Century
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 |
Logic in the Eleventh Century
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 |
Logic and grammar in Twelfth Century
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 |
Logic and grammar in Thirteenth Century
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)
Logic and grammar in Fourteenth Century
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)
Logicians of the Fifteenth Century
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 |
Logic in the Modern Age. First Part: 1500 - 1640
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)
Logic in the Modern Age. Second Part: 1640 - 1780
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)
Logic in First Half of Nineteenth Century
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 |
Logic in the Second Half of Nineteenth Century
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 |
Logic in the Twentieth Century
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 |
Related pages
The Development of Ancient Logic After Aristotle
The Dialectical School and the Origins of Propositional Logic
Early Stoic Logicians: Zeno of Citium, Cleanthes, Chrysippus
History of Medieval Logic after Boethius to Late Scholasticism
Medieval Theories of Supposition (Reference) and Mental Language
History of Renaissance and Modern Logic from 1400 to 1850
The Rise of Contemporary Symbolic Logic from Boole to Gödel
Annotated Bibliographies of the following historians of logic:
