Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosophy
|
| gptkbp:alsoKnownAs |
Identity of indiscernibles
|
| gptkbp:field |
gptkb:logic
gptkb:philosophy |
| gptkbp:form |
∀x∀y[(∀P(P(x) ↔ P(y))) → x = y]
|
| gptkbp:formedBy |
17th century
|
| https://www.w3.org/2000/01/rdf-schema#label |
Leibniz's Law
|
| gptkbp:influenced |
analytic philosophy
philosophy of language philosophy of mind |
| gptkbp:namedAfter |
gptkb:Gottfried_Wilhelm_Leibniz
|
| gptkbp:opposedBy |
some interpretations of quantum mechanics
|
| gptkbp:relatedConcept |
gptkb:identity
metaphysics indiscernibility of identicals |
| gptkbp:state |
If two objects have all the same properties, they are identical
|
| gptkbp:bfsParent |
gptkb:Indiscernibility_of_identicals
|
| gptkbp:bfsLayer |
5
|