15 ideas
3269 | If your life is to be meaningful as part of some large thing, the large thing must be meaningful [Nagel] |
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] |
3270 | Justifications come to an end when we want them to [Nagel] |
3488 | Freud treats the unconscious as intentional and hence mental [Freud, by Searle] |
5689 | Freud and others have shown that we don't know our own beliefs, feelings, motive and attitudes [Freud, by Shoemaker] |
23950 | Freud said passions are pressures of some flowing hydraulic quantity [Freud, by Solomon] |
18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |
22344 | Freud is pessimistic about human nature; it is ambivalent motive and fantasy, rather than reason [Freud, by Murdoch] |
3268 | If a small brief life is absurd, then so is a long and large one [Nagel] |