Digitalizacja filozofii formalnej

  • Paweł Garbacz Wydział Filozofii, Katolicki Uniwersytet Lubelski
Słowa kluczowe: automated theorem proving, formal philosophy, consistency

Abstrakt

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.

Opublikowane
2016-12-01
Jak cytować
Garbacz, P. (2016). Digitalizacja filozofii formalnej. Filozofia Nauki, 24(4), 27-47.