7 ideas
| 18261 | A simplification which is complete constitutes a definition [Kant] |
| 22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
| 6408 | Russell needed three extra axioms to reduce maths to logic: infinity, choice and reducibility [Grayling] |
| 6414 | Two propositions might seem self-evident, but contradict one another [Grayling] |
| 18260 | If we knew what we know, we would be astonished [Kant] |
| 2605 | If everything uses mentalese, ALL concepts must be innate! [Putnam] |
| 2606 | No machine language can express generalisations [Putnam] |