David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Edmund Husserl (2013). Logische Untersuchungen. Felix Meiner Verlag Gmbh.
Ludwig Wittgenstein (1922/1999). Tractatus Logico-Philosophicus. Dover Publications.
D. M. Armstrong (1978). Universals and Scientific Realism. Cambridge University Press.
Citations of this work BETA
Markku Keinänen (2011). Tropes – The Basic Constituents of Powerful Particulars? Dialectica 65 (3):419-450.
Barry Smith (1987). The Substance of Brentano's Ontology. Topoi 6 (1):39-49.
Kevin Mulligan & Barry Smith (1986). A Relational Theory of the Act. Topoi 5 (2):115-130.
Wojciech Krysztofiak (1995). Noemata and Their Formalization. Synthese 105 (1):53 - 86.
Fabrice Correia & Philipp Keller (2004). Introduction. Dialectica 58 (3):275–278.
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.
Frederick James Crosson (1962). Formal Logic and Formal Ontology in Husserl's Phenomenology. Notre Dame Journal of Formal Logic 3 (4):259-269.
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
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 245.
Barry Smith (1996). Mereotopology: A Theory of Parts and Boundaries. Data and Knowledge Engineering 20:287–303.
Barry Smith & Pierre Grenon (2004). The Cornucopia of Formal-Ontological Relations. Dialectica 58 (3):279–296.
Roberto Poli (1993). Husserl's Conception of Formal Ontology. History and Philosophy of Logic 14 (1):1-14.
Barry Smith & David Murray (1981). Logic, Form and Matter. Aristotelian Society Supplementary Volume 55:47 - 74.
William J. Greenberg (1996). The Paradox of Identity. Epistemologia (2):207-226.
Added to index2009-01-28
Total downloads195 ( #10,993 of 1,780,773 )
Recent downloads (6 months)38 ( #19,410 of 1,780,773 )
How can I increase my downloads?