Skip to content


Uwe Meixner

Pages 589 - 591

Universals belong to those entities that have neither spatial nor temporal parts, and that therefore have neither a (literally) spatial nor a (literally) temporal localisation. Universals are either non-predicative or predicative. The non-predicative universals are also called types or type-objects (for example, the letter A). The predicative universals, in turn, are divided into the properties and the relations. Types are closely related to properties: there is a property p(T) corresponding one-to-one to each type T, such that x exemplifies/instantiates T if, and only if, x exemplifies/instantiates p(T).

1Institute of Philosophy, University of Augsburg

1 Armstrong, D. M., (1978), Universals and Scientific Realism, 2 vols., Cambridge: Cambridge University Press.

2 Armstrong, D. M., (1979), A World of States of Affairs, Cambridge: Cambridge University Press.

3 Meixner, U., (1997), Axiomatic Formal Ontology, Dordrecht: Kluwer.

4 Meixner, U., (2006), The Theory of Ontic Modalities, Heusenstamm: Ontos Verlag.


Export Citation