4 ideas
9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |
19000 | Read 'all ravens are black' as about ravens, not as about an implication [Belnap] |