Abstract
In their Minds and Machines essay How would you know if you synthesized a Thinking Thing? (Kary & Mahner, Minds and Machines, 12(1), 61–86, 2002), Kary and Mahner have chosen to occupy a high ground of materialism and empiricism from which to attack the philosophical and methodological positions of believers in artificial intelligence (AI) and artificial life (AL). In this review I discuss some of their main arguments as well as their philosophical foundations. Their central argument: ‘AI is Platonism’, which is based on a particular interpretation of the notion of ‘definition’ and used as a critique against AI, can be counter criticized from two directions: first, Anti-Platonism is not a necessary precondition for criticizing AI, because outspoken Platonist criticism against AI is already known (Penrose, The emperor’s new mind (with a foreword by M. Gardner), 1989). Second, even in case that AI would essentially be ‘Platonism’ this would not be a sufficient argument for proving AI wrong. In my counter criticism I assume a more or less Popperian position by emphasizing the openness of the future: Not by quasi-Scholastic arguments (like Kary and Mahner’s), but only after being confronted with a novel ‘thinking thing’ by future AI engineers we can start to analyze its particular properties (Let me use a history analogon to illustrate my position: In the 19th century, mechanized aviation was widely regarded impossible—only natural organisms (such as birds or bees) could fly, and any science of aerodynamics or aviation did not exist. Only after some non-scientific technicians had confronted their astonished fellows with the first (obviously) flying machine the science of ‘Artificial Aviation’ came into existence, motivated by the need for understanding and mastering that challenging and puzzling new phenomenon).
Similar content being viewed by others
Notes
Though Searle also touches on issues such as ‘feeling pain’ which points into the direction of type (β).
The limited space available to this kind of review articles does, of course, not allow for a comprehensive treatment of all these matters in all detail. However I may hope that a wider audience of scholars, more able than myself, might pick up some of my hints in order to continue the discussion of these interesting yet largely unsolved problems.
All page indications of the form (p. XY) in this section refer to Kary and Mahner (2002). Text printed in Italics in this section indicates direct quotations from Kary and Mahner (2002); those text parts are generally not printed in Italics in the original text (Kary and Mahner 2002). In some cases I have shortened quotations which is indicated as usual by dots in brackets ‘(…)’.
Which has a variety of meanings and applications in various contexts (Thiel 1992/1989).
This is actually the same notion of ‘Functionalism’ as the one found in Sober’s critique of AL (Sober 1992).
Note the structural similarity of this argument with Gottlob Frege’s argument against the creation of numbers like \(\sqrt{-1}\) by (mis)using abstract concepts (Begriffe) as concrete entities (Gegenstände) in the Formalists’ interpretation of Mathematics (Frege 1884).
Note that such a notion of ‘definition’ differs significantly from other notions of ‘definition’ such as (for example) Frege’s explication according to which definitions do not contribute anything to knowledge: they are just declarative abbreviations which can always be eliminated (Frege 1893, 1903).
It is interesting to compare Kary and Mahner’s argument—AI cannot contribute anything to the science of mind—with Frege’s structurally similar argument (against the Psychologists of the 19th century) that Psychology could never contribute anything to the science of logic (Frege 1893). Note however that Frege, whom I mention here quite often, was not a materialist: his position of ‘objective idealism’ is, indeed, related to the position of mathematical Platonism.
It is interesting to compare the structure of this argument—there would be no properties on their own without things to which they belong—with Frege’s argument that in the ‘universe of thoughts’ (Gedankenreich) there would be no concepts (Begriffe) on their own (which can only occur attached to thoughts (Frege 1918)) in the context of the dispute about the existence of universals.
Note that we ourselves must be intelligent, too, in order to determine whether or not somebody else is intelligent or stupid. It seems impossible to define intelligence without being intelligent already: Kary and Mahner’s problem is thus related to the notorious hermeneutic circle problem (Gadamer 1960).
I regard it as rather unimportant that arguments are brought forward by myself; it is only important that arguments are brought forward at all.
Following the German tradition of literature studies I do not use the Latin name ‘Plato’ but the direct transcription ‘Platon’ from the Greek original, \(\Pi\lambda\alpha\tau\ \!{\mit o}\nu.\)
In that part of the dialog, Sokrates and Simmias are disputing the question whether or not the soul is ‘like the tuning of the strings of a harp’.
Note that Gödel is said (AEIOU Dictionary 2007) to have been associated with the Wiener Kreis of philosophers around Carnap, Reichenbach et al., the distinctly anti metaphysical and neo Positivist position of whom appears in some contrast to Penrose’s characterization of Gödel as ‘Platonist’; Penrose does not discuss this question any further.
Note how the above-mentioned similarity between the positions of metamathematical formalism and AI operationalism encourages the usage of Gödel’s eventually anti-formalist position in an anti-operationalist argument.
Of course there are other aspects of intelligence which the Turing Test does not test—as there are other aspects of medication which the clinical ‘blind’ test cannot ‘see’.
References
AEIOU Dictionary. (2007). ‘Österreich-Lexikon’, search entry: ‘Wiener Kreis’, December 14, 2007, http://www.aeiou.at/aeiou.encyclop.w/w603197.htm
Churchland, P., & Churchland, P. (1990). Could a machine think? Scientific American, 262(1), 32–37.
Copi, I., Rowe, S., & Beckmann, J. (1983). Einführung in die Logik: Sprache und Argumentation, Lecture Notes 3316-7-01-S 1, Institute of Philosophy, Hagen: Fern-Universität-GH.
Frege, G. (1884). Die Grundlagen der Arithmetik: Eine logisch-mathematische Untersuchung über den Begriff der Zahl. Breslau: W. Koebner Publ. (Reprints and English translations widely available).
Frege, G. (1893). Grundgesetze der Arithmetik, Begriffsschriftlich abgeleitet (Vol. 1). Jena: H. Pohle Publ. (Reprints and English translations widely available).
Frege, G. (1903). Grundgesetze der Arithmetik, Begriffsschriftlich abgeleitet (Vol. 2). Jena: H. Pohle Publ. (Reprints and English translations widely available).
Frege, G. (1918). Der Gedanke, Eine logische Untersuchung. Beiträge zur Philosophie des deutschen Idealismus, 1, 58–77. (Reprints and English translations widely available).
Gadamer, H. (1960). Wahrheit und Methode. Tübingen: Mohr Publ. (Reprints and English translations widely available).
Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. Monatshefte für Mathematik und Physik, 38, 173–198.
Hoffmeister, J. (Ed.) (1955). Wörterbuch der philosophischen Begriffe. Philosophische Bibliothek (2nd ed., pp. 225). Hamburg: Felix Meiner Publ.
Kary, M., & Mahner, M. (2002). How would you know if you synthesized a thinking thing? Minds and Machines, 12(1), 61–86.
Kirchgässner, G. (1992/1989). Konstruktivismus. In A. Seiffert & G. Radnitzky (Eds.), Handlexikon zur Wissenschaftstheorie (2nd ed., pp. 164–168). München (Munich): DTV Wissenschaft (Reprint: Original Edition 1989 by Ehrenwirth Publ.)
Kourie, D. (1994). A critique of artificial intelligence. Suid-Afrikaanse Tydskrif vir Wetenskap, 90, 277–248.
Kourie, D., & de Beer, D. (2000). Artificial life: An overview. South African Journal of Science (Formerly: Suid-Afrikaanse Tydskrif vir Wetenskap), 96, 569–576.
Kreiser, L., & Max, I. (1999). Freges Philosophie der Mathematik, Lecture Notes 3356-7-01-S 1. Institute of Philosophy, Hagen: Fern-Universität-GH.
Landauer, R. (1961). Irreversibility and heat generation in the computing process. IBM Journal of Research and Development, 5, 183–191, http://www.research.ibm.com/journal/rd/441/landauerii.pdf
Landauer, R. (2002/1999). Information is inevitably physical. In A. Hey (Ed.), Feynman and computation: Exploring the limits of computers (pp. 77–92). Cambridge: Westview Press (Reprint: Original Edition 1999 by Perseus Publ.)
Müller, O. (1996). Wer weiss, ob die Wirklichkeit wirklich wirklich ist? http://www.zeit.de/archiv/1996/32/putnam.txt.19960802.xml, Die Zeit 32-1996, Hamburg: Zeitverlag Gerd Bucerius.
Penrose, R. (1989). The emperor’s new mind (with a foreword by M. Gardner). New York: Oxford University Press.
Penrose, R. (1991). Computerdenken. Heidelberg: Spektrum der Wissenschaft. (German Edition of (Penrose, 1989) with an additional foreword by D. Wandschneider).
Platon, Phaidon, especially: 92a–94e (English translations widely available).
Schinzel, B. (1992). Methodische Probleme der “Künstlichen Intelligenz”, Report 4/92, Institut für Informatik und Gesellschaft, Freiburg: Albert-Ludwigs-University.
Searle, J. (1980). Minds, brains and programs. Behavioural and Brain Sciences, 3, 417–424.
Searle, J. (1990). Is the brain’s mind a computer program? Scientific American, 262(1), 26–31.
Sloman, A. (1996). Beyond turing equivalence. In P. Millican & A. Clark (Eds.), Machines and thought: The legacy of Alan turing (Vol. 1, pp. 26–31). Oxford: Clarendon Press.
Sober, E. (1992). Learning from functionalism: Prospects for strong artificial life. In C. Langton, et al. (Eds.), Artificial life II. New York: Addison Wesley.
Thiel, C. (1992/1989). Funktion(alismus). In A. Seiffert & G. Radnitzky (Eds.), Handlexikon zur Wissenschaftstheorie (2nd ed., pp. 86–88). München (Munich): DTV Wissenschaft (Reprint: Original Edition 1989 by Ehrenwirth Publ.)
Acknowledgements
The German Gesellschaft zur wissenschaftlichen Untersuchung von Parawissenschaften has drawn my attention to Kary and Mahner’s original article. Martin Mahner himself provided me with a copy of that article, about which I had some inspiring discussions with Helko Lehmann at the University of Southampton, England, several years ago. Many thanks to James Fetzer and James Moor, editors of this journal, as well as to the anonymous reviewers for their helpful comments on the various earlier drafts of this article. Fritz-Gregor Herrmann at the University of Swansea, Wales, provided valuable background advice on ‘what is Platonism’. David Sherman at the LaBRI research laboratories in Bordeaux, France, helped me with the English language. The ladies Astrid Huizer and Jolanda Voogd at Springer Verlag’s Dutch office in Dordrecht, The Netherlands, managed the (re-) submission and review process of the draft manuscripts both friendly and kindly as well as professionally and efficiently.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Gruner, S. Comments on ‘How Would You Know If You Synthesized A Thinking Thing’. Minds & Machines 18, 107–120 (2008). https://doi.org/10.1007/s11023-007-9087-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11023-007-9087-x