Skip to main content
Download PDF

Intractability and the use of heuristics in psychological explanations

Synthese volume 187, pages 471–487 (2012)Cite this article

Abstract

Many cognitive scientists, having discovered that some computational-level characterization f of a cognitive capacity \({\phi}\) is intractable, invoke heuristics as algorithmic-level explanations of how cognizers compute f. We argue that such explanations are actually dysfunctional, and rebut five possible objections. We then propose computational-level theory revision as a principled and workable alternative.

References

  • Anderson J. R. (1990) The adaptive character of thought. Lawrence Erlbaum Associates, Hillsdale, NJ

    Google Scholar 

  • Ausiello G., Crescenzi P., Gambosi G., Kann V., Marchetti-Spaccamela A., Protasi M. (1999) Complexity and approximation: Combinatorial optimization problems and their approximability properties. Springer, Berlin

    Google Scholar 

  • Barton G., Berwick R., Ristad E. (1987) Computational complexity and natural language. The MIT Press, Cambridge, MA

    Google Scholar 

  • Bechtel W., Wright C. (2009) What is psychological explanation. In: Calvo P., Symons J. (eds) Routledge companion to the philosophy of psychology. Routledge, New York, pp 113–130

    Google Scholar 

  • Bylander T. (1994) The computational complexity of propositional STRIPS planning. Artificial Intelligence 89(1–2): 165–204

    Article  Google Scholar 

  • Carruthers P. (2005) Simple heuristics meet massive modularity. In: Carruthers P., Laurence S., Stich S. (eds) The innate mind. Vol. 2: Culture and cognition. Oxford University Press, Oxford, pp 181–198

    Google Scholar 

  • Chater N., Tenenbaum J. B., Yuille A. (2006) Probabilistic models of cognition. Trends in Cognitive Science 10(7): 287–293

    Article  Google Scholar 

  • Cherniak C. (1986) Minimum rationality. The MIT Press, Cambridge, MA

    Google Scholar 

  • Cook, S. (1971). The complexity of theorem-proving procedures. In Proceedings of the 3rd annual ACM symposium on the theory of computing. New York, pp. 151–158.

  • Downey R., Fellows M. (1999) Parameterized complexity. Springer, Berlin

    Book  Google Scholar 

  • Forbus, K., & Oblinger, D. (1990). Making SME Greedy and Pragmatic. In Proceedings of the twelfth annual conference of the cognitive science society. Hillsdale, NJ, pp. 61–68.

  • Fortnow L. (2009) The status of the P versus NP problem. Communications of the ACM 52(9): 78–86

    Article  Google Scholar 

  • Franks B. (1995) On explanation in the cognitive sciences: Competence, idealization, and the failure of the classical cascade. British Journal of Philosophy of Science 46(4): 475–502

    Article  Google Scholar 

  • Frixione M. (2001) Tractable competence. Minds and Machines 11: 379–397

    Article  Google Scholar 

  • Garey M. R., Johnson D. S. (1979) Computers and intractability: A guide to the theory of NP-completeness. W.H. Freeman, San Francisco, CA

    Google Scholar 

  • Gentner D. (1983) Structure-mapping: A theoretical framework for analogy. Cognitive Science 7: 155–170

    Article  Google Scholar 

  • Gentner D., Markman A. (1995) Similarity is like analogy. In: Cacciari C. (ed.) Similarity in language, thought, and perception. BREPOLS, Brussels, pp 111–147

    Google Scholar 

  • Gigerenzer G. (2008) Why heuristics work. Perspectives on Psychological Science 3: 20–29

    Article  Google Scholar 

  • Gigerenzer G., Goldstein D. G. (1996) Reasoning the fast and frugal way: Models of bounded rationality. Psychological Review 103: 650–669

    Article  Google Scholar 

  • Kieseppä I. (1996) Truthlikeness for multidimensional, quantitative cognitive problems. Kluwer, Dordrecht

    Google Scholar 

  • Levesque H. J. (1988) Logic and the complexity of reasoning. Journal of Philosophical Logic 17: 355–389

    Article  Google Scholar 

  • Mahajan M., Raman V. (1999) Parameterizing above guaranteed values: MaxSat and MaxCut. Journal of Algorithms 31: 335–354

    Article  Google Scholar 

  • Markman A., Gentner D. (2000) Structure mapping in the comparison process. The American Journal of Psychology 113: 501–538

    Article  Google Scholar 

  • Marr D. (1982) Vision: A computational investigation into the human representation and processing visual information. W. H. Freeman, San Francisco, CA

    Google Scholar 

  • Marr D., Poggio T. (1977) From understanding computation to understanding neural circuitry. Neuroscience Research Progress Bulletin 15: 470–488

    Google Scholar 

  • Millgram E. (2000) Coherence: The price of the ticket. Journal of Philosophy 97: 82–93

    Article  Google Scholar 

  • Piccinini G. (2004) Functionalism, computationalism, and mental states. Studies in the History of Philosophy of Science 35: 811–833

    Article  Google Scholar 

  • Piccinini G. (2010) The mind as neural software? Understanding functionalism, computationalism, and computational functionalism. Philosophy and Phenomenological Research 81: 269–311

    Article  Google Scholar 

  • Samuels R. (2005) The complexity of cognition: Tractability arguments for massive modularity. In: Carruthers P., Laurence S., Stich S. (eds) The innate mind, Vol. 1: Structure and contents. Oxford University Press, Oxford, pp 107–121

    Google Scholar 

  • Schöning, U. (1990). Complexity cores and hard problem instances. In T. Asano, T. Ibaraki, H. Imai, & T. Nishizeki (Eds.), Proceedings of the international symposium on algorithms (SIGAL’90). Berlin, pp. 232–240.

  • Thagard P. (1998) Computation and the philosophy of science. In: Bynum T., Moor J. (eds) The digital phoenix: How computers are changing philosophy. Blackwell, Oxford, pp 48–61

    Google Scholar 

  • Thagard P. (2000) Coherence in thought and action. The MIT Press, Cambridge, MA

    Google Scholar 

  • Thagard P., Shelley C. (1997) Abductive reasoning: Logic, visual thinking, and coherence. In: Chiara M.-L. D., Doets K., Mundici D., van Bentham J. (eds) Logic and scientific methods. Kluwer, Dordrecht, pp 412–427

    Google Scholar 

  • Thagard P., Verbeurgt K. (1998) Coherence as constraint satisfaction. Cognitive Science 22(1): 1–24

    Article  Google Scholar 

  • Todd P., Gigerenzer G. (2000) Précis of simple heuristics that make us smart. Behavioral and Brain Sciences 23: 727–780

    Article  Google Scholar 

  • Tsotsos J. K. (1990) Analyzing vision at the complexity level. Behavioral and Brain Sciences 13: 423–469

    Article  Google Scholar 

  • Turing A. (1936) On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society 42: 230–265

    Article  Google Scholar 

  • van Rooij I. (2008) The tractable cognition thesis. Cognitive Science 32: 939–984

    Article  Google Scholar 

  • Veale, T., & Keane M. T. (1997). The competence of sub-optimal theories of structure mapping on hard analogies. In Proceedings of the 15th international joint conference on artificial intelligence (IJCAI’97), Vol. 1. pp. 232–237.

  • Wigderson, A. (2007). P, NP and mathematics—a computational complexity perspective. In: Proceedings of ICM 2006, Vol. I. Zurich, pp. 665–712.

  • Wright C., Bechtel W. (2007) Mechanisms and psychological explanation. In: Thagard P. (ed.) Handbook of philosophy of psychology and cognitive science. Elsevier, New York, pp 31–79

    Chapter  Google Scholar 

Download references

Open Access

This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.

Author information

Authors and Affiliations

  1. Donders Institute for Brain, Cognition, and Behaviour, Radboud University Nijmegen, Nijmegen, The Netherlands

    Iris van Rooij

  2. Department of Philosophy, California State University Long Beach, Long Beach, CA, USA

    Cory D. Wright

  3. Department of Computer Science, Memorial University of Newfoundland, St. John’s, NL, Canada

    Todd Wareham

Authors
  1. Iris van Rooij
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Cory D. Wright
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Todd Wareham
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Iris van Rooij.

Rights and permissions

Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.

Reprints and Permissions

About this article

Cite this article

van Rooij, I., Wright, C.D. & Wareham, T. Intractability and the use of heuristics in psychological explanations. Synthese 187, 471–487 (2012). https://doi.org/10.1007/s11229-010-9847-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-010-9847-7

Keywords

  • Psychological explanation
  • Computational-level theory
  • Computational complexity
  • Intractability
  • Heuristics
  • NP-hard
  • Algorithm
  • Approximation