• Corpus ID: 17062551

Philos. Technol. DOI 10.1007/s13347-013-0112-0 RESEARCH ARTICLE

  title={Philos. Technol. DOI 10.1007/s13347-013-0112-0 RESEARCH ARTICLE},
  author={Miscomputation Nir Fresco and Giuseppe Primiero},
The phenomenon of digital computation is explained (often differently) in computer science, computer engineering andmore 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… 

Tables from this paper


Computing Mechanisms*
An account of what it is for a physical system to be a computing mechanism—a system that performs computations that assimilates computational explanation to mechanistic explanation is offered.
Explanatory unification and the causal structure of the world
The modern study of scientific explanation dates from 1948, the year of the publication of the pioneering article by C. G. Hempel and Paul Oppenheim. Nearly forty years later, philosophers rightly
Programming Languages as Technical Artifacts
In this paper, it is argued that an appropriate conceptualization is furnished by the notion of a technical artifact.
Two Conceptions of Technical Malfunction
The topic of this paper is the notion of technical (as opposed to biological) malfunction. It is shown how to form the property being a malfunctioning F from the property F and the property modifier
Contemporary Debates in Philosophy of Biology
There Is a Place for Intelligent Design in the Philosophy of Biology: Intelligent DesignIn (Philosophy of) Biology: Some Legitimate Roles: Del Ratzsch (University of Massachusetts-Amherst) 20.
Foundations of Biophilosophy
Fundamental issues in Biophilosophy and Psychobiology are examined, as well as fundamental issues in Ecology, Developmental Biology, and Evolutionary Theory.
Introduction to Automata Theory, Languages and Computation
The Philosophy of Computer Science
Computing Machinery and Intelligence.
The question, “Can machines think?” is considered, and the question is replaced by another, which is closely related to it and is expressed in relatively unambiguous words.
The formulae-as-types notion of construction
The ultimate goal was to develop a notion of construction suitable for the interpretation of intuitionistic mathematics, so the use of the word construction is not very appropriate, but the terminology has been kept in order to preserve the original title.