9 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] |
5121 | Basing ethics on flourishing makes it consequentialist, as actions are judged by contributing to it [Harman] |
5120 | What counts as 'flourishing' must be relative to various sets of values [Harman] |
1474 | Moral evil may be acceptable to God because it allows free will (even though we don't see why this is necessary) [Plantinga, by PG] |
1475 | It is logically possible that natural evil like earthquakes is caused by Satan [Plantinga, by PG] |