13 ideas
| 10163 | Propositional modal logic has been proved to be complete [Kripke, by Feferman/Feferman] |
| 10760 | With possible worlds, S4 and S5 are sound and complete, but S1-S3 are not even sound [Kripke, by Rossberg] |
| 16189 | The variable domain approach to quantified modal logic invalidates the Barcan Formula [Kripke, by Simchen] |
| 15132 | The Barcan formulas fail in models with varying domains [Kripke, by Williamson] |
| 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] |
| 3449 | If parallelism is true, how does the mind know about the body? [Crease] |
| 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] |