Cognitive Binary Logic - The Natural Unified Formal Theory of Propositional Binary Logic
Logic in Computer Science
2011-06-21 v1 Logic
Abstract
This paper presents a formal theory which describes propositional binary logic as a semantically closed formal language, and allows for syntactically and semantically well-formed formulae, formal proofs (demonstrability in Hilbertian acception), deduction (Gentzen's view of demonstrability), CNF-ization, and deconstruction to be expressed and tested in the same (computational) formal language, using the same data structure. It is also shown here that Cognitive Binary Logic is a self-described theory in which the Liar Paradox is deconstructed.
Cite
@article{arxiv.1106.2352,
title = {Cognitive Binary Logic - The Natural Unified Formal Theory of Propositional Binary Logic},
author = {Nicolaie Popescu-Bodorin and Luminita State},
journal= {arXiv preprint arXiv:1106.2352},
year = {2011}
}