The processes of inference

Mental models represent possibilities, and the theory of mental models postulates three systems of mental processes underlying inference: (0) the construction of an intensional representation of a premise's meaning – a process guided by a parser; (1) the building of an initial mental model from the intension, and the drawing of a conclusion based on heuristics and the model; and (2) on some occasions, the search for alternative models, such as a counterexample in which the conclusion is false. System 0 is linguistic, and it may be autonomous. System 1 is rapid and prone to systematic errors, because it makes no use of a working memory for intermediate results. System 2 has access to working memory, and so it can carry out recursive processes, such as the construction of alternative models. However, it too is fallible when the limited processing capacity of working memory becomes overburdened. The three systems are embodied in a unified computational implementation of the model theory, called mReasoner, wh...

[1]  Philip N Johnson-Laird,et al.  The modulation of conditional assertions and its effects on reasoning , 2010 .

[2]  R. Byrne.  Précis of The Rational Imagination: How People Create Alternatives to Reality , 2007, Behavioral and Brain Sciences.

[3]  S. Sloman.  The empirical case for two systems of reasoning. , 1996 .

[4]  P. Johnson-Laird,et al.  Naïve deontics: A theory of meaning, representation, and reasoning , 2005, Cognitive Psychology.

[5]  P. Johnson-Laird,et al.  Illusory inferences: a novel class of erroneous deductions , 1999, Cognition.

[6]  Sangeet Khemlani,et al.  A mental model theory of set membership , 2014, CogSci.

[7]  Hansjörg Neth,et al.  The Search for Counterexamples in Human Reasoning , 1999 .

[8]  Ronald W. Langacker,et al.  Cognitive Grammar: A Basic Introduction , 2008 .

[9]  Bart Geurts,et al.  Reasoning with quantifiers , 2003, Cognition.

[10]  Kosta Dosen,et al.  Models of Deduction* , 2006, Synthese.

[11]  Ernest Nagel,et al.  An Introduction to Logic and Scientific Method , 1934, Nature.

[13]  Jonathan D. Cohen,et al.  Distinct neural substrates for deductive and mathematical processing , 2008, Brain Research.

[14]  Jonathan Evans.  In two minds: dual-process accounts of reasoning , 2003, Trends in Cognitive Sciences.

[15]  I. Begg,et al.  Empirical reconciliation of atmosphere and conversion interpretations of syllogistic reasoning errors , 1969 .

[16]  P. Johnson-Laird,et al.  Reasoning from connectives and relations between entities , 2011, Memory & cognition.

[17]  Sangeet Khemlani,et al.  Disjunctive illusory inferences and how to eliminate them , 2009, Memory & cognition.

[18]  Sangeet Khemlani,et al.  Immediate inferences from quantified assertions , 2015, Quarterly journal of experimental psychology.

[19]  C. Hartshorne,et al.  Collected Papers of Charles Sanders Peirce , 1935, Nature.

[20]  Caren A. Frosch,et al.  Is everyday causation deterministic or probabilistic? , 2011, Acta psychologica.

[21]  Illusions of consistency in quantified assertions , 2010 .

[22]  R. Jeffrey.  Formal Logic: Its Scope and Limits , 1981 .

[23]  P. Johnson-Laird,et al.  Theories of the syllogism: A meta-analysis. , 2012, Psychological bulletin.

[24]  P N Johnson-Laird,et al.  Reasoning about relations. , 2005, Psychological review.

[25]  Russell Revlis,et al.  Two models of syllogistic reasoning: Feature selection and conversion , 1975 .

[26]  P. Johnson-Laird,et al.  Preferred mental models in reasoning about spatial relations , 2007, Memory & cognition.

[27]  Jonathan Evans.  Hypothetical Thinking: Dual Processes in Reasoning and Judgement , 2007 .

[28]  Marilyn Ford,et al.  Two modes of mental representation and problem solution in syllogistic reasoning , 1995, Cognition.

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

[30]  Kenneth Gilhooly,et al.  ‘Atmosphere’, matching, and logic in syllogistic reasoning , 1995 .

[31]  P. Johnson-Laird,et al.  Reasoning from inconsistency to consistency. , 2004, Psychological review.

[32]  P. Johnson-Laird,et al.  Mental models and temporal reasoning , 1996, Cognition.

[33]  Adele E. Goldberg.  Constructions: a new theoretical approach to language , 2003, Trends in Cognitive Sciences.

[34]  Jonathan Evans.  Dual-processing accounts of reasoning, judgment, and social cognition. , 2008, Annual review of psychology.

[35]  D. Kahneman.  Thinking, Fast and Slow , 2011 .

[36]  Philip N. Johnson-Laird,et al.  Reasoning by model: The case of multiple quantification. , 1989 .

[37]  P. Johnson-Laird,et al.  PSYCHOLOGICAL SCIENCE Research Article HOW DIAGRAMS CAN IMPROVE REASONING , 2022 .

[38]  J. Ceraso,et al.  Sources of error in syllogistic reasoning , 1971 .

[39]  Jean-Baptiste Van der Henst,et al.  The Interpretation of Classically Quantified Sentences: A Set-Theoretic Approach , 2006, Cogn. Sci..

[40]  Jonathan Evans,et al.  Reasoning about necessity and possibility : a test of the mental model theory of deduction , 1999 .

[41]  Robert J. Sternberg,et al.  A transitive-chain theory of syllogistic reasoning , 1981, Cognitive Psychology.

[42]  G. d'Ydewalle,et al.  A dual-process specification of causal conditional reasoning , 2005 .

[43]  A. Newell.  Unified Theories of Cognition , 1990 .

[44]  L. Carlson,et al.  Spatial Reasoning , 2010 .

[45]  Jeffrey D. Ullman,et al.  Formal languages and their relation to automata , 1969, Addison-Wesley series in computer science and information processing.

[46]  Maria Sonino Legrenzi,et al.  Naive probability: a mental model theory of extensional reasoning. , 1999, Psychological review.

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

[48]  P. Johnson-Laird,et al.  Negation: A theory of its meaning, representation, and use , 2012 .

[49]  J. Piaget,et al.  The Growth Of Logical Thinking From Childhood To Adolescence: An Essay On The Construction Of Formal Operational Structures , 1958 .

[50]  Geoffrey P. Goodwin,et al.  Reasoning about the Relations between Relations , 2006, Quarterly journal of experimental psychology.

[51]  Shalom Lappin,et al.  当代语义理论指南 = The Handbook of Contemporary Semantic Theory , 2015 .

[52]  C. Phillips,et al.  Journal of Memory and Language , 2001 .

[53]  P. Johnson-Laird,et al.  Counterexamples in sentential reasoning , 2003, Memory & cognition.

[54]  L. Rips.  The Psychology of Proof , 1994 .

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

[56]  P. Wason,et al.  Natural and contrived experience in a reasoning problem , 1971 .

[57]  M. Braine.  On the Relation Between the Natural Logic of Reasoning and Standard Logic. , 1978 .

[58]  P. Johnson-Laird.  How We Reason , 2006 .

[59]  Philip N. Johnson-Laird,et al.  A Model Theory of Modal Reasoning , 1998 .

[60]  P. Johnson-Laird,et al.  Temporal and spatial relations in sentential reasoning , 2012, Cognition.

[61]  Gary L. Brase,et al.  Ecological and evolutionary validity: comments on Johnson-Laird, Legrenzi, Girotto, Legrenzi, and Caverni's (1999) mental-model theory of extensional reasoning. , 2002, Psychological review.

[62]  Philip N. Johnson-Laird,et al.  The Cambridge Handbook of Computational Psychology: Mental Logic, Mental Models, and Simulations of Human Deductive Reasoning , 2008 .

[63]  Ruth M. J. Byrne,et al.  Deductive reasoning with factual, possible, and counterfactual conditionals , 1999, Memory & cognition.

[64]  N. Chater,et al.  The Probability Heuristics Model of Syllogistic Reasoning , 1999, Cognitive Psychology.

[65]  Mark T. Keane,et al.  Conditionals: a theory of meaning, pragmatics, and inference. , 2002, Psychological review.

[66]  P. Johnson-Laird,et al.  Naive causality: a mental model theory of causal meaning and reasoning 1 1 All reasonings concerning , 2001 .

[67]  Eva Rafetseder,et al.  of Conditional Reasoning , 2011 .

[68]  Philip N. Johnson-Laird,et al.  Naive Probability: A Mental Model Theory of Extensional Reasoning , 1999 .

[69]  Allen Newell,et al.  Deduction as verbal reasoning. , 1995 .

[70]  P. Johnson-Laird.  Mental models and probabilistic thinking , 1994, Cognition.

[71]  P. Johnson-Laird.  Mental models , 1989 .

[72]  J. Barwise.  Everyday reasoning and logical inference , 1993 .

[73]  K. Stenning,et al.  Image and Language in Human Reasoning: A Syllogistic Illustration , 1997, Cognitive Psychology.