Argument Analysis
Syllogism Basics
Master the building blocks of deductive reasoning by dissecting real arguments into their logical skeletons. You will learn to separate an argument's structure from its content, a skill that lets you spot flawed reasoning even when the conclusion sounds right.
Context
Why this exercise
Almost everything that looks like persuasion in everyday life is an argument in disguise — a structured move from premises to a conclusion. The trouble is that the structure usually stays hidden behind storytelling, rhetoric, or appeals to authority, so the listener processes the conclusion without ever auditing the path that led there. This exercise builds the most foundational skill in argument analysis: separating an argument's logical skeleton from its surface content, so you can evaluate whether a conclusion actually follows from what was given rather than just feeling like it does.
Before you start
The vocabulary of formal logic was largely set by Aristotle in the Prior Analytics and refined by medieval logicians, but the distinction that matters most for everyday thinking is the one between validity and soundness. An argument is valid if its conclusion must be true whenever its premises are true, regardless of whether the premises are actually true; it is sound only if it is valid and the premises are also true. This separation is what allows a critical reader to evaluate the structure and the facts independently: you can grant a premise temporarily to test the logic, then come back and audit the premise itself. Modus ponens (if P then Q; P; therefore Q) and modus tollens (if P then Q; not Q; therefore not P) are the two classic valid forms; affirming the consequent and denying the antecedent are their near-twin fallacies that fool listeners precisely because they look like the valid forms at first glance.
Beginners typically run into trouble in two predictable ways. The first is being persuaded by an invalid argument whose conclusion happens to be true — the 'Apple was a successful startup' example in this exercise is designed to catch exactly that. The logical form (all successful startups have visionary founders; Jobs was visionary; therefore Apple succeeded) commits the undistributed middle fallacy, but the conclusion is so obviously correct that the reasoning feels right. The second is rejecting a valid argument because the conclusion feels wrong. Both errors come from evaluating arguments by the conclusion rather than by the structure. The procedural fix is to write out the form abstractly (All A are B; X is B; therefore X is A) and ask whether that form is valid in general, separate from the specific content.
As you work through the scenarios, force yourself to identify the form before judging the argument. Notice that the wrong-answer options are designed to look like sensible misreadings — someone who reasons by conclusion-feel will be drawn to them, and the explanation for each will sharpen the difference between superficial pattern-matching and structural analysis. For the broader framework, see Claims, Evidence, and Arguments, which treats the anatomy of arguments in depth, and Types of Reasoning for the full taxonomy of deductive, inductive, abductive, and analogical inference.