Implementation is semantic interpretation: further thoughts

This essay explores the implications of the thesis that implementation is semantic interpretation. Implementation is (at least) a ternary relation: I is an implementation of an ‘Abstraction’ A in some medium M. Examples are presented from the arts, from language, from computer science and from cognitive science, where both brains and computers can be understood as implementing a ‘mind Abstraction’. Implementations have side effects due to the implementing medium; these can account for several puzzles surrounding qualia. Finally, an argument for benign panpsychism is developed.

[1]  J RapaportWilliam.  Holism, Conceptual-Role Semantics, and Syntactic Semantics , 2002 .

[2]  Larry Hauser,et al.  Why isn't my pocket calculator a thinking thing? , 1993, Minds and Machines.

[3]  William J. Rapaport.  Machine understanding and data abstraction in Searle''s Chinese room , 1985 .

[4]  M. L. Cooper.  The Twins , 1922, The Hundreds.

[5]  Alan W. Biermann.  Great Ideas in Computer Science: A Gentle Introduction , 1990 .

[6]  James H. Fetzer.  Philosophical aspects of program verification , 2004, Minds and Machines.

[7]  Steven P. Shwartz,et al.  On the demystification of mental imagery , 1979, Behavioral and Brain Sciences.

[8]  William J. Rapaport,et al.  In Defense of Contextual Vocabulary Acquisition: How to Do Things with Words in Context , 2005 .

[9]  Fred Sir Hoyle,et al.  The Black Cloud , 1957 .

[10]  Wilfrid S. Sellars,et al.  Some Reflections on Language Games , 1954, Philosophy of Science.

[11]  James H. Fetzer.  Program verification: the very idea , 1988, CACM.

[12]  G. Lakoff,et al.  Metaphors We Live by , 1982 .

[13]  C. Pollard,et al.  Center for the Study of Language and Information , 2022 .

[14]  David A. Nelson.  Deductive program verification (a practitioner's commentary) , 2006, Minds and Machines.

[15]  Andy Clark,et al.  Language and Meaning in Cognitive Science: Cognitive Issues and Semantic Theory , 1998 .

[16]  James K. Feibleman.  The Problem of Knowledge , 1976 .

[17]  Stuart C. Shapiro,et al.  Anchoring in a grounded layered architecture with integrated reasoning , 2003, Robotics Auton. Syst..

[18]  Marx W. Wartofsky,et al.  Models: Representation And The Scientific Understanding , 1979 .

[19]  Marcelo Dascal,et al.  Interpretation and understanding , 2003 .

[20]  N. Wiener,et al.  The Role of Models in Science , 1945, Philosophy of Science.

[21]  John R. Searle,et al.  Is the Brain a Digital Computer , 1990 .

[22]  G. Mandler.  The Mind's I: Fantasies and Reflections on Self and Soul. , 1982 .

[23]  Ashwin Ram,et al.  Understanding language understanding: computational models of reading , 1999 .

[24]  David Cole,et al.  Functionalism and inverted spectra , 1990, Synthese.

[25]  Neal Jahren.  Can semantics be syntactic? , 1990, Synthese.

[26]  Robert S. Boyer,et al.  A computational logic handbook , 1979, Perspectives in computing.

[27]  G. Miller,et al.  Cognitive science. , 1981, Science.

[28]  Katrina Relief,et al.  WITH INFINITE , 2007 .

[29]  Maura C. Flannery.  The Truth of Fiction , 2005 .

[30]  Stuart C. Shapiro,et al.  Cognition and fiction , 1999 .

[31]  William J. Rapaport,et al.  Unsolvable Problems and Philosophical Progress , 1982 .

[32]  Judith Wusteman.  Philosophy and AI: Essays at the Interface , 1992 .

[33]  Leo Apostel,et al.  Towards the formal study of models in the non-formal sciences , 1960, Synthese.

[34]  D. Gentner.  The development of relational category knowledge , 2005 .

[35]  T. H. Meyer.  Computer Architecture and Organization , 1982 .

[36]  Josephine Anstey,et al.  Virtual Drama with Intelligent Agents , 2003 .

[37]  William J. Rapaport,et al.  Searle's Experiments with Thought , 1986, Philosophy of Science.

[38]  W. Rapaport.  UNDERSTANDING UNDERSTANDING: SYNTACTIC SEMANTICS AND COMPUTATIONAL COGNITION , 1995 .

[39]  L. Apostel.  Towards the formal study of models in the non-formal sciences , 1960, Synthese.

[40]  Ellis Horowitz,et al.  The design of data type specifications , 1976, ICSE '76.

[41]  William J. Rapaport,et al.  What Did You Mean by That? Misunderstanding, Negotiation, and Syntactic Semantics , 2003, Minds and Machines.

[42]  B. H. Webb.  Do computer simulations really cognize? , 1991, J. Exp. Theor. Artif. Intell..

[43]  Stuart C. Shapiro,et al.  Quasi-Indexicals and Knowledge Reports , 1997, Cogn. Sci..

[44]  Stuart C. Shapiro,et al.  Models and Minds: Knowledge Representation for Natural-Language Compe-tence , 1991 .

[45]  Z. Pylyshyn.  The imagery debate: Analogue media versus tacit knowledge. , 1981 .

[46]  R. Giere.  How Models Are Used to Represent Reality , 2004, Philosophy of Science.

[47]  William J. Rapaport,et al.  Predication, fiction, and artificial intelligence , 1991 .

[48]  Mark P. Leone,et al.  On Texts and Their Interpretation , 1978, Current Anthropology.

[49]  William J. Rapaport,et al.  Implementation is Semantic Interpretation , 1999 .

[50]  G. Stratton.  Vision without inversion of the retinal image. , 1897 .

[51]  J. A. Coffa,et al.  The Semantic Tradition from Kant to Carnap: To the Vienna Station. , 1994 .

[52]  D. Birch,et al.  Reading Saussure: A Critical Commentary on the 'Cours de linguistique generale'@@@Functions of Style , 1987 .

[53]  William J. Rapaport.  How to make the World Fit Our Language: An Essay in Meinongian Semantics , 1981 .

[54]  R. Gottlieb,et al.  The New Yorker , 1987 .

[55]  William J. Rapaport,et al.  Holism, Conceptual-Role Semantics, and Syntactic Semantics , 2002, Minds and Machines.

[56]  John P. Hayes,et al.  Computer architecture and organization; (2nd ed.) , 1988 .

[57]  Stuart C. Shapiro,et al.  Identifying perceptually indistinguishable objects , 2005 .

[58]  D. McDermott.  Mind and mechanism , 2001 .

[59]  W. Rapaport.  Meinongian theories and a russellian paradox , 1978 .

[60]  S. Kosslyn.  The medium and the message in mental imagery: A theory. , 1981 .

[61]  J. Searle.  Expression and Meaning: The logical status of fictional discourse , 1975 .

[62]  Brian Cantwell Smith,et al.  Limits of Correctness in Computers , 1991, Computerization and Controversy, 2nd Ed..

[63]  Stuart C. Shapiro,et al.  The CASSIE Projects: An Approach to Natural Language Competence , 1989, EPIA.

[64]  Barbara Wienecke,et al.  Penguins , 2004, Wildlife Conservation Society Birds of Brazil.

[65]  David Kirsh,et al.  Foundations of AI: The Big Issues , 1991, Artif. Intell..

[66]  James H. Moor,et al.  The Turing Test: The Elusive Standard of Artificial Intelligence , 1989, Computational Linguistics.

[67]  Andy Clark,et al.  Artificial intelligence and cognitive science : conceptual issues , 1998 .

[68]  Marx W. Wartofsky,et al.  The Model Muddle: Proposals for an Immodest Realism , 1979 .

[69]  David Hilbert.  Philosophy of mathematics: On the infinite , 1984 .

[70]  Nicholas Jardine.  Formal semantics of Natural Language: Model theoretic semantics and natural language , 1975 .

[71]  William J. Rapaport,et al.  How to Pass a Turing Test , 2000, J. Log. Lang. Inf..

[72]  Eleanor Rosch,et al.  Principles of Categorization , 1978 .

[73]  G. Lakoff,et al.  Metaphors We Live By , 1980 .

[74]  W. Rapaport,et al.  The SNePS family , 1992 .

[75]  Stuart C. Shapiro,et al.  The Trial The Trail, Act 3: A Virtual Reality Drama Using Intelligent Agents , 2005, AIIDE.

[76]  Mell C. Carey,et al.  To Think or Not To Think , 1956 .

[77]  G. B. Price,et al.  Mathematical Models: A Sketch for the Philosophy of Mathematics , 1981 .

[78]  D. Dennett.  Why you can't make a computer that feels pain , 1978, Synthese.

[79]  Stuart C. Shapiro,et al.  SNePS Considered as a Fully Intensional Propositional Semantic Network , 1986, AAAI.

[80]  A. U.S..  Embodied Cassie , 2002 .

[81]  Richard C. Jennings.  Translation, Interpretation and Understanding , 1988 .

[82]  David Lorge Parnas,et al.  A technique for software module specification with examples , 1972, CACM.

[83]  Stuart C. Shapiro,et al.  Two Problems with Reasoning and Acting in Time , 2000, KR.

[84]  Douglas R. Hofstadter,et al.  A co eehouse conversation on the Turing test , 1981 .

[85]  William J. Rapaport,et al.  How minds can be computational systems , 1998, J. Exp. Theor. Artif. Intell..

[86]  William J. Rapaport,et al.  Syntactic Semantics: Foundations of Computational Natural-Language Understanding , 1988 .

[87]  H. M. Thipa.  Metaphors we live , 1988 .

[88]  J. Searle,et al.  Minds, Brains and Science , 1988 .

[89]  P. Smolensky.  On the proper treatment of connectionism , 1988, Behavioral and Brain Sciences.

[90]  William J. Rapaport,et al.  In Defense of Contextual Vocabulary Acquisition , 2005, CONTEXT.