Manifesto of Logic

Manifesto of Logic (v1.1-alpha)
============================

Formal Logic <-> Symbolic Logic.

Conversely, there we have the written
point of articulation between reading
and writing: from constructive logic [*],
entailing the closure of mathematics [**],
up to and including its own self-closure
by Univalence [***].

[*] The/a formalization is (in) Coq.
Proof inductive by it can answer all
questions that can be logically asked.
Equivalently, by Curry-Howard.
[**] ToA = the Theory of All (we can do with it).
[***] ToT = the Theory of That (we can talk about).