Tytuł pozycji:
Digitalizacja filozofii formalnej
- Tytuł:
-
Digitalizacja filozofii formalnej
Digitalization of Formal Philosophy
- Autorzy:
-
Garbacz, Paweł
- Powiązania:
-
https://bibliotekanauki.pl/articles/966751.pdf
- Data publikacji:
-
2016-12-01
- Wydawca:
-
Uniwersytet Warszawski. Wydział Filozofii
- Źródło:
-
Filozofia Nauki; 2016, 24, 4; 27-47
1230-6894
2657-5868
- Język:
-
polski
- Prawa:
-
CC BY-NC-ND: Creative Commons Uznanie autorstwa - Użycie niekomercyjne - Bez utworów zależnych 4.0
- Dostawca treści:
-
Biblioteka Nauki
-
Przejdź do źródła  Link otwiera się w nowym oknie
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.