
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
|