indiscernibility of identicals
The principle that if A is identical with B, then every property that A has B has, and vice versa. This is sometimes known as Leibniz's law.

Philosophy dictionary. . 2011.

Look at other dictionaries:

  • indiscernibility of identicals — noun The principle that if two objects are absolutely identical then they must be indistinguishable from one another with respect to all of their properties. One of the fundamental principles governing identity is that of substitutivity or, as it …   Wiktionary

  • the indiscernibility of identicals — indiscernibility of identicals …   Philosophy dictionary

  • Identity of indiscernibles — The identity of indiscernibles is an ontological principle which states that two or more objects or entities are identical (are one and the same entity), if they have all their properties in common. That is, entities x and y are identical if any… …   Wikipedia

  • List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… …   Wikipedia

  • identity of indiscernibles — Principle enunciated by G.W. Leibniz that denies the possibility of two objects being numerically distinct while sharing all their non relational properties in common, where a relational property is one that involves bearing a relation to another …   Universalium

  • identity of indiscernibles — The principle associated with Leibniz, that if A and B have exactly the same properties, then they are identical. See also the converse principle, the indiscernibility of identicals …   Philosophy dictionary

  • Propositional attitude — A propositional attitude is a relational mental state connecting a person to a proposition. They are often assumed to be the simplest components of thought and can express meanings or content that can be true or false. In being a type of attitude …   Wikipedia

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • Begriffsschrift — is the title of a short book on logic by Gottlob Frege, published in 1879, and is also the name of the formal system set out in that book. Begriffsschrift is usually translated as concept writing or concept notation ; the full title of the book… …   Wikipedia

  • substitutivity — noun A logical relationship in which two terms can be mutually substituted without affecting the truth value of any propositions in which the terms occur, thereby establishing that the terms are identical. One of the fundamental principles… …   Wiktionary

Share the article and excerpts

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