All men are mortal. Socrates is a man. Therefore Socrates is mortal.

The conclusion is not merely well supported. Given those premises, it cannot be false. There is no possible situation in which the premises hold and the conclusion does not, and that is the whole of what deduction offers.

Validity and soundness, which are not the same

This distinction is where most confusion about argument lives, and it is worth being exact.

Validity is about form alone. An argument is valid when the truth of the premises would guarantee the conclusion. It says nothing about whether the premises are true.

> All fish are mammals. All mammals are green. Therefore all fish are green.

That is valid. Every premise is false and so is the conclusion, and the argument is impeccable as an argument. Validity is a property of the connection, not of the content.

Soundness is validity plus true premises. A sound argument has a true conclusion, necessarily.

Two consequences follow, and both get missed.

A true conclusion does not make an argument good. People reach correct conclusions through terrible reasoning constantly, and the reasoning will fail the next time.

Attacking a conclusion is usually the wrong move. If an argument is valid, the conclusion follows, and disputing it is pointless — the only thing left to dispute is a premise. Most disagreements that feel irresolvable are arguments about a premise nobody has stated. Finding it is the entire skill.

What deduction cannot do

The guarantee has a cost, and it is not a small one.

A deduction never tells you anything new about the world. The conclusion was already contained in the premises; unpacking it makes it visible but adds nothing. That is why the guarantee is available at all — it is bought by not reaching beyond what was assumed.

So deduction cannot establish a fact about the world on its own. It can only move you from things you already accept to their consequences. Everything empirical enters through the premises, and the premises are arrived at by induction or by observation or by stipulation.

This is why both matter and why neither substitutes for the other. Induction gives you content and no certainty; deduction gives you certainty and no content. Every real argument uses both, and locating which part is doing which is how you find where it is weak.

Where the work actually is

Check the premises, not the conclusion. If the form is valid the conclusion is not negotiable, so the argument is only as good as what it started with.

Look for the premise nobody said. Most arguments in ordinary life are enthymemes — deductions with a premise left implicit because it seemed obvious. It is usually the unstated one that is doing the work and that somebody disagrees with.

Notice when a valid argument is being used to launder a premise. A chain of impeccable reasoning from an assumption nobody examined produces a confident conclusion that inherits every weakness of the assumption, and the confidence comes from the form rather than from the content.

The formal machinery — the syllogism and the rest of logic — is the study of which forms preserve truth. Dialectic is what you reach for when deduction has run out, which it does the moment the premises themselves are in question.