Philosophy and Technology 26 (3):253-272 (2013)

Authors
Giuseppe Primiero
Università degli Studi di Milano
Nir Fresco
Ben-Gurion University of the Negev
Abstract
The phenomenon of digital computation is explained (often differently) in computer science, computer engineering and more broadly in cognitive science. Although the semantics and implications of malfunctions have received attention in the philosophy of biology and philosophy of technology, errors in computational systems remain of interest only to computer science. Miscomputation has not gotten the philosophical attention it deserves. Our paper fills this gap by offering a taxonomy of miscomputations. This taxonomy is underpinned by a conceptual analysis of the design and implementation of conventional computational systems at various levels of abstraction. It shows that ‘malfunction’ as it is typically used in the philosophy of artefacts only represents one type of miscomputation
Keywords Computer science  Specification  Program  Errors  Malfunction  Design  Implementation  Physical computation
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s13347-013-0112-0
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,107
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Computing Machinery and Intelligence.Alan M. Turing - 1950 - Mind 59 (October):433-60.
In Defense of Proper Functions.Ruth Garrett Millikan - 1989 - Philosophy of Science 56 (June):288-302.

View all 25 references / Add more references

Citations of this work BETA

How to Explain Miscomputation.Chris Tucker - 2018 - Philosophers' Imprint 18:1-17.
The Philosophy of Computer Science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.

View all 19 citations / Add more citations

Similar books and articles

Specification.Raymond Turner - 2011 - Minds and Machines 21 (2):135-152.
Against Structuralist Theories of Computational Implementation.Michael Rescorla - 2013 - British Journal for the Philosophy of Science 64 (4):681-707.
When Physical Systems Realize Functions.Matthias Scheutz - 1999 - Minds and Machines 9 (2):161-196.
On Implementing a Computation.David J. Chalmers - 1994 - Minds and Machines 4 (4):391-402.
Is Computation Based on Interpretation?Marcin Miłkowski - 2012 - Semiotica 2012 (188):219-228.
?Words Lie in Our Way?Bruce J. MacLennan - 1994 - Minds and Machines 4 (4):421-37.
Universe Creation on a Computer.Gordon McCabe - 2004 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 36 (4):591-625.
Design Science 97.Jürgen Friedrich - 1996 - AI and Society 10 (2):199-217.
Computationalism.Stuart C. Shapiro - 1995 - Minds and Machines 5 (4):467-87.

Analytics

Added to PP index
2013-06-29

Total views
128 ( #84,429 of 2,454,617 )

Recent downloads (6 months)
1 ( #449,377 of 2,454,617 )

How can I increase my downloads?

Downloads

My notes