19 ideas
22396 | We take courage, temperance, wisdom and justice as moral, but Aristotle takes wisdom as intellectual [Foot] |
22397 | Wisdom is open to all, and not just to the clever or well trained [Foot] |
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] |
22868 | The value and truth of knowledge are measured by success in activity [Dewey] |
22865 | Habits constitute the self [Dewey] |
22402 | Most people think virtues can be displayed in bad actions [Foot] |
23145 | Virtues are intended to correct design flaws in human beings [Foot, by Driver] |
22401 | Actions can be in accordance with virtue, but without actually being virtuous [Foot] |
22398 | Virtues are corrective, to resist temptation or strengthen motivation [Foot] |
22871 | The good people are those who improve; the bad are those who deteriorate [Dewey] |
22403 | Temperance is not a virtue if it results from timidity or excessive puritanism [Foot] |
22400 | Courage overcomes the fears which should be overcome, and doesn't overvalue personal safety [Foot] |
22876 | Democracy is the development of human nature when it shares in the running of communal activities [Dewey] |
22875 | Democracy is not just a form of government; it is a mode of shared living [Dewey] |
22874 | Individuality is only developed within groups [Dewey] |