14 ideas
| 13655 | The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro] |
| 9915 | V = L just says all sets are constructible [Putnam] |
| 7760 | Russell only uses descriptions attributively, and Strawson only referentially [Donnellan, by Lycan] |
| 5811 | A definite description can have a non-referential use [Donnellan] |
| 5812 | Definite descriptions are 'attributive' if they say something about x, and 'referential' if they pick x out [Donnellan] |
| 5814 | 'The x is F' only presumes that x exists; it does not actually entail the existence [Donnellan] |
| 9913 | The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam] |
| 9914 | It is unfashionable, but most mathematical intuitions come from nature [Putnam] |
| 10435 | A definite description 'the F' is referential if the speaker could thereby be referring to something not-F [Donnellan, by Sainsbury] |
| 10451 | Donnellan is unclear whether the referential-attributive distinction is semantic or pragmatic [Bach on Donnellan] |
| 5813 | A description can successfully refer, even if its application to the subject is not believed [Donnellan] |
| 5815 | Whether a definite description is referential or attributive depends on the speaker's intention [Donnellan] |
| 541 | Virtue comes more from habit than character [Critias] |
| 542 | Fear of the gods was invented to discourage secret sin [Critias] |