Instantiation principle

Last updated

The instantiation principle or principle of instantiation or principle of exemplification is the concept in metaphysics and logic (first put forward by David Malet Armstrong) that there can be no uninstantiated or unexemplified properties (or universals). 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. [1] 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 realists'. [2]

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 be if they do not in some sense exist? [3]

See also

Related Research Articles

In analytic philosophy, anti-realism is a position which encompasses many varieties such as metaphysical, mathematical, semantic, scientific, moral and epistemic. The term was first articulated by British philosopher Michael Dummett in an argument against a form of realism Dummett saw as 'colorless reductionism'.

Existence is the ability of an entity to interact with reality. In philosophy, it refers to the ontological property of being.

<span class="mw-page-title-main">Nominalism</span> Philosophical view with two varieties

In metaphysics, nominalism is the view that universals and abstract objects do not actually exist other than being merely names or labels. There are at least two main versions of nominalism. One version denies the existence of universals – things that can be instantiated or exemplified by many particular things. The other version specifically denies the existence of abstract objects – objects that do not exist in space and time.

<span class="mw-page-title-main">Ontology</span> Branch of philosophy that studies concepts such as existence, being, becoming, and reality

In metaphysics, ontology is the philosophical study of being, as well as related concepts such as existence, becoming, and reality.

<span class="mw-page-title-main">Problem of universals</span> Philosophical question of whether properties exist and, if so, what they are

The problem of universals is an ancient question from metaphysics that has inspired a range of philosophical topics and disputes: Should the properties an object has in common with other objects, such as color and shape, be considered to exist beyond those objects? And if a property exists separately from objects, what is the nature of that existence?

In philosophy, physicalism is the metaphysical thesis that "everything is physical", that there is "nothing over and above" the physical, or that everything supervenes on the physical. Physicalism is a form of ontological monism—a "one substance" view of the nature of reality as opposed to a "two-substance" (dualism) or "many-substance" (pluralism) view. Both the definition of "physical" and the meaning of physicalism have been debated.

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 example, suppose there are two chairs in a room, each of which is green. These two chairs both share the quality of "chairness", as well as greenness or the quality of being green; in other words, they share a "universal". There are three major kinds of qualities or characteristics: types or kinds, properties, and relations. These are all different types of universals.

<span class="mw-page-title-main">Aristotelianism</span> Tradition in philosophy

Aristotelianism is a philosophical tradition inspired by the work of Aristotle, usually characterized by deductive logic and an analytic inductive method in the study of natural philosophy and metaphysics. It covers the treatment of the social sciences under a system of natural law. It answers why-questions by a scheme of four causes, including purpose or teleology, and emphasizes virtue ethics. Aristotle and his school wrote tractates on physics, biology, metaphysics, logic, ethics, aesthetics, poetry, theatre, music, rhetoric, psychology, linguistics, economics, politics, and government. Any school of thought that takes one of Aristotle's distinctive positions as its starting point can be considered "Aristotelian" in the widest sense. This means that different Aristotelian theories may not have much in common as far as their actual content is concerned besides their shared reference to Aristotle.

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 tree may be said to be true because there actually is a green tree. But if there was no tree there, it would be false. So the experience by itself does not ensure its truth or falsehood, it depends on something else. Expressed more generally, truthmaker theory is the thesis that "the truth of truthbearers depends on the existence of truthmakers". A perceptual experience is the truthbearer in the example above. Various representational entities, like beliefs, thoughts or assertions can act as truthbearers. Truthmaker theorists are divided about what type of entity plays the role of truthmaker; popular candidates include states of affairs and tropes.

In logic and philosophy, a property is a characteristic of an object; a red object is said to have the property of redness. The property may be considered a form of object in its own right, able to possess other properties. A property, however, differs from individual objects in that it may be instantiated, and often in more than one object. It differs from the logical/mathematical concept of class by not having any concept of extensionality, and from the philosophical concept of class in that a property is considered to be distinct from the objects which possess it. Understanding how different individual entities can in some sense have some of the same properties is the basis of the problem of universals.

Philosophical realism is usually not treated as a position of its own but as a stance towards other subject matters. Realism about a certain kind of thing is the thesis that this kind of thing has mind-independent existence, i.e. that it is not just a mere appearance in the eye of the beholder. This includes a number of positions within epistemology and metaphysics which express that a given thing instead exists independently of knowledge, thought, or understanding. This can apply to items such as the physical world, the past and future, other minds, and the self, though may also apply less directly to things such as universals, mathematical truths, moral truths, and thought itself. However, realism may also include various positions which instead reject metaphysical treatments of reality entirely.

<span class="mw-page-title-main">David Malet Armstrong</span> Australian philosopher

David Malet Armstrong, 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 functionalist theory of the mind, an externalist epistemology, and a necessitarian conception of the laws of nature. He was elected a Foreign Honorary Member of the American Academy of Arts and Sciences in 2008.

Trope denotes figurative and metaphorical language and one which has been used in various technical senses. The term trope derives from the Greek τρόπος (tropos), "a turn, a change", related to the root of the verb τρέπειν (trepein), "to turn, to direct, to alter, to change"; this means that the term is used metaphorically to denote, among other things, metaphorical language.

The argument from degrees, also known as the degrees of perfection argument or the henological argument is an argument for the existence of God first proposed by mediaeval Roman Catholic theologian Thomas Aquinas as one of the five ways to philosophically argue in favour of God's existence in his Summa Theologica. It is based on ontological and theological notions of perfection. Contemporary Thomist scholars are often in disagreement on the metaphysical justification for this proof. According to Edward Feser, the metaphysics involved in the argument has more to do with Aristotle than Plato; hence, while the argument presupposes realism about universals and abstract objects, it would be more accurate to say Aquinas is thinking of Aristotelian realism and not Platonic realism per se.

<span class="mw-page-title-main">Moderate realism</span> Concept in philosophy

Moderate 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, nor do they really exist within particulars as universals, but rather universals really exist within particulars as particularised, and multiplied.

The following outline is provided as an overview of and topical guide to metaphysics:

Structuralism is a theory in the philosophy of mathematics that holds that mathematical theories describe structures of mathematical objects. Mathematical objects are exhaustively defined by their place in such structures. Consequently, structuralism maintains that mathematical objects do not possess any intrinsic properties but are defined by their external relations in a system. For instance, structuralism holds that the number 1 is exhaustively defined by being the successor of 0 in the structure of the theory of natural numbers. By generalization of this example, any natural number is defined by its respective place in that theory. Other examples of mathematical objects might include lines and planes in geometry, or elements and operations in abstract algebra.

<span class="mw-page-title-main">Donald Cary Williams</span> American philosopher

Donald Cary Williams, usually cited as D. C. Williams, was an American philosopher and a professor at both the University of California Los Angeles and at Harvard University.

Compositional objects are wholes instantiated by collections of parts. If an ontology wishes to permit the inclusion of compositional objects it must define which collections of objects are to be considered parts composing a whole. Mereology, the study of relationships between parts and their wholes, provides specifications on how parts must relate to one another in order to compose a whole.

In the philosophy of mathematics, Aristotelian realism holds that mathematics studies properties such as symmetry, continuity and order that can be immanently realized in the physical world. It contrasts with Platonism in holding that the objects of mathematics, such as numbers, do not exist in an "abstract" world but can be physically realized. It contrasts with nominalism, fictionalism, and logicism in holding that mathematics is not about mere names or methods of inference or calculation but about certain real aspects of the world.

References

  1. Armstrong, David (1989). Universals: An Opinionated Introduction (paperback) (book). Colorado: Westview Press. ISBN   9780813307633.
  2. Loux, Michael (2006). "Aristotle's Constituent Ontology". In Zimmerman, Dean W. (ed.). Oxford Studies in Metaphysics (paperback) (book). Oxford University Press. ISBN   978-0-19-929058-1 . Retrieved 2012-06-25.
  3. Franklin, James (2015). "Uninstantiated properties and semi-Platonist Aristotelianism". Review of Metaphysics (69): 25–45. Retrieved 29 June 2021.