Combining Texts

Ideas for 'Material Beings', 'The Theory of Logical Types' and 'Lectura'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


1 idea

5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
The 'Law' of Excluded Middle needs all propositions to be definitely true or definitely false [Inwagen]
     Full Idea: I think the validity of the 'Law' of Excluded Middle depends on the assumption that every proposition is definitely true or definitely false.
     From: Peter van Inwagen (Material Beings [1990], 18)
     A reaction: I think this is confused. He cites vagueness as the problem, but that is a problem for Bivalence. If excluded middle is read as 'true or not-true', that leaves the meaning of 'not-true' open, and never mentions the bivalent 'false'.