Share Email Print
cover

Proceedings Paper

Inconsistency and its automated proving
Author(s): Piotr Orzeszek
Format Member Price Non-Member Price
PDF $17.00 $21.00

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
PREMIUM CONTENT
Sign in to read the full article
Create a free SPIE account to get access to
premium articles and original research
Forgot your username?
close_icon_gray