6 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] |
19392 | I don't recommend universal doubt; we constantly seek reasons for things which are indubitable [Leibniz] |