17 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] |
9038 | We must distinguish what the speaker denotes by a name, from what the name denotes [Evans] |
5824 | How can an expression be a name, if names can change their denotation? [Evans] |
9042 | A private intention won't give a name a denotation; the practice needs it to be made public [Evans] |
9041 | The Causal Theory of Names is wrong, since the name 'Madagascar' actually changed denotation [Evans] |
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] |
5825 | Speakers intend to refer to items that are the source of their information [Evans] |
5823 | The intended referent of a name needs to be the cause of the speaker's information about it [Evans] |
9039 | If descriptions are sufficient for reference, then I must accept a false reference if the descriptions fit [Evans] |
9043 | We use expressions 'deferentially', to conform to the use of other people [Evans] |
9040 | Charity should minimize inexplicable error, rather than maximising true beliefs [Evans] |
9111 | God is not wise, but more-than-wise; God is not good, but more-than-good [William of Ockham] |
9112 | We could never form a concept of God's wisdom if we couldn't abstract it from creatures [William of Ockham] |