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] |
19087 | The meaning or purport of a symbol is all the rational conduct it would lead to [Peirce] |