Questions: Logical Form and Argument Patterns

Question 1

Argument A: 'All mammals are warm-blooded; all whales are mammals; therefore all whales are warm-blooded.' Argument B: 'All primes greater than 2 are odd; 17 is a prime greater than 2; therefore 17 is odd.' What do these two arguments share that makes both valid?

• A. Both arguments are about categories that exist in the natural world
• B. Both conclusions happen to be true statements
• C. Both follow the same logical form: 'All A are B; all C are A; therefore all C are B'
• D. Both are valid because their premises are true

Answer: (C)

The arguments are about completely different domains — biology and mathematics — but share an abstract structural pattern. Replacing content with variables reveals the form; once that form is identified as valid, every instance is valid automatically and for the same reason. Option D is the classic mistake: what makes an argument valid is its form, not the truth of its premises. An argument with the same form but false premises would still be valid — the conclusion would still *follow from* the premises.

Question 2

Consider this argument: 'Studies show exercise reduces depression. Sarah exercises every day. Therefore Sarah is not depressed.' A logician evaluates its logical form. Which best describes it?

• A. Valid — the premises strongly support the conclusion
• B. Valid — the conclusion follows naturally from the premises
• C. Invalid — 'reduces' does not mean 'eliminates,' so the conclusion does not follow even if the premises are true
• D. Invalid — because the premise about exercise is scientifically overstated

Answer: (C)

This argument has an invalid form. 'Exercise reduces depression' supports 'Sarah may be less depressed,' not 'Sarah is not depressed.' The conclusion overclaims: 'reduces' is not the same as 'eliminates.' Even if both premises were entirely true, the conclusion would not be guaranteed to follow — which is what makes the argument invalid. Option D makes the same error the topic warns against: evaluating the truth of premises rather than the validity of the inference. Formalization reveals the structural flaw regardless of the content.

Question 3

An argument is valid if its premises are true and its conclusion is also true.

• T. True
• F. False

Answer: False

Validity is entirely about form, not content. A valid argument is one where the conclusion cannot be false *given* that the premises are all true — the form guarantees the inference. An argument can have true premises and a true conclusion yet still be invalid if the conclusion doesn't actually follow from the premises. For example: 'Paris is in France; the Eiffel Tower is famous; therefore Paris has restaurants' has true premises and a true conclusion, but the conclusion doesn't follow from those premises by any valid form. Coincidentally true is not the same as logically entailed.

Question 4

Two arguments about completely different subject matters can be equally valid (or equally invalid) if they share the same logical form.

• T. True
• F. False

Answer: True

This is the central claim of logical form analysis, and what makes formal logic useful. Once a pattern is identified as valid (modus ponens) or invalid (affirming the consequent), every instance of that pattern inherits the same validity status regardless of subject matter. You evaluate the form once; the content is irrelevant to validity. This is why formalization is powerful: it lets you assess any argument by pattern-matching to known forms, without re-evaluating from scratch each time.

Question 5

Why does formalization help evaluate arguments whose content is emotionally compelling or politically charged?

Model answer: When an argument's content resonates with our values or beliefs, we tend to evaluate it more charitably — accepting weak inferences, overlooking missing premises, and treating emotional plausibility as logical support. Formalization corrects for this by stripping the argument to its abstract structure: replacing content words with variables (P, Q, A, B) removes the emotional freight and reveals only the inference pattern. Once the content is gone, it becomes clear whether the structure actually works — whether the form guarantees the conclusion regardless of whether the premises are true. This is why logicians insist on separating 'is this valid?' from 'are the premises true?' — they are independent questions, and content bias distorts the second far more than the first.

The practical payoff is immunity to motivated reasoning. An argument that 'sounds right' because you agree with its conclusion may have a formally invalid structure — affirming the consequent, denying the antecedent. An argument that 'sounds wrong' because you reject its premises may be formally impeccable. Formalization forces both evaluations to be explicit and separate.