An Analysis of the Criteria for Evaluating Adequate Theories of Computation
- Nir Fresco
- … show all 1 hide
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
This paper deals with the question: What are the criteria that an adequate theory of computation has to meet? (1) Smith’s answer: it has to meet the empirical criterion (i.e. doing justice to computational practice), the conceptual criterion (i.e. explaining all the underlying concepts) and the cognitive criterion (i.e. providing solid grounds for computationalism). (2) Piccinini’s answer: it has to meet the objectivity criterion (i.e. identifying computation as a matter of fact), the explanation criterion (i.e. explaining the computer’s behaviour), the right things compute criterion, the miscomputation criterion (i.e. accounting for malfunctions), the taxonomy criterion (i.e. distinguishing between different classes of computers) and the empirical criterion. (3) Von Neumann’s answer: it has to meet the precision and reliability of computers criterion, the single error criterion (i.e. addressing the impacts of errors) and the distinction between analogue and digital computers criterion. (4) “Everything” computes answer: it has to meet the implementation theory criterion by properly explaining the notion of implementation.
- Agassi, J. (1985) Technology: Philosophical and social aspects. Reidel, Dordrecht
- Chalmers, DJ (1996) Does a rock implement every finite-state automaton?. Synthese 108: pp. 309-333 CrossRef
- Copeland, JB (1996) What is computation?. Synthese 108: pp. 335-359 CrossRef
- Dretske, FI (1988) Explaining behaviour. The MIT Press, Cambridge
- Fodor, JA (1975) The language of thought. Harvard University Press, Cambridge
- Piccinini, G (2007) Computing mechanisms. Philosophy of Science 74: pp. 501-526 CrossRef
- Popper, K. R. (2002a). The poverty of historicism. London: Routledge Publishing.
- Popper, K. R. (2002b). The logic of scientific discovery. London: Routledge Publishing.
- Putnam, H. (1992). Representation and reality. The MIT Press.
- Pylyshyn, ZW Computing in cognitive science. In: Posner, MI eds. (1989) Foundations of cognitive science. The MIT Press, Cambridge, pp. 51-91
- Scheutz, M (1999) When physical systems realize functions. Minds and Machines 9: pp. 161-196 CrossRef
- Searle, JR (1990) Is the brain a digital computer?. Proceedings and Addresses of the American Philosophical Association 64: pp. 21-37 CrossRef
- Smith, BC (1996) On the origin of objects. The MIT Press, Cambridge
- Smith, BC The foundations of computing. In: Scheutz, M eds. (2002) Computationalism: New directions. The MIT Press, Cambridge, pp. 23-58
- Von Neumann, J. (1948). The general and logical theory of automata. In A. H. Taub (Ed.), (1963), Collected works (Vol. V, pp. 288–328). London: Pergamon Press.
- Wittgenstein, L. J. (2001). Philosophical investigations: 50th Anniversary commemorative edition. Blackwell Publishing.
- An Analysis of the Criteria for Evaluating Adequate Theories of Computation
Minds and Machines
Volume 18, Issue 3 , pp 379-401
- Cover Date
- Print ISSN
- Online ISSN
- Springer Netherlands
- Additional Links
- Turing machines
- Nir Fresco (1)
- Author Affiliations
- 1. School of History and Philosophy, The University of New South Wales, Sydney, NSW, Australia