The empirical case for two systems of reasoning.

Distinctions have been proposed between systems of reasoning for centuries. This article distills properties shared by many of these distinctions and characterizes the resulting systems in light of recent findings and theoretical developments. One system is associative because its computations reflect similarity structure and relations of temporal contiguity. The other is "rule based" because it operates on symbolic structures that have logical content and variables and because its computations have the properties that are normally assigned to rules. The systems serve complementary functions and can simultaneously generate different solutions to a reasoning problem. The rule-based system can suppress the associative system but not completely inhibit it. The article reviews evidence in favor of the distinction and its characterization. One of the oldest conundrums in psychology is whether people are best conceived as parallel processors of information who operate along diffuse associative links or as analysts who operate by deliberate and sequential manipulation of internal representations. Are inferences drawn through a network of learned associative pathways or through application of a kind of"psychologic" that manipulates symbolic tokens in a rule-governed way? The debate has raged (again) in cognitive psychology for almost a decade now. It has pitted those who prefer models of mental phenomena to be built out of networks of associative devices that pass activation around in parallel and distributed form (the way brains probably function) against those who prefer models built out of formal languages in which symbols are composed into sentences that are processed sequentially (the way computers function). An obvious solution to the conundrum is to conceive of the

[1]  L. A. N. Esq.,et al.  LXI. Observations on some remarkable optical phænomena seen in Switzerland; and on an optical phænomenon which occurs on viewing a figure of a crystal or geometrical solid , 1832 .

[2]  D. Spalding The Principles of Psychology , 1873, Nature.

[3]  Sigmund Freud,et al.  The Interpretation of Dreams , 1899 .

[4]  J. Piaget The Language and Thought of the Child , 1927 .

[5]  G. Hall,et al.  The Interpretation of Dreams , 1914, Nature.

[6]  F. Frick,et al.  The relationship between attitudes toward conclusions and errors in judging logical validity of syllogisms. , 1943 .

[7]  J. Hadamard,et al.  The Psychology of Invention in the Mathematical Field. , 1945 .

[8]  N. Goodman Fact, Fiction, and Forecast , 1955 .

[9]  Nelson Goodman,et al.  Fact, fiction, & forecast , 1955 .

[10]  H. Feigl,et al.  Minnesota studies in the philosophy of science , 1956 .

[11]  J. O. Urmson,et al.  The William James Lectures , 1963 .

[12]  U. Neisser The multiplicity of thought. , 1963, British journal of psychology.

[13]  C. Hempel,et al.  Aspects of Scientific Explanation and Other Essays in the Philosophy of Science. , 1966 .

[14]  B. Foss New Horizons in Psychology 1 , 1966 .

[15]  Edward Mackinnon Aspects of Scientific Explanation: and Other Essays in the Philosophy of Science , 1967 .

[16]  Noam Chomsky,et al.  Language and Mind , 1973 .

[17]  B. Skyrms Choice and chance : an introduction to inductive logic , 1968 .

[18]  P. Johnson-Laird,et al.  REASONING AND A SENSE OF REALITY , 1972 .

[19]  George Lakoff,et al.  Hedges: A study in meaning criteria and the logic of fuzzy concepts , 1973, J. Philos. Log..

[20]  Logical Abilities in Children , 1974 .

[21]  A. Tversky,et al.  Judgment under Uncertainty: Heuristics and Biases , 1974, Science.

[22]  E. Rosch,et al.  Family resemblances: Studies in the internal structure of categories , 1975, Cognitive Psychology.

[23]  M. Posner,et al.  Attention and cognitive control. , 1975 .

[24]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[25]  R. Shiffrin,et al.  Controlled and automatic human information processing: I , 1977 .

[26]  Walter Schneider,et al.  Controlled and Automatic Human Information Processing: 1. Detection, Search, and Attention. , 1977 .

[27]  Timothy D. Wilson,et al.  Telling more than we can know: Verbal reports on mental processes. , 1977 .

[28]  Walter Schneider,et al.  Controlled and automatic human information processing: II. Perceptual learning, automatic attending and a general theory. , 1977 .

[29]  S. P. Schwartz Naming, necessity, and natural kinds , 1977 .

[30]  W. Kintsch,et al.  Memory and cognition , 1977 .

[31]  A. Tversky Features of Similarity , 1977 .

[32]  Eleanor Rosch,et al.  Principles of Categorization , 1978 .

[33]  E. Rosch,et al.  Cognition and Categorization , 1980 .

[34]  R. Revlin,et al.  The belief-bias effect in formal reasoning: The influence of knowledge on logic , 1980, Memory & cognition.

[35]  L. Cohen Can human irrationality be experimentally demonstrated? , 1981, Behavioral and Brain Sciences.

[36]  R. Sternberg Advances in the psychology of human intelligence , 1982 .

[37]  Mark H. Ashcraft,et al.  A network approach to mental multiplication. , 1982 .

[38]  Richard A. Griggs,et al.  The elusive thematic‐materials effect in Wason's selection task , 1982 .

[39]  P. Pollard,et al.  On the conflict between logic and belief in syllogistic reasoning , 1983, Memory & cognition.

[40]  L. Rips Cognitive Processes in Propositional Reasoning. , 1983 .

[41]  Janet L. Kolodner,et al.  Reconstructive Memory: A Computer Model , 1983, Cogn. Sci..

[42]  P. Pollard,et al.  The effect of experimentally contrived experience on reasoning performance , 1983 .

[43]  Lance J. Rips,et al.  Cognitive Processes in Prepositional Reasoning , 1983 .

[44]  J.A. Anderson,et al.  Theory of categorization based on distributed memory storage. , 1984 .

[45]  J J Hopfield,et al.  Neurons with graded response have collective computational properties like those of two-state neurons. , 1984, Proceedings of the National Academy of Sciences of the United States of America.

[46]  Brian J. Reiser,et al.  Some Empirical Justification for a Theory of Natural Propositional Logic , 1984 .

[47]  D. Medin,et al.  The role of theories in conceptual coherence. , 1985, Psychological review.

[48]  S. Carey Conceptual Change in Childhood , 1985 .

[49]  Keith J Holyoak,et al.  Pragmatic reasoning schemas , 1985, Cognitive Psychology.

[50]  David Zipser,et al.  Feature Discovery by Competive Learning , 1986, Cogn. Sci..

[51]  James L. McClelland,et al.  Distributed memory and the representation of general and specific information. , 1985, Journal of experimental psychology. General.

[52]  Christian S. Crandall,et al.  Understanding the Conjunction Fallacy: A Conjunction of Effects? , 1986 .

[53]  Paul Smolensky,et al.  Information processing in dynamical systems: foundations of harmony theory , 1986 .

[54]  Geoffrey E. Hinton,et al.  Learning and relearning in Boltzmann machines , 1986 .

[55]  E. Markman,et al.  Categories and induction in young children , 1986, Cognition.

[56]  B. Ross This is like that: The use of earlier problems and the separation of similarity effects. , 1987 .

[57]  S. Grossberg,et al.  ART 2: self-organization of stable category recognition codes for analog input patterns. , 1987, Applied optics.

[58]  L. Vygotsky,et al.  The collected works of L. S. Vygotsky, Vol. 1: Problems of general psychology. , 1987 .

[59]  G. Logan Toward an instance theory of automatization. , 1988 .

[60]  John A. Sloboda,et al.  Cognitive processes in mathematics , 1987 .

[61]  J. Fodor,et al.  Connectionism and cognitive architecture: A critical analysis , 1988, Cognition.

[62]  P. Smolensky On the proper treatment of connectionism , 1988, Behavioral and Brain Sciences.

[63]  A. Tversky,et al.  Extensional versus intuitive reasoning: the conjunction fallacy in probability judgment , 1983 .

[64]  K. Fiedler The dependence of the conjunction fallacy on subtle linguistic factors , 1988 .

[65]  L. Rips The psychology of knights and knaves , 1989, Cognition.

[66]  L. Rips Similarity, typicality, and categorization , 1989 .

[67]  Brian H. Ross,et al.  Remindings in learning and instruction , 1989 .

[68]  Jonathan St. B. T. Evans,et al.  Bias in human reasoning , 1989 .

[69]  H. Markovits,et al.  The belief-bias effect in the production and evaluation of logical conclusions , 1989, Memory & cognition.

[70]  A. Ortony,et al.  Similarity and Analogical Reasoning , 1991 .

[71]  E. Markman Categorization and naming in children , 1989 .

[72]  F. Keil Concepts, Kinds, and Cognitive Development , 1989 .

[73]  Edward E. Smith Concepts and induction , 1989 .

[74]  Paul Thagard,et al.  Analogical Mapping by Constraint Satisfaction , 1989, Cogn. Sci..

[75]  Ryszard S. Michalski,et al.  The Logic of Plausible Reasoning: A Core Theory , 1989, Cogn. Sci..

[76]  M. Posner Foundations of cognitive science , 1989 .

[77]  David E. Rumelhart,et al.  Toward a microstructural account of human reasoning , 1989 .

[78]  W. Salmon Four decades of scientific explanation , 1989 .

[79]  D. Medin,et al.  The specific character of abstract thought: Categorization, problem-solving, and induction: Volume 5 , 1989 .

[80]  Daniel N. Osherson,et al.  Similarity and decision making , 1989 .

[81]  Geoffrey E. Hinton Mapping Part-Whole Hierarchies into Connectionist Networks , 1990, Artif. Intell..

[82]  James A. Anderson,et al.  Radar signal categorization using a neural network , 1990, Proc. IEEE.

[83]  Martin D. S. Braine,et al.  The "natural logic" approach to reasoning. , 1990 .

[84]  Edward E. Smith,et al.  Typicality and reasoning fallacies , 1990, Memory & cognition.

[85]  Robert L. Goldstone,et al.  Similarity Involving Attributes and Relations: Judgments of Similarity and Difference Are Not Inverses , 1990 .

[86]  Jonathan Evans,et al.  Belief Bias and Problem Complexity in Deductive Reasoning , 1990 .

[87]  I. Gavanski,et al.  Representativeness and conjoint probability. , 1991, Journal of personality and social psychology.

[88]  Richard Reviewer-Granger Unified Theories of Cognition , 1991, Journal of Cognitive Neuroscience.

[89]  Philippe G. Schyns,et al.  A Modular Neural Network Model of Concept Acquisition , 1991, Cogn. Sci..

[90]  Michael C. Mozer,et al.  Rule Induction through Integrated Symbolic and Subsymbolic Processing , 1991, NIPS.

[91]  L. Brooks,et al.  Role of specific similarity in a medical diagnostic task. , 1991, Journal of experimental psychology. General.

[92]  G. Gigerenzer From Tools to Theories: A Heuristic of Discovery in Cognitive Psychology. , 1991 .

[93]  C. Gallistel,et al.  Lessons from animal learning for the study of cognitive development , 1991 .

[94]  S. Gould Bully for brontosaurus : reflections in natural history , 1991 .

[95]  Edward E. Smith,et al.  The Case for Rules in Reasoning , 1992, Cogn. Sci..

[96]  N. Chater,et al.  Proceedings of the fourteenth annual conference of the cognitive science society , 1992 .

[97]  P. Johnson-Laird,et al.  Propositional reasoning by model. , 1992, Psychological review.

[98]  S Epstein,et al.  Irrational reactions to negative outcomes: evidence for two conceptual systems. , 1992, Journal of personality and social psychology.

[99]  Michael C. Mozer,et al.  A Connectionist Symbol Manipulator that Discovers the Structure of Context-Free Languages , 1992, NIPS.

[100]  Ryszard S. Michalski,et al.  Categories and Concepts: Theoretical Views and Inductive Data Analysis , 1993 .

[101]  Douglas L. Medin,et al.  What's So Essential About Essentialism? A Different Perspective on the Interaction of Perception, Language, and Conceptual Knowledge , 1993 .

[102]  Neural Networks for Knowledge Representation and Inference , 1993 .

[103]  Ron Sun,et al.  EDITORIAL Integrating Neural and Symbolic Processes , 1993 .

[104]  Jonathan Evans,et al.  Human Reasoning: The Psychology Of Deduction , 1993 .

[105]  S. Sloman Feature-Based Induction , 1993, Cognitive Psychology.

[106]  N. Pennington,et al.  Reasoning in explanation-based decision making , 1993, Cognition.

[107]  Philip N. Johnson-Laird,et al.  Précis of Deduction , 1993 .

[108]  D. Gentner,et al.  Structural Alignment during Similarity Comparisons , 1993, Cognitive Psychology.

[109]  D. Gentner,et al.  Respects for similarity , 1993 .

[110]  Gregory L. Murphy,et al.  Theories and concept formation. , 1993 .

[111]  John R. Anderson,et al.  Rules of the Mind , 1993 .

[112]  P. Thagard,et al.  Explanatory coherence , 1993 .

[113]  Linda B. Smith,et al.  The place of perception in children's concepts ☆ , 1993 .

[114]  Robert A. Jacobs,et al.  Hierarchical Mixtures of Experts and the EM Algorithm , 1993, Neural Computation.

[115]  S. Sloman When explanations compete: the role of explanatory coherence on judgements of likelihood , 1994, Cognition.

[116]  K. Kirby,et al.  Probabilities and utilities of fictional outcomes in Wason's four-card selection task , 1994, Cognition.

[117]  D. E. Over,et al.  Hits and misses: Kirby on the selection task , 1994, Cognition.

[118]  Edward E. Smith,et al.  Similarity- versus rule-based categorization , 1994, Memory & cognition.

[119]  Franz J. Kurfess,et al.  Connectionist Symbol Processing , 1994 .

[120]  L. Rips The Psychology of Proof: Deductive Reasoning in Human Thinking , 1994 .

[121]  Nick Chater,et al.  A rational analysis of the selection task as optimal data selection. , 1994 .

[122]  Robert L. Goldstone The role of similarity in categorization: providing a groundwork , 1994, Cognition.

[123]  Eduardo Sontag,et al.  Computational power of neural networks , 1995 .

[124]  Hava T. Siegelmann,et al.  On the Computational Power of Neural Nets , 1995, J. Comput. Syst. Sci..

[125]  C. Sumiyoshi CATEGORY BASED INDUCTION , 1997 .

[126]  Nick Chater,et al.  A Rational Analysis of the Selection Task II: Abstract Materials , 1998 .

[127]  유정수,et al.  어닐링에 의한 Hierarchical Mixtures of Experts를 이용한 시계열 예측 , 1998 .

[128]  Self-Contradictions , Lesbians and Child Custody.