Mirqāt The Ascent of Logic

384 BCE to the present · 2,400 years of reasoning

The whole of logic, in order.

A roadmap and a canon for studying logic from Aristotle to contemporary research: the mother books, the lineage that binds them, and a path through it all.

Enter the Atlas

The Genealogy · the line of descent

Every idea has an ancestry

Hover a mind to light its whole bloodline: ancestors and descendants · tap to open its life.

Aristotle Diodorus Cronus Chrysippus Galen Porphyry Boethius al-Kindī al-Fārābī Avicenna (Ibn Sīnā) al-Ghazālī Peter Abelard Zayn al-Dīn al-Sāwī Ibn Rushd (Averroes) Fakhr al-Dīn al-Rāzī al-Khūnajī al-Abharī Sirāj al-Dīn al-Urmawī Naṣīr al-Dīn al-Ṭūsī al-Kātibī al-Qazwīnī Peter of Spain Ramon Llull Ibn Taymiyya Shams al-Dīn al-Samarqandī William of Ockham Quṭb al-Dīn al-Rāzī John Buridan al-Taftāzānī al-Sayyid al-Sharīf al-Jurjānī Jalāl al-Dīn al-Dawānī al-Akhḍarī Mullā Ṣadrā Gottfried Wilhelm Leibniz Bernard Bolzano Arthur Schopenhauer Augustus De Morgan John Stuart Mill George Boole John Venn Charles Sanders Peirce Ernst Schröder Georg Cantor Gottlob Frege Giuseppe Peano Alfred North Whitehead David Hilbert Ernst Zermelo Bertrand Russell Jan Łukasiewicz L. E. J. Brouwer C. I. Lewis Stanisław Leśniewski Thoralf Skolem Ludwig Wittgenstein Rudolf Carnap Emil Post Haskell Curry Alfred Tarski Alonzo Church Kurt Gödel Jacques Herbrand Willard Van Orman Quine Gerhard Gentzen Saunders Mac Lane Stephen Cole Kleene Alan Turing Ruth Barcan Marcus J. A. Robinson Paul Cohen Saul Kripke Per Martin-Löf Jean-Yves Girard

The Path · five tiers

From first principles to the frontier

The field, laid out as a progression. Each tier opens onto its subfields; each subfield, onto its mother books.

  1. I

    Foundation

  2. II

    Intermediate

  3. III

    Advanced

  4. IV

    Specialized

  5. V

    Contemporary

Explore · the rooms

The Rooms