A Model Theory of Modal Reasoning

This paper presents a new theory of modal reasoning, i.e. reasoning about what may or may not be the case, and what must or must not be the case. It postulates that individuals construct models of the premises in which they make explicit only what is true. A conclusion is possible if it holds in at least one model, whereas it is necessary if it holds in all the models. The theory makes three predictions, which are corroborated experimentally. First, conclusions correspond to the true, but not the false, components of possibilities. Second, there is a key interaction: it is easier to infer that a situation is possible as opposed to impossible, whereas it is easier to infer that a situation is not necessary as opposed to necessary. Third, individuals make systematic errors of omission and of commission. We contrast the theory with theories based on formal rules.

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

[2]  A. Garnham.  Mental models as representations of discourse and text , 1989 .

[3]  David Marr,et al.  VISION A Computational Investigation into the Human Representation and Processing of Visual Information , 2009 .

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

[5]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[6]  William Kneale,et al.  The development of logic , 1963 .

[7]  Philip N. Johnson-Laird,et al.  When ‘Or’ Means ‘And’: A Study in Mental models , 2019, Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society.

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

[9]  M. Kendall,et al.  Rank Correlation Methods , 1949 .

[11]  Jonathan St. B. T. Evans,et al.  The mental model theory of conditional reasoning: critical appraisal and revision , 1993, Cognition.

[12]  L. Cosmides.  The logic of social exchange: Has natural selection shaped how humans reason? Studies with the Wason selection task , 1989, Cognition.

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

[14]  P. C. Wason,et al.  The Processing of Positive and Negative Information , 1959 .

[15]  Philip N. Johnson-Laird,et al.  Illusory inferences about probabilities , 1996 .

[16]  Gilberte Piéraut-Le Bonniec,et al.  The development of modal reasoning : genesis of necessity and possibility notions , 1980 .

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

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

[19]  Herbert H. Clark,et al.  Linguistic processes in deductive reasoning. , 1969 .

[20]  G. Patrick,et al.  The psychology of profanity. , 1901 .

[21]  M. Braine,et al.  A Theory of If: A Lexical Entry, Reasoning Program, and Pragmatic Principles , 1991 .