Aristotelian Logic — The first formal system of reasoning — and the default assumption in almost every philosophy debate today.
Eastern Logical Traditions — The convergence proof: independent civilizations, no contact, same structural insights — centuries before the West caught up.
Emergence, Convergence, and the Strange Loop — The vault’s metaphysical position, stated explicitly: what logic is, why it works, why it doesn’t need God, and what it can’t prove about itself.
Intuitionistic Logic — What if truth requires proof? Drop the excluded middle and logic becomes constructive — and accidentally invents the theoretical foundation of programming.
Non-Classical Logics — What happens when you challenge the other axioms? Contradictions that don’t explode, truth that comes in degrees, and premises that must actually be relevant.
Quantum Logic — The other non-classical logics were invented by philosophers.
The Formal Revolution (1847–1931) — In 84 years, logic went from a philosophical discipline to the foundation of mathematics, computing, and the limits of knowledge itself.
The Translation Problem — Formal logic is only as good as the translation from reality into symbols.
The Regress Problem — Agrippa’s trilemma and the performative escape; logic’s axioms aren’t assumed, they’re constitutive of reasoning.