17 ideas
14970 | Normal system K has five axioms and rules [Cresswell] |
14971 | D is valid on every serial frame, but not where there are dead ends [Cresswell] |
14972 | S4 has 14 modalities, and always reduces to a maximum of three modal operators [Cresswell] |
14973 | In S5 all the long complex modalities reduce to just three, and their negations [Cresswell] |
14976 | Reject the Barcan if quantifiers are confined to worlds, and different things exist in other worlds [Cresswell] |
9226 | If mathematical theories conflict, it may just be that they have different subject matter [Field,H] |
14974 | A relation is 'Euclidean' if aRb and aRc imply bRc [Cresswell] |
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] |
14975 | A de dicto necessity is true in all worlds, but not necessarily of the same thing in each world [Cresswell] |
14189 | 'Modal realists' believe in many concrete worlds, 'actualists' in just this world, 'ersatzists' in abstract other worlds [Paul,LA] |