Prepositional Reasoning by Model

This article describes a new theory of prepositional reasoning, that is, deductions depending on;/ or, and, and not. The theory proposes that reasoning is a semantic process based on mental models. It assumes that people are able to maintain models of only a limited number of alternative states of affairs, and they accordingly use models representing as much information as possible in an implicit way. They represent a disjunctive proposition, such as "There is a circle or there is a triangle," by imagining initially 2 alternative possibilities: one in which there is a circle and the other in which there is a triangle. This representation can, if necessary, be fleshed out to yield an explicit representation of an exclusive or an inclusive disjunction. The theory elucidates all the robust phenomena of propositional reasoning. It also makes several novel predictions, which were corroborated by the results of 4 experiments.

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

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

[3]  J. St B. T. Evans,et al.  Directionality and temporal factors in conditional reasoning , 1981 .

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

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

[6]  H. Simon,et al.  Invariants of human behavior. , 1990, Annual review of psychology.

[7]  Allen Newell,et al.  Modeling human syllogistic reasoning in Soar , 1993 .

[8]  W. W. Bledsoe,et al.  Non-Resolution Theorem Proving , 1977, Artif. Intell..

[9]  A. Newell.  Reasoning, problem solving, and decision processes: the problem space as a fundamental category , 1993 .

[10]  J. S. Evans,et al.  Linguistic Factors in Reasoning , 1977 .

[11]  Arthur N. Prior,et al.  The Runabout Inference-Ticket , 1960 .

[12]  R. H. Walters.  The Growth of Logical Thinking from Childhood to Adolescence , 1960 .

[13]  Allen Newell,et al.  Human Problem Solving. , 1973 .

[14]  Raymond Reiter,et al.  A Semantically Guided Deductive System for Automatic Theorem Proving , 1973, IEEE Transactions on Computers.

[15]  L. E. Bourne,et al.  ATTRIBUTE- AND RULE-LEARNING ASPECTS OF CONCEPTUAL BEHAVIOR. , 1965, Psychological review.

[16]  Johnson-Laird Andruth,et al.  Only Reasoning , 2022 .

[17]  Gerd Gigerenzer,et al.  Reasoning and rationality , 1996 .

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

[19]  Jay L. Garfield,et al.  Review: John Macnamara, A Border Dispute. The Place of Logic in Psychology , 1988 .

[20]  Roger Penrose,et al.  Précis of The Emperor's New Mind: Concerning computers, minds, and the laws of physics , 1990, Behavioral and Brain Sciences.

[21]  Siobhan Chapman.  Logic and Conversation , 2005 .

[22]  William M. Smith,et al.  A Study of Thinking , 1956 .

[23]  P. Johnson-Laird,et al.  Psychology of Reasoning: Structure and Content , 1972 .

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

[25]  R. Byrne.  Suppressing valid inferences with conditionals , 1989, Cognition.

[26]  James J. Roberge,et al.  Linguistic and Psychometric Factors in Propositional Reasoning , 1978 .

[27]  Conceptual rule learning and chronological age. , 1971 .

[28]  Stephen E. Newstead,et al.  A study of disjunctive reasoning , 1980 .

[29]  Paul Thagard,et al.  Epistemology and cognition , 1991 .

[30]  John L. Pollock,et al.  How to Build a Person: A Prolegomenon , 1992, IEEE Expert.

[31]  Willard Van Orman Quine,et al.  A Way to Simplify Truth Functions , 1955 .

[32]  Martha Kneale,et al.  The development of logic , 1963 .

[33]  Hector J. Levesque,et al.  Making Believers out of Computers , 1986, Artif. Intell..

[34]  Nripendra N. Biswas,et al.  Minimization of Boolean Functions , 1971, IEEE Transactions on Computers.

[35]  H. H. Clark,et al.  Psychology and language : an introduction to psycholinguistics , 1979 .

[36]  C. R.,et al.  On referring , 1950 .

[37]  V. Thompson.  CONDITIONAL REASONING: THE NECESSARY AND SUFFICIENT CONDITIONS , 1995 .

[38]  K. Holyoak,et al.  Pragmatic versus syntactic approaches to training deductive reasoning , 1986, Cognitive Psychology.

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

[40]  U. Neisser,et al.  Hierarchies in concept attainment. , 1962, Journal of experimental psychology.

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

[42]  L. E. Bourne,et al.  The nature of denied propositions in the conditional reasoning task: Interpretation and learning , 1978 .

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

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

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

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

[47]  M. Henle.  On the relation between logic and thinking. , 1962, Psychological review.