An Essay in Formal Ontology

Grazer Philosophische Studien 6 (1):39-62 (1978)
  Copy   BIBTEX


As conceived by analytic philosophers ontology consists in the application of the methods of mathematical logic to the analysis of ontological discourse. As conceived by realist philosophers such as Meinong and the early Husserl, Reinach and Ingarden, it consists in the investigation of the forms of entities of various types. The suggestion is that formal methods be employed by phenomenological ontologists, and that phenomenological insights may contribute to the construction of adequate formal-ontological languages. The paper sketches an account of what might be involved in this new discipline, an account which is illustrated in application to the formal-ontological problems raised by negative states of affairs.

Author's Profile

Barry Smith
University at Buffalo


Added to PP

464 (#37,239)

6 months
92 (#49,704)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?