Combining Texts

All the ideas for 'Saundaranandakavya', 'Causes and Counterfactuals' and 'A Completeness Theorem in Modal Logic'

expand these ideas     |    start again     |     specify just one area for these texts


12 ideas

1. Philosophy / D. Nature of Philosophy / 2. Invocation to Philosophy
Pursue truth with the urgency of someone whose clothes are on fire [Ashvaghosha]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
Propositional modal logic has been proved to be complete [Kripke, by Feferman/Feferman]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / a. Systems of modal logic
With possible worlds, S4 and S5 are sound and complete, but S1-S3 are not even sound [Kripke, by Rossberg]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
The variable domain approach to quantified modal logic invalidates the Barcan Formula [Kripke, by Simchen]
The Barcan formulas fail in models with varying domains [Kripke, by Williamson]
26. Natural Theory / C. Causation / 1. Causation
Causal statements are used to explain, to predict, to control, to attribute responsibility, and in theories [Kim]
26. Natural Theory / C. Causation / 9. General Causation / c. Counterfactual causation
Many counterfactuals have nothing to do with causation [Kim, by Tooley]
Counterfactuals can express four other relations between events, apart from causation [Kim]
Causation is not the only dependency relation expressed by counterfactuals [Kim]
26. Natural Theory / D. Laws of Nature / 9. Counterfactual Claims
Many counterfactual truths do not imply causation ('if yesterday wasn't Monday, it isn't Tuesday') [Kim, by Psillos]
29. Religion / C. Spiritual Disciplines / 3. Buddhism
The Eightfold Path concerns morality, wisdom, and tranquillity [Ashvaghosha]
29. Religion / D. Religious Issues / 2. Immortality / d. Heaven
At the end of a saint, he is not located in space, but just ceases to be disturbed [Ashvaghosha]