12 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] |
7257 | All modern social systems seem to be conspiracies of the rich [More,T] |
7254 | If you try to get elected, you should be permanently barred from seeking office [More,T] |
7255 | Only Utopians fail to see glory in warfare [More,T] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
7253 | In Utopia, legal euthanasia is considered honourable [More,T] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
7256 | In Utopia, the Supreme Being is identical with Nature [More,T] |