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.
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]
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 state of having being or reality in contrast to nonexistence and nonbeing. Existence is often contrasted with essence: the essence of an entity is its essential features or qualities, which can be understood even if one does not know whether the entity exists.
Metaphysics is the branch of philosophy that examines the basic structure of reality. It is often characterized as first philosophy, implying that it is more fundamental than other forms of philosophical inquiry. Metaphysics is traditionally seen as the study of mind-independent features of the world, but some modern theorists understand it as an inquiry into the conceptual schemes that underlie human thought and experience.
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.
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 view that "everything is physical", that there is "nothing over and above" the physical, or that everything supervenes on the physical. It is opposed to idealism, according to which the world arises from mind. Physicalism is a form of ontological monism—a "one substance" view of the nature of reality, unlike "two-substance" or "many-substance" (pluralism) views. 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 share the quality of "chairness", as well as "greenness" or the quality of being green; in other words, they share two "universals". There are three major kinds of qualities or characteristics: types or kinds, properties, and relations. These are all different types of universals.
Edward Jonathan Lowe, usually cited as E. J. Lowe but known personally as Jonathan Lowe, was a British philosopher and academic. He was Professor of Philosophy at Durham University. He defended non-Cartesian dualism.
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 were 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 – usually not treated as a position of its own but as a stance towards other subject matters – is the view that a certain kind of thing has mind-independent existence, i.e. that it exists even in the absence of any mind perceiving it or that its existence 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.
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.
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.
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.
Relations are ways in which several entities stand to each other. They usually connect distinct entities but some associate an entity with itself. The adicity of a relation is the number of entities it connects. The direction of a relation is the order in which the elements are related to each other. The converse of a relation carries the same information and has the opposite direction, like the contrast between "two is less than five" and "five is greater than two". Both relations and properties express features in reality with a key difference being that relations apply to several entities while properties belong to a single entity.
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.