Abstract
The paper argues that a computational constraint is one that appeals to control of computational resources in a computationalist explanation. Such constraints may arise in a theory and in its models. Instrumental use of the same concept is trivial because the constraining behavior of any function eventually reduces to its computation. Computationalism is not instrumentalism. Born-again computationalism, which is an ardent form of pancomputationalism, may need some soul searching about whether a genuinely computational explanation is necessary or needed in every domain, because the resources in a computationalist explanation are limited. Computational resources are the potential targets of computational constraints. They are representability, time, space, and, possibly, randomness, assuming that ‘BPP = BQP?’ question remains open. The first three are epitomized by the Turing machine, and manifest themselves for example in complexity theories. Randomness may be a genuine resource in quantum computing. From this perspective, some purported computational constraints may be instrumental, and some supposedly noncomputational or cognitivist constraints may be computational. Examples for both cases are provided. If pancomputationalism has instrumentalism in mind, then it may be a truism, therefore not very interesting, but born-again computationalism cannot be computationalism as conceived here.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
Interaction of computational complexity, which looks at resource behavior of functions both at the level of theory and the model, and algorithmic information theory, which looks at resource usage at program sizes, not behaviors, in the form of Chaitin-Kolmogorov-Solomonoff complexity, is an open research area; see e.g. Chaitin (1987). There is also the notion of logical resources, i.e. number of variables and quantifiers, and size of a formula, which leads to descriptive complexity. I leave the latter complexity measures to another paper.
- 2.
In this sense, the notion of representation is not vague in a computationalist explanation, as it is sometimes claimed in dynamical approaches to cognition, e.g. Beer (2003). It is something that makes other resources of a TM accessible. Its ontology in a model is a related but different practice. Reference by an internal representation can be wrong at times, as in early child language acquisition, but representation itself is robust. Of course, not all dynamicists would agree on uselessness of a representation, but complexity results from dynamical systems, such as the one currently discussed in Blum et al. (1989), must already alert the dynamicist and embodied cognitivist that computation in cognition was never parodied as rule-following only; it’s about management of computational resources; see Mirolli (2012), Valiant (2013) and Aaronson (2013b) for some discussion.
- 3.
Also note that this comment comes from a man who had considered the mind connection of Turing unthinkable, assuming that Turing flawed by considering possible states of the mind to continue to be finite when the mind changes (Wang 1974: 325, quoting Gödel). P ≠ NP conjecture brought another perspective to the mind problem; see Aaronson (2013a,b).
- 4.
As an example from cognitive science of language, consider the word sleep. In the spectrum of sleep-like thoughts and behaviors, one ceases to use the word ‘sleep’ if it strays too far from someone’s understanding, and from desires of communication. This is self-imposed error correction, which avoids uncountably many sleep-related words. In that sense language is a digital process, i.e. it is discrete and robustly representational (Haugeland 1997), and words are its proofs.
- 5.
A cogent warning about why pancomputationalism may be a truism is given by Horsman et al. (2013: 20): “A common, and unfortunate, method of ascribing computational ability to a nonstandard system is as follows. A novel computing substrate is proposed (a stone, a soap bubble, a large interacting condensed-matter system, etc.). The physical substrate is set going and an evolution occurs. At a certain point, the end of the process is declared and measurements taken. The initial and final states of the system are compared, and then a computation and a representation picked such that if the initial state, and final states are represented in such a way then such a computation would abstractly connect them. The system is then declared to have performed such a computation: the stone has evaluated the gravitational constant, the soap bubble has solved a complex optimization problem and so on.
Such arguments, without any further testing or evidence, are rightly treated with suspicion. Given the vast range of representation for physical systems available, almost any computation can be made to fit the difference of initial and final physical states of a system. If such arguments really were correct, we would not only have to conclude that everything in the universe computes, but that everything computes every possible computation all of the time. Such extreme pancomputationalism is even less useful than the usual kind.”
- 6.
Physical possibility is crucial because every computation requires an executive medium. This is one difference between functionalism and computationalism, where in the latter the primitives of the executive substrate may shape the form of the computed function. For example, membrane computing’s in command (to permeate a local membrane) has a Turing correlate (Păun 2000), but we would expect membrane models to be programmed more naturally with in. Making a difference in complexity classes makes a difference in computationalism, but not necessarily in functionalism.
- 7.
Notice that turn itself is not a resource. It translates to bounded use of space, which is a resource.
- 8.
Roughly speaking, here is how we can get the answer algorithmically. Assume that we expect QTM M to compute M(x) = f(x), given x. Input is prepared in a superposition by for example a series of Hadamard transformations, from \(\vert 0\rangle\) to \(\vert x0\cdots 0\rangle\). M computes and ends in a state \(\vert xf(x)0\cdots 0r\rangle\), where r is the residue of quantum gates. Copy—not clone—the result to unused bits to get \(\vert xf(x)f(x)r\rangle\) by a series of quantum operations \(\vert b_{1}b_{2}\rangle \mapsto \vert b_{1}(b_{1} \oplus b_{2})\rangle\). Then run the gates in reverse to get \(\vert x0\cdots 0f(x)0\cdots 0\rangle\), and Hadamard to get \(\vert 0\cdots 0f(x)0\cdots 0\rangle\), viz. \(\vert f(x)\rangle\).
References
Aaronson, S. (2013a). Quantum computing since Demokritus. Cambridge: Cambridge University Press.
Aaronson, S. (2013b). Why philosophers should care about computational complexity. In B. J. Copeland, C. J. Posy, & O. Shagrir (Eds.), Computability: Turing, Gödel, Church, and beyond. Cambridge: MIT Press.
Abramson, F. G. (1971). Effective computation over the real numbers. In IEEE 54th Annual Symposium on Foundations of Computer Science, Los Alamitos (pp. 33–37).
Arora, S., & Barak, B. (2009). Computational complexity: A modern approach. Cambridge: Cambridge University Press.
Avcu, E. (2014). Nouns-first, verbs-first and computationally easier first: A preliminary design to test the order of acquisition. Unpublished master’s thesis, Cognitive Science department, Middle East Technical University (ODTÜ), Ankara.
Beer, R. D. (2003). The dynamics of active categorical perception in an evolved model agent. Adaptive Behavior, 11(4), 209–243.
Blum, L., Shub, M., & Smale, S. (1989). On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines. Bulletin (New Series) of the American Mathematical Society, 21(1), 1–46.
Bozşahin, C. (2012). Combinatory linguistics. Berlin/Boston: De Gruyter Mouton.
Bozşahin, C. (2014). Natural recursion doesn’t work that way: Automata in planning and syntax. In V. C. Müller (Ed.), Fundamental issues of artificial intelligence (synthese library). Berlin: Springer.
Brown, P. (1998). Children’s first verbs in Tzeltal: Evidence for an early verb category. Linguistics, 36(4), 713–753.
Chaitin, G. J. (1987). Algorithmic information theory. Cambridge/New York: Cambridge University Press.
Cockshott, P., Mackenzie, L. M., & Michaelson, G. (2012). Computation and its limits. Oxford/New York: Oxford University Press.
Copeland, B. J. (2002). Hypercomputation. Minds and Machines, 12(4), 461–502.
Copeland, B. J. (2008). The Church-Turing thesis. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy. Stanford: Stanford University.
Deutsch, D. (1985). Quantum theory, the Church-Turing principle and the universal quantum computer. Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 400(1818), 97–117.
Deutsch, D. (1989). Quantum computational networks. Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 425(1868), 73–90.
Deutsch, D. (2011). The beginning of infinity: Explanations that transform the world. Penguin: New York.
Eryılmaz, K., & Bozşahin, C. (2012). Lexical redundancy, naming game and self-constrained synonymy. In Proceedings of the 34th Annual Meeting of the Cognitive Science Society. Sapporo.
Floridi, L. (2004). Open problems in the philosophy of information. Metaphilosophy, 35(4), 554–582.
Fodor, J. D. (1998). Parsing to learn. Journal of Psycholinguistic research, 27(3), 339–374.
Gentner, D. (1982). Why nouns are learned before verbs: Linguistic relativity versus natural partitioning. In S. A. Kuczaj II (Ed.), Language development, vol.2: Language, thought and culture (pp. 301–334). Hillsdale: Lawrence Erlbaum.
Gödel, K. (1946). Remarks before the Princeton bicentennial conference on problems in mathematics. In M. Davis (Ed.), Undecidable. New York: Raven Press. (1965, p. 84)
Gold, E. M. (1965). Limiting recursion. Journal Symbolic Logic, 30, 28–48.
Harrison, M. (1978). Introduction to formal language theory. Reading: Addison-Wesley.
Haugeland, J. (1997). What is mind design? In J. Haugeland (Ed.), Mind design II (pp. 1–28). Cambridge: MIT Press.
Hawkins, J. A. (1994). A performance theory of order and constituency. Cambridge: Cambridge University Press.
Hodges, A. (2013). Alan Turing. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy. Stanford: Stanford University.
Horsman, C., Stepney, S., Wagner, R. C., & Kendon, V. (2013). When does a physical system compute? Proceedings of the Royal Society A, 470(20140182).
Jaynes, J. (1976). The origin of consciousness in the breakdown of the bicameral mind. New York: Houghton Mifflin Harcourt.
Joshi, A. (1990). Processing crossed and nested dependencies: An automaton perspective on the psycholinguistic results. Language and Cognitive Processes, 5, 1–27.
Mirolli, M. (2012). Representations in dynamical embodied agents: Re-analyzing a minimally cognitive model agent. Cognitive Science, 36(5), 870–895.
Müller, V. C. (2009). Pancomputationalism: Theory or metaphor? In The relevance of philosophy for information science. Berlin: Springer.
Păun, G. (2000). Computing with membranes. Journal of Computer and System Sciences, 61(1), 108–143.
Păun, G., & Rozenberg, G. (2002). A guide to membrane computing. Theoretical Computer Science, 287(1), 73–100.
Piccinini, G. (2003). Computations and computers in the sciences of mind and brain. Unpublished doctoral dissertation, University of Pittsburgh.
Piccinini, G. (2007). Computational modelling vs. computational explanation: Is everything a Turing Machine, and does it matter to the philosophy of mind? Australasian Journal of Philosophy, 85(1), 93–115.
Putnam, H. (1965). Trial and error predicates and the solution of a problem of Mostowski. Journal Symbolic Logic, 30, 49–57.
Putnam, H. (1967). Psychological predicates. In Art, mind, and religion (pp. 37–48). Pittsburgh: University of Pittsburgh Press.
Searle, J. R. (1990). Collective intentions and actions. In M. E. P. Philip, R. Cohen Jerry, & L. Morgan (Ed.), Intentions in communication. Cambridge: MIT Press.
Shieber, S. (1985). Evidence against the context-freeness of natural language. Linguistics and Philosophy, 8, 333–343.
Simon, H. A. (1996). The sciences of the artificial (3rd ed.). Cambridge: MIT press.
Steedman, M. (2002). Plans, affordances, and combinatory grammar. Linguistics and Philosophy, 25, 723–753.
Tardif, T. (1996). Nouns are not always learned before verbs: Evidence from Mandarin speakers’ early vocabularies. Developmental Psychology, 32(3), 497–504.
Tomasello, M., & Call, J.(1997). Primate cognition. New York: Oxford University Press.
Tomasello, M., Call, J., & Hare, B. (2003). Chimpanzees understand psychological states—the question is which ones and to what extent. Trends in Cognitive Sciences, 7(4), 153–156.
Turing, A. M. (1936). On computable numbers, with an application to the entscheidungsproblem. Proceedings of the London Mathematical Society, 42(series 2), 230–265.
Turing, A. M. (1939). Systems of logic based on ordinals. Proceedings of the London Mathematical Society, 2(1), 161–228.
Valiant, L. (2013). Probably approximately correct: Nature’s algorithms for learning and prospering in a complex world. New York: Basic Books.
Vijay-Shanker, K. (1987). A study of tree adjoining grammars. Unpublished doctoral dissertation, University of Pennsylvania.
Wang, H. (1974). From mathematics to philosophy. London: Routledge & Kegan Paul.
Acknowledgements
Thanks to Mark Addis, Tarek Besold, Mark Bishop, Robin Hill, Doukas Kapantaïs, Stasinos Konstantopoulos, Giacomo Lini, Halit Oğuztüzün, Deniz Şener, Mario Verdicchio, Ioannis Votsis, Aziz Zambak for discussion and advice on the paper and related topics. I am to blame for all errors and misunderstanding.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Bozşahin, C. (2016). What Is a Computational Constraint?. In: Müller, V.C. (eds) Computing and Philosophy. Synthese Library, vol 375. Springer, Cham. https://doi.org/10.1007/978-3-319-23291-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-23291-1_1
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-23290-4
Online ISBN: 978-3-319-23291-1
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)