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] |
| 13152 | We can talk of 'innumerable number', about the infinite points on a line [Newton] |
| 13151 | Not all infinites are equal [Newton] |
| 10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
| 8326 | Science has shown that causal relations are just transfers of energy or momentum [Fair, by Sosa/Tooley] |
| 10379 | Fair shifted his view to talk of counterfactuals about energy flow [Fair, by Schaffer,J] |
| 15863 | The principles of my treatise are designed to fit with a belief in God [Newton] |
| 8340 | I do not pretend to know the cause of gravity [Newton] |
| 13150 | The motions of the planets could only derive from an intelligent agent [Newton] |
| 12178 | That gravity should be innate and essential to matter is absurd [Newton] |