17 ideas
| 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] |
| 9807 | In pursuing truth, anything less certain than mathematics is a waste of time [Descartes] |
| 23814 | Every human yearns for an unattainable transcendent good [Weil] |
| 23824 | Where human needs are satisfied we find happiness, friendship and beauty [Weil] |
| 23815 | We cannot equally respect what is unequal, so equal respect needs a shared ground [Weil] |
| 23823 | Life needs risks to avoid sickly boredom [Weil] |
| 23822 | We all need to partipate in public tasks, and take some initiative [Weil] |
| 23817 | We need both equality (to attend to human needs) and hierarchy (as a scale of responsibilities) [Weil] |
| 23819 | Deliberate public lying should be punished [Weil] |
| 23818 | We have liberty in the space between nature and accepted authority [Weil] |
| 23820 | People need personal and collective property, and a social class lacking property is shameful [Weil] |
| 23821 | Crime should be punished, to bring the perpetrator freely back to morality [Weil] |
| 23816 | Attention to a transcendent reality motivates a duty to foster the good of humanity [Weil] |