Logic
Validity vs Truth
Цели урока
- Understand the difference between validity and truth
- Learn what a sound argument is
- Learn to identify the trap of the "correct conclusion"
- Master the analysis of argument form
"All metals are liquids. Gold is a metal. Therefore, gold is liquid." The reasoning is flawless - but the conclusion is absurd. How is that possible?
- Exposing arguments with false premises in politics
- Evaluating "convincing" business cases built on bad data
- Analyzing research papers: is the methodology sound?
- Checking decisions for self-deception: is the reasoning actually sound?
Validity: correctness of form
**Validity** is the property of an argument whereby the conclusion *necessarily* follows from the premises. If the premises are true, the conclusion *cannot* be false.
**Key insight:** Validity checks only the FORM of the reasoning, not the content. A valid argument with false premises will produce nonsense - but logically correct nonsense.
Consider validity as plumbing: if the pipes are connected correctly, water reaches the tap. But put mud in at the source instead of water, and mud comes out at the tap.
"All programmers wear glasses. Mary is a programmer. Therefore, Mary wears glasses." Is this argument valid?
Soundness: validity + truth
A **sound argument** is a valid argument with true premises. Only such an argument guarantees a true conclusion.
**Why this matters:** Validity can be checked logically (analyzing the form). The truth of premises must be checked empirically (facts, research). A sound argument requires both kinds of checking.
In real debates people often build valid arguments with false premises. Logic helps expose this: "Ok, the reasoning is correct, but prove that the premise is true!"
What must be verified to establish that an argument is sound?
Truth: the trap of the correct conclusion
Here is the paradox: **a true conclusion can follow from an invalid argument**. This is the most treacherous trap - we believe the argument because the conclusion "is notably right".
**Trap:** We tend to accept bad arguments if we agree with the conclusion. "Well, the result is correct!" - but that doesn't make the reasoning reliable.
A true conclusion from an invalid argument is like guessing the correct answer on an exam. Lucky once, but the method doesn't work.
"All doctors know anatomy. This person knows anatomy. Therefore, he is a doctor." What is wrong here?
Form vs Content: the essence of logical analysis
Logic deals with **form**, not **content**. It is like grammar: a grammatically correct sentence can still be meaningless.
**The power of abstraction:** By checking the form, we can evaluate millions of arguments with a single rule. The form "All A are B. X is A. → X is B" - always valid. The form "All A are B. X is B. → X is A" - always invalid. Content doesn't matter - structure does.
This is why a professor can believe in homeopathy: invalid forms of reasoning, even with many known facts. Knowledge (content) doesn't protect against errors in form.
If the conclusion is true, the argument is good
A true conclusion does not guarantee the quality of the argument
A correct conclusion can be reached accidentally through invalid reasoning. A good argument = valid form + true premises. Only then is the truth of the conclusion guaranteed rather than coincidental.
Why do logicians write arguments in abstract form (A, B, X)?
Key Takeaways
- Validity is correctness of form. If the premises are true, the conclusion cannot be false
- Soundness = validity + true premises. Only such an argument is reliable
- A true conclusion does not guarantee a good argument - the right answer can be "guessed"
- Logic analyzes form, not content. One form covers infinitely many arguments
Next
Now we'll study the basic logical connectives - how to combine propositions into complex structures
- AND/OR Connectives — next lesson
- Argument structure — previous lesson
Вопросы для размышления
- Consider an argument whose conclusion seems agreeable. Is it valid?
- When was a bad argument last accepted because the conclusion seemed correct?
- How does the difference between validity and truth get explained to a five-year-old?