back to ideas for this text


Single Idea 18786

[from 'Negation' by Edwin D. Mares, in 5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence ]

Full Idea

On its standard reading, excluded middle tells us that bivalence holds. To reject excluded middle, we must reject either non-contradiction, or ¬(A∧B) ↔ (¬A∨¬B) [De Morgan 3], or the principle of double negation. All have been tried.

Gist of Idea

Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation

Source

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

Book Reference

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