16 ideas
| 17892 | For clear questions posed by reason, reason can also find clear answers [Gödel] |
| 18823 | To say there could have been people who don't exist, but deny those possible things, rejects Barcan [Stalnaker, by Rumfitt] |
| 9188 | Gödel proved that first-order logic is complete, and second-order logic incomplete [Gödel, by Dummett] |
| 10620 | Originally truth was viewed with total suspicion, and only demonstrability was accepted [Gödel] |
| 17883 | Gödel's Theorems did not refute the claim that all good mathematical questions have answers [Gödel, by Koellner] |
| 17885 | Gödel eventually hoped for a generalised completeness theorem leaving nothing undecidable [Gödel, by Koellner] |
| 10614 | The real reason for Incompleteness in arithmetic is inability to define truth in a language [Gödel] |
| 16409 | Unlike Lewis, I defend an actualist version of counterpart theory [Stalnaker] |
| 16411 | If possible worlds really differ, I can't be in more than one at a time [Stalnaker] |
| 16412 | If counterparts exist strictly in one world only, this seems to be extreme invariant essentialism [Stalnaker] |
| 15473 | How does anything get outside itself? [Fodor, by Martin,CB] |
| 2981 | Is intentionality outwardly folk psychology, inwardly mentalese? [Lyons on Fodor] |
| 2985 | Are beliefs brains states, but picked out at a "higher level"? [Lyons on Fodor] |
| 3135 | Is thought a syntactic computation using representations? [Fodor, by Rey] |
| 2983 | Maybe narrow content is physical, broad content less so [Lyons on Fodor] |
| 16410 | Extensional semantics has individuals and sets; modal semantics has intensions, functions of world to extension [Stalnaker] |