Mental Model Theory

We summarize that Philip Johnson-Laird figured out that humans work not through logic but through mental models.

Developed by Philip Johnson-Laird and Ruth M.J. Byrne, mental model theory suggests we construct, manipulate, and simulate these models to understand possibilities, simulate outcomes, and infer conclusions.

In this talk, he outlines why the notion of logical validity cannot embody human reasoning: -ie, we are full of bs?

Gottlob Frege strongly argued that logic is independent of psychology, rejecting the view that logical laws are merely descriptive of how humans think (psychologism). He famously stated that laws of logic are "laws of truth," not laws of thought, maintaining a sharp distinction between subjective mental processes and objective truth.

Gottlob Frege's position on the relationship between logic and psychology remains a cornerstone of modern logic, though it introduces complex philosophical tensions. Frege argued that logic is independent of psychology because logical laws are "laws of being true," not psychological "laws of taking to be true". He believed that logic deals with an objective, timeless realm of thoughts (the "third realm"), whereas psychology deals with subjective, transient mental processes like sensations and individual ideas.

What die Philip Johnson-Laird contibute over Frege?

Philip Johnson-Laird revolutionized cognitive psychology over Gottlob Frege’s formal logic by introducing Mental Models Theory (1983, 2001, 2008), proposing that humans reason through simulation-based internal representations rather than abstract syntactical rules. While Frege focused on the formal structure of language and logic, Johnson-Laird provided a cognitive, process-oriented framework for how people actually think and comprehend.

Key contributions over Frege include:

• Mental Models: Instead of using logical calculus, humans build, manipulate, and test "mental models" of scenarios (analogous to computer simulations) to represent information.
• Semantic Focus: Johnson-Laird argues meaning depends on mental representations of a sentence's focus, not just grammar or syntax.
• Cognitive Science Validation: His work uses computer models to simulate language, providing empirical, experimental data on reasoning, whereas Frege focused on ideal, normative logic.
• Illusory Inferences: He demonstrated that humans often fall into traps by constructing only partial models, explaining how errors occur in reasoning, which formal logic does not account for.
• Theories of Emotion: He developed "hyper-emotion theory," explaining how people with emotional disorders reason differently about their situations.

Johnson-Laird's work, along with collaborators like George Miller, transformed understanding of human reasoning from purely formal, logical deduction to a dynamic, cognitive, and semantic process.