display all the ideas for this combination of texts
4 ideas
19209 | Simple Quantified Modal Logc doesn't work, because the Converse Barcan is a theorem [Merricks] |
16468 | Non-S5 can talk of contingent or necessary necessities [Stalnaker] |
19208 | The Converse Barcan implies 'everything exists necessarily' is a consequence of 'necessarily, everything exists' [Merricks] |
16449 | In modal set theory, sets only exist in a possible world if that world contains all of its members [Stalnaker] |