Combining Texts

All the ideas for 'Ethical Studies', 'A Completeness Theorem in Modal Logic' and 'There is immediate Justification'

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

11 ideas

4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
10163 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
10760 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
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]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / b. Basic beliefs
8845 An experience's having propositional content doesn't make it a belief [Pryor]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / e. Pro-foundations
8842 The best argument for immediate justification is not the Regress Argument, but considering examples [Pryor]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
8843 Impure coherentists accept that perceptions can justify, unlike pure coherentists [Pryor]
8844 Coherentism rests on the claim that justifications must be beliefs, with propositional content [Pryor]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / b. Pro-coherentism
8846 Reasons for beliefs can be cited to others, unlike a raw headache experience [Pryor]
13. Knowledge Criteria / C. External Justification / 5. Controlling Beliefs
8847 Beliefs are not chosen, but you can seek ways to influence your belief [Pryor]
22. Metaethics / C. The Good / 2. Happiness / d. Routes to happiness
5655 Happiness is not satisfaction of desires, but fulfilment of values [Bradley, by Scruton]