Single Idea 18784

[catalogued under 5. Theory of Logic / A. Overview of Logic / 6. Classical Logic]

Full Idea

Among the virtues of classical logic is the fact that the connectives are related to one another in elegant ways that often involved negation. For example, De Morgan's Laws, which involve negation, disjunction and conjunction.

Gist of Idea

In classical logic the connectives can be related elegantly, as in De Morgan's laws

Source

Edwin D. Mares (Negation [2014], 2.2)

Book Reference

'Bloomsbury Companion to Philosophical Logic', ed/tr. Horsten,L/Pettigrew,R [Bloomsbury 2014], p.183


A Reaction

Mares says these enable us to take disjunction or conjunction as primitive, and then define one in terms of the other, using negation as the tool.