Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

PL EN

Journal

Filozofia Nauki

2016 | 24 | 4 | 27-47

Article title

Digitalization of Formal Philosophy

Authors

Paweł Garbacz

Content

Full texts:
831-601.pdf

Title variants

PL
Digitalizacja filozofii formalnej
EN
Digitalization of Formal Philosophy

Languages of publication

PL

Abstracts

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

Keywords

Publisher

University of Warsaw, Institute of Philosophy

Journal

Filozofia Nauki

Year

2016

Volume

24

Issue

4

Pages

27-47

Physical description

Dates

published
2016-12-01

Contributors

author
Paweł Garbacz

References

Document Type

Publication order reference

Identifiers

YADDA identifier

bwmeta1.element.ojs-issn-2657-5868-year-2016-volume-24-issue-4-article-831
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.