16 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] |
| 13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
| 10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
| 2170 | Homer does not distinguish between soul and body [Homer, by Williams,B] |
| 2171 | The 'will' doesn't exist; there is just conclusion, then action [Homer, by Williams,B] |
| 21819 | Plato says the Good produces the Intellectual-Principle, which in turn produces the Soul [Homer, by Plotinus] |
| 11388 | Let there be one ruler [Homer] |
| 22252 | Capitalism may actually be the best way to foster community [Conway,D] |
| 22253 | Capitalism is just the market, with optional limited government, and perhaps democracy [Conway,D] |
| 22255 | Capitalism breaks up extended families, and must then provide welfare for the lonely people [Conway,D] |
| 22256 | Capitalism prefers representative democracy, which avoids community decision-making [Conway,D] |
| 22257 | Capitalism is anti-community, by only valuing individuals, and breaking up families [Conway,D] |
| 14829 | Homer so enjoys the company of the gods that he must have been deeply irreligious [Homer, by Nietzsche] |