Combining Texts

All the ideas for 'Quodlibeta', 'Testability and Meaning' and 'A Completeness Theorem in Modal Logic'

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

---

9 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]

8. Modes of Existence / B. Properties / 8. Properties as Modes

16641

Whiteness does not exist, but by it something can exist-as-white [Aquinas]

10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals

14305

In the truth-functional account a burnt-up match was soluble because it never entered water [Carnap]

11. Knowledge Aims / A. Knowledge / 2. Understanding

22170

Senses grasp external properties, but the understanding grasps the essential natures of things [Aquinas]

12. Knowledge Sources / A. A Priori Knowledge / 3. Innate Knowledge / a. Innate knowledge

22169

Initial universal truths are present within us as potential, to be drawn out by reason [Aquinas]

12. Knowledge Sources / B. Perception / 3. Representation

22168

Minds take in a likeness of things, which activates an awaiting potential [Aquinas]