22 ideas
6259 | Why can't a wise man doubt everything? [Montaigne] |
6263 | No wisdom could make us comfortably walk a wide beam if it was high in the air [Montaigne] |
23122 | Montaigne was the founding father of liberalism [Montaigne, by Gopnik] |
6258 | Virtue is the distinctive mark of truth, and its greatest product [Montaigne] |
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] |
6262 | We lack some sense or other, and hence objects may have hidden features [Montaigne] |
6260 | Sceptics say there is truth, but no means of making or testing lasting judgements [Montaigne] |
6027 | From the fact that some men die, we cannot infer that they all do [Philodemus] |
6261 | The soul is in the brain, as shown by head injuries [Montaigne] |
7496 | Rules and duties are based on the will, as that is all we control [Montaigne] |
7495 | Apart from the fear, dying is an easy duty [Montaigne] |
22269 | We must fight fiercely to hang on to the few pleasures which survive into old age [Montaigne] |
20482 | Virtue inspires Stoics, but I want a good temperament [Montaigne] |
20480 | There is not much point in only becoming good near the end of your life [Montaigne] |
22241 | Don't fear god or worry about death; the good is easily got and the terrible easily cured [Philodemus] |
20481 | Nothing we say can be worse than unsaying it in the face of authority [Montaigne] |
20479 | People at home care far more than soldiers risking death about the outcome of wars [Montaigne] |