AI-created image
Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosophy
|
| gptkbp:alsoKnownAs |
gptkb:Indiscernibility_of_identicals
Identity of indiscernibles |
| gptkbp:category |
gptkb: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 |
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
Leibniz's law
|