Abstract
The main claim of this paper is that notions of implementation based on an isomorphic correspondence between physical and computational states are not tenable. Rather, ``implementation'' has to be based on the notion of ``bisimulation'' in order to be able to block unwanted implementation results and incorporate intuitions from computational practice. A formal definition of implementation is suggested, which satisfies theoretical and practical requirements and may also be used to make the functionalist notion of ``physical realization'' precise. The upshot of this new definition of implementation is that implementation cannot distinguish isomorphic bisimilar from non-isomporphic bisimilar systems anymore, thus driving a wedge between the notions of causal and computational complexity. While computationalism does not seem to be affected by this result, the consequences for functionalism are not clear and need further investigations.
- Agre, P. (1997), Computation and Human Experience, Cambridge: Cambridge University Press. Google ScholarDigital Library
- Barwise, J. and Moss, L. (1996), Vicious Circles, CSLI Lecture Notes, Cambridge University Press.Google Scholar
- Block, N. (1996), 'What is Functionalism?' in The Encyclopedia of Philosophy Supplement, Macmillan.Google Scholar
- Chalmers, D.J. (1994), 'On Implementing a Computation', Minds and Machines 4, 391-402.Google ScholarCross Ref
- Chalmers, D.J. (1996), 'Does a Rock Implement Every Finite-State Automaton?', Synthese 108, 310-333.Google ScholarCross Ref
- Chrisley, R.L. (1994), 'Why Everything Doesn't Realize Every Computations', Minds and Machines 4, 391-402.Google ScholarCross Ref
- Copeland, B.J. (1996), 'What is Computation?', Synthese 108, 403-420.Google ScholarCross Ref
- Cummins, R. (1989), Meaning and Mental Representation, Cambridge, MA, MIT Press.Google Scholar
- David, M. (1997), 'Kim's Functionalism', in Philosophical Perspectives, 11, Mind, Causation, and World.Google Scholar
- Hopcroft, J.E. and Ullman, J.D. (1979), Introduction to Automata Theory, Languages, and Computation , Massachusetts, Addison-Wesley Publishing Company. Google ScholarDigital Library
- Kim, J. (1998), Mind in a Physical World, Cambridge, MA: MIT Press.Google Scholar
- MacLennan, B.J. (1994), 'Words Lie in Our Way', Minds and Machines 4, 421-437.Google ScholarCross Ref
- Melnyk, A. (1996), 'Searle's Abstract Argument Against Strong AI', Synthese 108, 391-419.Google ScholarCross Ref
- Papineau, D. (1995), 'Arguments for Supervenience and Physical Realization'. in Savellos, E. and Yalçin, Ü, eds., Supervenience, Cambridge University Press.Google Scholar
- Putnam, H. (1988), Representation and Reality, Cambridge: MIT Press. Google ScholarDigital Library
Index Terms
- Computational versus Causal Complexity
Recommendations
The Explanatory Role of Computation in Cognitive Science
Which notion of computation (if any) is essential for explaining cognition? Five answers to this question are discussed in the paper. (1) The classicist answer: symbolic (digital) computation is required for explaining cognition; (2) The broad digital ...
Computationalism: Still the Only Game in Town
Mental representations, Swiatczak (Minds Mach 21:19---32, 2011) argues, are fundamentally biochemical and their operations depend on consciousness; hence the computational theory of mind, based as it is on multiple realisability and purely syntactic ...
The Chinese Room Argument Reconsidered: Essentialism, Indeterminacy, and Strong AI
I argue that John Searle's (1980) influential Chinese room argument (CRA) against computationalism and strong AI survives existing objections, including Block's (1998) internalized systems reply, Fodor's (1991b) deviant causal chain reply, and Hauser's (...
Comments