Topoi 2 (1):73-85 (1983)
|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.|
|Keywords||Boolean algebra characteristica universalis ontology|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Barry Smith, Pierre Grenon & Louis Goldberg (2004). Biodynamic Ontology: Applying BFO in the Biomedical Domain. Studies in Health and Technology Informatics 102:20–38.
Barry Smith & David Murray (1981). Logic, Form and Matter. Aristotelian Society Supplementary Volume 55:47 - 74.
Roberto Poli (1993). Husserl's Conception of Formal Ontology. History and Philosophy of Logic 14 (1):1-14.
Barry Smith & Pierre Grenon (2004). The Cornucopia of Formal-Ontological Relations. Dialectica 58 (3):279–296.
Barry Smith (1996). Mereotopology: A Theory of Parts and Boundaries. Data and Knowledge Engineering 20:287–303.
Nikolay Milkov (2011). Towards a Reistic Social-Historical Philosophy. In Petrov V. (ed.), Ontological Landscapes: Recent Thought on Conceptual Interfaces between Science and Philosophy. Ontos.
Luc Schneider (2010). Revisiting the Ontological Square. In Anthony Galton & Riichiro Mizoguchi (eds.), Proceeding of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010). IOS Press.
Frederick James Crosson (1962). Formal Logic and Formal Ontology in Husserl's Phenomenology. Notre Dame Journal of Formal Logic 3 (4):259-269.
William J. Greenberg (1996). The Paradox of Identity. Epistemologia:207-226.
Added to index2009-01-28
Total downloads74 ( #13,704 of 722,932 )
Recent downloads (6 months)17 ( #7,614 of 722,932 )
How can I increase my downloads?