David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 91 (1):25 - 51 (2009)
The Ontological Square is a categorial scheme that combines two metaphysical distinctions: that between types (or universals ) and tokens (or particulars ) on the one hand, and that between characters (or features ) and their substrates (or bearers ) on the other hand. The resulting four-fold classification of things comprises particular substrates, called substances , universal substrates, called kinds , particular characters, called modes or moments , and universal characters, called attributes . Things are joined together in facts by primitive ontological ties or nexus . This article describes a logic that is meant to capture the basic intuitions behind the Ontological Square. Given a minimal correspondence between atomic logical form and ontological structure, the commitment to nexus as a distinct ontological category entails a rehabilitation of copulae as ties of predication. Thus, the Logic of the Ontological Square is a copula calculus rather than a predicate calculus; its soundness and completeness can be established with respect to a model akin to a so-called first-order semantics for standard second-order logic.
|Keywords||Universals particulars substances modes formal ontology predication copula|
|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
E. J. Lowe (2006). The Four-Category Ontology: A Metaphysical Foundation for Natural Science. Oxford University Press.
D. M. Armstrong (1989). Universals: An Opinionated Introduction. Westview Press.
Kevin Mulligan, Peter M. Simons & Barry Smith (2007). Truth-Makers. In Jean-Maurice Monnoyer (ed.), Philosophy and Phenomenological Research. Ontos Verlag 18--9.
Keith Campbell (1990). Abstract Particulars. B. Blackwell.
Citations of this work BETA
Luc Schneider (2013). Whatever Binds the World's Innermost Core Together Outline of a General Theory of Ontic Predication. Axiomathes 23 (2):419-442.
Similar books and articles
J. W. Stoelhorst (2008). The Explanatory Logic and Ontological Commitments of Generalized Darwinism. Journal of Economic Methodology 15 (4):343-363.
Antonino Drago (2008). The Square of Opposition and the Four Fundamental Choices. Logica Universalis 2 (1):127-141.
Jan Westerhoff (2004). The Construction of Ontological Categories. Australasian Journal of Philosophy 82 (4):595 – 620.
Jason Turner (2012). Logic and Ontological Pluralism. Journal of Philosophical Logic 41 (2):419-448.
W. J. Blok (1980). The Lattice of Modal Logics: An Algebraic Investigation. Journal of Symbolic Logic 45 (2):221-236.
Phil Corkum (2008). Aristotle on Ontological Dependence. Phronesis 53 (1):65 - 92.
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
Luc Schneider (2009). On Ties and Copulae Within the Ontological Square. In Langlet B. Monnoyer J.-M. (ed.), Gustav Bergmann : Phenomenological Realism and Dialectical Ontology. Ontos Verlag 29--193.
Jamin Asay (2010). How to Express Ontological Commitment in the Vernacular. Philosophia Mathematica 18 (3):293-310.
Added to index2009-01-28
Total downloads44 ( #77,024 of 1,726,249 )
Recent downloads (6 months)4 ( #183,615 of 1,726,249 )
How can I increase my downloads?