17 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] |
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] |
12184 | Logical necessity overrules all other necessities [McFetridge] |
15083 | The fundamental case of logical necessity is the valid conclusion of an inference [McFetridge, by Hale] |
15084 | In the McFetridge view, logical necessity means a consequent must be true if the antecedent is [McFetridge, by Hale] |
12180 | Logical necessity requires that a valid argument be necessary [McFetridge] |
12181 | Traditionally, logical necessity is the strongest, and entails any other necessities [McFetridge] |
12183 | It is only logical necessity if there is absolutely no sense in which it could be false [McFetridge] |
12192 | The mark of logical necessity is deduction from any suppositions whatever [McFetridge] |
12182 | We assert epistemic possibility without commitment to logical possibility [McFetridge] |
12187 | Objectual modal realists believe in possible worlds; non-objectual ones rest it on the actual world [McFetridge] |
12186 | Modal realists hold that necessities and possibilities are part of the totality of facts [McFetridge] |
17613 | We should judge principles by the science, not science by some fixed principles [Zermelo] |
13448 | The domain of an assertion is restricted by context, either semantically or pragmatically [Rayo/Uzquiano] |