display all the ideas for this combination of texts
4 ideas
17587 | The 'Law' of Excluded Middle needs all propositions to be definitely true or definitely false [Inwagen] |
8729 | Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro] |
17558 | Variables are just like pronouns; syntactic explanations get muddled over dummy letters [Inwagen] |
17583 | There are no heaps [Inwagen] |