If instantiation is itself a relational universal, then when entity a instantiates universal F, a, F, and the instantiation relation i1 are linked by a further instantiation relation i2
(Instantiation is argued to be a relational universal, which generates the regress)
A universal that is instantiated by a group of entities standing in a relation to one another
the problem of instantiation (or 'regress problem')(as used in metaphysics/ontology)
A tricky puzzle: if a thing has a property *through* some relation called 'instantiation,' what connects the thing, the property, AND that relation together? This seems to create an infinite chain of connections.
universal(Argument for the generality of Turing machines)
A computing system capable of simulating any other computing system of the same or lesser power; used here to describe Turing machines as the most general model of computation.
There are other, more specific arguments against universals. One is that postulating such things leads to a vicious infinite regress. For suppose there are universals, both monadic and relational, and that when an entity instantiates a universal, or a group of entities instantiate a relational universal, they are linked by an instantiation relation. Suppose now that a instantiates the universal F. Since there are many things that instantiate many universals, it is plausible to suppose that insta