18 ideas
| 18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
| 18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
| 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] |
| 18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
| 18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
| 18745 | A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew] |
| 18747 | The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew] |
| 18748 | Epistemic logic introduced impossible worlds [Horsten/Pettigrew] |
| 18746 | Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew] |
| 18750 | Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew] |
| 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] |
| 1590 | The just man does not harm his enemies, but benefits everyone [Plato] |