3 ms·
Because then you can prove any theorem (by applying modus ponens), which makes the theory uninteresting.
by dozzie 10y ago
Because then you can prove any theorem (by applying modus ponens), which makes
the theory uninteresting.
- skissane 10y agoIn paraconsistent logic, no you can't prove any theorem from a contradiction. Inconsistent mathematics is built upon the foundation of paraconsistent logic. https://plato.stanford.edu/entries/logic-paraconsistent/ https://plato.stanford.edu/entries/logic-paraconsistent/
- andrewflnr 10y agoOr, maybe not. From the second link: Inconsistent mathematics is the study of the mathematical theories that result when classical mathematical axioms are asserted within the framework of a (non-classical) logic which can tolerate the presence of a contradiction without turning every sentence into a theorem.