12 ideas
| 17892 | For clear questions posed by reason, reason can also find clear answers [Gödel] |
| 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] |
| 14759 | A thing is simply a long event, linked by qualities, and spatio-temporal unity [Broad] |
| 11842 | If short-lived happenings like car crashes are 'events', why not long-lived events like Dover Cliffs? [Broad] |
| 16764 | The soul conserves the body, as we see by its dissolution when the soul leaves [Toletus] |
| 8160 | The present and past exist, but the future does not [Broad, by Dummett] |
| 14609 | We could say present and past exist, but not future, so that each event adds to the total history [Broad] |
| 22933 | We imagine the present as a spotlight, moving across events from past to future [Broad] |