Instantiation Principle
   HOME





Instantiation Principle
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 Property is the ownership of land, resources, improvements or other tangible objects, or intellectual property. Property may also refer to: Philosophy and science * Property (philosophy), in philosophy and logic, an abstraction characterizing an ... (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. 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 i ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Concept
A concept is an abstract idea that serves as a foundation for more concrete principles, thoughts, and beliefs. Concepts play an important role in all aspects of cognition. As such, concepts are studied within such disciplines as linguistics, psychology, and philosophy, and these disciplines are interested in the logical and psychological structure of concepts, and how they are put together to form thoughts and sentences. The study of concepts has served as an important flagship of an emerging interdisciplinary approach, cognitive science. In contemporary philosophy, three understandings of a concept prevail: * mental representations, such that a concept is an entity that exists in the mind (a mental object) * abilities peculiar to cognitive agents (mental states) * Fregean senses, abstract objects rather than a mental object or a mental state Concepts are classified into a hierarchy, higher levels of which are termed "superordinate" and lower levels termed "subordinate". ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Metaphysics
Metaphysics is the branch of philosophy that examines the basic structure of reality. It is traditionally seen as the study of mind-independent features of the world, but some theorists view it as an inquiry into the conceptual framework of human understanding. Some philosophers, including Aristotle, designate metaphysics as first philosophy to suggest that it is more fundamental than other forms of philosophical inquiry. Metaphysics encompasses a wide range of general and abstract topics. It investigates the nature of existence, the features all entities have in common, and their division into categories of being. An influential division is between particulars and universals. Particulars are individual unique entities, like a specific apple. Universals are general features that different particulars have in common, like the color . Modal metaphysics examines what it means for something to be possible or necessary. Metaphysicians also explore the concepts of space, time, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. Informal logic examines arguments expressed in natural language whereas formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a specific logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises that leads to a conclusion. An example is the argument from the premises "it's Sunday" and "if it's Sunday then I don't have to work" leading to the conclusion "I don't have to wor ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


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 functionalist theory of the mind, an externalist epistemology, and a necessitarian conception of the laws of nature. Keith Campbell said that Armstrong's contributions to metaphysics and epistemology "helped to shape philosophy's agenda and terms of debate", and that Armstrong's work "always concerned to elaborate and defend a philosophy which is ontically economical, synoptic, and compatibly continuous with established results in the natural sciences". Life and career After studying at the University of Sydney, Armstrong undertook a B.Phil. at the University of Oxford and a Ph.D. at the University of Melbourne. He taught at Birkbeck College in 1954–55, then at the University of Melbourne from 1956 to 1963. In 1964, he became Challis Pr ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Property (philosophy)
In logic and philosophy (especially metaphysics), a property is a characteristic of an object; for example, 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 and 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 (or particulars) can in some sense have some of the same properties is the basis of the problem of universals. Terms and usage A property is any member of a class of entities that are capable of being attributed to objects. Terms similar to ''property'' include ''predicable'', ''attribute'', ''quality'', ''feature'', ''chara ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Universal (metaphysics)
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 "wikt:chairness, 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: type (metaphysics), types or kinds (e.g. mammal), property (metaphysics), properties (e.g. short, strong), and relation (metaphysics), relations (e.g. father of, next to). These are all different types of universals. Paradigmatically, universals are ''abstract (philosophy), abstract'' (e.g. humanity), whereas particulars are ''concrete (philosophy), concrete'' (e.g. the personhood of Socrates). However, universals are not necessarily abstract and p ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Immanent Realist
Moderate realism (also called immanent realism) is a position in the debate on the metaphysics of universals which holds that there is no realm in which universals exist (in opposition to Platonic realism, which asserts the existence of abstract objects), nor do they really exist within particulars ''as universals'', but rather universals really exist within particulars ''as particularised'', and multiplied. Overview Moderate realism is opposed to both the theory of Platonic forms and nominalism. Nominalists deny the existence of universals altogether, even as particularised and multiplied within particulars. Moderate realism, however, is considered a midpoint between Platonic realism and nominalism as it holds that the universals are located in space and time although they do not have separate realms. Aristotle espoused a form of moderate realism as did Thomas Aquinas, Bonaventure, and Duns Scotus (cf. Scotist realism). Moderate realism is anti-realist about abstract objects, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


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 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. ''Truthmaker maximalism'' is the thesis that every truth has a truthmaker. An alterna ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


In Re Structuralism
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. Structuralism is an epistemologically realistic view in that it holds that mathematical statements have an objective truth value. However, its central claim only relates to what ''kind'' of entity a mathematical o ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Concepts In Logic
A concept is an abstract idea that serves as a foundation for more concrete principles, thoughts, and beliefs. Concepts play an important role in all aspects of cognition. As such, concepts are studied within such disciplines as linguistics, psychology, and philosophy, and these disciplines are interested in the logical and psychological structure of concepts, and how they are put together to form thoughts and sentences. The study of concepts has served as an important flagship of an emerging interdisciplinary approach, cognitive science. In contemporary philosophy, three understandings of a concept prevail: * mental representations, such that a concept is an entity that exists in the mind (a mental object) * abilities peculiar to cognitive agents (mental states) * Fregean senses, abstract objects rather than a mental object or a mental state Concepts are classified into a hierarchy, higher levels of which are termed "superordinate" and lower levels termed "subordinate". A ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Philosophical Realism
Philosophical realismusually not treated as a position of its own but as a stance towards other subject mattersis the view that a certain kind of thing (ranging widely from abstract objects like numbers to moral statements to the physical world itself) 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 altogether. Realism can also be a view about the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]