Digitalization of Formal Philosophy

Authors

  • Paweł Garbacz Faculty of Philosophy, Catholic University of Lublin

Keywords:

automated theorem proving, formal philosophy, consistency

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.

20164.png

Downloads

Published

2016-12-01

How to Cite

Garbacz, P. (2016). Digitalization of Formal Philosophy. The Philosophy of Science, 24(4), 27–47. Retrieved from https://fn.uw.edu.pl/index.php/fn/article/view/831

Issue

Vol. 24 No. 4 (2016): THE PHILOSOPHY OF SCIENCE

Section

Articles