Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosophy
|
| gptkbp:alsoKnownAs |
principle of non-contradiction
|
| gptkbp:appliesTo |
gptkb:logic
predicate logic |
| gptkbp:basisFor |
rational discourse
|
| gptkbp:category |
gptkb:logic
metaphysics |
| gptkbp:describedBy |
gptkb:Metaphysics
|
| gptkbp:discusses |
gptkb:Immanuel_Kant
gptkb:Plato gptkb:Thomas_Aquinas |
| https://www.w3.org/2000/01/rdf-schema#label |
Law of noncontradiction
|
| gptkbp:influenced |
Western philosophy
|
| gptkbp:opposedBy |
dialetheism
|
| gptkbp:relatedTo |
gptkb:classical_logic
gptkb:law_of_excluded_middle gptkb:law_of_identity |
| gptkbp:state |
contradictory statements cannot both be true in the same sense at the same time
|
| gptkbp:statedIn |
gptkb:Aristotle
|
| gptkbp:symbol |
¬(A ∧ ¬A)
|
| gptkbp:bfsParent |
gptkb:Classical_Logic
|
| gptkbp:bfsLayer |
5
|