Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosophy
law of thought |
| gptkbp:contrastsWith |
gptkb:law_of_noncontradiction
|
| gptkbp:describes |
each thing is identical with itself
|
| gptkbp:discusses |
gptkb:Organon
|
| gptkbp:formedBy |
gptkb:Aristotle
|
| https://www.w3.org/2000/01/rdf-schema#label |
law of identity
|
| gptkbp:influenced |
Western philosophy
|
| gptkbp:language |
gptkb:logic
|
| gptkbp:relatedTo |
gptkb:law_of_excluded_middle
gptkb:law_of_noncontradiction |
| gptkbp:statedIn |
A is A
|
| gptkbp:symbol |
∀x (x = x)
|
| gptkbp:usedIn |
gptkb:dictionary
gptkb:classical_logic metaphysics |
| gptkbp:bfsParent |
gptkb:Laws_of_Thought
gptkb:Law_of_noncontradiction gptkb:classical_logic |
| gptkbp:bfsLayer |
6
|