display all the ideas for this combination of texts
2 ideas
9195 | Intuitionists reject excluded middle, not for a third value, but for possibility of proof [Dummett] |
17924 | Excluded middle says P or not-P; bivalence says P is either true or false [Colyvan] |