36 ideas
| 22138 | Science rests on scholastic metaphysics, not on Hume, Kant or Carnap [Boulter] |
| 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] |
| 10794 | The nominalist is tied by standard semantics to first-order, denying higher-order abstracta [Marcus (Barcan)] |
| 10788 | Nominalists see proper names as a main vehicle of reference [Marcus (Barcan)] |
| 10786 | Anything which refers tends to be called a 'name', even if it isn't a noun [Marcus (Barcan)] |
| 10799 | Nominalists should quantify existentially at first-order, and substitutionally when higher [Marcus (Barcan)] |
| 10790 | Quantifiers are needed to refer to infinitely many objects [Marcus (Barcan)] |
| 10791 | Substitutional semantics has no domain of objects, but place-markers for substitutions [Marcus (Barcan)] |
| 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] |
| 10785 | Maybe a substitutional semantics for quantification lends itself to nominalism [Marcus (Barcan)] |
| 10798 | A true universal sentence might be substitutionally refuted, by an unnamed denumerable object [Marcus (Barcan)] |
| 10795 | Substitutional language has no ontology, and is just a way of speaking [Marcus (Barcan)] |
| 13453 | Perhaps second-order quantifications cover concepts of objects, rather than plain objects [Rayo/Uzquiano] |
| 10787 | Is being just referent of the verb 'to be'? [Marcus (Barcan)] |
| 22134 | Thoughts are general, but the world isn't, so how can we think accurately? [Boulter] |
| 10789 | Nominalists say predication is relations between individuals, or deny that it refers [Marcus (Barcan)] |
| 10796 | If objects are thoughts, aren't we back to psychologism? [Marcus (Barcan)] |
| 11181 | Aristotelian essentialism involves a 'natural' or 'causal' interpretation of modal operators [Marcus (Barcan)] |
| 11184 | Aristotelian essentialism is about shared properties, individuating essentialism about distinctive properties [Marcus (Barcan)] |
| 11180 | Essentialist sentences are not theorems of modal logic, and can even be false [Marcus (Barcan)] |
| 11186 | 'Essentially' won't replace 'necessarily' for vacuous properties like snub-nosed or self-identical [Marcus (Barcan)] |
| 11185 | 'Is essentially' has a different meaning from 'is necessarily', as they often cannot be substituted [Marcus (Barcan)] |
| 11182 | If essences are objects with only essential properties, they are elusive in possible worlds [Marcus (Barcan)] |
| 10797 | Substitutivity won't fix identity, because expressions may be substitutable, but not refer at all [Marcus (Barcan)] |
| 22150 | Logical possibility needs the concepts of the proposition to be adequate [Boulter] |
| 11183 | The use of possible worlds is to sort properties (not to individuate objects) [Marcus (Barcan)] |
| 11187 | In possible worlds, names are just neutral unvarying pegs for truths and predicates [Marcus (Barcan)] |
| 22139 | Experiments don't just observe; they look to see what interventions change the natural order [Boulter] |
| 22136 | Science begins with sufficient reason, de-animation, and the importance of nature [Boulter] |
| 22135 | Our concepts can never fully capture reality, but simplification does not falsify [Boulter] |
| 22152 | Aristotelians accept the analytic-synthetic distinction [Boulter] |
| 13448 | The domain of an assertion is restricted by context, either semantically or pragmatically [Rayo/Uzquiano] |
| 22156 | The facts about human health are the measure of the values in our lives [Boulter] |
| 11189 | Dispositional essences are special, as if an object loses them they cease to exist [Marcus (Barcan)] |