2.3: Modus Ponens & Modus Tollens

Modus Ponens & Modus Tollens

Direct Logic in Action

As you progress through the FBI SAET, you will encounter logical arguments that require you to combine general rules with specific facts to reach a conclusion. Two of the most fundamental and universally accepted rules of logical deduction are Modus Ponens and Modus Tollens. While you do not need to memorize these Latin names for the exam, you absolutely must understand and flawlessly apply the logical frameworks they represent. They are the primary tools you will use to connect conditional statements (rules) with actual events (evidence) to validate a conclusion.

Modus Ponens: Affirming the Antecedent

Modus Ponens, which translates roughly to "the way that affirms by affirming," is the most direct form of logical deduction. It occurs when you are given a conditional statement and are then told that the condition has actually happened.

The Structure of Modus Ponens

1. Premise 1 (The Rule): If P, then Q.
2. Premise 2 (The Fact): P is true.
3. Conclusion: Therefore, Q must be true.

Example:

• Premise 1: If an agent's security clearance is revoked, they must surrender their badge.
• Premise 2: Agent Smith's security clearance is revoked.
• Conclusion: Agent Smith must surrender their badge.

This structure is straightforward but critical. When taking the SAET, you will often have to dig through paragraphs of narrative to find these elements. Your job is to isolate the "If-Then" rule and look for evidence that the "If" part has been triggered. Once triggered, the "Then" part is an undeniable certainty.

Modus Tollens: Denying the Consequent

Modus Tollens, meaning "the way that denies by denying," is slightly more complex but equally reliable. It relies on the concept of the contrapositive. In Modus Tollens, you are given a conditional statement, and then you are told that the result did NOT happen. Because the result is a necessary consequence of the condition, if the result is missing, the condition could not have occurred.

The Structure of Modus Tollens

1. Premise 1 (The Rule): If P, then Q.
2. Premise 2 (The Fact): Q is false (NOT Q).
3. Conclusion: Therefore, P must be false (NOT P).

Example:

• Premise 1: If a digital file is encrypted, it requires a key to open.
• Premise 2: The digital file does not require a key to open.
• Conclusion: The digital file is not encrypted.

Modus Tollens is incredibly useful in investigative scenarios on the SAET where you are ruling out possibilities. If you know that a certain crime (P) always leaves a specific trace evidence (Q), the absence of that trace evidence (~Q) allows you to confidently deduce that the crime (P) did not occur in that manner.

Chaining Multiple Conditional Statements

The SAET rarely tests these concepts in isolation. You will likely be asked to chain multiple conditional statements together to form a complex deduction, a process sometimes called a hypothetical syllogism.

The Chain Rule

If you have a series of conditional statements where the consequent of one is the antecedent of the next, you can link them together.

• Premise 1: If A, then B. (A → B)
• Premise 2: If B, then C. (B → C)
• Conclusion: If A, then C. (A → C)

Example:

• If the suspect flees, a pursuit is initiated.
• If a pursuit is initiated, traffic units are deployed.
• Conclusion: If the suspect flees, traffic units are deployed.

Applying Modus Ponens and Tollens to Chains

Once you have formed a chain, you can apply facts to either end of it.

• Affirming the start (Modus Ponens): We know the suspect fled. Therefore, traffic units are deployed.
• Denying the end (Modus Tollens): Traffic units were NOT deployed. Therefore, the suspect did NOT flee. (Because if they had, the chain reaction would have inevitably led to deployment).

Recognizing Invalid Deductions

Just as you must recognize valid structures, you must be hyper-vigilant against invalid ones. We discussed the Converse and Inverse fallacies in the previous section. When presented with facts, these fallacies take the form of Affirming the Consequent and Denying the Antecedent.

• Affirming the Consequent (Invalid): "If P, then Q. Q is true. Therefore P is true." This is wrong. Just because the result happened doesn't mean the specific trigger occurred.
• Denying the Antecedent (Invalid): "If P, then Q. P is false. Therefore Q is false." This is also wrong. The result could still happen for other reasons.

When evaluating an argument on the exam, explicitly map out whether it follows Modus Ponens (valid), Modus Tollens (valid), or one of these fallacies (invalid). By strictly adhering to these structural rules, you remove the guesswork and eliminate the risk of bringing outside biases into your reasoning.