18 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] |
| 15049 | Metaphysical realists are committed to all unambiguous statements being true or not true [Dummett] |
| 4608 | Minds are hard-wired, or trial-and-error, or experimental, or full self-aware [Dennett, by Heil] |
| 4880 | Sentience comes in grades from robotic to super-human; we only draw a line for moral reasons [Dennett] |
| 4873 | What is it like to notice an uncomfortable position when you are asleep? [Dennett] |
| 4881 | Being a person must involve having second-order beliefs and desires (about beliefs and desires) [Dennett] |
| 4875 | We descend from robots, and our intentionality is composed of billions of crude intentional systems [Dennett] |
| 4879 | There is no more anger in adrenaline than silliness in a bottle of whiskey [Dennett] |
| 4876 | Maybe there is a minimum brain speed for supporting a mind [Dennett] |
| 4878 | The materials for a mind only matter because of speed, and a need for transducers and effectors [Dennett] |
| 4874 | The predecessor and rival of the language of thought hypothesis is the picture theory of ideas [Dennett] |
| 4882 | Concepts are things we (unlike dogs) can think about, because we have language [Dennett] |
| 4872 | Most people see an abortion differently if the foetus lacks a brain [Dennett] |
| 4877 | Maybe plants are very slow (and sentient) animals, overlooked because we are faster? [Dennett] |