The Anti-Mechanist Argument Based on Gödel’s Incompleteness Theorems, Indescribability of the Concept of Natural Number and Deviant Encodings

Studia Semiotyczne 34 (1):243-266 (2020)
  Copy   BIBTEX


This paper reassesses the criticism of the Lucas-Penrose anti-mechanist argument, based on Gödel’s incompleteness theorems, as formulated by Krajewski : this argument only works with the additional extra-formal assumption that “the human mind is consistent”. Krajewski argues that this assumption cannot be formalized, and therefore that the anti-mechanist argument – which requires the formalization of the whole reasoning process – fails to establish that the human mind is not mechanistic. A similar situation occurs with a corollary to the argument, that the human mind allegedly outperforms machines, because although there is no exhaustive formal definition of natural numbers, mathematicians can successfully work with natural numbers. Again, the corollary requires an extra-formal assumption: “PA is complete” or “the set of all natural numbers exists”. I agree that extra-formal assumptions are necessary in order to validate the anti-mechanist argument and its corollary, and that those assumptions are problematic. However, I argue that formalization is possible and the problem is instead the circularity of reasoning that they cause. The human mind does not prove its own consistency, and outperforms the machine, simply by making the assumption “I am consistent”. Starting from the analysis of circularity, I propose a way of thinking about the interplay between informal and formal in mathematics.



    Upload a copy of this work     Papers currently archived: 77,712

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Implicit and Explicit Examples of the Phenomenon of Deviant Encodings.Paula Quinon - 2020 - Studies in Logic, Grammar and Rhetoric 63 (1):53-67.
Mechanism, truth, and Penrose's new argument.Stewart Shapiro - 2003 - Journal of Philosophical Logic 32 (1):19-42.
Intuitionists are not (turing) machines.Crispin Wright - 1995 - Philosophia Mathematica 3 (1):86-102.
Penrose's new argument.Per Lindström - 2001 - Journal of Philosophical Logic 30 (3):241-250.
Preface.Roman Kossak - 2020 - Studia Semiotyczne 34 (1):5-8.
Intuitionists Are Not Machines.Crispin Wright - 1995 - Philosophia Mathematica 3 (1):103-119.
Yesterday’s Algorithm: Penrose and the Gödel Argument.William Seager - 2003 - Croatian Journal of Philosophy 3 (9):265-273.
McCall’s Gödelian Argument is Invalid.Panu Raatikainen - 2002 - Facta Philosophica 4 (1):167-69.


Added to PP

18 (#620,661)

6 months
2 (#322,967)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Paula Quinon
Lund University

Citations of this work

Implicit and Explicit Examples of the Phenomenon of Deviant Encodings.Paula Quinon - 2020 - Studies in Logic, Grammar and Rhetoric 63 (1):53-67.

Add more citations

References found in this work

Logical Foundations of Probability.Rudolf Carnap - 1950 - Chicago, IL, USA: Chicago University of Chicago Press.
Computing machinery and intelligence.Alan M. Turing - 1950 - Mind 59 (October):433-60.
Philosophy of Logic.Willard Van Orman Quine - 1970 - Harvard University Press.

View all 45 references / Add more references