14 ideas
| 11022 | Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read] |
| 11065 | The inferential role of a logical constant constitutes its meaning [Gentzen, by Hanna] |
| 11023 | The logical connectives are 'defined' by their introduction rules [Gentzen] |
| 11213 | Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule [Gentzen] |
| 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] |
| 10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
| 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] |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |