Argument Structure
Components of an Argument
Every argument has two basic building blocks: premises and a conclusion.
Premises are the statements offered as evidence or reasons. You treat them as true for the sake of the argument, and an argument can have one or many. In the classic example, "All men are mortal" and "Socrates is a man" are both premises.
Conclusion is the claim the argument is trying to establish. It's what the premises are supposed to support. In that same example, "Therefore, Socrates is mortal" is the conclusion. A useful habit: look for indicator words like therefore, so, thus, or it follows that to spot conclusions quickly.

Types of Reasoning
Deductive reasoning moves from general premises to a specific conclusion. The key feature: if the premises are true and the form is valid, the conclusion must be true. There's no wiggle room.
All dogs are mammals. Buddy is a dog. Therefore, Buddy is a mammal.
This is deductive because the conclusion follows with certainty from the general premises.
Inductive reasoning moves in the opposite direction, from specific observations to a general conclusion. The conclusion is probable based on the evidence, but never guaranteed.
Every swan I've seen is white. Therefore, all swans are probably white.
Notice the word "probably." Inductive arguments can be strong or weak, but they can't be valid or invalid in the strict logical sense. That distinction matters for this unit, because valid and invalid argument forms apply specifically to deductive arguments.

Evaluating Arguments
Assessing Argument Strength
Validity is about the structure of an argument, not whether the premises are actually true. An argument is valid if and only if it's impossible for all the premises to be true while the conclusion is false.
This means a valid argument can have false premises. Consider:
All cats are reptiles. Fluffy is a cat. Therefore, Fluffy is a reptile.
The first premise is obviously false, but the form is valid. If those premises were true, the conclusion would have to follow. Validity only asks: "Does the conclusion follow from the premises?"
Soundness adds a second requirement. An argument is sound when it is both valid and all its premises are actually true.
All mammals are animals. Dogs are mammals. Therefore, dogs are animals.
This argument is sound because the form is valid and the premises are true. A sound argument guarantees a true conclusion. Every sound argument is valid, but not every valid argument is sound.
Methods for Evaluating Arguments
Truth Table Method
Truth tables let you check validity systematically by testing every possible combination of truth values for the propositions involved.
- Identify all the distinct propositional variables in the argument.
- Build a truth table with a row for every possible combination of truth values (for variables, you'll have rows).
- For each row, calculate the truth value of every premise and the conclusion.
- Look for any row where all the premises are true and the conclusion is false.
- If no such row exists, the argument is valid. If even one such row exists, the argument is invalid.
The truth table method is mechanical and reliable. It always gives you a definitive answer, though it gets large quickly as the number of variables increases.
Counterexample Method
A counterexample is a specific scenario where all the premises come out true but the conclusion comes out false. Finding just one counterexample is enough to prove an argument form is invalid.
Premise: All birds can fly. Premise: Penguins are birds. Conclusion: Penguins can fly.
The counterexample here is straightforward: penguins are birds that cannot fly. The premise "All birds can fly" is false, which exposes the argument as unsound.
More precisely for testing form, you substitute different terms into the argument's structure to produce an instance with obviously true premises and a clearly false conclusion. If you can do that, the form itself is invalid. This method is often faster than building a full truth table, especially when you can spot a counterexample quickly.