Godelian Arguments Against AI

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

The superposition of magical thinking, quantum entanglement, and self-referential recursion explains the relationship between human and machine intelligence (universal intelligence).

Gödel’s first incompleteness theorem is sometimes said to refute mechanism about the mind. §1 contains a discussion of mechanism. We look into its origins, motivations and commitments, both in general and with regard to the human mind, and ask about the place of modern computers and modern cognitive science within the general mechanistic paradigm. In §2 we give a sharp formulation of a mechanistic thesis about the mind in terms of the mathematical notion of computability. We present the argument from (...) Gödel’s theorem against mechanism in terms of this formulation and raise two objections, one of which is known but is here given a more precise formulation, and the other is new and based on the discussion in §1. (shrink)

Certain selected issues around the Gödelian anti-mechanist arguments which have received less attention are discussed.

In "Godel es Way" diskutieren drei namhafte Wissenschaftler Themen wie Unentschlossenheit, Unvollständigkeit, Zufälligkeit, Berechenbarkeit und Parakonsistenz. Ich gehe diese Fragen aus Wittgensteiner Sicht an, dass es zwei grundlegende Fragen gibt, die völlig unterschiedliche Lösungen haben. Es gibt die wissenschaftlichen oder empirischen Fragen, die Fakten über die Welt sind, die beobachtungs- und philosophische Fragen untersuchen müssen, wie Sprache verständlich verwendet werden kann (die bestimmte Fragen in Mathematik und Logik beinhalten), die entschieden werden müssen, indem man sich anschaut,wie wir Wörter in bestimmten (...) Kontexten tatsächlich verwenden. Wenn wir klar werden, welches Sprachspiel wir spielen, werden diese Themen als gewöhnliche wissenschaftliche und mathematische Fragen angesehen, wie alle anderen auch. Wittgensteins Einsichten wurden selten übertroffen und sind heute so treffend wie vor 80 Jahren, als er die Blauen und Braunen Bücher diktierte. Trotz seiner Versäumnisse – wirklich eine Reihe von Notizen statt eines fertigen Buches – ist dies eine einzigartige Quelle für die Arbeit dieser drei berühmten Gelehrten, die seit über einem halben Jahrhundert an den blutenden Rändern von Physik, Mathematik und Philosophie arbeiten. Da Costa und Doria werden von Wolpert zitiert (siehe unten oder meine Artikel über Wolpert und meine Rezension von Yanofskys 'The Outer Limits of Reason'), da sie auf universelle Berechnung schrieben,, und unter seinen vielen Errungenschaften ist Da Costa ein Pionier in Parakonsistenz. Wer aus der modernen zweisystems-Sichteinen umfassenden, aktuellen Rahmen für menschliches Verhalten wünscht, kann mein Buch "The Logical Structure of Philosophy, Psychology, Mindand Language in Ludwig Wittgenstein and John Searle' 2nd ed (2019) konsultieren. Diejenigen,die sich für mehr meiner Schriften interessieren, können 'Talking Monkeys--Philosophie, Psychologie, Wissenschaft, Religion und Politik auf einem verdammten Planeten --Artikel und Rezensionen 2006-2019 3rd ed (2019) und Suicidal Utopian Delusions in the 21st Century 4th ed (2019) und andere sehen. (shrink)

В «Godel's Way» три видных ученых обсуждают такие вопросы, как неплатежеспособность, неполнота, случайность, вычислительность и последовательность. Я подхожу к этим вопросам с точки зрения Витгенштейна, что есть две основные проблемы, которые имеют совершенно разные решения. Есть научные или эмпирические вопросы, которые являются факты о мире, которые должны быть исследованы наблюдений и философские вопросы о том, как язык может быть использован внятно (которые включают в себя определенные вопросы в математике и логике), которые должны быть решены, глядят, как мы на самом деле (...) использовать слова в конкретных контекстах. Когда мы получаем ясно о том, какой языковой игре мы играем, эти темы рассматриваются как обычные научные и математические вопросы, как и любые другие. Идеи Витгенштейна редко были равны и никогда не превосходили и столь же уместно сегодня, как они были 80 лет назад, когда он диктовал Blue и Браун Книги. Несмотря на свои недостатки, на самом деле серия заметок, а не готовой книги, это уникальный источник работы этих трех известных ученых, которые работают на кровотечения края физики, математики и философии на протяжении более полувека. Da Costa и Doria процитированы Wolpert (см. ниже или мои статьи на Wolpert и моем просмотрении Yanofsky 'Внешние пределы разума') в виду того что они написали на всеобщихвычислениях,, и среди его много выполнений, Da Costa пионер в paraconsistency. Те, кто желает всеобъемлющего до современных рамок для человеческого поведения из современных двух systEms зрения могут проконсультироваться с моей книгой"Логическая структура философии, психологии, Минd иязык в Людвиг Витгенштейн и Джон Сирл" второй ред (2019). Те, кто заинтересован в более моих сочинений могут увидеть "Говоря обезьян - Философия, психология, наука, религия и политика на обреченной планете - Статьи и обзоры 2006-2019 3-й ed (2019) и suicidal утопических заблуждений в 21-мst веке 4-й ed (2019) th и другие. (shrink)

Último sermón de la iglesia del naturalismo fundamentalista por el pastor Hofstadter. Al igual que su mucho más famoso (o infame por sus incesantemente errores filosóficos) trabajo Godel, Escher, Bach, tiene una plausibilidad superficial, pero si se entiende que se trata de un científico rampante que mezcla problemas científicos reales con los filosóficos (es decir, el sólo los problemas reales son los juegos de idiomas que debemos jugar) entonces casi todo su interés desaparece. Proporciono un marco para el análisis basado (...) en la psicología evolutiva y el trabajo de Wittgenstein (ya actualizado en mis escritos más recientes). Aquellos que deseen un marco completo hasta la fecha para el comportamiento humano de la moderna dos sistemas punto de vista puede consultar mi libros Talking Monkeys 3ª ed (2019), Estructura Logica de Filosofia, Psicología, Mente y Lenguaje en Ludwig Wittgenstein y John Searle 2ª ed (2019), Suicidio pela Democracia 4ª ed (2019), La Estructura Logica del Comportamiento Humano (2019), The Logical Structure de la Conciencia (2019, Comprender las Conexiones entre Ciencia, Filosofía, Psicología, Religión, Política y Economía, Historia y Literatura (2019), Delirios Utópicos Suicidas en el siglo 21 5ª ed (2019), Observaciones sobre Imposibilidad, Incompletitud, Paraconsistencia, Indecidibilidad, Aleatoriedad, Computabilidad, Paradoja e Incertidumbre en Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych Berto, Floyd, Moyal-Sharrock y Yanofsky(2019) y otros. "Podría ser justamente preguntado qué importancia tiene la prueba de Gödel para nuestro trabajo. Para un pedazo de matemáticas no puede resolver problemas del tipo que nos molesten. --La respuesta es que la situación, en la que tal prueba nos trae, es de interés para nosotros. ' ¿Qué vamos a decir ahora? ' --Ese es nuestro tema. Sin embargo, extraña que suene, mi tarea en lo que concierne a la prueba de Gödel parece meramente consistir en aclarar lo que tal proposición como: "Supongamos que esto se puede demostrar" significa en matemáticas. " Wittgenstein "Comentarios sobre los fundamentos de las matemáticas" p337 (1956) (escrito en 1937). "Mis teoremas sólo muestran que la mecanización de las matemáticas, es decir, la eliminación de la mente y de las entidades abstractas, es imposible, si uno quiere tener una base satisfactoria y un sistema de matemáticas. No he probado que haya preguntas matemáticas que sean indescifrables para la mente humana, pero sólo que no hay máquina (o formalismo ciego) que pueda decidir todas las preguntas de la teoría numérica, (incluso de un tipo muy especial) .... No es la estructura misma de los sistemas deductivos que está siendo amenazado con un descompostura, sino sólo una cierta interpretación de la misma, es decir, su interpretación como un formalismo ciego. " Gödel "Obras Recogidas" VOL 5, p 176-177. (2003) "Toda inferencia tiene lugar a priori. Los acontecimientos del futuro no pueden deducirse de los del presente. La superstición es la creencia en el nexo causal. La libertad de la voluntad consiste en el hecho de que las acciones futuras no se pueden conocer ahora. Sólo podíamos conocerlas si la causalidad fuera una necesidad interna, como la de la deducción lógica. --La conexión del conocimiento y lo que se conoce es la necesidad lógica. ("A sabe que p es el caso" no tiene sentido si p es una tautología.) Si por el hecho de que una proposición es obvia para nosotros, no sigue que es verdad, entonces la evidencia no es ninguna justificación para creer en su verdad. " TLP 5,133--5,1363 . (shrink)

Latest Sermon from the Church of Fundamentalist Naturalism by Pastor Hofstadter. Like his much more famous (or infamous for its relentless philosophical errors) work Godel, Escher, Bach, it has a superficial plausibility but if one understands that this is rampant scientism which mixes real scientific issues with philosophical ones (i.e., the only real issues are what language games we ought to play) then almost all its interest disappears. I provide a framework for analysis based in evolutionary psychology and the work (...) of Wittgenstein (since updated in my more recent writings). -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

Último sermão da Igreja do naturalismo fundamentalista pelo pastor Hofstadter. Como o seu muito mais famoso (ou infame por seus erros filosóficos implacáveis) Godel, Escher, Bach, ele tem uma plausibilidade superficial, mas se se compreende que este é um scientismo desenfreado que mistura questões científicas reais com os filosóficos (ou seja, o somente as edições reais são que jogos da língua nós devemos jogar) então quase todo seu interesse desaparece. Eu forneci um quadro para análise baseada na psicologia evolutiva e (...) no trabalho de Wittgenstein (desde que atualizado em meus escritos mais recentes). Aqueles que desejam um quadro até à data detalhado para o comportamento humano da opinião moderna dos dois sistemas consultar meu livros Falando Macacos 3ª Ed (2019), A Estrutura Lógica da Filosofia, Psicologia, Mente e Linguagem em Ludwig Wittgenstein e John Searle 2a Ed (2019), Suicídio Pela Democracia,4aEd(2019), Entendendo as Conexões entre Ciência, Filosofia, Psicologia, Religião, Política e Economia Artigos e Análises 2006-2019 (2019), Ilusões Utópicas Suicidas no 21St século. (shrink)

Gödel argued that his incompleteness theorems imply that either “the mind cannot be mechanized” or “there are absolutely undecidable sentences.” In the precursor to this paper I examined the early arguments for the first disjunct. In the present paper I examine the most sophisticated argument for the first disjunct, namely, Penrose’s new argument. It turns out that Penrose’s argument requires a type-free notion of truth and a type-free notion of absolute provability. I show that there is a natural such system, (...) DTK. I prove a series of results which show that Gödel’s disjunction is provable in the system, Penrose’s argument is invalid in the system, there can be no proof or refutation of either disjunct in the system, the independence results are robust in that they persist when one strengthens the principles governing absolute provability, and there are reasons to believe that the situation will not improve under any plausible alteration of the underlying theory of truth. (shrink)

In this paper I address the question of whether the incompleteness theorems imply that “the mind cannot be mechanized,” where this is understood in the specific sense that “the mathematical outputs of the idealized human mind do not coincide with the mathematical outputs of any idealized finite machine.” Gödel argued that his incompleteness theorems implied a weaker, disjunctive conclusion to the effect that either “the mind cannot be mechanized” or “mathematical truth outstrips the idealized human mind.” Others, most notably, Lucas (...) and Penrose, have claimed more—they have claimed that the incompleteness theorems actually imply the first disjunct. I will show that by sharpening the fundamental concepts involved and articulating the background assumptions governing them, one can prove Gödel’s disjunction, one can show that the arguments of Lucas and Penrose fail, and one can see what likely led proponents of the first disjunct astray. (shrink)

Austrian-born Kurt Gödel is widely considered the greatest logician of modern times. It is above all his celebrated incompleteness theorems—rigorous mathematical results about the necessary limits...

Mindreading (or folk psychology, Theory of Mind, mentalizing) is the capacity to represent and reason about others’ mental states. The Simulation Theory (ST) is one of the main approaches to mindreading. ST draws on the common-sense idea that we represent and reason about others’ mental states by putting ourselves in their shoes. More precisely, we typically arrive at representing others’ mental states by simulating their mental states in our own mind. This entry offers a detailed analysis of ST, considers theoretical (...) arguments and empirical data in favour of and against it, discusses its philosophical implications, and illustrates some alternatives to it. (shrink)

In this paper I argue that human beings should reason, not in accordance with classical logic, but in accordance with a weaker ‘reticent logic’. I characterize reticent logic, and then show that arguments for the existence of fundamental Gödelian limitations on artificial intelligence are undermined by the idea that we should reason reticently, not classically.

This article focuses on issues related to improving an argument about minds and machines given by Kurt Gödel in 1951, in a prominent lecture. Roughly, Gödel’s argument supported the conjecture that either the human mind is not algorithmic, or there is a particular arithmetical truth impossible for the human mind to master, or both. A well-known weakness in his argument is crucial reliance on the assumption that, if the deductive capability of the human mind is equivalent to that of a (...) formal system, then that system must be consistent. Such a consistency assumption is a strong infallibility assumption about human reasoning, since a formal system having even the slightest inconsistency allows deduction of all statements expressible within the formal system, including all falsehoods expressible within the system. We investigate how that weakness and some of the other problematic aspects of Gödel’s argument can be eliminated or reduced. (shrink)

This volume represents the beginning of a new stage of research in interpreting Kurt Gödel’s philosophy in relation to his scientific work. It is more than a collection of essays on Gödel. It is in fact the product of a long enduring international collaboration on Kurt Gödel’s Philosophical Notebooks (Max Phil). New and significant material has been made accessible to a group of experts, on which they rely for their articles. In addition to this, Gödel’s Nachlass is presented anew by (...) the current state of research and the corpus of Gödel’s Philosophical Notebooks (Max Phil) is described in its entirety for the first time in its details. The volume is sub-divided into three parts. The fist part is dedicated to descriptions of the Gödel Nachlass that is to be found in The Shelby White and Leon Levy Archives Center des Institute for Advanced Study in Princeton. This part starts with an updated overview on Kurt Gödel’s Nachlass by the current state of research and is followed by a detailed description of Gödel’s Philosophical Notebooks (Max Phil). The second part is dedicated by several Gödel scholars to the close reading of single remarks in the Max Phil. And the third part of this volume unites a variety of papers by experts in Gödel studies, logic, and Leibniz as well as by some enthusiasts for Gödel. These papers are nearly all written for this volume. (shrink)

This paper presents an analysis and critique of Roger Penrose’s epistemological, methodological, and ontological positions. The analysis is relevant not only because Penrose is an influential scientist, but also because of the particular traits of his thought. These traits are directly connected with his background and approach to science: ontological and epistemological realism, mathematical Platonism, emphasis on the continuities of science, epistemological inclusiveness and essential openness of science, the role of common sense, emphasis on the connection between science, ethics, and (...) philosophy. The paper articulates Penrose’s position and criticizes some of its possible shortcomings. It contributes to the perception of science as an open activity, as illustrated in Penrose’s particular approach, and provides an interesting case-study that can contribute to understanding how epistemological and ontological positions are connected with particular scientific practices. (shrink)

Under the name of ‘Basic Blindspot Theorem’, Paul Saka has proposed in the special issue on mind and paradox of this journal a Gödelian argument to the effect that no cognitive system can be complete and correct. We show that while the argument is successful as regards mechanical and formal systems, it may fail with respect to minds, so contributing to draw a boundary between the former and the latter. The existence of such a boundary may lend support to Saka’s (...) general thesis that paradoxes are mind-dependent. (shrink)

We construct a machine that knows its own code, at the price of not knowing its own factivity.

Problem-solving software that is not-necessarily infallible is central to AI. Such software whose correctness and incorrectness properties are deducible by agents is an issue at the foundations of AI. The Comprehensibility Theorem, which appeared in a journal for specialists in formal mathematical logic, might provide a limitation concerning this issue and might be applicable to any agents, regardless of whether the agents are artificial or natural. The present article, aimed at researchers interested in the foundations of AI, addresses many questions (...) related to that theorem, including differences between it and results of Gödel and Turing that have sometimes played key roles in Minds and Machines articles. This study also suggests that—if one is willing to assume a thesis due to Donald Knuth—the Comprehensibility Theorem is the first mathematical theorem implying the impossibility of any AI agent or natural agent—including a not-necessarily infallible human agent—satisfying a rigorous and deductive interpretation of the self-comprehensibility challenge. Some have pointed out the difficulty of self-comprehensibility, even according to presumably a less rigorous interpretation. This includes Socrates, who considered it to be among the most important of intellectual tasks. Self-comprehensibility in some form might be essential for a kind of self-reflection useful for self-improvement that might enable some agents to increase their success. We use the methods of applied mathematics, rather than philosophy, although some topics considered could be of interest to philosophers. (shrink)

We argue that the set of humanly known mathematical truths (at any given moment in human history) is finite and so recursive. But if so, then given various fundamental results in mathematical logic and the theory of computation (such as Craig’s in J Symb Log 18(1): 30–32(1953) theorem), the set of humanly known mathematical truths is axiomatizable. Furthermore, given Godel’s (Monash Math Phys 38: 173–198, 1931) First Incompleteness Theorem, then (at any given moment in human history) humanly known mathematics must (...) be either inconsistent or incomplete. Moreover, since humanly known mathematics is axiomatizable, it can be the output of a Turing machine. We then argue that any given mathematical claim that we could possibly know could be the output of a Turing machine, at least in principle. So the Lucas-Penrose (Lucas in Philosophy 36:112–127, 1961; Penrose, in The Emperor’s new mind. Oxford University Press, Oxford (1994)) argument cannot be sound. (shrink)

Kniha se zabývá problematikou připisování myšlení jiným entitám, a to pomocí imitační hry navržené v roce 1950 britským filozofem Alanem Turingem. Jeho kritérium, známé v dějinách filozofie jako Turingův test, je podrobeno detailní analýze. Kniha popisuje nejen původní námitky samotného Turinga, ale především pozdější diskuse v druhé polovině 20. století. Největší pozornost je věnována těmto kritikám: Lucasova matematická námitka využívající Gödelovu větu o neúplnosti, Searlův argument čínského pokoje konstatující nedostatečnost syntaxe pro sémantiku, Blockův návrh na použití brutální síly pro řešení (...) imitační hry, Frenchova teorie subkognitivních informací a Michieho skepticismus ohledně možnosti umělého vědomí. Závěr knihy zachycuje současný stav recepce Turingova testu a představuje pokusy o jeho praktickou realizaci, například v každoroční soutěži o Loebnerovu cenu. Autor knihy zastává názor, že ani po více než šedesáti letech od uveřejnění Turingova paradigmatického eseje stále neexistují žádné vážné důvody pro zamítnutí jeho tvrzení. Tradiční komputační funkcionalismus možná není ideální teorií vysvětlující činnost myslí a jako slibnější se může jevit vývoj v neurálních vědách, ale Turingův test je přesto užitečným a snad i jediným nástrojem pro detekci inteligence u lidmi vytvořených strojů. (shrink)

A suprise may occur if we use a similar strategy to the Liar's paradox to mathematically formalize "This sentence does not contain the symbol X".

La recherche d’une réponse à la question qui constitue le titre a conduit à des éclaircissements concernant la réception critique d’œuvres philosophiques majeures par Kurt Gödel. Cela illustre la manière dont il utilise des argumentations philosophiques d’auteurs classiques et les change en des aspects nouveaux pour sa propre argumentation philosophique. Dans le cas qui nous concerne, Gödel emploie un argument classique d’Aristote pour l’immatérialité de l’âme afin d’ajouter certains éléments à son propre raisonnement concernant l’inexhaustibilité des mathématiques, le problème corps-esprit, (...) et ses considérations à propos de Dieu. Et réciproquement, il fournit de nouveaux éclaircissements concernant un argument dont la réception a une longue histoire. (shrink)

Gödel's two incompleteness theorems are among the most important results in modern logic, and have deep implications for various issues. They concern the limits of provability in formal axiomatic theories. The first incompleteness theorem states that in any consistent formal system F within which a certain amount of arithmetic can be carried out, there are statements of the language of F which can neither be proved nor disproved in F. According to the second incompleteness theorem, such a formal system cannot (...) prove that the system itself is consistent (assuming it is indeed consistent). These results have had a great impact on the philosophy of mathematics and logic. There have been attempts to apply the results also in other areas of philosophy such as the philosophy of mind, but these attempted applications are more controversial. The present entry surveys the two incompleteness theorems and various issues surrounding them. (shrink)

Edward Verrall Lucas and Francis Meynell were men of letters in the old-fashioned sense. They were indefatigable both in creating text and bringing like matter together in new and meaningful forms. Lucas was a journalist, anthologist and publisher. Meynell was a printer, anthologist and publisher, and also a poet of considerable sensitivity and charm. Lucas did not write much poetry but was passionate about its merits, and sought, through his collections, to bring children into contact with the best of verse. (...) Today, the significant contributions that these men made to publishing in Britain are in danger of becoming forgotten, relegated to the minor byways of publishing history. This article examines the origins and connections between two hugely successful anthologies that were inspired by a growing public interest in, and engagement with, the English countryside. (shrink)

Gödel appears to have believed strongly that the human mind cannot be explained in terms of any kind of computational physics, but he remained cautious in formulating this belief as a rigorous consequence of his incompleteness theorems. In this chapter, I discuss a modification of standard Gödel-type logical arguments, these appearing to strengthen Gödel’s conclusions, and attempt to provide a persuasive case in support of his standpoint that the actions of the mind must transcend computation. It appears that Gödel did (...) not consider the possibility that the laws of physics might themselves involve noncomputational procedures; accordingly, he found himself driven to the conclusion that mentality must lie beyond the actions of the physical brain. My own arguments, on the other hand, are from the scientific standpoint that the mind is a product of the brain’s physical activity. Accordingly, there must be something in the physical actions of the world that itself transcends computation. We do not appear to find such noncomputational action in the known laws of physics, however, so we must seek it in currently undiscovered laws going beyond presently accepted physical theory. I argue that the only plausibly relevant gap in current understanding lies in a fundamental incompleteness in quantum theory, which reveals itself only with significant mass displacements between quantum states (“Schrödinger’s cats”). I contend that the need for new physics enters when gravitational effects just begin to play a role. In a scheme developed jointly with Stuart Hameroff, this has direct relevance within neuronal microtubules, and I describe this (still speculative) scheme in the following. (shrink)

Disertační práce se zabývá problematikou připisování myšlení jiným entitám, a to pomocí imitační hry navržené v roce 1950 britským filosofem Alanem Turingem. Jeho kritérium, známé v dějinách filosofie jako Turingův test, je podrobeno detailní analýze. Práce popisuje nejen původní námitky samotného Turinga, ale především pozdější diskuse v druhé polovině 20. století. Největší pozornost je věnována těmto kritikám: Lucasova matematická námitka využívající Gödelovu větu o neúplnosti, Searlův argument čínského pokoje konstatující nedostatečnost syntaxe pro sémantiku, Blockův návrh na použití brutální síly pro (...) řešení imitační hry, Frenchova teorie subkognitivních informací a Michieho skepticismus ohledně možnosti umělého vědomí. Závěr práce zachycuje současný stav recepce Turingova testu a představuje pokusy o jeho praktickou realizaci, například v každoroční soutěži o Loebnerovu cenu. Autor práce zastává názor, že ani po více než šedesáti letech od uveřejnění Turingova paradigmatického eseje stále neexistují žádné vážné důvody pro zamítnutí jeho tvrzení. Tradiční komputační funkcionalismus možná není ideální teorií vysvětlující činnost myslí a jako slibnější se může jevit vývoj v neurálních vědách, ale Turingův test je přesto užitečným a snad i jediným nástrojem pro detekci inteligence u lidmi vytvořených strojů. (shrink)

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.

Professor Sir Roger Penrose's work, spanning fifty years of science, with over five thousand pages and more than three hundred papers, has been collected together for the first time and arranged chronologically over six volumes, each with an introduction from the author. Where relevant, individual papers also come with specific introductions or notes. Developing ideas sketched in the first volume, twistor theory is now applied to genuine issues of physics, and there are the beginnings of twistor diagram theory (an analogue (...) of Feynman Diagrams). This collection includes joint papers with Stephen Hawking, and uncovers certain properties of black holes. The idea of cosmic censorship is also first proposed. Along completely different lines, the first methods of aperiodic tiling for the Euclidean plane that come to be known as Penrose tiles are described. This volume also contains Penrose's three prize-winning essays for the Gravity Foundation (two second places with both Ezra Newman and Steven Hawking, and a solo first place for 'The Non-linear graviton'). (shrink)

Ernest Nagel Lecture, Columbia University, Sept. 27, 2007.

The modeling of the human mind based on quantum effects has been gaining considerable interest due to the intriguing possibility of applying non-local interactions in the studies of consciousness. Inasmuch as the majority of the pertinent studies are restricted to the exclusive analysis of mental phenomena, the quantum model of mind proposed by Roger Penrose constitutes a part of a much larger scheme of the ultimate unification of physics. Penrose's efforts to find the 'missing science of consciousness' presuppose the non-algorithmic (...) character of human thinking inferred from Gödel's incompleteness theorem. This is supposed to combine with the anticipated non-algorithmic character of the future quantum gravity theory involving the objective reduction of a quantum mechanical state vector. By surveying contemporary achievements of cognitive sciences as well as the development of Penrose's conjectures, presented in his recent work The Road to Reality, we wish to show that his non-algorithmic quantum model of human mind is contingent upon the fundamental philosophical assumption of the mathematicity of the Universe. (shrink)

Kurt Gödel’s Incompleteness theorem is well known in Mathematics/Logic/Philosophy circles. Gödel was able to find a way for any given P (UTM), (read as, “P of UTM” for “Program of Universal Truth Machine”), actually to write down a complicated polynomial that has a solution iff (=if and only if), G is true, where G stands for a Gödel-sentence. So, if G’s truth is a necessary condition for the truth of a given polynomial, then P (UTM) has to answer first that (...) G is true in order to secure the truth of the said polynomial. But, interestingly, P (UTM) could never answer that G was true. This necessarily implies that there is at least one truth a P (UTM), however large it may be, cannot speak out. Daya Krishna and Karl Potter’s controversy regarding the construal of India’s Philosophies dates back to the time of Potter’s publication of “Presuppositions of India’s Philosophies” (1963, Englewood Cliffs Prentice-Hall Inc.) In attacking many of India’s philosophies, Daya Krishna appears to have unwittingly touched a crucial point: how can there be the knowledge of a ‘non-cognitive’ mokṣa? [‘mokṣa’ is the final state of existence of an individual away from Social Contract]—See this author’s Indian Social Contract and its Dissolution (2008) mokṣa does not permit the knowledge of one’s own self in the ordinary way with threefold distinction, i.e., subject–knowledge-object or knower–knowledge–known. But what is important is to demonstrate whether such ‘knowledge’ of non-cognitive mokṣa state can be logically shown, in a language, to be possible to attain, and that there is no contradiction involved in such demonstration, because, no one can possibly express the ‘experience-itself’ in language. Hence, if such ‘knowledge’ can be shown to be logically not impossible in language, then, not only Daya Krishna’s arguments against ‘non-cognitive mokṣa’ get refuted but also it would show the possibility of achieving ‘completeness’ in its truest sense, as opposed to Gödel’s ‘Incompleteness’. In such circumstances, man would himself become a Universal Truth Machine. This is because the final state of mokṣa is construed as the state of complete knowledge in Advaita. This possibility of ‘completeness’ is set in this paper in the backdrop of Śrī Śaṅkarācārya’s Advaitic (Non-dualistic) claim involved in the mahāvākyas (extra-ordinary propositions). (Mahāvākyas that Śaṅkara refers to are basically taken from different Upaniṣads. For example, “Aham Brahmāsmi” is from Bṛhadāraṇyaka Upanisad, and “Tattvamasi” is from Chāndogya Upaniṣad. Śrī Śaṅkarācārya has written extensively. His main works include his Commentary on Brahma-Sūtras, on major Upaniṣads, and on ŚrīmadBhagavadGītā, called Bhāṣyas of them, respectively. Almost all these works are available in English translation published by Advaita Ashrama, 5 Dehi Entally Road, Calcutta, 700014.) On the other hand, the ‘Incompleteness’ of Gödel is due to the intervening G-sentence, which has an adverse self-referential element. Gödel’s incompleteness theorem in its mathematical form with an elaborate introduction by R.W. Braithwaite can be found in Meltzer (Kurt Gödel: on formally undecidable propositions of principia mathematica and related systems. Oliver & Boyd, Edinburgh, 1962). The present author believes first that semantic content cannot be substituted by any amount of arithmoquining, (Arithmoquining or arithmatization means, as Braithwaite says,—“Gödel’s novel metamathematical method is that of attaching numbers to the signs, to the series of signs (formulae) and to the series of series of signs (“proof-schemata”) which occur in his formal system…Gödel invented what might be called co-ordinate metamathematics…”) Meltzer (1962 p. 7). In Antone (2006) it is said “The problem is that he (Gödel) tries to replace an abstract version of the number (which can exist) with the concept of a real number version of that abstract notion. We can state the abstraction of what the number needs to be, [the arithmoquining of a number cannot be a proof-pair and an arithmoquine] but that is a concept that cannot be turned into a specific number, because by definition no such number can exist.”.), especially so where first-hand personal experience is called for. Therefore, what ultimately rules is the semanticity as in a first-hand experience. Similar points are voiced, albeit implicitly, in Antone (Who understands Gödel’s incompleteness theorem, 2006). (“…it is so important to understand that Gödel’s theorem only is true with respect to formal systems—which is the exact opposite of the analogous UTM (Antone (2006) webpage 2. And galatomic says in the same discussion chain that “saying” that it ((is)) only true for formal systems is more significant… We only know the world through “formal” categories of understanding… If the world as it is in itself has no incompleteness problem, which I am sure is true, it does not mean much, because that is not the world of time and space that we experience. So it is more significant that formal systems are incomplete than the inexperiencable ‘World in Itself’ has no such problem.—galatomic”) Antone (2006) webpage 2. Nevertheless galatomic certainly, but unwittingly succeeds in highlighting the possibility of experiencing the ‘completeness’ Second, even if any formal system including the system of Advaita of Śaṅkara is to be subsumed or interpreted under Gödel’s theorem, or Tarski’s semantic unprovability theses, the ultimate appeal would lie to the point of human involvement in realizing completeness since any formal system is ‘Incomplete’ always by its very nature as ‘objectual’, and fails to comprehend the ‘subject’ within its fold. (shrink)

It is well understood and appreciated that Gödel’s Incompleteness Theorems apply to sufficiently strong, formal deductive systems. In particular, the theorems apply to systems which are adequate for conventional number theory. Less well known is that there exist algorithms which can be applied to such a system to generate a gödel-sentence for that system. Although the generation of a sentence is not equivalent to proving its truth, the present paper argues that the existence of these algorithms, when conjoined with Gödel’s (...) results and accepted theorems of recursion theory, does provide the basis for an apparent paradox. The difficulty arises when such an algorithm is embedded within a computer program of sufficient arithmetic power. The required computer program (an AI system) is described herein, and the paradox is derived. A solution to the paradox is proposed, which, it is argued, illuminates the truth status of axioms in formal models of programs and Turing machines. (shrink)