This cheat sheet covers the basic structure of philosophical arguments and the most common rules of inference used in symbolic logic. Students need these tools to test whether conclusions actually follow from premises. It helps connect everyday reasoning with formal logic used in philosophy, debate, math, and writing.
Clear argument patterns make it easier to spot strong reasoning and weak reasoning.
The core idea is that an argument is valid when its conclusion must be true if its premises are true. Important rules include modus ponens, modus tollens, hypothetical syllogism, disjunctive syllogism, conjunction, simplification, and addition. Students should also know the difference between validity and soundness, because a valid argument can still have false premises.
Common fallacies often look persuasive but break a valid rule of inference.
Key Facts
- An argument has premises that provide reasons and a conclusion that the premises are meant to support.
- An argument is valid if and only if it is impossible for all premises to be true and the conclusion false.
- An argument is sound if and only if it is valid and all of its premises are true.
- Modus ponens has the form If P then Q; P; therefore Q.
- Modus tollens has the form If P then Q; not Q; therefore not P.
- Hypothetical syllogism has the form If P then Q; if Q then R; therefore if P then R.
- Disjunctive syllogism has the form P or Q; not P; therefore Q.
- Affirming the consequent has the invalid form If P then Q; Q; therefore P.
Vocabulary
- Premise
- A premise is a statement offered as a reason or evidence for a conclusion.
- Conclusion
- A conclusion is the claim that an argument is trying to prove or support.
- Validity
- Validity means the conclusion must be true whenever all the premises are true.
- Soundness
- Soundness means an argument is valid and has only true premises.
- Rule of inference
- A rule of inference is a valid logical pattern that allows a conclusion to be drawn from given premises.
- Fallacy
- A fallacy is an error in reasoning that makes an argument weak, invalid, or misleading.
Common Mistakes to Avoid
- Confusing validity with truth is wrong because validity is about logical structure, not whether each statement is actually true.
- Assuming a sound conclusion from a valid form is wrong if one or more premises are false, because soundness requires both validity and true premises.
- Using affirming the consequent is wrong because If P then Q and Q do not prove P; there could be another reason Q is true.
- Using denying the antecedent is wrong because If P then Q and not P do not prove not Q; Q might still happen for a different reason.
- Treating ordinary language words as always precise is wrong because words like or, if, only if, and unless can change the logical form of an argument.
Practice Questions
- 1 Identify the rule of inference: If it rains, the ground gets wet. It rains. Therefore, the ground gets wet.
- 2 Determine whether this argument is valid: If a number is divisible by 4, then it is even. 12 is even. Therefore, 12 is divisible by 4.
- 3 Use modus tollens to complete the argument: If the essay has no thesis, then it is incomplete. The essay is not incomplete. Therefore, ____.
- 4 Explain why an argument can be valid but not sound, and give a simple example in words.
Understanding Rules of Inference & Logical Arguments
A rule of inference works because of the direction of its conditional statement. Consider the claim, If an object is a square, then it has four sides. Finding four sides does not prove that an object is a square, since a rectangle can have four sides too.
This is why affirming the consequent fails. The result can happen for more than one reason.
By contrast, if an object does not have four sides, it cannot be a square. That reasoning follows the original direction backward through a denial, which is the key idea behind modus tollens.
One useful way to test an argument is to search for a counterexample. Assume the premises are true, then try to make the conclusion false. If you can build even one case like that, the argument form is not valid.
Truth tables do this systematically by listing every possible truth value for the statements involved. Students do not need to memorize every table at first. They should understand what the table is checking.
It checks whether there is any row where the reasons hold but the claimed result does not. This method is especially helpful when an argument looks convincing because its topic is familiar.
Everyday language can hide logical structure. Words such as unless, only if, either, and because need careful attention. The phrase only if gives a necessary condition.
Saying, You may enter only if you have a pass, means having a pass is required for entry. It does not mean every person with a pass will enter. The word or is often inclusive in formal logic.
A statement such as You may choose tea or juice permits either drink and may permit both, unless the situation clearly says one choice only. Translating a sentence into short statements can reveal these details before a mistake grows into a full argument.
Logical quality depends on more than the pattern of sentences. A perfectly structured argument built on an unsupported fact cannot establish a reliable conclusion about the world. Premises need evidence from observation, trustworthy sources, definitions, or accepted starting points.
In debate, news, science, and social media, notice whether a speaker changes the subject, attacks a person, assumes the point being argued, or treats two events as proof that one caused the other. These moves may affect feelings, but they do not supply the missing link.
When practicing, label each premise, mark the conclusion, identify the main conditional words, then state the exact rule that permits each step. Slow checking builds accuracy.