13 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] |
| 21833 | Research suggest that we overrate conscious experience [Flanagan] |
| 21834 | Sensations may be identical to brain events, but complex mental events don't seem to be [Flanagan] |
| 21837 | Morality is normative because it identifies best practices among the normal practices [Flanagan] |
| 21830 | For Darwinians, altruism is either contracts or genetics [Flanagan] |
| 21835 | We need Eudaimonics - the empirical study of how we should flourish [Flanagan] |
| 21831 | Alienation is not finding what one wants, or being unable to achieve it [Flanagan] |
| 19399 | Prime matter is nothing when it is at rest [Leibniz] |
| 21832 | Buddhists reject God and the self, and accept suffering as key, and liberation through wisdom [Flanagan] |