17 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] |
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] |
15201 | That Queen Anne is dead is a 'general fact', not a fact about Queen Anne [Prior,AN] |
3978 | Associations are held to connect Ideas together in the way the world is connected together [Fodor] |
3976 | Intentional science needs objects with semantic and causal properties, and which obey laws [Fodor] |
3980 | Intentional states and processes may be causal relations among mental symbols [Fodor] |
3981 | Most psychological properties seem to be multiply realisable [Fodor] |
3975 | Folk psychology explains behaviour by reference to intentional states like belief and desire [Fodor] |
3982 | How could the extrinsic properties of thoughts supervene on their intrinsic properties? [Fodor] |
18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |
3977 | Laws are true generalisations which support counterfactuals and are confirmed by instances [Fodor] |
22899 | 'Thank goodness that's over' is not like 'thank goodness that happened on Friday' [Prior,AN] |