Studia Logica 91 (1):25-51 (2009)

Luc Schneider
Universität des Saarlandes
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 Philosophy   Computational Linguistics   Mathematical Logic and Foundations   Logic
Categories (categorize this paper)
DOI 10.1007/s11225-009-9165-6
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,811
External links

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

View all 48 references / Add more references

Citations of this work BETA

Minimal Aristotelian Ontology.Luc Schneider - 2017 - Cosmos + Taxis 4 (4):27-37.

Add more citations

Similar books and articles

The Square of Opposition — a New Approach.H. Greniewski - 1953 - Studia Logica 1 (1):297-301.
Inverse Images of Box Formulas in Modal Logic.Lloyd Humberstone - 2013 - Studia Logica 101 (5):1031-1060.
Logical Geometries and Information in the Square of Oppositions.Hans5 Smessaert & Lorenz6 Demey - 2014 - Journal of Logic, Language and Information 23 (4):527-565.
Successive Cardinals with No Partial Square.John Krueger - 2014 - Archive for Mathematical Logic 53 (1-2):11-21.
Square of Opposition.Author unknown - 2004 - Internet Encyclopedia of Philosophy.
Separating Weak Partial Square Principles.John Krueger & Ernest Schimmerling - 2014 - Annals of Pure and Applied Logic 165 (2):609-619.


Added to PP index

Total views
75 ( #147,250 of 2,463,176 )

Recent downloads (6 months)
3 ( #223,490 of 2,463,176 )

How can I increase my downloads?


My notes