Combining Texts

All the ideas for 'Freedom to Act', 'Completeness of Axioms of Logic' and 'The Making of a Philosopher'

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

---

4 ideas

4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC

17751

Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]

15. Nature of Minds / B. Features of Minds / 2. Unconscious Mind

4691	If all mental life were conscious, we would be unable to see things, or to process speech [McGinn]

19. Language / A. Nature of Meaning / 3. Meaning as Speaker's Intention

4690	If meaning is speaker's intentions, it can be reduced to propositional attitudes, and philosophy of mind [McGinn]

20. Action / C. Motives for Action / 3. Acting on Reason / c. Reasons as causes

19698

Deviant causal chain: a reason causes an action, but isn't the reason for which it was performed [Davidson, by Neta]