Topoi 2 (1):73-85 (1983)
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)|
References found in this work BETA
Citations of this work BETA
The Ontological Form of Tropes - Refuting Douglas Ehring’s Main Argument Against Standard Trope Nominalism.Jani Hakkarainen & Markku Keinänen - 2017 - Philosophia 45 (2):647-658.
Tropes – The Basic Constituents of Powerful Particulars?Markku Keinänen - 2011 - Dialectica 65 (3):419-450.
Chemistry, Context and the Objects of Thought.Prentner Robert - 2017 - Foundations of Chemistry 19 (1):29-41.
Similar books and articles
Biodynamic Ontology: Applying BFO in the Biomedical Domain.Barry Smith, Pierre Grenon & Louis Goldberg - 2004 - Studies in Health and Technology Informatics 102:20–38.
Formal Logic and Formal Ontology in Husserl's Phenomenology.Frederick James Crosson - 1962 - Notre Dame Journal of Formal Logic 3 (4):259-269.
Revisiting the Ontological Square.Luc Schneider - 2010 - 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.
Towards a Reistic Social-Historical Philosophy.Nikolay Milkov - 2011 - In Petrov V. (ed.), Ontological Landscapes: Recent Thought on Conceptual Interfaces between Science and Philosophy. Ontos. pp. 245.
Mereotopology: A Theory of Parts and Boundaries.Barry Smith - 1996 - Data and Knowledge Engineering 20 (3):287–303.
The Cornucopia of Formal-Ontological Relations.Barry Smith & Pierre Grenon - 2004 - Dialectica 58 (3):279–296.
Husserl's Conception of Formal Ontology.Roberto Poli - 1993 - History and Philosophy of Logic 14 (1):1-14.
Logic, Form and Matter.Barry Smith & David Murray - 1981 - Aristotelian Society Supplementary Volume 55 (1):47 - 74.
Added to index2009-01-28
Total downloads387 ( #6,688 of 2,172,801 )
Recent downloads (6 months)19 ( #16,776 of 2,172,801 )
How can I increase my downloads?