15 ideas
9915 | V = L just says all sets are constructible [Putnam] |
13655 | The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro] |
9913 | The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam] |
9914 | It is unfashionable, but most mathematical intuitions come from nature [Putnam] |
14193 | 'Substance theorists' take modal properties as primitive, without structure, just falling under a sortal [Paul,LA] |
14195 | If an object's sort determines its properties, we need to ask what determines its sort [Paul,LA] |
14196 | Substance essentialism says an object is multiple, as falling under various different sortals [Paul,LA] |
14198 | Absolutely unrestricted qualitative composition would allow things with incompatible properties [Paul,LA] |
14190 | Deep essentialist objects have intrinsic properties that fix their nature; the shallow version makes it contextual [Paul,LA] |
14191 | Deep essentialists say essences constrain how things could change; modal profiles fix natures [Paul,LA] |
14192 | Essentialism must deal with charges of arbitrariness, and failure to reduce de re modality [Paul,LA] |
14197 | An object's modal properties don't determine its possibilities [Paul,LA] |
14189 | 'Modal realists' believe in many concrete worlds, 'actualists' in just this world, 'ersatzists' in abstract other worlds [Paul,LA] |
2614 | Modern phenomenalism holds that objects are logical constructions out of sense-data [Ayer] |
2615 | The concept of sense-data allows us to discuss appearances without worrying about reality [Ayer] |