Combining Texts

All the ideas for 'Unconscious Cerebral Initiative', 'Modal Logic within Counterfactual Logic' and 'Logic (Port-Royal Art of Thinking)'

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


14 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
In S5 matters of possibility and necessity are non-contingent [Williamson]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / b. Levels of abstraction
We can rise by degrees through abstraction, with higher levels representing more things [Arnauld,A/Nicole,P]
10. Modality / A. Necessity / 1. Types of Modality
Necessity is counterfactually implied by its negation; possibility does not counterfactually imply its negation [Williamson]
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
Strict conditionals imply counterfactual conditionals: □(A⊃B)⊃(A□→B) [Williamson]
10. Modality / B. Possibility / 9. Counterfactuals
Counterfactual conditionals transmit possibility: (A□→B)⊃(◊A⊃◊B) [Williamson]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
Rather than define counterfactuals using necessity, maybe necessity is a special case of counterfactuals [Williamson, by Hale/Hoffmann,A]
12. Knowledge Sources / B. Perception / 3. Representation
We can only know the exterior world via our ideas [Arnauld,A/Nicole,P]
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
Forms make things distinct and explain the properties, by pure form, or arrangement of parts [Arnauld,A/Nicole,P]
15. Nature of Minds / C. Capacities of Minds / 2. Imagination
Imagination is important, in evaluating possibility and necessity, via counterfactuals [Williamson]
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
We know by abstraction because we only understand composite things a part at a time [Arnauld,A/Nicole,P]
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
A triangle diagram is about all triangles, if some features are ignored [Arnauld,A/Nicole,P]
15. Nature of Minds / C. Capacities of Minds / 6. Idealisation
No one denies that a line has width, but we can just attend to its length [Arnauld,A/Nicole,P]
20. Action / B. Preliminaries of Action / 2. Willed Action / a. Will to Act
Libet says the processes initiated in the cortex can still be consciously changed [Libet, by Papineau]
Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe]