The instantiation principle or principle of instantiation or principle of exemplification is the

concept Concepts are defined as abstract ideas. They are understood to be the fundamental building blocks of the concept behind principles, thoughts and beliefs. They play an important role in all aspects of cognition. As such, concepts are studied by ...

metaphysics Metaphysics is the branch of philosophy that studies the fundamental nature of reality, the first principles of being, identity and change, space and time, causality, necessity, and possibility. It includes questions about the nature of conscio ...

and

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premise ...

(first put forward by

David Malet Armstrong David Malet Armstrong (8 July 1926 – 13 May 2014), often D. M. Armstrong, was an Australian philosopher. He is well known for his work on metaphysics and the philosophy of mind, and for his defence of a factualist ontology, a functiona ...

) that there can be no uninstantiated or unexemplified

properties Property is the ownership of land, resources, improvements or other tangible objects, or intellectual property. Property may also refer to: Mathematics * Property (mathematics) Philosophy and science * Property (philosophy), in philosophy an ...

(or

universals In metaphysics, a universal is what particular things have in common, namely characteristics or qualities. In other words, universals are repeatable or recurrent entities that can be instantiated or exemplified by many particular things. For exa ...

). In other words, it is impossible for a property to exist which is not had by some object. Consider a chair. Presumably chairs did not exist 150,000 years ago. Thus, according to the principle of instantiation, the property of being a chair did not exist 150,000 years ago either. Similarly, if all red objects were to suddenly go out of existence, then the property of being red would likewise go out of existence. To make the principle more plausible in the light of these examples, the existence of properties or universals is not tied to their actual existence now, but to their existence in space-time considered as a whole. Thus, any property which ''is'', ''has been'', or ''will be'' instantiated exists. The property of being red would exist even if all red things were to be destroyed, because it has been instantiated. This broadens the range of properties which exist if the principle is true. Those who endorse the principle of instantiation are known as ''in re'' (in thing or in reality) realists or '

immanent realist Moderate realism (also called immanent realism) is a position in the debate on the metaphysics of universals associated with the hylomorphic substance theory of Aristotle. There is no separate realm in which universals exist (in opposition to P ...

s'. Difficulties for the instantiation principle arise from the existence of truths about the uninstantiated, for example about higher infinities, or about an uninstantiated shade of blue (if such a shade exists). Those truths appear to be about something, but what can their

truthmaker Truthmaker theory is "the branch of metaphysics that explores the relationships between what is true and what exists". The basic intuition behind truthmaker theory is that truth depends on being. For example, a perceptual experience of a green tre ...

be if they do not in some sense exist?

References

Concepts in logic Concepts in metaphysics Philosophical realism Principles {{Logic-stub

See also

References