Combining Philosophers

All the ideas for H.Putnam/P.Oppenheim, Fabrice Correia and Alan Turing

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

6 ideas

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
16974 The nature of each logical concept is given by a collection of inference rules [Correia]
10. Modality / A. Necessity / 6. Logical Necessity
16973 Explain logical necessity by logical consequence, or the other way around? [Correia]
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
20653 Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson]
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / b. Turing Machines
3193 Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey]
3979 The Turing Machine is the best idea yet about how the mind works [Fodor on Turing]
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / c. Turing Test
5321 In 50 years computers will successfully imitate humans with a 70% success rate [Turing]