Wason Selection Task¶
A four-case conditional-rule probe asks which partially observed cases must be inspected to find the uniquely falsifying conjunction, exposing how logic, interpretation, and context shape human selections.
Core Idea¶
The Wason selection task is a controlled experimental paradigm for studying how people interpret and test conditional rules. A participant sees a rule of the form if P, then Q and four partially observed cases displaying P, not-P, Q, and not-Q. Each case has a hidden feature from the other category. The participant chooses which cases must be inspected to determine whether the rule is violated. Under the canonical universal material-conditional interpretation, the only falsifying configuration is P and not-Q; therefore the P and not-Q cases must be inspected, while not-P and Q cannot reveal a violation merely by being turned.
Scope of Application¶
The home domain is experimental cognitive psychology, especially the psychology of reasoning. Researchers use the task to study how people select evidence for conditional claims, how linguistic form guides attention, how descriptive and deontic readings differ, and how knowledge, perspective, goals, and content change performance. Wason's original experiments centered on the difficulty of making the transformation needed to inspect the contrapositive-relevant case. Evans and Lynch later varied affirmative and negative components, finding strong matching tendencies and weakening the simple claim that ordinary responses reveal a single verification bias.
Clarity¶
The Wason selection task clarifies reasoning research by separating four questions that conversational descriptions often collapse.
First is the normative question: which observations could reveal the counterexample under the stipulated interpretation? For a universal material conditional, the answer is fixed by the P and not-Q falsifier. Second is the behavioral question: which cards did participants actually choose? Third is the interpretive question: what did participants take “if” and the task instruction to mean?
Manages Complexity¶
The paradigm compresses an otherwise sprawling inquiry into a small factorial design. A full conditional truth table, partial observability, information choice, and falsification criterion are represented by four cases. Researchers can then change one dimension while holding the others approximately fixed: affirmative versus negative wording, abstract versus thematic content, descriptive versus deontic interpretation, familiar versus unfamiliar rules, or rule-enforcer versus rule-subject perspective.
Abstract Reasoning¶
The task licenses several disciplined inferences.
Diagnostic inference: identify the truth-defeating configuration before selecting evidence. For P -> Q, write the sole falsifier P and not-Q; then choose visible cases whose hidden side could complete that conjunction. This derives P and not-Q without relying on a memorized card answer.
Knowledge Transfer¶
Exact transfer occurs within reasoning research when the complete apparatus is retained. A letter-number task, an age-and-beverage permission task, and a computerized rule-enforcement task can all be genuine Wason variants if they preserve two complementary dimensions, one-sided observations, selective inspection, a conditional rule, a response record, and an explicit scoring interpretation. This lets results be compared across content while keeping the task family recognizable.
Relationships to Other Abstractions¶
Current abstraction Wason Selection Task Domain-specific
Parents (1) — more general patterns this builds on
-
Wason Selection Task presupposes Deductive Reasoning Prime
Deductive Reasoning is the minimal prerequisite.
Hierarchy path (1) — routes to 1 parentless root
- Wason Selection Task → Deductive Reasoning
Neighborhood in Abstraction Space¶
Wason Selection Task sits in a sparse region of the domain-specific corpus (92nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Inference Bias & Multiple Testing (10 abstractions)
Nearest neighbors
- Transversal (Combinatorics) — 0.78
- Negation as Failure — 0.78
- Functional Fixedness — 0.77
- Conditioned Disjunction — 0.77
- Accessibility Relation — 0.77
Computed from structural-signature embeddings · 2026-09-08