David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
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
Peter Alexander, Lewis Carroll & William Warren Bartley Iii (1978). Symbolic Logic. Philosophical Quarterly 28 (113):348.
D. M. Armstrong (1978). Universals and Scientific Realism. Cambridge University Press.
Michael Dummett (1959). Review: A. E. Heath, Studies in Logic and Probability. [REVIEW] Journal of Symbolic Logic 24 (3):203-209.
Citations of this work BETA
Markku Keinänen (2011). Tropes – The Basic Constituents of Powerful Particulars? Dialectica 65 (3):419-450.
Kevin Mulligan & Barry Smith (1986). A Relational Theory of the Act. Topoi 5 (2):115-130.
Barry Smith (1987). The Substance of Brentano's Ontology. Topoi 6 (1):39-49.
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:207-226.
Added to index2009-01-28
Total downloads137 ( #7,329 of 1,140,039 )
Recent downloads (6 months)15 ( #13,518 of 1,140,039 )
How can I increase my downloads?