9 ideas
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] |
9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
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] |
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] |
13448 | The domain of an assertion is restricted by context, either semantically or pragmatically [Rayo/Uzquiano] |