Mirqāt The Ascent of Logic

The Timeline · the river of logic

Logic, in time

The mother books along a real chronology: 2,400 years, and the explosion of the last 150. A companion to the Atlas: lineage there, time here.

Distances are to scale: feel the centuries pass.

  1. c. 350 BCE Aristotle Organon
  2. c. 250 BCE Chrysippus & the Stoics Logical Fragments
  3. c. 270 Porphyry Isagoge (Introduction)
  4. c. 520 Boethius On Aristotle’s Logic (translations & commentaries)
  5. c. 940 al-Fārābī Kitāb al-Qiyās (The Syllogism)
  6. c. 1027 Ibn Sīnā (Avicenna) al-Shifāʾ: The Logic
  7. c. 1030 Ibn Sīnā (Avicenna) al-Ishārāt wa-l-Tanbīhāt (Pointers & Reminders)
  8. c. 1095 al-Ghazālī Miʿyār al-ʿIlm (The Criterion of Knowledge)
  9. c. 1120 Peter Abelard Dialectica
  10. c. 1170 Ibn Rushd (Averroes) Talkhīṣ Manṭiq Arisṭū (Epitome of Aristotle’s Logic)
  11. c. 1245 Peter of Spain Summulae Logicales
  12. c. 1250 al-Abharī Īsāghūjī
  13. c. 1250 Sirāj al-Dīn al-Urmawī Maṭāliʿ al-Anwār (The Rising-Points of Lights)
  14. c. 1250 Naṣīr al-Dīn al-Ṭūsī Sharḥ al-Ishārāt (Commentary on the Pointers)
  15. c. 1265 al-Kātibī al-Qazwīnī al-Risāla al-Shamsiyya
  16. c. 1290 Shams al-Dīn al-Samarqandī Qisṭās al-Afkār (The Balance of Thoughts)
  17. c. 1305 Ramon Llull Ars Magna (The Great Art)
  18. c. 1320 Ibn Taymiyya al-Radd ʿalā al-Manṭiqiyyīn (Refutation of the Logicians)
  19. c. 1323 William of Ockham Summa Logicae
  20. c. 1335 Quṭb al-Dīn al-Rāzī Taḥrīr al-Qawāʿid al-Manṭiqiyya (on al-Shamsiyya)
  21. c. 1360 al-Taftāzānī Tahdhīb al-Manṭiq
  22. c. 1535 al-Akhḍarī al-Sullam al-Munawraq
  23. c. 1686 Gottfried Wilhelm Leibniz Logical Writings (Generales Inquisitiones)
  24. 1837 Bernard Bolzano Theory of Science (Wissenschaftslehre)
  25. 1843 John Stuart Mill A System of Logic
  26. 1847 Augustus De Morgan Formal Logic
  27. 1854 George Boole An Investigation of the Laws of Thought
  28. 1879 Gottlob Frege Begriffsschrift
  29. 1883 Georg Cantor Foundations of a General Theory of Sets
  30. 1899 David Hilbert Grundlagen der Geometrie
  31. 1907 L. E. J. Brouwer On the Foundations of Mathematics
  32. 1908 Ernst Zermelo Investigations in the Foundations of Set Theory
  33. 1910–13 Whitehead & Russell Principia Mathematica
  34. 1921 Ludwig Wittgenstein Tractatus Logico-Philosophicus
  35. 1931 Kurt Gödel On Formally Undecidable Propositions
  36. 1933 Alfred Tarski The Concept of Truth in Formalized Languages
  37. 1934 Rudolf Carnap The Logical Syntax of Language
  38. 1934–35 Gerhard Gentzen Collected Papers
  39. 1936 Alonzo Church An Unsolvable Problem of Elementary Number Theory
  40. 1936 Alan Turing On Computable Numbers
  41. 1963 Saul Kripke Semantical Considerations on Modal Logic
  42. 1971 Saunders Mac Lane Categories for the Working Mathematician
  43. 1972 Herbert Enderton A Mathematical Introduction to Logic
  44. 1984 Per Martin-Löf Intuitionistic Type Theory
  45. 2001 Graham Priest An Introduction to Non-Classical Logic
  46. 2013 The Univalent Foundations Program Homotopy Type Theory