Logic, Reason and Argument
Validity, fallacies, symbols and proof.
What the course covers
Logic studies one relation: whether some claims, if true, would force another. The course builds the tools for testing it. First the vocabulary, validity, soundness and form, and the ways ordinary language hides all three. Then the fallacies, which are the patterns that persuade without supporting. Then two formal systems: categorical logic, which is Aristotle’s and still the fastest way to see a syllogism fail, and propositional and predicate logic, which is what a modern paper is set in. Truth tables decide, proofs derive, and models refute. It ends where certainty does, with induction and probability.
What an argument is
- What an argument is. Reasons offered, not a quarrel.
- Finding the conclusion. Which claim is being supported.
- What is not an argument. Explanations, reports, conditionals.
- Validity. The premises guarantee it, or not.
- Valid is not true. The four combinations that matter.
- Soundness. Valid, and the premises are true.
- Form is everything. Why the content drops out.
- Forms worth knowing. Five patterns you will reuse.
- Counterexamples. Same form, true premises, false end.
- Strength and cogency. Good arguments that are not valid.
- Reconstructing arguments. Missing premises, fairly supplied.
- What an argument is review. Everything so far, tested.
Logic and language
- Saying and suggesting. What a sentence makes you feel.
- Ambiguity. One sentence, two readings.
- Vagueness. Borderline cases with no line.
- Kinds of definition. Five jobs a definition can do.
- Good and bad definitions. Too broad, too narrow, circular.
- Definitions in arguments. Winning by fixing the terms.
- Logic and language review. Words, and the trouble they cause.
Informal fallacies
- What a fallacy is. Persuades without supporting.
- Attacking the person. The arguer is not the argument.
- The straw man. Refuting what nobody said.
- Appeals to feeling. Fear, pity, and what the crowd says.
- The red herring. Changing the subject on purpose.
- Authority and ignorance. Who said it, and what nobody knows.
- Fallacies of ambiguity. One word quietly doing two jobs.
- Smuggled assumptions. Assuming what was to be proved.
- Weak inductive fallacies. Too few cases, and false causes.
- Informal fallacies review. Naming exactly what went wrong.
Categorical statements
- The four forms. A, E, I and O, and no more.
- Quantity and quality. The two dials that make four.
- Distribution. When a term covers every member.
- Venn diagrams. Two circles, shading and a bar.
- The square of opposition. How four forms constrain each other.
- Existential import. Whether nothing counts as all.
- Immediate inferences. Conversion, obversion, contraposition.
- Into standard form. Getting English to behave.
- Categorical statements review. Four forms and their relations.
Categorical syllogisms
- Standard form. Major, minor, middle, mood, figure.
- The Venn test. Three circles settle the question.
- The rules. Five checks, five named failures.
- Syllogisms with gaps. Supplying the missing premise.
- Chains of syllogisms. Several joined end to end.
- Categorical syllogisms review. Testing a syllogism two ways.
Propositional logic
- Why symbols. What eyeballing keeps getting wrong.
- Simple and compound. Atoms, and what joins them.
- The first three connectives. Not, and, or, with their tables.
- Two kinds of or. The word logic has to pin down.
- The conditional. If, and the table nobody likes.
- The material conditional. Where the table stops matching.
- The biconditional. If and only if, both ways.
- Scope and grouping. Brackets, and what is in charge.
- Other notations. The symbols your textbook uses.
- Building a truth table. Rows, columns and discipline.
- Three verdicts. Always, never, or sometimes true.
- Logical equivalence. Same column, same meaning.
- Testing arguments. Hunting for the one bad row.
- The short way. Assume invalid, then try to build it.
- Propositional logic review. Symbols, tables and verdicts.
Proofs
- Why proofs. Sixteen rows is fine, a thousand is not.
- Modus ponens and tollens. The two rules about conditionals.
- Chaining and eliminating. Hypothetical and disjunctive syllogism.
- Four more rules. Splitting, joining, weakening, choosing.
- Rules apply to whole lines. The mistake everybody makes once.
- Finding the proof. Work backwards from the conclusion.
- Equivalence rules. Five ways to rewrite a formula.
- Five more equivalences. Implication, exportation and the rest.
- Conditional proof. Assume, derive, then discharge.
- Reductio ad absurdum. Assume the opposite and break it.
- Proofs review. Rules, strategy and assumptions.
Predicate logic
- Why letters are not enough. The argument tables cannot touch.
- Names and predicates. Looking inside a statement.
- The universal quantifier. All, and why it takes an arrow.
- The existential quantifier. Some, and why it takes an and.
- Two standard mistakes. The wrong connective, every time.
- The four forms again. A, E, I and O, symbolised.
- Scope and binding. Free variables and bound ones.
- Relations. Predicates with two places.
- Order matters. Everyone loves someone, two ways.
- Interpretations. Building a world to break it.
- Quantifier rules. Stripping and restoring quantifiers.
- Identity and descriptions. Only, at most one, and the.
- Predicate logic review. Quantifiers, models and identity.
Inductive reasoning
- Strength, not validity. Support that comes in degrees.
- Statistical syllogism. From most of them to this one.
- Generalisation. From this sample to all of them.
- Argument from analogy. Alike here, so alike there.
- Correlation and cause. Four things a correlation can mean.
- Mill’s methods. Five ways to isolate a cause.
- Best explanation. The hypothesis that would explain it.
- Inductive reasoning review. Evidence that does not compel.
Probability
- What probability is. Three ways to read a number.
- The axioms. Between nought and one, always.
- And. Multiplying, and when you cannot.
- Or. Adding, minus the overlap.
- Conditional probability. Given that, what are the odds.
- Bayes theorem. Updating a belief on evidence.
- Base rates. Why the accurate test misleads.
- Probability fallacies. Conjunction, gambler and the rest.
- Expected value. What a bet is actually worth.
- Probability review. Rules, updating and traps.
One lesson in full
Valid is not true. The four combinations that matter.
A question to try
All fish are birds. All birds have wheels. So all fish have wheels. This argument is:
The answer, and why
The answer: valid but unsound.
Every statement in it is false and the reasoning is perfect, which is exactly what validity permits.
- invalid but sound. Nothing can be sound without being valid, since soundness is validity plus true premises.
- invalid. You judged the argument by the truth of its statements. The link is faultless, and that is what validity is about.
- sound. Soundness also needs true premises, and these are plainly false.