8 ideas
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
14231 | We should always apply someone's theory of meaning to their own utterances [Liggins] |
14232 | We normally formalise 'There are Fs' with singular quantification and predication, but this may be wrong [Liggins] |
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] |
14233 | Nihilists needn't deny parts - they can just say that some of the xs are among the ys [Liggins] |
2604 | We must have expressive power BEFORE we learn language [Fodor] |