Deductive reasoning involves deriving conclusions that necessarily follow from given premises. Psychologists study syllogistic and conditional reasoning to understand how people deviate from formal logic. The Wason selection task — one of the most replicated findings in cognitive psychology — shows that most people fail to apply modus tollens correctly when the task is abstract, but succeed when the same logical structure is expressed in a familiar social or deontic context, suggesting reasoning is sensitive to content and pragmatic context rather than operating as a domain-general logical engine.
Work through the abstract and social versions of the Wason selection task and compare performance. The dramatic content effect reveals that reasoning is shaped by schemas and pragmatic knowledge, not purely by formal inference rules.
Deductive reasoning asks: given that certain premises are true, what must follow? Unlike induction (inferring probable generalizations from evidence) or problem-solving heuristics you have already studied, deduction deals in necessity — a valid argument guarantees its conclusion if its premises are true, regardless of content. The two core forms studied in cognitive psychology are syllogistic reasoning (All A are B; all B are C; therefore all A are C) and conditional reasoning (If P then Q). Conditional reasoning has two valid inference forms: *modus ponens* (P is true, therefore Q) and *modus tollens* (Q is false, therefore P is false). In formal logic these are equivalent in validity, but psychologically they are dramatically different in difficulty: modus ponens is nearly universally endorsed correctly; modus tollens errors are the norm.
The Wason selection task is the canonical demonstration of this asymmetry. Participants are shown four cards (say: E, K, 4, 7) and told the rule "If there is a vowel on one side, there is an even number on the other." Which cards must you turn over to test the rule? The logically correct answer is E (test for modus ponens: if vowel, then even) and 7 (test for modus tollens: if not even, then not vowel). Most people select E alone or E and 4 — selecting 4 confirms a case that can only fail to disconfirm, not actually test. The error rate on the abstract version exceeds 75% in typical undergraduate samples. Yet when the same logical structure is embedded in a social or deontic context — "If a person is drinking beer, then they must be over 18" — most people solve it correctly, selecting the beer card and the underage card.
This content effect — the dramatic improvement with thematic material — is one of the most replicated and theoretically significant results in cognitive psychology. It rules out explanations based on logical competence: people are not simply incapable of modus tollens. Instead, it suggests that human reasoning is not a domain-general logical engine but is rather built around schemas for specific types of situations, especially social contracts (detecting cheaters: if you take the benefit, you must pay the cost) and precautionary rules (if there is a hazard, take the precaution). These schemas evolved or developed to handle recurring pragmatic problems in social life, and they happen to be structurally equivalent to conditional logic — but they are retrieved by content match, not abstract logical structure.
Belief bias completes the picture: when asked to evaluate whether a conclusion logically follows from premises, people are strongly influenced by whether the conclusion matches their prior knowledge. An invalid argument with a believable conclusion is more likely to be accepted than a valid argument with an unbelievable one. This reflects the interaction between two cognitive systems — analytic reasoning and associative retrieval from memory — that you will develop further in dual-process theory. The takeaway is not that people are irrational but that human reasoning is adaptively tuned: it deploys formal inference sparingly, preferring rapid pattern-matching against familiar content. Abstract logical problems that lack that content peg performance to chance precisely because they are stripped of the cues that normally guide competent real-world reasoning.