indiscernibility of identicals

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 might well be called, that of indiscernibility of identicals. It provides that, given a true statement of identity, one of its two terms may be substituted for the other in any true statement and the result will be true.
Syn: principle of substitutivity
Wikipedia foundation.
Look at other dictionaries:
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
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
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
List of philosophy topics (IQ) — 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
Firstorder 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
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
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
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