Framework for formal ontology

Topoi 2 (1):73-85 (1983)
Download Edit this record How to cite View on PhilPapers
Abstract
The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, but also relations between what we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented
PhilPapers/Archive ID
SMIFFF
Revision history
First archival date: 2015-11-21
Latest version: 2 (2015-11-21)
View upload history
References found in this work BETA

View all 47 references / Add more references

Citations of this work BETA
Quantity Tropes and Internal Relations.Keinänen, Markku; Keskinen, Antti & Hakkarainen, Jani
Meta-Metaphysics.Tahko, Tuomas

View all 42 citations / Add more citations

Added to PP index
2009-01-28

Total views
554 ( #4,800 of 41,628 )

Recent downloads (6 months)
57 ( #10,308 of 41,628 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.