display all the ideas for this combination of texts
1 idea
| 3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
| Full Idea: Turing showed that any formal process can be specified computationally, and captured by a Turing Machine. Hence logical rules (and arithmetic) could be obeyed not by someone representing and following them, but by causal organisation of the brain. | |
| From: report of Alan Turing (works [1935]) by Georges Rey - Contemporary Philosophy of Mind 8.2 | |
| A reaction: It is questionable whether logic is an entirely formal process, if it involves truth. You would need an entirely formal notion of truth for that. But a brain can do whatever a flow diagram can do. |