The logic of the ontological square
Studia Logica 91 (1):25 - 51 (2009)
| Abstract | 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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJ. 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).
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.
Jamin Asay (2010). How to Express Ontological Commitment in the Vernacular. Philosophia Mathematica 18 (3):293-310.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads28 ( #44,160 of 549,700 )Recent downloads (6 months)2 ( #37,450 of 549,700 )How can I increase my downloads? |
My notes
Discussion
