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] |
| 9354 | Why should necessities only be knowable a priori? That Hesperus is Phosporus is known empirically [Devitt] |
| 9353 | We explain away a priori knowledge, not as directly empirical, but as indirectly holistically empirical [Devitt] |
| 9356 | The idea of the a priori is so obscure that it won't explain anything [Devitt] |
| 22449 | When we say 'is red' we don't mean 'seems red to most people' [Foot] |
| 22451 | All people need affection, cooperation, community and help in trouble [Foot] |
| 22452 | Do we have a concept of value, other than wanting something, or making an effort to get it? [Foot] |