15 ideas
| 343 | The unexamined life is not worth living for men [Socrates] |
| 21566 | 'Propositional functions' are ambiguous until the variable is given a value [Russell] |
| 21567 | 'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell] |
| 23457 | Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell] |
| 21556 | Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey] |
| 21568 | A one-variable function is only 'predicative' if it is one order above its arguments [Russell] |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| 344 | If death is like a night of dreamless sleep, such nights are very pleasant [Socrates] |
| 339 | Men fear death as a great evil when it may be a great blessing [Socrates] |
| 2 | We should not even harm someone who harms us [Socrates] |
| 345 | A good man cannot be harmed, either in life or in death [Socrates] |
| 346 | One ought not to return a wrong or injury to any person, whatever the provocation [Socrates] |
| 341 | Wealth is good if it is accompanied by virtue [Socrates] |
| 347 | Will I stand up against the law, simply because I have been unjustly judged? [Socrates] |
| 338 | Socrates is accused of denying the gods, saying sun is stone and moon is earth [Socrates, by Plato] |