11 ideas
| 18241 | Sufficient reason is implied by contradiction, of an insufficient possible which exists [Wolff, by Korsgaard] |
| 13451 | The two best understood conceptions of set are the Iterative and the Limitation of Size [Rayo/Uzquiano] |
| 13452 | Some set theories give up Separation in exchange for a universal set [Rayo/Uzquiano] |
| 17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
| 13449 | We could have unrestricted quantification without having an all-inclusive domain [Rayo/Uzquiano] |
| 13450 | Absolute generality is impossible, if there are indefinitely extensible concepts like sets and ordinals [Rayo/Uzquiano] |
| 13453 | Perhaps second-order quantifications cover concepts of objects, rather than plain objects [Rayo/Uzquiano] |
| 17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
| 17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
| 13448 | The domain of an assertion is restricted by context, either semantically or pragmatically [Rayo/Uzquiano] |
| 18242 | Confucius shows that ethics can rest on reason, rather than on revelation [Wolff, by Korsgaard] |