5 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
17945 | Forms are not a theory of universals, but an attempt to explain how predication is possible [Nehamas] |
17946 | Only Tallness really is tall, and other inferior tall things merely participate in the tallness [Nehamas] |
17944 | 'Episteme' is better translated as 'understanding' than as 'knowledge' [Nehamas] |