Deduction

Aristotle, the first logician, defined deduction as follows: “A deduction is an argument in which, certain things being laid down, something other than these necessarily comes about through them.” (Topics I.1 100a25-27) The premises are the "things laid down" and the conclusion is what comes about necessarily through them, so another way to put Aristotle's definition is to say that a deduction is an argument in which the premises necessitate the conclusion. That means that it's an argument in which the premises being true would make the conclusion have to be true. It will be easier to see what's meant by "necessitate" or "have to be" if we look at two examples:

Let’s focus on the first of these examples, Argument U. Proposition 1 tells us that all birds are animals, and Proposition 2, adds that all parrots are birds, so if we were to deny Proposition 3, it would amount to our saying "All birds are animals, and here's a type of bird that isn't." We'd be caught in a contradiction. This is the sense in which Inference U necessitates Proposition 3.

Notice that it is not because of anything special about the subject matter that the premises necessitate the conclusion. If we changed the argument to be about Volkswagens, cars, and Jettas, rather than birds, animals, and parrots, the premises would still necessitate the conclusion in exactly the same way. The same holds if we changed the argument to make it about musicians, matadors, and marriage counselors. In this last case, both premises would be false, but if they were true (that is, if all musicians were matadors and all matadors were marriage counselors), then the conclusion would have to be true: all musicians would have to be marriage counselors. What makes the deduction work doesn’t have to do with the subject matter of the propositions involved, but with their structure and interrelation. This is called the form of the argument.

Argument V (in the map above) has the same form as Argument U. If you don’t see this immediately, try rewriting the phrase “need food” with “are things that need food” or “are food-needers”.

In order to focus on the forms of deductive arguments rather than their content, Aristotle introduced the practice of using letters to stand for the subjects and predicates of the propositions, leaving behind only words like “some”, “all”, “no”, “is” and “not” (and their variants). Argument W (in the map above) uses letters in this way to display the Form of argument shared by Arguments U and V. It is one of the forms first identified by Aristotle, and it was named Barbara by Medieval Philosophers who studied his logic. You can replace the capital letters S, M, and P with any terms you like, and you'll get a deductive argument.

Here are three maps that illustrate another form of argument, called Modus Tollens:

Arguments X and Y share the same form, which is described in Argument Z. The letters "p" and "q" (in Argument Z) stand for whole propositions in the other two arguments, as shown in the table below.

Argument X	Argument Y	Argument Z
It is raining now.	Daddy likes coffee.	p
I feel wet.	I've seen daddy drink coffee.	q

(If you just mechanically substitute the relevant words in for the letters p and q, you won't always grammatical sentences, so you need to edit the wording a bit. But with a little bit of practice, it's easy to see which arguments fall into this form.)

The propositions in a modus tollens argument can be thought of as complex propositions. The first premise is relating two other propositions (p and q) telling you that if the first is true, then the other also is. The second premise is telling you that the second proposition (q) is not true, and the conclusion is that the first one (p) isn't true either. The premises might be false, but if they are true, then the conclusion would have to be.

Deduction is the most studied form of argument and many valid deductive argument forms have been identified. Even without knowing these forms explicitly, one can often tell simply by asking oneself whether the premises and conclusion of an argument are related in such a manner as to preclude any scenario under which the premises would be true and the conclusion false.

Since every deduction is as strong as an inference can be, no deduction can be stronger than any other. Thus, on a scale representing the strength of inferences, we must represent deduction, not as a range, but as a point on the far right.