Syntax, Semantics, and Computer Programs

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

Abstract

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 - Urbana: 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.

Analytics

Added to PP
2019-07-17

Downloads
435 (#42,697)

6 months
112 (#31,919)

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

On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Explanation: a mechanist alternative.William Bechtel & Adele Abrahamsen - 2005 - Studies in History and Philosophy of Biological and Biomedical Sciences 36 (2):421-441.
Physical Computation: A Mechanistic Account.Gualtiero Piccinini - 2015 - Oxford, GB: Oxford University Press UK.

View all 43 references / Add more references