15 October 2012 Inconsistency and its automated proving
Author Affiliations +
Proceedings Volume 8454, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012; 84542B (2012) https://doi.org/10.1117/12.2000248
Event: Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012, 2012, Wilga, Poland
Abstract
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.
© (2012) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Piotr Orzeszek, Piotr Orzeszek, } "Inconsistency and its automated proving", Proc. SPIE 8454, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012, 84542B (15 October 2012); doi: 10.1117/12.2000248; https://doi.org/10.1117/12.2000248
PROCEEDINGS
6 PAGES


SHARE
RELATED CONTENT


Back to Top