14 ideas
| 8868 | Objective truth arises from interpersonal communication [Davidson] |
| 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] |
| 8867 | A belief requires understanding the distinctions of true-and-false, and appearance-and-reality [Davidson] |
| 10347 | Objectivity is intersubjectivity [Davidson] |
| 8866 | If we know other minds through behaviour, but not our own, we should assume they aren't like me [Davidson] |
| 10346 | Knowing other minds rests on knowing both one's own mind and the external world [Davidson, by Dummett] |
| 16236 | Maybe our persistence conditions concern bodies, rather than persons [Olson, by Hawley] |
| 6669 | For 'animalism', I exist before I became a person, and can continue after it, so I am not a person [Olson, by Lowe] |
| 8870 | Content of thought is established through communication, so knowledge needs other minds [Davidson] |
| 8869 | The principle of charity attributes largely consistent logic and largely true beliefs to speakers [Davidson] |