Combining Texts

All the ideas for 'fragments/reports', 'A Completeness Theorem in Modal Logic' and 'Knowledge, Possibility and Consciousness'

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


23 ideas

1. Philosophy / B. History of Ideas / 2. Ancient Thought
Thales was the first western thinker to believe the arché was intelligible [Roochnik on Thales]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Truth has to be correspondence to facts, and a match between relations of ideas and relations in the world [Perry]
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]
9. Objects / F. Identity among Objects / 1. Concept of Identity
Identity is a very weak relation, which doesn't require interdefinability, or shared properties [Perry]
10. Modality / C. Sources of Modality / 5. Modality from Actuality
Nothing is stronger than necessity, which rules everything [Thales, by Diog. Laertius]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
Possible worlds thinking has clarified the logic of modality, but is problematic in epistemology [Perry]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
Possible worlds are indices for a language, or concrete realities, or abstract possibilities [Perry]
15. Nature of Minds / A. Nature of Mind / 3. Mental Causation
We try to cause other things to occur by causing mental events to occur [Perry]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / a. Consciousness
Brain states must be in my head, and yet the pain seems to be in my hand [Perry]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / f. Higher-order thought
It seems plausible that many animals have experiences without knowing about them [Perry]
17. Mind and Body / A. Mind-Body Dualism / 6. Epiphenomenalism
If epiphenomenalism just says mental events are effects but not causes, it is consistent with physicalism [Perry]
17. Mind and Body / E. Mind as Physical / 2. Reduction of Mind
Prior to Kripke, the mind-brain identity theory usually claimed that the identity was contingent [Perry]
17. Mind and Body / E. Mind as Physical / 7. Anti-Physicalism / b. Multiple realisability
If physicalists stick with identity (not supervenience), Martian pain will not be like ours [Perry]
18. Thought / C. Content / 1. Content
Although we may classify ideas by content, we individuate them differently, as their content can change [Perry]
18. Thought / C. Content / 8. Intension
The intension of an expression is a function from possible worlds to an appropriate extension [Perry]
19. Language / D. Propositions / 2. Abstract Propositions / b. Propositions as possible worlds
A proposition is a set of possible worlds for which its intension delivers truth [Perry]
19. Language / E. Analyticity / 3. Analytic and Synthetic
A sharp analytic/synthetic line can rarely be drawn, but some concepts are central to thought [Perry]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / c. Ultimate substances
Thales said water is the first principle, perhaps from observing that food is moist [Thales, by Aristotle]
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
Thales must have thought soul causes movement, since he thought magnets have soul [Thales, by Aristotle]
29. Religion / A. Polytheistic Religion / 2. Greek Polytheism
Thales said the gods know our wrong thoughts as well as our evil actions [Thales, by Diog. Laertius]