Manifesto of Logic

 Manifesto of Logic v1.2-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 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 the Curry-Howard correspondence.
[**] ToA = the Theory of All (we can do with it).
[***] ToT = the Theory of That (we can talk about).