Mental model theory of reasoning
The mental model theory of reasoning was developed by Philip Johnson-Laird and Ruth M.J. Byrne. It has been applied to the main domains of deductive inference including relational inferences such as spatial and temporal deductions; propositional inferences, such as conditional, disjunctive and negation deductions; quantified inferences such as syllogisms; and meta-deductive inferences.
Ongoing research on mental models and reasoning has led the theory to be extended to account for probabilistic inference and counterfactual thinking.
