10 ideas
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] |
8430 | Causal statements are used to explain, to predict, to control, to attribute responsibility, and in theories [Kim] |
8396 | Many counterfactuals have nothing to do with causation [Kim, by Tooley] |
8429 | Counterfactuals can express four other relations between events, apart from causation [Kim] |
8428 | Causation is not the only dependency relation expressed by counterfactuals [Kim] |
4781 | Many counterfactual truths do not imply causation ('if yesterday wasn't Monday, it isn't Tuesday') [Kim, by Psillos] |
18202 | The concept of a field gradually replaced the substances in explaining relations between charges [Einstein/Infeld] |