display all the ideas for this combination of texts
2 ideas
18786 | Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares] |
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. | |
From: Edwin D. Mares (Negation [2014], 2.2) |
18780 | Standard disjunction and negation force us to accept the principle of bivalence [Mares] |
Full Idea: If we treat disjunction in the standard way and take the negation of a statement A to mean that A is false, accepting excluded middle forces us also to accept the principle of bivalence, which is the dictum that every statement is either true or false. | |
From: Edwin D. Mares (Negation [2014], 1) | |
A reaction: Mates's point is to show that passively taking the normal account of negation for granted has important implications. |