4 ideas
21681 | Given all true atomic propositions, in theory every other truth can thereby be deduced [Russell] |
14286 | In nearby worlds where A is true, 'if A,B' is true or false if B is true or false [Stalnaker] |
14285 | A possible world is the ontological analogue of hypothetical beliefs [Stalnaker] |
16383 | Puzzled Pierre has two mental files about the same object [Recanati on Kripke] |