15 ideas
| 291 | Don't assume that wisdom is the automatic consequence of old age [Plato] |
| 20109 | Hegel inserted society and history between the God-world, man-nature, man-being binary pairs [Hegel, by Safranski] |
| 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] |
| 23274 | World history has no room for happiness [Hegel] |
| 293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |
| 23275 | The state of nature is one of untamed brutality [Hegel] |
| 23276 | The soul of the people is an organisation of its members which produces an essential unity [Hegel] |
| 23272 | The human race matters, and individuals have little importance [Hegel] |
| 23273 | In a good state the goal of the citizens and of the whole state are united [Hegel] |
| 23271 | The goal of the world is Spirit's consciousness and enactment of freedom [Hegel] |
| 23270 | We should all agree that there is reason in history [Hegel] |