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] |
14289 | There are some assertable conditionals one would reject if one learned the antecedent [Jackson, by Edgington] |
604 | Knowledge is mind and knowing 'cohabiting' [Lycophron, by Aristotle] |