28 ideas
| 12302 | Definitions formed an abstract hierarchy for Aristotle, as sets do for us [Fine,K] |
| 14266 | Aristotle sees hierarchies in definitions using genus and differentia (as we see them in sets) [Fine,K] |
| 15163 | The interest of quantified modal logic is its metaphysical necessity and essentialism [Soames] |
| 15158 | Indefinite descriptions are quantificational in subject position, but not in predicate position [Soames] |
| 15157 | Recognising the definite description 'the man' as a quantifier phrase, not a singular term, is a real insight [Soames] |
| 15156 | The universal and existential quantifiers were chosen to suit mathematics [Soames] |
| 14268 | Maybe bottom-up grounding shows constitution, and top-down grounding shows essence [Fine,K] |
| 14267 | There is no distinctive idea of constitution, because you can't say constitution begins and ends [Fine,K] |
| 14264 | Is there a plausible Aristotelian notion of constitution, applicable to both physical and non-physical? [Fine,K] |
| 15162 | We understand metaphysical necessity intuitively, from ordinary life [Soames] |
| 15161 | There are more metaphysically than logically necessary truths [Soames] |
| 2584 | Lobotomised patients can cease to care about a pain [Block] |
| 2582 | A brain looks no more likely than anything else to cause qualia [Block] |
| 2574 | Behaviour requires knowledge as well as dispositions [Block] |
| 2576 | In functionalism, desires are internal states with causal relations [Block] |
| 2575 | Functionalism is behaviourism, but with mental states as intermediaries [Block] |
| 2583 | You might invert colours, but you can't invert beliefs [Block] |
| 2578 | Could a creature without a brain be in the right functional state for pain? [Block] |
| 2585 | Not just any old functional network will have mental states [Block] |
| 2586 | In functionalism, what are the special inputs and outputs of conscious creatures? [Block] |
| 2579 | Physicalism is prejudiced in favour of our neurology, when other systems might have minds [Block] |
| 2577 | Simple machine-functionalism says mind just is a Turing machine [Block] |
| 2580 | A Turing machine, given a state and input, specifies an output and the next state [Block] |
| 15152 | To study meaning, study truth conditions, on the basis of syntax, and representation by the parts [Soames] |
| 15153 | Tarski's account of truth-conditions is too weak to determine meanings [Soames] |
| 2581 | Intuition may say that a complex sentence is ungrammatical, but linguistics can show that it is not [Block] |
| 15154 | We should use cognitive states to explain representational propositions, not vice versa [Soames] |
| 14265 | The components of abstract definitions could play the same role as matter for physical objects [Fine,K] |