Framework for formal ontology

Topoi 2 (1):73-85 (1983)
Download Edit this record How to cite View on PhilPapers
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
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 54 references / Add more references

Citations of this work BETA
Truth-Makers.Mulligan, Kevin; Simons, Peter & Smith, Barry
Truth­-Makers.Mulligan, Kevin; Simons, Peter & Smith, Barry
Quantity Tropes and Internal Relations.Keinänen, Markku; Keskinen, Antti & Hakkarainen, Jani

View all 47 citations / Add more citations

Added to PP index

Total views
617 ( #5,905 of 48,954 )

Recent downloads (6 months)
38 ( #18,446 of 48,954 )

How can I increase my downloads?

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