16 ideas
| 10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
| 21642 | If quantification is all substitutional, there is no ontology [Quine] |
| 10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
| 10885 | Computer proofs don't provide explanations [Horsten] |
| 10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
| 1633 | Absolute ontological questions are meaningless, because the answers are circular definitions [Quine] |
| 18964 | Ontology is relative to both a background theory and a translation manual [Quine] |
| 18965 | We know what things are by distinguishing them, so identity is part of ontology [Quine] |
| 1634 | Two things are relative - the background theory, and translating the object theory into the background theory [Quine] |
| 7658 | Obviously there can't be a functional anaylsis of qualia if they are defined by intrinsic properties [Dennett] |
| 7655 | The work done by the 'homunculus in the theatre' must be spread amongst non-conscious agencies [Dennett] |
| 7657 | Intelligent agents are composed of nested homunculi, of decreasing intelligence, ending in machines [Dennett] |
| 7656 | I don't deny consciousness; it just isn't what people think it is [Dennett] |
| 7654 | What matters about neuro-science is the discovery of the functional role of the chemistry [Dennett] |
| 8470 | Reference is inscrutable, because we cannot choose between theories of numbers [Quine, by Orenstein] |
| 18963 | Indeterminacy translating 'rabbit' depends on translating individuation terms [Quine] |