11 ideas
291 | Don't assume that wisdom is the automatic consequence of old age [Plato] |
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] |
13831 | Logic is based on transitions between sentences [Prawitz] |
13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |
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] |
13823 | In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz] |
13448 | The domain of an assertion is restricted by context, either semantically or pragmatically [Rayo/Uzquiano] |
293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |