13 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] |
10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
9169 | A statement can be metaphysically necessary and epistemologically contingent [Putnam] |
5819 | Conceivability is no proof of possibility [Putnam] |
9168 | I can't distinguish elm trees, but I mean by 'elm' the same set of trees as everybody else [Putnam] |
5820 | 'Water' has an unnoticed indexical component, referring to stuff around here [Putnam] |
9170 | We need to recognise the contribution of society and of the world in determining reference [Putnam] |
5817 | Language is more like a cooperative steamship than an individual hammer [Putnam] |
7825 | The politics of Leibniz was the reunification of Christianity [Stewart,M] |
5818 | If water is H2O in the actual world, there is no possible world where it isn't H2O [Putnam] |