10 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] |
15642 | If kinds depend only on what can be observed, many underlying essences might produce the same kind [Eagle] |
15645 | Nominal essence are the observable properties of things [Eagle] |
15643 | Nominal essence mistakenly gives equal weight to all underlying properties that produce appearances [Eagle] |
23060 | The good is not relative, but is rooted in facts about human needs [Santayana] |
15641 | Kinds are fixed by the essential properties of things - the properties that make it that kind of thing [Eagle] |