Mirqāt The Ascent of Logic

The Atlas · a stemma of logic

Every idea has an ancestry

Aristotle to homotopy type theory: the line of descent, drawn. Follow any thread from root to frontier; every node opens onto its field.

descent kinship
Trace a route:
Concepts History Propositional Ancient Predicate Medieval Modern Set Theory Proof Theory Math. Logic Modal Non-Classical Philosophical Computational Category Applications Quantum Algebraic Frontier

Hover a node to light its line of descent · tap it to open its field · or trace a route by background.