16 ideas
| 17892 | For clear questions posed by reason, reason can also find clear answers [Gödel] |
| 5515 | Imaginary cases are good for revealing our beliefs, rather than the truth [Parfit] |
| 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] |
| 5516 | Reduction can be by identity, or constitution, or elimination [Parfit, by PG] |
| 14286 | In nearby worlds where A is true, 'if A,B' is true or false if B is true or false [Stalnaker] |
| 14285 | A possible world is the ontological analogue of hypothetical beliefs [Stalnaker] |
| 5514 | Psychologists are interested in identity as a type of person, but philosophers study numerical identity [Parfit] |
| 5521 | If my brain-halves are transplanted into two bodies, I have continuity, and don't need identity [Parfit] |
| 5522 | Over a period of time what matters is not that 'I' persist, but that I have psychological continuity [Parfit] |
| 5519 | It is fine to save two dying twins by merging parts of their bodies into one, and identity is irrelevant [Parfit] |
| 5520 | If two humans are merged surgically, the new identity is a purely verbal problem [Parfit] |
| 5518 | It doesn't matter whether I exist with half my components replaced (any more than an audio system) [Parfit] |