Penrose's New Argument and Paradox

Research output: Chapter in Book/Report/Conference proceedingChapter in a book


In this paper we take a closer look at Penrose’s New Argument for the claim that the human mind cannot be mechanized and investigate whether the argument can be formalized in a sound and coherent way using a theory of truth and absolute provability. Our findings are negative; we can show that there will be no consistent theory that allows for a formalization of Penrose’s argument in a straight- forward way. In a second step we consider Penrose’s overall strategy for arguing for his view and provide a reasonable theory of truth and absolute provability in which this strategy leads to a sound argument for the claim that the human mind cannot be mechanized. However, we argue that the argument is intuitively implausible since it relies on a pathological feature of the proposed theory.
Original languageEnglish
Title of host publicationTruth, Existence, and Explanation
Subtitle of host publicationFilMat Studies in the Philosophy of Mathematics
Publication statusPublished - 2018

Publication series

NameBoston Studies in the History and Philosophy of Science


Dive into the research topics of 'Penrose's New Argument and Paradox'. Together they form a unique fingerprint.

Cite this