15 ideas
| 16123 | Whenever you perceive a community of things, you should also hunt out differences in the group [Plato] |
| 16125 | To reveal a nature, divide down, and strip away what it has in common with other things [Plato] |
| 16124 | No one wants to define 'weaving' just for the sake of weaving [Plato] |
| 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] |
| 5961 | The soul gets its goodness from god, and its evil from previous existence. [Plato] |
| 283 | The question of whether or not to persuade comes before the science of persuasion [Plato] |
| 282 | Non-physical beauty can only be shown clearly by speech [Plato] |
| 281 | The arts produce good and beautiful things by preserving the mean [Plato] |
| 20581 | If men are born free, are women born slaves? [Astell] |
| 22559 | Democracy is the worst of good constitutions, but the best of bad constitutions [Plato, by Aristotle] |
| 279 | Only divine things can always stay the same, and bodies are not like that [Plato] |