10 ideas
15395 | Give up objects necessitating truths, and say their natures cause the truths? [Cameron] |
15394 | Truthmaker requires a commitment to tropes or states of affairs, for contingent truths [Cameron] |
10163 | Propositional modal logic has been proved to be complete [Kripke, by Feferman/Feferman] |
10760 | With possible worlds, S4 and S5 are sound and complete, but S1-S3 are not even sound [Kripke, by Rossberg] |
16189 | The variable domain approach to quantified modal logic invalidates the Barcan Formula [Kripke, by Simchen] |
15132 | The Barcan formulas fail in models with varying domains [Kripke, by Williamson] |
15401 | Essentialists say intrinsic properties arise from what the thing is, irrespective of surroundings [Cameron] |
15393 | An object's intrinsic properties are had in virtue of how it is, independently [Cameron] |
19347 | Substance needs independence, unity, and stability (for individuation); also it is a subject, for predicates [Perkins] |
15396 | Most criteria for identity over time seem to leave two later objects identical to the earlier one [Cameron] |