13 ideas
8964 | Entities can be multiplied either by excessive categories, or excessive entities within a category [Hoffman/Rosenkrantz] |
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
12219 | Whether a modal claim is true depends on how the object is described [Quine, by Fine,K] |
10922 | Objects are the values of variables, so a referentially opaque context cannot be quantified into [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] |
8962 | 'There are shapes which are never exemplified' is the toughest example for nominalists [Hoffman/Rosenkrantz] |
8961 | Nominalists are motivated by Ockham's Razor and a distrust of unobservables [Hoffman/Rosenkrantz] |
10923 | Aristotelian essentialism says a thing has some necessary and some non-necessary properties [Quine] |
10921 | Necessity can attach to statement-names, to statements, and to open sentences [Quine] |
10924 | Necessity is in the way in which we say things, and not things themselves [Quine] |
8963 | Four theories of possible worlds: conceptualist, combinatorial, abstract, or concrete [Hoffman/Rosenkrantz] |