Transcendental syntax 2: non deterministic case
Résumé
Using a non deterministic analytics, it is possible to expand the au- tonomous explanation of logic, a.k.a. transcendental syntax, to full logic, i.e., first order predicate calculus with equality. This paper concentrates on additives, intuitionistic negation and on a paradoxically unexplored territory: predicate calculus. First order terms are handled as proposi- tions and predicates as connectives, e.g., equality becomes logical equiv- alence. Transcendental syntax thus achieves a reduction of logic to its propositional fragment.