display all the ideas for this combination of texts
3 ideas
18786 | Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares] |
18780 | Standard disjunction and negation force us to accept the principle of bivalence [Mares] |
17924 | Excluded middle says P or not-P; bivalence says P is either true or false [Colyvan] |