Combining Texts

All the ideas for 'Folk Psychology', 'Gentzen's Analysis of First-Order Proofs' and 'Unity of Science as a Working Hypothesis'

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


7 ideas

5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Logic is based on transitions between sentences [Prawitz]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson]
18. Thought / A. Modes of Thought / 4. Folk Psychology
If folk psychology gives a network of causal laws, that fits neatly with functionalism [Churchland,PM]
Many mental phenomena are totally unexplained by folk psychology [Churchland,PM]
Folk psychology never makes any progress, and is marginalised by modern science [Churchland,PM]