Lucas-Penrose type arguments have been the focus of many papers in the literature. In the present paper we attempt to evaluate the consequences of Gödel’s incompleteness theorems for the philosophy of the mind. We argue that the best answer to this question was given by Gödel already in 1951 when he realized that either our intellectual capability is not representable by a Turing Machine, or we can never know with mathematical certainty what such a machine is. But his considerations became (...) known only in recent times when many scholars were already aware of Benacerraf’s and Chihara’s analyses on the consequences of Gödel’s incompleteness theorems for the philosophy of the mind. Benacerraf and Chihara, in fact, discussing Lucas’ paper, arrived at the same conclusions as Gödel in the sixties, but in a more formal way. After Penrose’s provocative arguments, Shapiro again shed light on the question. In our paper, after a broad and simple presentation of the contributions to the debate made by different authors, we show how to present Gödel’s argument in a rigorous way, highlighting the necessary philosophical premises of Gödel’s argument and more in general of Gödelian arguments. (shrink)

The late 19th-century Ignorabimus controversy over the limits of scientific knowledge has often been characterized as proclaiming the end of intellectual progress, and by implication, as plunging Germany into a crisis of pessimism from which Liberalism never recovered. My research supports the opposite interpretation. The initiator of the Ignorabimus controversy, Emil du Bois-Reymond, was a physiologist who worked his whole life against the forces of obscurantism, whether they came from the Catholic and Conservative Right or the scientistic and millenarian Left. (...) Du Bois-Reymond’s doubt that scientists would ever elucidate consciousness must therefore be seen as an endorsement, and not a rejection, of his faith in reason. (shrink)

This paper presents, from a historical and logical-philosophical perspective, the Gödelian arguments of two Oxford scholars, John Lucas and Roger Penrose. Both have been based on Gödel's Theorem to refute mechanism, computationalism and the possibility of creating an AI capable of simulating or duplicating the human mind. In the conclusions, the growing application of empirical methods in mathematics is mentioned and a possible path that would support Lucas and Penrose's arguments is speculated.

In his most comprehensive book on the subject , Roger Penrose provides arguments to demonstrate that there are aspects of human understanding which could not, in principle, be attained by any purely computational system. His central argument relies crucially on oft-cited theorems proven by Gödel and Turing. However, that key argument has been the subject of numerous trenchant critiques, which is unfortunate if one believes Penrose's conclusions to be plausible. In the present article, alternative arguments are offered in support of (...) Penrose-like conclusions . It is argued here that a purely computational agent, which lacked conscious awareness, would be incapable of possessing crucial concepts and of understanding certain kinds of geometrically-based proofs. Specifically, it is argued that the acquisition of human-like concepts of countable and non-denumerable infinities, and human-like comprehension of a particular geometrically motivated proof does require conscious apprehension of the subject matter involved. This does not preclude the possibility that a computational agent might come to possess the requisite consciousness, but it is argued that if this consciousness does arise within the agent, it does so, at best, as an emergent, contingent side-effect of the underlying processes involved. (shrink)

The article discusses the V.V. Tselishchev’s original and unique systematic study of the specific and extremely complicated problems of Gödel results regarding the question of artificial intelligence essence. Tselishchev argues that the reflexive property should be considered not only as an advantage of human reasoning, but also as an objective internal limitation that appears in case of adding Gödel sentence to a theory to build a new theory. The article analyzes so-called mentalistic Gödel’s argument for fundamental superiority of human intelligence (...) over machine one and the non-algorithmic nature of natural thinking. The discussion about the Gödel argument is not entirely speculative, but contains new knowledge. An example of such knowledge are the results of R. Smullyan levels of computers “awareness,” which are may be interpreted in a psychophysical sense. The concept of “zero level of intelligence” is proposed for such a reflexive property as “awareness of selfconsciousness.” Reflexive ranks below the awareness of self-consciousness can be considered negative levels of thinking in the sense that the intelligence, being reduced to them, significantly loses its completeness. Even self-consciousness turns out to be a negative level of thinking, since, according to Smullyan, the subject of self-consciousness is unaware of the type of thought to which he belongs. A thought experiment is proposed that allows us to establish the distribution of the properties of Smullyan stability and normality and to answer the question “Does an intuitive belief in the truth of a formal proof affect the truth of a proposition being proved?” According to intuitionism, the most unpleasant epistemic property is instability: beliefs that are not based on deep intuitions have no value. According to the constructivist philosophy of mathematics, instability is a less negative property than abnormality: the fact that high-ranking beliefs cannot be immersed to the very foundations is not significant because violation of truth due to lowering the rank of reflection is not critical. (shrink)