Gödel's incompleteness theorems, free will and mathematical thought

In Richard Swinburne (ed.), Free Will and Modern Science. Oup/British Academy (2011)
Download Edit this record How to cite View on PhilPapers
Abstract
The determinism-free will debate is perhaps as old as philosophy itself and has been engaged in from a great variety of points of view including those of scientific, theological, and logical character. This chapter focuses on two arguments from logic. First, there is an argument in support of determinism that dates back to Aristotle, if not farther. It rests on acceptance of the Law of Excluded Middle, according to which every proposition is either true or false, no matter whether the proposition is about the past, present or future. In particular, the argument goes, whatever one does or does not do in the future is determined in the present by the truth or falsity of the corresponding proposition. The second argument coming from logic is much more modern and appeals to Gödel's incompleteness theorems to make the case against determinism and in favour of free will, insofar as that applies to the mathematical potentialities of human beings. The claim more precisely is that as a consequence of the incompleteness theorems, those potentialities cannot be exactly circumscribed by the output of any computing machine even allowing unlimited time and space for its work. The chapter concludes with some new considerations that may be in favour of a partial mechanist account of the mathematical mind.
Keywords
No keywords specified (fix it)
Reprint years
2013
PhilPapers/Archive ID
FEFGIT
Upload history
Archival date: 2018-04-22
View other versions
Added to PP index
2013-05-30

Total views
93 ( #34,801 of 51,423 )

Recent downloads (6 months)
17 ( #30,680 of 51,423 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.