Combining Texts

All the ideas for 'The Character of Physical Law', 'A Completeness Theorem in Modal Logic' and 'German Philosophy: a very short introduction'

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

12 ideas

1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
15970 People generalise because it is easier to understand, and that is mistaken for deep philosophy [Feynman]
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]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / b. Transcendental idealism
22049 Transcendental idealism aims to explain objectivity through subjectivity [Bowie]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / d. Absolute idealism
22055 The Idealists saw the same unexplained spontaneity in Kant's judgements and choices [Bowie]
22054 German Idealism tried to stop oppositions of appearances/things and receptivity/spontaneity [Bowie]
22056 Crucial to Idealism is the idea of continuity between receptivity and spontaneous judgement [Bowie]
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
9410 Physical Laws are rhythms and patterns in nature, revealed by analysis [Feynman]
27. Natural Reality / B. Modern Physics / 2. Electrodynamics / d. Quantum mechanics
18530 Nobody understands quantum mechanics [Feynman]
27. Natural Reality / C. Space / 3. Points in Space
17707 We should regard space as made up of many tiny pieces [Feynman, by Mares]