Digitalizacja filozofii formalnej
Digitalization of formal philosophy
Author(s): Paweł GarbaczSubject(s): Philosophy, History of Philosophy, Social Philosophy, Special Branches of Philosophy
Published by: Uniwersytet Warszawski - Wydział Filozofii i Socjologii, Instytut Filozofii
Keywords: automated theorem proving; formal philosophy; consistency
Summary/Abstract: The paper presents a case study of digitalisation of formal philosophy. Using the theorem provers available at www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTP, I show that the formal ontology presented in (Nieznański 2007) is inconsistent. I also discuss some ways to avoid this inconsistency.
Journal: Filozofia Nauki
- Issue Year: 24/2016
- Issue No: 4 (96)
- Page Range: 27-47
- Page Count: 21
- Language: Polish