Spinoza's Ontology

J. HladikJ. Hladik

Download

J. Hladik
Spinoza's Ontology
In G. {Büchel} and B. {Klein} and T. {Roth-Berghofer}, eds., Proceedings of the 1st Workshop on Philosophy and Informatics (WSPI 2004), DFKI Research Reports, 2004. DFKI

Details
Bibtex

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

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ Hladik-WSPI-04,
  author = {J. {Hladik}},
  booktitle = {Proceedings of the 1st Workshop on Philosophy and Informatics (WSPI 2004)},
  editor = {G. {B\"uchel} and B. {Klein} and T. {Roth-Berghofer}},
  number = {RR-04-02},
  series = {DFKI Research Reports},
  title = {Spinoza's Ontology},
  year = {2004},
}