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)|
|Through your library||Configure|
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). &Quot;on Ties and Copulae Within the Ontological Square&Quot;. 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 downloads30 ( #48,029 of 1,006,124 )
Recent downloads (6 months)2 ( #39,266 of 1,006,124 )
How can I increase my downloads?