6 ideas
7085 | The main problem of philosophy is what can and cannot be thought and expressed [Wittgenstein, by Grayling] |
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] |
23463 | Atomic facts correspond to true elementary propositions [Wittgenstein] |
23490 | A thought is mental constituents that relate to reality as words do [Wittgenstein] |
9425 | Lewis later proposed the axioms at the intersection of the best theories (which may be few) [Mumford on Lewis] |