Computability and logic: 3rd ed.
Computability and logic: 3rd ed.
Computability (2nd ed.): computable functions, logic, and the foundations of mathematics
Computability (2nd ed.): computable functions, logic, and the foundations of mathematics
| Hi-index | 0.00 |
We first discuss Michael Dummett's philosophy of mathematics and Robert Brandom's philosophy of language to demonstrate that inferentialism entails the falsity of Church's Thesis and, as a consequence, the Computational Theory of Mind. This amounts to an entirely novel critique of mechanism in the philosophy of mind, one we show to have tremendous advantages over the traditional Lucas-Penrose argument.