4 ideas
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
4442 | Most thinkers now reject self-predication (whiteness is NOT white) so there is no Third Man problem [Armstrong] |
18948 | There is an object for every set of properties (some of which exist, and others don't) [Parsons,T, by Sawyer] |