Sciweavers

WSPI
2004

Spinoza's Ontology

14 years 24 days ago
Spinoza's Ontology
Abstract. We examine the possibility of applying knowledge representation and automated reasoning in the context of philosophical ontology. For this purpose, we use the axioms and propositions in the first book of Spinoza's Ethics as knowledge base and a tableau-based satisfiability tester as reasoner. We are able to reconstruct most of Spinoza's system with formal logic, but this requires additional axioms which are assumed implicitly by Spinoza. This study illustrates how tools developed in computer science can be of practical use for philosophy.
Jan Hladik
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2004
Where WSPI
Authors Jan Hladik
Comments (0)