11 ideas
| 13451 | The two best understood conceptions of set are the Iterative and the Limitation of Size [Rayo/Uzquiano] |
| 9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
| 13452 | Some set theories give up Separation in exchange for a universal set [Rayo/Uzquiano] |
| 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] |
| 15642 | If kinds depend only on what can be observed, many underlying essences might produce the same kind [Eagle] |
| 15645 | Nominal essence are the observable properties of things [Eagle] |
| 15643 | Nominal essence mistakenly gives equal weight to all underlying properties that produce appearances [Eagle] |
| 13448 | The domain of an assertion is restricted by context, either semantically or pragmatically [Rayo/Uzquiano] |
| 15641 | Kinds are fixed by the essential properties of things - the properties that make it that kind of thing [Eagle] |