Instantiation principle

Instantiation principle

The instantiation principle is a concept in philosophy that states that if something has a property, then necessarily that "something" must exist. For it not to exist would be a property without an essence, which is impossible.

For example, an apple is red. Here, the apple is the essence and the property is red. The instantiation principle implies that it is meaningless to say that "the apple is red, but the apple doesn't exist". The apple "must" exist for it to be red.

Note that the apple doesn't have to "physically" exist - It can simply be a conception in one's mind. For instance, the statement "Pegasus has wings" has the same structure as the apple analogy, but in this case Pegasus is only an idea in one's mind. However, the instantiation principle holds: in order for Pegasus to have wings, Pegasus must exist (if only conceptually).

This appears to be a simple and straightforward concept, but it is the basis for many important questions in philosophy. For instance, historically it has been the crucial building block of Descartes's philosophy, which is summed up in the cogito ergo sum argument, which runs something like this:

:"I am thinking, therefore I exist"

"I am thinking" is taken true. If this is true, then thinking is a property of a thing. One cannot have "thinking" (the property) without a "thinking thing" (essence). Therefore, a thinking thing must exist, and this Descartes holds to be himself.

Hinduism

In the Vedanta school of Hindu philosophy, Ramanuja establishes tenets of Visishtadvaita based on the instantiation principle. He argues that "a contentless cognition is not possible" and that for identification of an object, attributes (property) is a must. He extends the same to justify that multiple attributes can exist in one substrate without mutually excluding each other.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Instantiation — or instance may be *Philosophy::*A concept in Platonism, see idea :* Instantiation principle the idea that if properties exist, the essence that has the properties must necessarily exist:* Universal instantiation and existential instantiation ,… …   Wikipedia

  • Cogito ergo sum — Part of a series on …   Wikipedia

  • Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… …   Wikipedia

  • Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… …   Wikipedia

  • Metaphysics — This article is about the branch of philosophy dealing with theories of existence and knowledge. For the work of Aristotle, see Metaphysics (Aristotle). For the occult field, see Metaphysics (supernatural). Philosophy …   Wikipedia

  • Essentially contested concept — In a paper delivered to the Aristotelian Society on 12 March 1956, [Published immediately as Gallie (1956a); a later, slightly altered version appears in Gallie (1964).] Walter Bryce Gallie (1912 ndash;1998) introduced the term essentially… …   Wikipedia

  • C++ — The C++ Programming Language, written by its architect, is the seminal book on the language. Paradigm(s) Multi paradigm:[1] procedural …   Wikipedia

  • C++0x — is the planned new standard for the C++ programming language. It is intended to replace the existing C++ standard, ISO/IEC 14882, which was published in 1998 and updated in 2003. These predecessors are informally known as C++98 and C++03. The new …   Wikipedia

  • Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… …   Wikipedia

  • C++11 — C++11, also formerly known as C++0x,[1] is the name of the most recent iteration of the C++ programming language, replacing C++TR1, approved by the ISO as of 12 August 2011.[2] The name is derived from the tradition of naming language versions by …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”