Syntax, Semantics, and Computer Programs

Philosophy and Technology 33 (2):309-321 (2020)
  Copy   BIBTEX


Turner 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 books and articles

A Modal Defence of Strong AI.Steffen Borge - 2007 - The Proceedings of the Twenty-First World Congress of Philosophy 6:127-131.
A Modal Defence of Strong AI.Steffen Borge - 2007 - In Dermot Moran Stephen Voss (ed.), The Proceedings of the Twenty-First World Congress of Philosophy. The Philosophical Society of Turkey. pp. 127-131.
Chinese room argument.Larry Hauser - 2001 - Internet Encyclopedia of Philosophy.
On teaching computer ethics within a computer science department.Michael J. Quinn - 2006 - Science and Engineering Ethics 12 (2):335-343.
Toward Computer-Aided Induction: A Brief Review of Currently Implemented Aqval Programs.Ryszard Stanisław Michalski - 1977 - Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
Searle, programs and functionalism.Richard Double - 1983 - Nature and System 5 (March-June):107-14.
Three paradigms of computer science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.
A.I., Scientific discovery and realism.Mario Alai - 2004 - Minds and Machines 14 (1):21-42.
Minds, brains, and programs.John Searle - 1980 - Behavioral and Brain Sciences 3 (3):417-57.


Added to PP

219 (#57,828)

6 months
52 (#25,376)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

William J. Rapaport
State University of New York, Buffalo

Citations of this work

What is a Simulation Model?Juan M. Durán - 2020 - Minds and Machines 30 (3):301-323.
Computational Artifacts: the Things of Computer Science.Raymond Turner - 2019 - Philosophy and Technology 10 (2):47-69.

Add more citations

References found in this work

Explanation: a mechanist alternative.William Bechtel & Adele Abrahamsen - 2005 - Studies in History and Philosophy of Biological and Biomedical Sciences 36 (2):421-441.
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Darwin's Dangerous Idea: Evolution and the Meanings of Life.David L. Hull - 1997 - British Journal for the Philosophy of Science 48 (3):435-438.

View all 41 references / Add more references