Abstract
The central argument for functionalism is the so-called argument from multiple realizations. According to this argument, because a functionally characterized system admits a potential infinity of structurally diverse physical realizations, the functional organization of such systems cannot be captured in a law-like manner at the level of physical description (and, thus, must be treated as a principally autonomous domain of inquiry). I offer a rebuttal of this argument based on formal modeling of its premises in the framework of automata theory. In this formal model I exploit the so-called minimal (universal) realizations of automata behaviors to show that the argument from multiple realizations is not just invalid but is refutable, in the sense that its premises (when made formally precise) entail the very opposite of the functionalist's conclusion.
Similar content being viewed by others
REFERENCES
Arbib, M. A.: 1964, Brains, Machines and Mathematics, McGraw-Hill, New York.
Arbib, M. A.: 1969, Theories of Abstract Automata, Prentice-Hall, Englewood Cliffs, New Jersey.
Block, N.: 1980, Readings in Philosophy of Psychology Vol. 1, Harvard University Press, Cambridge, Mass.
Block, N.: 1980a, ‘What Is Functionalism’, in Block (1980), pp. 171–184.
Block, N.: 1980b, ‘Troubles With Functionalism’, in Block (1980), pp. 268–305.
Block, N. and J. Fodor: 1972, ‘What Psychological States Are Not’, Philosophical Review 81, 159–81.
Büchi, J. R.: 1966, ‘Algebraic Theory of Feedback in Discrete Systems, Part I’, in Automata Theory, E. R. Caianiello (ed.), Academic Press, New York, pp. 70–101.
Churchland, P. M.: 1984, Matter and Consciousness, MIT Press, Cambridge, Mass.
Churchland, P. M.: 1989, The Neurocomputational Perspective, MIT Press, Cambridge, Mass.
Cowan, J. D.: 1966, ‘Synthesis of Reliable Automata from Unreliable Components’ in E. R. Caianiello (ed.), Automata Theory, Academic Press, New York, pp. 131–45.
Dennett, D. C.: 1978, Brainstorms: Philosophical Essays on Mind and Psychology, Bradford Books, Montgomery, Vermont.
Ehrig, H., K. D. Kiermeier, H. J. Kreowski, and W. Kuhnel: 1974, Universal Theory of Automata: A Categorical Approach, B. G. Teubner, Stuttgart.
Engeler, E.: 1973, Introduction to the Theory of Computation, Academic Press, New York.
Fodor, J.: 1975, The Language of Thought, Crowell, New York.
Gill, A.: 1962, Introduction to the Theory of Finite-State Machines, McGraw-Hill, New York.
Goguen, J. A.: 1972, ‘Minimal Realization of Machines in Closed Categories’, Bulletin of the American Mathematical Society 78, 777–83.
Kim, J.: 1972, ‘Phenomenal Properties, Psychophysical Laws, and the Identity Theory’, Monist 56, 177–92.
Putnam, H.: 1975, Mind, Language and Reality: Philosophical Papers, Vol. 2, Cambridge University Press, New York.
Putnam, H.: 1975a, ‘Philosophy and Our Mental Life’, in Putnam (1975), 91–303.
Putnam, H.: 1975b, ‘The Nature of Mental States’, in Putnam (1975), pp. 429–40.
Pylyshyn, Z. W.: 1984, Computation and Cognition, MIT Press, Cambridge, Mass.
Suppes, P.: 1991, ‘Can Psychological Software Be Reduced to Physiological Hardware?’, in E. Agazzi (ed.), The Problem of Reductionism in Science, Kluwer Academic Publishers, Holland, pp. 183–98.
von Neumann, J.: 1956, ‘Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components’, in G. E. Shannon and J. McCarthy (eds.), Automata Studies, Princeton University Press, Princeton, NJ, pp. 43–98.
Rights and permissions
About this article
Cite this article
Batitsky, V. A Formal Rebuttal of the Central Argument for Functionalism. Erkenntnis 49, 201–220 (1998). https://doi.org/10.1023/A:1005469002635
Issue Date:
DOI: https://doi.org/10.1023/A:1005469002635