5 ideas
9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
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] |
9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |
16707 | Cold and hot are the swiftness and slowness of corpuscular motion [Beeckman] |