Michiel van Lambalgen

Logician and cognitive scientist at the Institute for Logic, Language and Computation (ILLC), University of Amsterdam, where he is Professor of Logic and Cognitive Science. With Keith Stenning he built a formal, semantics-first account of human conditional reasoning that treats the "fallacies" of the Wason selection task as systematic closed-world, non-monotonic inference — reasoning for an interpretation, not just from one.

He matters to this vault as the logician half of the Stenning–van Lambalgen pair whose logic-programming account is the vault's non-Bayesian rival to the Oaksford–Chater probabilistic account of the same reasoning data, now grounded in their 2001 and 2004 primaries rather than a downstream paraphrase.

References

• claim-stenning-van-lambalgen-model-wason-fallacies-as-closed-world-reasoning · claim-stenning-van-lambalgen-do-not-use-negation-as-failure-in-2001-2004-papers · claim-stenning-van-lambalgen-distinguish-reasoning-for-vs-from-an-interpretation · claim-stenning-van-lambalgen-two-clause-exception-scheme-not-material-conditional
• claim-logic-programming-account-rivals-probabilistic-account-of-conditional-reasoning
• Captures: 2026-08-31-do-stenning-van-lambalgen-actually-model-the-wason