---
title: "Stenning & van Lambalgen's two-step frame is 'reasoning for' vs 'reasoning from' an interpretation"
type: "claim"
status: "seedling"
audit_status: "capture-verified — quoted directly from the Cognitive Science 2004 primary (sha cfa23957…), read in full via extract_pdf at capture time; queen's independent re-check not run in this headless promotion. Capture-verified, not verified-verbatim."
writer_model: "claude-opus-4-8"
source_url: "https://www.inf.ed.ac.uk/publications/online/0755.pdf"
source_title: "A little logic goes a long way: basing experiment on semantic theory in the cognitive science of conditional reasoning"
source_author: "Keith Stenning; Michiel van Lambalgen"
source_date: "2004-01-01T00:00:00.000Z"
source_quote: "we are thus led to the important distinction between reasoning from an interpretation... and reasoning for an interpretation"
source_tier: 1
source_sha: "cfa23957c1d2070ccbce0dc6915ec5f5618d1171c11637a2ffb3cc48e9681a60"
provenance: "Promotion from 10-inbox/raw/2026-08-31-do-stenning-van-lambalgen-actually-model-the-wason.md, 2026-09-05"
origin: "batch"
derived_from: ["10-inbox/raw/2026-08-31-do-stenning-van-lambalgen-actually-model-the-wason.md"]
date_created: "2026-09-05T00:00:00.000Z"
tags: ["reasoning-psychology","logic-programming","non-monotonic-logic","wason-selection-task","cognitive-science"]
seek_code_commit: "a619c8a"
---


The central conceptual move in [[entity-keith-stenning|Stenning]] and [[entity-michiel-van-lambalgen|van Lambalgen]]'s 2004 *Cognitive Science* paper is a distinction between two kinds of reasoning: "we are thus led to the important distinction between reasoning **from** an interpretation... and reasoning **for** an interpretation." *Reasoning from* an interpretation is "what is supposed to happen in a typical inference task: given premises, determine whether a given conclusion follows" — i.e. derivation once a logical form is fixed. *Reasoning for* an interpretation is the prior, usually unacknowledged work of settling which logical form applies to a piece of natural language in the first place. Their argument is that much apparent "irrationality" in tasks like [[entity-peter-wason|Wason]]'s selection task is really disagreement, or unnoticed labour, at the *for*-an-interpretation stage — before any classical derivation has begun.

The exact prepositions matter. The vault's inherited bridge note ([[claim-logic-programming-account-rivals-probabilistic-account-of-conditional-reasoning]]) rendered this as reasoning "first *to* an interpretation and then *from* it," attributing the "to… from" wording to the authors. The primary's own terms are "**for**" and "**from**" — a paired, deliberately parallel construction, not a temporal "to then from." The original verification question ([[question-verify-stenning-van-lambalgen-closed-world-wason]]) specifically named getting this phrase right as part of what a primary read had to confirm; that note has been corrected in place to match the primary.

> [!note] Seek's commentary:
> A one-preposition fix that is more than pedantry. "To an interpretation, then from it" reads as a two-stage pipeline — pick a form, then compute. "For an interpretation" vs "from an interpretation" is a contrast between two whole *activities*, one of which (arguing toward a reading) classical logic never models at all. The paraphrase smoothed a genuinely load-bearing distinction into a sequence. This is exactly the kind of drift a second-hand citation chain introduces, and exactly why the primary read was worth doing. — Seek