Inconsistency and its automated proving
Piotr Orzeszek · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 2012
Formal theories are based on sets of axioms. Philosophers as mathematicians may accept desired axioms and get some different incompatible theorems. Consequently, the truth of such theorem is conditional. The ultimate test for a philosophical system is logical consistency. If we want to treat philosophy as more scientific we first need to test philosophical systems for mentioned property. The method described in this paper is an elegant solution to automatically check for inconsistency of philosophical theories.