Indiscernibility of identicals

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:philosophy
gptkbp:alsoKnownAs gptkb:Leibniz's_Law
gptkbp:appliesTo objects
entities
gptkbp:category metaphysical principle
logical principle
gptkbp:contrastsWith identity of indiscernibles
gptkbp:expressedIn ∀x∀y (x = y → ∀P (P(x) ↔ P(y)))
gptkbp:field gptkb:logic
gptkb:philosophy
gptkbp:formedBy gptkb:Gottfried_Wilhelm_Leibniz
https://www.w3.org/2000/01/rdf-schema#label Indiscernibility of identicals
gptkbp:influenced metaphysics
philosophy of language
philosophy of mind
gptkbp:relatedTo identity of indiscernibles
gptkbp:state if two objects are identical, then they share all the same properties
gptkbp:bfsParent gptkb:Leibniz's_law
gptkbp:bfsLayer 4