5 ideas
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
17743 | De Morgan introduced a 'universe of discourse', to replace Boole's universe of 'all things' [De Morgan, by Walicki] |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
3534 | To be is to have causal powers [Alexander,S] |
3398 | Epiphenomenalism makes the mind totally pointless [Alexander,S] |