Mental Model Theory

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?