Logic Notes: Modus Tollens, Modus Ponens, and Related Fallacies

Core idea: If a conditional statement is true and its consequent is false, then the antecedent must be false. This is a truth-preserving (valid) form of inference in deductive logic.
Formal form:
- Symbolic: (p \to q), (\neg q) \vdash (\neg p)
Example from the transcript (alarm and smoke):
- Let p = "the alarm is working" and q = "the alarm rings when there is smoke".
- Premise 1: p \to q (If the alarm is working, it will ring when there is smoke.)
- Premise 2: \neg q (The alarm did not ring when there was smoke.)
- Conclusion: \neg p (Therefore, the alarm is not working.)
Why it’s truth-preserving: If the premises are true, the conclusion must also be true in all interpretations.
Note on the transcript: the speaker correctly used the form of modus tollens but occasionally phrased things in a slightly informal way. The essential structure is: if p implies q and q is false, then p must be false.

Core idea: If a conditional is true and its antecedent is true, then the consequent must be true. Also a truth-preserving (valid) form.
Formal form:
- Symbolic: (p \to q), p \vdash q
Example (implicit in the discussion of related forms):
- If it is raining (p), then the ground will be wet (q). Given p, we can conclude q.
Key takeaway: Modus ponens is the standard valid form used to derive conclusions from a conditional and its antecedent.

Formal form (as presented in the transcript, with the standard correction noted):
- Incorrect form: (p \to q), q \Rightarrow p
- Correct interpretation of the fallacy: (p \to q), q \nRightarrow p (not a valid deduction)
Why it’s a fallacy: It does not guarantee the truth of p from q.
Correct standard form (invalid):
- If p then q; q; therefore p. This is not truth-preserving.
Example from the transcript:
- If it is raining (p), then the ground will be wet (q). Premise: the ground is wet (q). Therefore, it is raining (p).
- Counterexample: The ground could be wet because someone watered the grass; it could be raining or not raining. So q true does not force p true.
Takeaway: The presence of q does not necessarily imply p; this form is not a valid deduction.

Formal form:
- (p \to q), \neg p \nRightarrow \neg q
Why it’s a fallacy: Even if p is false, q may still be true for other reasons.
Example from the transcript:
- If it is raining (p), then the ground will be wet (q). Not raining (¬p). Therefore, the ground is not wet (¬q).
- Counterexample: The ground could be wet because someone watered the grass.
Takeaway: The truth of the antecedent being false does not imply the negation of the consequent.

Definitions:
- Circular reasoning: The argument assumes what it tries to prove; the premise already contains the conclusion.
- Begging the question: A form of circular reasoning where the argument presumes the very claim it seeks to establish.
Example from the transcript:
- Premise 1: God exists.
- Premise 2: The Bible says God exists (and the Bible is God’s word).
- Conclusion: Therefore, God exists.
- Analysis: The premise "the Bible is God’s word" already assumes the existence of God, so the argument begs the question.
Practical note for writing:
- Be careful not to use a conclusion as part of the premises to prove itself.
- Distinguish the thesis (the conclusion you want to establish) from the premises and the argument that supports it.
Broader importance:
- Recognizing circular reasoning improves clarity in thinking and writing.

Method:
- For a deductive argument, ask: Is it possible for the premises to be true and the conclusion false?
- If yes, the form is not truth-preserving (not valid).
- If no, the form is truth-preserving (valid).
Counterexample approach used in the transcript:
- Example: For affirming the consequent, a counterexample exists where p is false but q is true (e.g., watering the grass makes the ground wet).
Key concept: Valid forms guarantee that true premises yield a true conclusion; invalid forms do not guarantee this across all interpretations.

Why this matters:
- Politicians and commentators often employ invalid inferences (fallacies) that appear persuasive but are not deductively sound.
Application to arguments:
- Distinguish the thesis from the supporting arguments.
- Ensure that premises truly support the conclusion and that you don’t rely on circular reasoning.
Practical tips:
- When writing, present a clear, separate thesis (the conclusion) and a chain of well-supported premises (the argument).
- Avoid begging the question by making sure premises are independent of the conclusion and not assuming what you’re trying to prove.

The importance of clear thinking:
- Logic provides tools to evaluate arguments, identify fallacies, and strengthen reasoning.
Ethical and practical implications:
- Clear reasoning leads to better decision-making in everyday life, public discourse, and policy.
Context from the lecture:
- The discussion ends with a preview of future topics on the nature of a good life (hedonism) to connect logical reasoning to philosophical questions about value and justification.

Modus Tollens (valid):
- Form: (p \to q), (\neg q) \vdash (\neg p)
Modus Ponens (valid):
- Form: (p \to q), p \vdash q
Affirming the Consequent (invalid):
- Form: (p \to q), q \nRightarrow p
- Counterexample: Rain implies wet ground; wet ground does not necessarily mean rain.
Denying the Antecedent (invalid):
- Form: (p \to q), \neg p \nRightarrow \neg q
- Counterexample: Ground wet from watering, even if it’s not raining.
Circular Reasoning / Begging the Question (invalid in most cases):
- Conclusion already assumed in premises; example with God and the Bible.

The instructor emphasized truth-preservation and the importance of counterexamples to test validity.
The session also tied logic to broader epistemology and writing practices.
Preview: Thursday’s topic on what constitutes a good life, starting with hedonism.