- The purpose of this paper is to establish a classification of the main ontological categories based on the predication, subsumption, and inherence relation.
- The classification is inspired by Aristotle’s fourfold division of things into objects (primary substances), object kinds (secondary substances), attributes, and attribute kinds.
- It is argued that
- properties and relations are respectively meanings of monadic and polyadic predicate expressions, and
- (determinate) attributes are recurrent abstract particulars so that they are neither monadic nor polyadic.
- It follows that attributes constitute a category quite different from that of properties and relations.
- On the other hand, both object kinds and attribute kinds are considered to be non-semantic universals1 in contradistinction to properties and relations that are semantic.
Text Colour Conventions (see disclaimer)
- Blue: Text by me; © Theo Todman, 2019
- Mauve: Text by correspondent(s) or other author(s); © the author(s)