15 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] |
| 2526 | Philosophers regularly confuse failures of imagination with insights into necessity [Dennett] |
| 2614 | Modern phenomenalism holds that objects are logical constructions out of sense-data [Ayer] |
| 2615 | The concept of sense-data allows us to discuss appearances without worrying about reality [Ayer] |
| 2523 | That every mammal has a mother is a secure reality, but without foundations [Dennett] |
| 2528 | Does consciousness need the concept of consciousness? [Dennett] |
| 2525 | Maybe language is crucial to consciousness [Dennett] |
| 2527 | Unconscious intentionality is the foundation of the mind [Dennett] |
| 2530 | Could a robot be made conscious just by software? [Dennett] |
| 2524 | A language of thought doesn't explain content [Dennett] |
| 2529 | Maybe there can be non-conscious concepts (e.g. in bees) [Dennett] |