20 ideas
18755 | Validity is explained as truth in all models, because that relies on the logical terms [McGee] |
18751 | Natural language includes connectives like 'because' which are not truth-functional [McGee] |
16405 | To understand a name (unlike a description) picking the thing out is sufficient? [Stalnaker] |
18761 | Second-order variables need to range over more than collections of first-order objects [McGee] |
18753 | An ontologically secure semantics for predicate calculus relies on sets [McGee] |
18754 | Logically valid sentences are analytic truths which are just true because of their logical words [McGee] |
18757 | Soundness theorems are uninformative, because they rely on soundness in their proofs [McGee] |
18760 | The culmination of Euclidean geometry was axioms that made all models isomorphic [McGee] |
13128 | 'Ultimate sortals' cannot explain ontological categories [Westerhoff on Wiggins] |
16407 | Possible worlds allow separating all the properties, without hitting a bare particular [Stalnaker] |
16397 | If it might be true, it might be true in particular ways, and possible worlds describe such ways [Stalnaker] |
16399 | Possible worlds are ontologically neutral, but a commitment to possibilities remains [Stalnaker] |
16398 | Possible worlds allow discussion of modality without controversial modal auxiliaries [Stalnaker] |
16396 | Kripke's possible worlds are methodological, not metaphysical [Stalnaker] |
16408 | Rigid designation seems to presuppose that differing worlds contain the same individuals [Stalnaker] |
16406 | If you don't know what you say you can't mean it; what people say usually fits what they mean [Stalnaker] |
16404 | In the use of a name, many individuals are causally involved, but they aren't all the referent [Stalnaker] |
16403 | 'Descriptive' semantics gives a system for a language; 'foundational' semantics give underlying facts [Stalnaker] |
16401 | To understand an utterance, you must understand what the world would be like if it is true [Stalnaker] |
18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |