Theory and History of Ontology

by Raul Corazzon - e-mail: raul.corazzon[at]formalontology.it

For an overview see the Index of the Pages, the SITE MAP or the Alphabetical Index of the Philosophers: A-F - G-O - P-Z; You can also download this page as

Table of Contemporary Ontologists (click on the image to see the PDF file)

Ontology and History of Logic in Western Thought.

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

Index of the Section: "Ontology and History of Logic"

• Ontology and History of Logic in Western Thought

  • General Works and Bibliographies on the History of Logic

• Aristotle's Logic: General Survey and Introductory Readings

• Aristotle's Earlier Dialectic: the Topics and Sophistical Refutations

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

  • Annotated Bibliography on Aristotle's Categories (First part: A - F)

  • Annotated Bibliography on Aristotle's Categories (Second part: G - Z)

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

  • Annotated bibliography on Aristotle's De Interpretatione

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

• Aristotle's Prior Analytics: the Theory of Modal Syllogism

• Aristotle's Posterior Analytics: The Theory of Demonstration

• Peripatetic Logic: Eudemus of Rhodes and Theophrastus of Eresus

• The History of Ancient Logic in the Hellenistic Period

  • Annotated bibliography on Ancient Logic after Aristotle to the Hellenistic Period

• The Dialectical School, Stoic Logic and the Doctrine of Lekta (Sayables)

  • Annotated bibliography on Stoic Logic A - G

  • Annotated bibliography on Stoic Logic H - Z

• Stoic Logicians: Diodorus Cronus, Philo of Megara, Chrysippus

• The Contribution of Boethius to the Development of Medieval Logic

• History of Medieval Logic after Boethius to Late Scholasticism

• Medieval Theories of Supposition (Reference) and Mental Language

  • Annotated bibliography on the Theories of Supposition and Mental Language A - L

  • Annotated bibliography on the Theories of Supposition and Mental Language M - Z

• The Development of Renaissance and Modern Logic from 1400 to Boole

• Leibniz on Logic and Semiotics: the Project of a Universal Language

  • Annotated bibliography of Leibniz on Logic and Semiotics A- K

  • Annotated bibliography of Leibniz on Logic and Semiotics L - Z

• The Rise of Contemporary Symbolic Logic from Frege to Gödel

• A Selection of Great 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

  • Epicurus (341 - 270 BC)

• The Dialectical School, Stoic Logic and the Doctrine of Lekta (Sayables)

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

  • Philo of Megara (4th century BC)

  • Chrysippus (c. 280 - c 207 BC)

• Other Greek Authors

  • 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

• Early Medieval Latin Logicians

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

• 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 11th and 12th centuries

  • Anselm of Canterbury (1033 - 1109)

  • Peter Abelard (1079 - 1142)

  • Garland the Computist (Garlandus Compotista) (11th century)

  • The anonymous Glosulae super Priscianum (end of 11th century)

• Logic and Grammar in 13th and 14th centuries

  • William of Shyreswood (1190 - 1249)

  • Ramón Llull (1232 - 1315)

  • Peter of Spain (13th century)

  • John Duns Scotus (c. 1266 - 1308)

  • Pseudo-Scotus (14th century)

  • William of Ockham (c. 1287 - 1347)

  • John Buridan (ca. 1300 - after 1358)

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

  • Peter Aureoli (ca 1280 - 1322)

  • Walter Burley (c. 1275 - 1344)

  • Gregory of Rimini (c. 1300 - 1358)

  • John Wyclif (c. 1330 - 1384)

  • Albert of Saxony (ca 1316 - 1390)

  • Peter of Ailly (c. 1350 - 1420)

  • Paul of Venice (c. 1369 - 1429)

• Medieval Theories of Supposition (Reference) and Mental Language

The Development of Renaissance and Modern Logic from 1400 to Boole

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

  • Juan Caramuel y Lobkowtiz (1606 - 1682)

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

  • Johannes Clauberg (1622 - 1665)

  • The Port-Royal' Logique ou l'art de penser (1662)

  • Arnold Geulincx (1624 - 1669)

  • Gottfried Wilhelm Leibniz (1646 - 1716)

• Logic in Eighteenth Century

  • Christian Wolff (1679 - 1754)

  • Johann Heinrich Lambert (1728 - 1777)

  • Gottfried Ploucquet (1716 - 1790)

  • Leonhard Euler (1707 - 1783)

  • Immanuel Kant (1724 - 1804)

  • Georg Wilhelm Friedrich Hegel (1770 - 1831)

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

• Logic in Nineteenth and Twentieth Century

  • Jeremy Bentham (1748 - 1832)

  • Samuel Taylor Coleridge (1772 - 1834)

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

  • George Boole (1815 - 1864)

  • Bernard Bolzano (1781 - 1848)

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

RELATED PAGES

Annotated bibliographies of:

E. J. Ashworth

L. M. de Rijk

Wilhelm Risse

Last modified: Tuesday, March 09, 2010