Leibniz's law

GPTKB entity
AI-created image of Leibniz's law
AI-created image

Statements (26)
Predicate Object
gptkbp:instanceOf gptkb:philosophy
gptkbp:alsoKnownAs gptkb:Indiscernibility_of_identicals
Identity of indiscernibles
gptkbp:category metaphysical principle
philosophy of identity
gptkbp:contrastsWith gptkb:substratum_theory
bundle theory
gptkbp:field gptkb:logic
gptkb:philosophy
metaphysics
gptkbp:form ∀x∀y [ (∀P (P(x) ↔ P(y))) → x = y ]
gptkbp:formedBy gptkb:Gottfried_Wilhelm_Leibniz
17th century
https://www.w3.org/2000/01/rdf-schema#label Leibniz's law
gptkbp:influenced gptkb:logic
analytic philosophy
philosophy of language
philosophy of mind
gptkbp:namedAfter gptkb:Gottfried_Wilhelm_Leibniz
gptkbp:relatedConcept gptkb:dictionary
gptkb:identity
indiscernibility
substitutivity
gptkbp:state If two objects have all the same properties, they are identical
gptkbp:bfsParent gptkb:Gottfried_Wilhelm_Leibniz
gptkbp:bfsLayer 3