15 ideas
| 19081 | Coherence with a set of propositions suggests we can know the proposition corresponds [Davidson, by Donnellan] |
| 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] |
| 10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
| 8806 | The concepts of belief and truth are linked, since beliefs are meant to fit reality [Davidson] |
| 8252 | Davidson believes experience is non-conceptual, and outside the space of reasons [Davidson, by McDowell] |
| 8255 | Davidson says the world influences us causally; I say it influences us rationally [McDowell on Davidson] |
| 8804 | Reasons for beliefs are not the same as evidence [Davidson] |
| 8802 | Sensations lack the content to be logical; they cause beliefs, but they cannot justify them [Davidson] |
| 8801 | Coherent justification says only beliefs can be reasons for holding other beliefs [Davidson] |
| 8805 | Skepticism is false because our utterances agree, because they are caused by the same objects [Davidson] |
| 18703 | Davidson's Cogito: 'I think, therefore I am generally right' [Davidson, by Button] |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |