16 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] |
| 12900 | How could 'S knows he has hands' not have a fixed content? [Bach] |
| 12901 | If contextualism is right, knowledge sentences are baffling out of their context [Bach] |
| 12902 | Sceptics aren't changing the meaning of 'know', but claiming knowing is tougher than we think [Bach] |
| 3282 | The general form of moral reasoning is putting yourself in other people's shoes [Nagel] |
| 3278 | An egalitarian system must give priority to those with the worst prospects in life [Nagel] |
| 3281 | The ideal of acceptability to each individual underlies the appeal to equality [Nagel] |
| 3275 | Equality was once opposed to aristocracy, but now it opposes public utility and individual rights [Nagel] |
| 3277 | In judging disputes, should we use one standard, or those of each individual? [Nagel] |
| 3273 | Equality nowadays is seen as political, social, legal and economic [Nagel] |
| 3274 | Equality can either be defended as good for society, or as good for individual rights [Nagel] |
| 3276 | A morality of rights is very minimal, leaving a lot of human life without restrictions or duties [Nagel] |