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] |
4125 | Hare says I acquire an agglomeration of preferences by role-reversal, leading to utilitarianism [Hare, by Williams,B] |
4126 | If we have to want the preferences of the many, we have to abandon our own deeply-held views [Williams,B on Hare] |
4127 | If morality is to be built on identification with the preferences of others, I must agree with their errors [Williams,B on Hare] |
22483 | A judgement is presciptive if we expect it to be acted on [Hare] |
4360 | By far the easiest way of seeming upright is to be upright [Hare] |
1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |