A Selection of Prominent Logicians from Aristotle to Gödel (1931)

INTRODUCTION

(in preparation)

Aristotle (384 BC - 322 BC)

• Aristotle's Logic: Introductory Readings and the Syllogistic

• Theory of Predication and Ontological Analysis in Aristotle's Categories

• Aristotle's De Interpretatione: Semantics and Philosophy of Language

• Aristotle's Theory of Categorical Syllogism in the Prior Analytics

The Development of Ancient Logic After Aristotle

• Disciples of Aristotle

  • Eudemus of Rhodes (c. 350 BC - 290 BC)

  • Theophrastus of Eresus (371 BC - c. 287 BC)

• Epicureans

  • Philodemus of Gadara (c. 110 - c. 40 BC)

• The Dialectical School and the Origins of Propositional Logic

  • Philo the Dialectician (4th century BC)

  • Diodorus Cronus (second-half of the 4th century BC)

• Early Stoic Logicians: Zeno of Citium, Cleanthes, Chrysippus

  • Zeno of Citium (c. 334 BC - 262 BC)

  • Cleanthes of Assos (c. 331 BC - c. 232 BC)

  • Chrysippus (c. 280 - c 207 BC)

• Other Greek Logicians

  • Claudius Galenus (129 - 200)

  • Sextus Empiricus (160 - 210)

  • Diogenes Laërtius (3rd century)

• Greek Commentators of Aristotle's Logical Works

  • Alexander of Aphrodisias (end of 2nd century)

  • Porphyry (234? - 305?)

  • Ammonius Hermeiou (c. 435/445 - 517/526)

  • Simplicius of Cilicia (c. 490 - c. 560)

  • John Philoponus (c. 490 - c. 570)

History of Medieval Logic after Boethius to Late Scholasticism

• Latin Logic before Eleventh Century

  • Cicero (106 BC 43 BC)

  • 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)

  • Byzantine Logicians (from 6th to 12th century)

  • Alcuin of York (c. 735 - 804)

  • John Scottus Eriugena (c. 815 - 877)

• Logic in the Eleventh Century

  • Abbo of Fleury (c. 945 - 1004)

  • Anselm of Canterbury (1033 - 1109)

• Islamic Logicians

  • Al Kindi (c. 801 - 873)

  • Al-Farabi (c. 872 - 950/951)

  • Avicenna (Ibn Sina) (c. 980 - 1037)

  • Averroes (Ibn Rushd) (1126 - 1198)

• 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)

  • Garlandus Computista [Gerlandus of Besançon] (early 12th century)

  • Peter Abelard (1079 - 1142)

  • Adam Parvipontanus (or Adam of Balsham) (? - 1181)

  • Gilbert of Poitiers (after 1085 - 1154)

  • John of Salisbury (c. 1120 - 1180)

• Logic and Grammar in Thirteenth Century

  • William of Sherwood (or Shyyreswood) (1200/5 - 1266/71)

  • Peter of Spain (d. 1277)

  • Robert Kilwardby 1215? - 1279)

  • Albert the Great (1200 - 1280)

  • Roger Bacon (1215 - 1294)

  • Boethius of Dacia (fl. 1260-1270)

  • Henry of Ghent (c. 1217 - 1293)

  • Radulphus Brito (c. 1270 - 1320)

  • Siger of Courtrai (c. 1283 - 1341)

  • Simon of Faversham (c. 1260 - 1306)

  • Ramón Llull (c. 1233 - 1316)

  • John Duns Scotus (c. 1266 - 1308)

• Logic and Grammar in Fourteenth Century

  • Peter Aureoli (c. 1280 - 1322)

  • Walter Burley (c. 1275 - 1344)

  • William of Ockham (c. 1287 - 1347)

  • Robert Holkot (c. 1290 - 1349)

  • William Heytesbury (d. 1272/3)

  • Thomas Bradwardine (c. 1290 - 1349)

  • John Buridan (c. 1300 - after 1358)

  • Nicholas of Autrecourt (c. 1300 - after 1358)

  • Pseudo-Scotus (14th century)

  • Richard Billingham (c. 1350 - 1360)

  • Thomas of Erfurt (first quarter of the 14th century)

  • Gregory of Rimini (c. 1300 - 1358)

  • Albert of Saxony (c. 1316 - 1390)

  • John Wyclif (c. 1330 - 1384)

  • Marsilius of Inghen (c. 1340 - 1396)

  • Vincent Ferrer (c. 1350 - 1420/1)

  • Peter of Ailly (c. 1350 - 1420)

  • Paul of Venice (c. 1369 - 1429)

  • Paul of Pergola (1380 - 1455)

  • Peter of Mantua (d. 1400)

• Medieval Theories of Supposition (Reference) and Mental Language

History of Renaissance and Modern Logic from 1400 to Stuart Mill

• Logic in Fifteenth and Sixteenth Century

  • Lorenzo Valla (1406 - 1457)

  • Rodolphus Agricola (1443 - 1485)

  • Jean Luis Vivés (1493 - 1540)

  • Petrus Ramus (1515 - 1572)

  • Giacomo (Jacopo) Zabarella (1533 - 1589)

• Logic in Seventeenth Century

  • The Conimbricenses' In universam dialectica Aristotelis (1606)

  • John Poinsot (John of St. Thomas) (1589 - 1644)

  • Joachim Jungius (1587 - 1657)

  • Thomas Hobbes (1588 - 1679)

  • Juan Caramuel y Lobkowtiz (1606 - 1682)

  • Johannes Clauberg (1622 - 1665)

  • Antoine Arnauld (1612-1694) & Pierre Nicole (1625 - 1695)

  • Arnold Geulincx (1624 - 1669)

  • Gottfried Wilhelm Leibniz (1646 - 1716)

• Logic in Eighteenth Century and the First Half of Nineteenth Century

  • Christian Wolff (1679 - 1754)

  • Leonhard Euler (1707 - 1783)

  • Gottfried Ploucquet (1716 - 1790)

  • Immanuel Kant (1724 - 1804)

  • Johann Heinrich Lambert (1728 - 1777)

  • Jeremy Bentham (1748 - 1832)

  • Georg Wilhelm Friedrich Hegel (1770 - 1831)

  • Samuel Taylor Coleridge (1772 - 1834)

  • Bernard Bolzano (1781 - 1848)

  • Richard Whateley (1787 - 1863)

  • William Hamilton (1788 - 1856)

  • William Whewell (1794 - 1866)

  • Friedrich Adolf Trendelenburg (1802 - 1872)

  • Augustus De Morgan (1806 - 1871)

  • John Stuart Mill (1806 - 1873)

The Rise of Contemporary Symbolic Logic from Boole to Gödel

• Logic in the Scond Half of Nineteenth and Twentieth Century

  • 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)

  • Gottlob Frege (1848 - 1925)

  • Alexius Meinong (1853 - 1920)

  • Giuseppe Peano (1858 - 1932)

  • Edmund Husserl (1859 - 1938)

  • Ernst Zermelo (1871 - 1953)

  • Bertrand Russell (1872 - 1970)

  • Stanislaw Lesniewski (1886 - 1939)

  • Ludwig Wittgenstein (1889 - 1951)

  • Thoralf Skolem (1887 - 1963)

  • Frank Plumpton Ramsey (1903 - 1930)

  • Jacques Herbrand (1908 - 1931)

  • Kurt Gödel (1906 - 1978)