15 ideas
| 13560 | A wise man is not subservient to anything [Seneca] |
| 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] |
| 19440 | How do you know you have conceived a thing deeply enough to assess its possibility? [Vaidya] |
| 13558 | The supreme good is harmony of spirit [Seneca] |
| 13559 | I seek virtue, because it is its own reward [Seneca] |
| 13561 | Virtue is always moderate, so excess need not be feared [Seneca] |
| 13562 | It is shameful to not even recognise your own slaves [Seneca] |
| 13564 | There is far more scope for virtue if you are wealthy; poverty only allows endurance [Seneca] |
| 13563 | Why does your wife wear in her ears the income of a wealthy house? [Seneca] |
| 13565 | If wealth was a good, it would make men good [Seneca] |
| 13557 | Unfortunately the majority do not tend to favour what is best [Seneca] |