display all the ideas for this combination of texts
4 ideas
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
17587 | The 'Law' of Excluded Middle needs all propositions to be definitely true or definitely false [Inwagen] |
17558 | Variables are just like pronouns; syntactic explanations get muddled over dummy letters [Inwagen] |
17583 | There are no heaps [Inwagen] |