Combining Texts

Ideas for 'works', 'Introduction to the Theory of Logic' and 'On Carnap's Views on Ontology'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


2 ideas

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / b. Basic connectives
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)
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not
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.