display all the ideas for this combination of texts
3 ideas
19209 | Simple Quantified Modal Logc doesn't work, because the Converse Barcan is a theorem [Merricks] |
19208 | The Converse Barcan implies 'everything exists necessarily' is a consequence of 'necessarily, everything exists' [Merricks] |
14238 | A class is an aggregate of objects; if you destroy them, you destroy the class; there is no empty class [Frege] |