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] |
| 10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
| 3978 | Associations are held to connect Ideas together in the way the world is connected together [Fodor] |
| 3976 | Intentional science needs objects with semantic and causal properties, and which obey laws [Fodor] |
| 3980 | Intentional states and processes may be causal relations among mental symbols [Fodor] |
| 4988 | Folk psychology may not be reducible, but that doesn't make it false [Kirk,R on Churchland,PM] |
| 4987 | Eliminative materialism says folk psychology will be replaced, not reduced [Churchland,PM] |
| 3981 | Most psychological properties seem to be multiply realisable [Fodor] |
| 3975 | Folk psychology explains behaviour by reference to intentional states like belief and desire [Fodor] |
| 3982 | How could the extrinsic properties of thoughts supervene on their intrinsic properties? [Fodor] |
| 3977 | Laws are true generalisations which support counterfactuals and are confirmed by instances [Fodor] |