Share Email Print
cover

Proceedings Paper

Inconsistency and its automated proving
Author(s): Piotr Orzeszek
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper 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.

Paper Details

Date Published: 15 October 2012
PDF: 6 pages
Proc. SPIE 8454, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012, 84542B (15 October 2012); doi: 10.1117/12.2000248
Show Author Affiliations
Piotr Orzeszek, Cardinal Stefan Wyszynski Univ. in Warsaw (Poland)


Published in SPIE Proceedings Vol. 8454:
Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012
Ryszard S. Romaniuk, Editor(s)

© SPIE. Terms of Use
Back to Top