display all the ideas for this combination of texts
2 ideas
10896 | Propositional logic just needs ¬, and one of ∧, ∨ and → [Zalabardo] |
Full Idea: In propositional logic, any set containing ¬ and at least one of ∧, ∨ and → is expressively complete. | |
From: José L. Zalabardo (Introduction to the Theory of Logic [2000], §2.8) |
21777 | Negation of negation doubles back into a self-relationship [Hegel, by Houlgate] |
Full Idea: For Hegel, the 'negation of negation' is negation that, as it were, doubles back on itself and 'relates itself to itself'. | |
From: report of Georg W.F.Hegel (works [1812]) by Stephen Houlgate - An Introduction to Hegel 6 'Space' | |
A reaction: [ref VNP 1823 p.108] Glad we've cleared that one up. |