15 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] |
14664 | Necessary beings (numbers, properties, sets, propositions, states of affairs, God) exist in all possible worlds [Plantinga] |
14974 | A relation is 'Euclidean' if aRb and aRc imply bRc [Cresswell] |
14666 | Socrates is a contingent being, but his essence is not; without Socrates, his essence is unexemplified [Plantinga] |
14975 | A de dicto necessity is true in all worlds, but not necessarily of the same thing in each world [Cresswell] |
14662 | Possible worlds clarify possibility, propositions, properties, sets, counterfacts, time, determinism etc. [Plantinga] |
16472 | Plantinga's actualism is nominal, because he fills actuality with possibilia [Stalnaker on Plantinga] |
16383 | Puzzled Pierre has two mental files about the same object [Recanati on Kripke] |
16469 | Plantinga has domains of sets of essences, variables denoting essences, and predicates as functions [Plantinga, by Stalnaker] |
16470 | Plantinga's essences have their own properties - so will have essences, giving a hierarchy [Stalnaker on Plantinga] |
14663 | Are propositions and states of affairs two separate things, or only one? I incline to say one [Plantinga] |