Abstract
Turner (2018) argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.
Similar content being viewed by others
Notes
For more information on my course, see Rapaport (2005b) and the course syllabi at https://cse.buffalo.edu/~rapaport/510.html. The current draft of a textbook based on my lectures is available as Rapaport (2019).
There is a large literature on this, including Marr (1982); Suber (1988); Cleland (1993); Egan(1995, 2010, 2014); Peacocke (1995, 1999); Piccinini (2004, 2006, 2008); Rescorla (2007, 2012, 2014, 2015); Sprevak (2010); Buechner (2011, 2018); Anderson (2015); Shagrir and Bechtel (2015, 2018); Hill (2016); Dewhurst (2018). For an overview, see Rapaport (2017a, 2019).
This way of characterizing syntax suggests that it might be an abstract analogue of a “mechanism,” e.g., “a structure performing a function in virtue of its component parts, component operations, and their organization” (Bechtel and Abrahamsen 2005, p. 423).
The parenthetical hedge is simply to allow for the possibility of there being other kinds of understanding that might not involve either syntactic or semantic understanding, though I would be hard-pressed to think of one. “Intuitive understanding,” perhaps? But I would consider an intuitive understanding of some domain to be a kind of understanding that one has by having become familiar with that domain, and that would just be what I am calling syntactic understanding. See Rapaport (1995) for further discussion.
See also the more easily accessible (Dennett 2009, p. 10061).
Some current implementations of Excel require a plus-sign between the two clicks in the third instruction. But the version I was using at the time (1992) did not, making the operation that much more mysterious!
On p. 193, Turner refers to the human computer as ‘she,’ as will I.
References
Anderson, B.L. (2015). Can computational goals inform theories of vision? Topics in Cognitive Science. https://doi.org/10.1111/tops.12136.
Bechtel, W., & Abrahamsen, A. (2005). Explanation: a mechanistic alternative. Studies in History and Philosophy of the Biological and Biomedical Sciences, 36, 421–441. http://mechanism.ucsd.edu/research/explanation.mechanisticalternative.pdf.
Brooks, F.P. Jr. (1975). The mythical Man-Month. Reading: Addison-Wesley.
Buechner, J. (2011). Not even computing machines can follow rules: Kripke’s critique of functionalism. In Berger, A. (Ed.) Saul Kripke (pp. 343–367). New York: Cambridge University Press.
Buechner, J. (2018). Does Kripke’s argument against functionalism undermine the standard view of what computers are? Minds and Machines, 28(3), 491–513.
Chaitin, G.J. (1975). Randomness and mathematical proof. Scientific American, 232(5), 47–52. http://www.owlnet.rice.edu/km9/Randomness.
Cleland, C.E. (1993). Is the Church-Turing thesis true? Minds and Machines, 3(3), 283–312.
Dennett, D.C. (1987). The intentional stance. Cambridge: MIT Press.
Dennett, D.C. (1995). Darwin’s dangerous idea. New York: Simon & Schuster.
Dennett, D.C. (2009). Darwin’s ‘strange inversion of reasoning’. Proceedings of the National Academy of Science, 106(suppl. 1), 10,061–10,065. http://www.pnas.org/cgi/doi/10.1073/pnas.0904433106.
Dennett, D.C. (2013). Turing’s ‘strange inversion of reasoning’. In Cooper, S.B., & van Leeuwen, J. (Eds.) Alan Turing: His Work and Impact (pp. 569–573). Amsterdam: Elsevier.
Dewhurst, J. (2018). Individuation without representation. British Journal for the Philosophy of Science, 69, 103–116.
Egan, F. (1995). Computation and content. Philosophical Review, 104(2), 181–203.
Egan, F. (2010). Computational models: a modest role for content. Studies in History and Philosophy of Science, 41(3), 253–259.
Egan, F. (2014). How to think about mental content. Philosophical Studies, 170(1), 115–135. preprint at https://www.academia.edu/4160744/How_to_think_about_Mental_Content; video at https://vimeo.com/60800468.
Hill, R.K. (2016). What an algorithm is. Philosophy and Technology, 29, 35–59.
Hill, R.K., & Rapaport, W.J. (2018). Exploring the territory: the logicist way and other paths into the philosophy of computer science. American Philosophical Association Newsletter on Philosophy and Computers, 18 (1), 34–37. https://cdn.ymaws.com/www.apaonline.org/resource/collection/EADE8D52-8D02-4136-9A2A-729368501E43/ComputersV18n1.pdf.
Hofweber, T. (2018). Logic and ontology. In Zalta, E.N. (ed.). The Stanford Encyclopedia of Philosophy, summer 2018 edn, Metaphysics Research Lab, Stanford University, https://plato.stanford.edu/archives/sum2018/entries/logic-ontology/.
Marr, D. (1982). Vision: a computational investigation into the human representation and processing of visual information. New York: W.H. Freeman.
McDermott, D. (1980). Artificial intelligence meets natural stupidity. In Haugeland, J. (Ed.) Mind Design: Philosophy, Psychology, Artificial Intelligence (pp. 143–160). Cambridge: MIT Press. http://www.inf.ed.ac.uk/teaching/courses/irm/mcdermott.pdf.
Morris, C. (1938). Foundations of the theory of signs. Chicago: University of Chicago Press.
Pattis, R.E., Roberts, J., Stehlik, M. (1995). Karel the robot: a gentle introduction to the art of programming, 2nd edn. New York: Wiley.
Peacocke, C. (1995). Content, computation and externalism. Philosophical Issues, 6, 227–264.
Peacocke, C. (1999). Computation as involving content: a response to Egan. Mind & Language, 14(2), 195–202.
Piccinini, G. (2004). Functionalism, computationalism, and mental contents. Canadian Journal of Philosophy, 34 (3), 375–410. http://www.umsl.edu/~piccininig/Functionalism_Computationalism_and_Mental_Contents.pdf.
Piccinini, G. (2006). Computation without representation. Philosophical Studies, 137(2), 204–241. http://www.umsl.edu/~piccininig/Computation_without_Representation.pdf.
Piccinini, G. (2008). Computers. Pacific Philosophical Quarterly, 89, 32–73. http://www.umsl.edu/piccininig/Computers.pdf.
Piccinini, G. (2015). Physical computation: a mechanistic account. Oxford: Oxford University Press.
Rapaport, W.J. (1986). Searle’s experiments with thought. Philosophy of Science, 53, 271–279. http://www.cse.buffalo.edu/rapaport/Papers/philsci.pdf.
Rapaport, W.J. (1988). Syntactic semantics:foundations of computational natural-language understanding. In Fetzer, J.H. (Ed.) Aspects of artificial intelligence. http://www.cse.buffalo.edu/rapaport/Papers/synsem.pdf; reprinted with numerous errors in Eric Dietrich (ed.) (1994), Thinking machines and virtual persons: Essays on the intentionality of machines (pp. 225–273). San Diego; Academic Press (pp. 81–131). Dordrecht: Kluwer Academic Publishers.
Rapaport, W.J. (1995). Understanding understanding: syntactic semantics and computational cognition. In Tomberlin, J.E. (Ed.) AI, Connectionism, and Philosophical Psychology (Philosophical Perspectives, Vol. 9). http://www.cse.buffalo.edu/rapaport/Papers/rapaport95-uu.pdf. Reprinted in Toribio, Josefa, & Clark, Andy (eds.) (1998), Language and Meaning in Cognitive Science: Cognitive Issues and Semantic Theory (Artificial Intelligence and Cognitive Science: Conceptual Issues, Vol. 4. New York, Garland (pp. 49–88). Atascadero: Ridgeview.
Rapaport, W.J. (1999). Implementation is semantic interpretation. The Monist, 82, 109–130. http://www.cse.buffalo.edu/rapaport/Papers/monist.pdf.
Rapaport, W.J. (2003). What did you mean by that? Misunderstanding, negotiation, and syntactic semantics. Minds and Machines, 13(3), 397–427. http://www.cse.buffalo.edu/rapaport/Papers/negotiation-mandm.pdf.
Rapaport, W.J. (2005a). Implemention is semantic interpretation: further thoughts. Journal of Experimental and Theoretical Artificial Intelligence, 17(4), 385–417. https://www.cse.buffalo.edu//rapaport/Papers/jetai05.pdf.
Rapaport, W.J. (2005b). Philosophy of computer science: an introductory course. Teaching Philosophy, 28(4), 319–341. http://www.cse.buffalo.edu//~rapaport/philcs.html.
Rapaport, W.J. (2012). Semiotic systems, computers, and the mind: how cognition could be computing. International Journal of Signs and Semiotic Systems, 2(1), 32–71. http://www.cse.buffalo.edu/rapaport/Papers/Semiotic_Systems,_Computers,_and_the_Mind.pdf.
Rapaport, W.J. (2017a). On the relation of computing to the world. In Powers, T.M. (Ed.) 29–64. Cham: Springer. Paper based on 2015 IACAP Covey Award talk; preprint at http://www.cse.buffalo.edu/~rapaport/Papers/rapaport4IACAP.pdf.
Rapaport, W.J. (2017b). Semantics as syntax. American Philosophical Association Newsletter on Philosophy and Computers, 17(1), 2–11. http://c.ymcdn.com/sites/www.apaonline.org/resource/collection/EADE8D52-8D02-4136-9A2A-729368501E43/ComputersV17n1.pdf.
Rapaport, W.J. (2018). Syntactic semantics and the proper treatment of computationalism. In Danesi, M. (Ed.) Empirical Research on Semiotics and Visual Rhetoric. (pp. 128–176). Hershey: IGI Global. References on pp. 273–307; http://www.cse.buffalo.edu/~rapaport/Papers/SynSemProperTrtmtCompnlism.pdf.
Rapaport, W.J. (2019). Philosophy of computer science. Current draft in progress at http://www.cse.buffalo.edu/~rapaport/Papers/phics.pdf.
Rescorla, M. (2007). Church’s thesis and the conceptual analysis of computability. Notre Dame Journal of Formal Logic, 48(2), 253–280. http://www.philosophy.ucsb.edu/people/profiles/faculty/cvs/papers/church2.pdf.
Rescorla, M. (2012). Are computational transitions sensitive to semantics?. Australian Journal of Philosophy, 90(4), 703–721. http://www.philosophy.ucsb.edu/docs/faculty/papers/formal.pdf.
Rescorla, M. (2014). The causal relevance of content to computation. Philosophy and Phenomenological Research, 88(1), 173–208. http://www.philosophy.ucsb.edu/people/profiles/faculty/cvs/papers/causalfinal.pdf.
Rescorla, M. (2015). The representational foundations of computation. Philosophia Mathematica, 23 (3), 338–366. http://www.philosophy.ucsb.edu/docs/faculty/michael-rescorla/representational-foundations.pdf.
Shagrir, O. (2018). In defense of the semantic view of computation. Synthese. https://doi.org/10.1007/s11229-018-01921-z.
Shagrir, O., & Bechtel, W. (2015). Marr’s computational-level theories and delineating phenomena. In Kaplan, D. (Ed.) Integrating Psychology and Neuroscience: Prospects and Problems. http://philsci-archive.pitt.edu/11224/1/shagrir_and_bechtel.Marr’s_Computational_Level_and_Delineating_Phenomena.pdf. Oxford: Oxford University Press.
Smith, B. (2003). Ontology. In Floridi, L. (Ed.) Blackwell Guide to the Philosophy of Computing and Information. https://philpapers.org/archive/SMIO-11.pdf (pp. 155–166). Oxford: Blackwell.
Sprevak, M. (2010). Computation, individuation, and the received view on representation. Studies in History and Philosophy of Science, 41(3), 260–270.
Suber, P. (1988). What is software? Journal of Speculative Philosophy, 2(2), 89–119. revised version at http://www.earlham.edu/~peters/writing/software.htm.
Tedre, M. (2015). The science of computing: Shaping a discipline. Boca Raton: CRC Press/Taylor & Francis.
Turing, A.M. (1936). On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, Ser 2, 42, 230–265. https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf.
Turner, R. (2018). Computational artifacts: Towards a philosophy of computer science. Berlin: Springer.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Rapaport, W.J. Syntax, Semantics, and Computer Programs. Philos. Technol. 33, 309–321 (2020). https://doi.org/10.1007/s13347-019-00365-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13347-019-00365-8