Module 1: The Basics of Logical Analysis

1.3 Types of Arguments: Deductive and Inductive

As we noted in the unit overview, there are different logics—different approaches to distinguishing good arguments from bad ones. One of the reasons we need different logics is that there are different kinds of arguments. In this section, we introduce two argument types: deductive and inductive.


1.3.1 Deductive Arguments

First, deductive arguments. These are distinguished by their aim— a deductive argument attempts to provide premises that guarantee, that is, necessitate, its conclusion. Success for a deductive argument, then, does not come in degrees; either the premises do in fact guarantee the conclusion, in which case the argument is a successful one, or they do not, in which case it fails. Evaluation of deductive arguments is a black-and-white, yes-or-no affair; there is no middle ground.


Validity

We have a special term for a successful deductive argument: we call it valid. Validity is a central concept in the study of logic. It’s so important, we’re going to define it three times. Each of these three definitions is equivalent to the others; they are just three different ways of saying the same thing. An argument is valid when:

  1. Its premises guarantee its conclusion; that is,
  2. If its premises are true, then its conclusion must also be true; that is,
  3. It is impossible for its premises to be true and its conclusion false.

Here’s an example of a valid deductive argument:

All humans are mortal.
Socrates is a human.
/∴ Socrates is mortal.

This argument is valid because the premises do in fact guarantee the conclusion: if they’re true (as a matter of fact, they are), then the conclusion must be true; it’s impossible for the premises to be true and the conclusion false.

Here’s a surprising fact about validity: what makes a deductive argument valid has nothing to do with its content; rather, validity is determined by the argument’s form. This is important, understand and remember this!

That is to say, what makes our Socrates argument valid is not that it says a bunch of accurate things about Socrates, humanity, and mortality. The content doesn’t make a difference. Instead, it’s the form that matters—the pattern that the argument exhibits.

Later, when we undertake more detailed studies of deductive logic, we will give precise definitions of logical form. For now, we’ll use this rough gloss:

The logical form of an argument is what’s left over when you strip away all the non-logical terms and replace them with placeholders (or blanks).

Here’s what that looks like for our Socrates argument:

All A are B.
x is A.
/∴ x is B.

The letters are the blanks or placeholder; they are variables. As a matter of convention, we’re using capital letters to stand for groups of things (humans, mortals) and lower case letters to stand for individual things (Socrates).

The Socrates argument is a good, valid argument because it exhibits this good, valid form. Our third way of wording the definition of validity helps us see why this is a valid form: it’s impossible for the premises to be true and the conclusion false, in that it’s impossible to plug in terms for A, B, and x in such a way that the premises come out true and the conclusion comes out false.

A consequence of the fact that validity is determined entirely by an argument’s form is that, given a valid form, every single argument that has that form will be valid. So any argument that has the same form as our Socrates argument will be valid; that is, we can pick things at random to stick in for A, B, and x, and we’re guaranteed to get a valid argument. Here’s a silly example:

All apples are bananas.
Donald Duck is an apple.
/∴ Donald Duck is a banana.

This argument has the same form as the Socrates argument: we simply replaced A with ‘apples’, B with ‘bananas’, and x with ‘Donald Duck’. That means it’s a valid argument. That’s a strange thing to say since the argument is just silly—but it’s the form that matters, not the content. Our second way of wording the definition of validity can help us here. The standard for validity is this: IF the premises are true, then the conclusion must be. That’s a big ‘IF’. In this case, as a matter of fact, the premises are not true (they’re silly, plainly false). However, IF they were true—if in fact apples were a type of banana and Donald Duck was an apple—then the conclusion would be unavoidable: Donald would have to be a banana. The premises aren’t true, but if they were, the conclusion would have to be—that’s validity.

So it turns out that the actual truth or falsehood of the propositions in a valid argument is completely irrelevant to its validity. The Socrates argument has all true propositions and it’s valid; the Donald Duck argument has all false propositions, but it’s valid, too. They’re both valid because they have a valid form; the truth/falsity of their propositions don’t make any difference. This means that a valid argument can have propositions with almost any combination of truth values: some true premises, some false ones, and a true or false conclusion. One can fiddle around with the Socrates argument’s form, plugging different things in for A, B, and x, and see that this is so. For example, plug in ‘ants’ for A, ‘bugs’ for B, and Beyoncé for x: you get one true premise (All ants are bugs), one false one (Beyoncé is an ant), and a false conclusion (Beyoncé is a bug). Plug in other things and you can get any other combination of truth values.

Any combination, that is, but one: you’ll never get true premises and a false conclusion. That’s because the Socrates argument’s form is a valid one; by definition, it’s impossible to generate true premises and a false conclusion in that case.

This irrelevance of truth-value to judgments about validity means that those judgments are immune to revision. That is, once we decide whether an argument is valid or not, that decision cannot be changed by the discovery of new information. New information might change our judgment about whether a particular proposition in our argument is true or false, but that can’t change our judgment about validity. Validity is determined by the argument’s form, and new information can’t change the form of an argument. The Socrates argument is valid because it has a valid form. Suppose we discovered, say, that as a matter of fact, Socrates wasn’t a human being at all, but rather an alien from outer space who got a kick out of harassing random people on the streets of ancient Athens. That information would change the argument’s second premise—Socrates is human—from a truth to a falsehood. But it wouldn’t make the argument invalid. The form is still the same, and it’s a valid one.


Check Your Understanding


Soundness

We need a new concept to specify what’s wrong with the Duck argument. That concept is soundness. This is a higher standard of argument-goodness than validity; in order to meet it, a deductive argument must satisfy two conditions. An argument is sound when:

  1. It’s valid, AND
  2. Its premises are in fact true.

And what about the conclusion? Does it have to be true? Yes: remember, for valid arguments, if the premises are true, the conclusion has to be. Sound arguments are valid, so it goes without saying that the conclusion is true, provided that the premises are.

The Donald Duck argument, while valid, is not sound, because it fails to satisfy the second condition: its premises are both false. The Socrates argument, however, which is valid and contains nothing but truths (Socrates was not in fact an alien), is sound.

The question now naturally arises: if soundness is a higher standard of argument-goodness than validity, why didn’t we say that in the first place? Why so much emphasis on validity? The answer is this: we’re doing logic here, and as logicians, we have no special insight into the soundness of arguments. Or rather, we should say that as logicians, we have only partial expertise on the question of soundness. Logic can tell us whether or not an argument is valid, but it cannot tell us whether or not it is sound. Logic has no special insight into the second condition for soundness, the actual truth-values of premises. To take an example from the silly Duck argument, suppose you weren’t sure about the truth of the first premise, which claims that all apples are bananas (you have very little experience with fruit, apparently). How would you go about determining whether that claim was true or false? Whom would you ask? Well, this is a pretty easy one, so you could ask pretty much anybody, but the point is this: if you weren’t sure about the relationship between apples and bananas, you wouldn’t think to yourself, ‘I better go find a logician to help me figure this out.’ Propositions make claims about how things are in the world. To figure out whether they’re true or false when you are not sure, you need to consult an expert in the relevant subject matter. (Most claims aren’t about logic, so logic is very little help in determining truth values.) Since logic can only provide insight into the validity half of the soundness question, we focus on validity. Validity is a feature of arguments, while truth is a feature of propositions.


Demonstrating Invalidity

Returning to validity, then, we’re now in a position to do some actual logic. Given what we know, we can demonstrate invalidity; that is, we can prove that an invalid argument is invalid, and therefore bad.  (It can’t be sound, either; the first condition for soundness is validity, so if the argument’s invalid, the question of actual truth-values doesn’t even come up.) Here’s how we do this:

To demonstrate the invalidity of an argument, one must write down a new argument with the same form as the original, whose premises are in fact true and whose conclusion is in fact false. This new argument is called a “counterexample.”

Let’s look at an example. The following argument is invalid:

Some mammals are swimmers.
All whales are swimmers.
/∴ All whales are mammals.

Now, it’s not really obvious that the argument is invalid. It does have one thing going for it: all the claims it makes are true. But we know that doesn’t make any difference, since validity is determined by the argument’s form, not the truth of its content. If this argument is invalid, it’s invalid because it has a bad, invalid form. This is the form:

Some A are B.
All C are B.
/∴ All C are A.

To prove that the original whale argument is invalid, we have to show that this form is invalid. Recall that for a valid form, it’s impossible to plug things into the blanks and get true premises and a false conclusion; so for an invalid form, it’s possible to plug things into the blanks and get that result. That’s how we generate our counterexample: we plug things in for A, B, and C so that the premises turn out true and the conclusion turns out false. There’s no real method here; you just use your imagination to come up with an A, B, and C that give the desired result. Here’s a counterexample:

Some lawyers are American citizens.
All members of Congress are American citizens.
/∴ All members of Congress are lawyers.

For A, we inserted ‘lawyers’, for B we chose ‘American citizens’, and for C, ‘members of Congress’. The first premise is clearly true. The second premise is true: non-citizens aren’t eligible to be in Congress. And the conclusion is false: there are lots of people in Congress who are non-lawyers— they are doctors, business people, etc.

That’s all we need to do to prove that the original whale-argument is invalid: come up with one counterexample, one way of filling in the blanks in its form to get true premises and a false conclusion. To prove invalidity, we only have to prove that it’s possible to get true premises and a false conclusion, and for that, you only need one example.

What’s far more difficult is to prove that a particular argument is valid. To do that, we would need to show that its form is such that it’s impossible to generate a counterexample, to fill in the blanks to get true premises and a false conclusion. Proving that it’s possible is easy; you only need one counterexample. Proving that it’s impossible is hard; in fact, at first glance, it looks impossibly hard! What do you do? Check all the possible ways of plugging things into the blanks, and make sure that none of them turn out to have true premises and a false conclusion? That’s nuts! There are, literally, infinitely many ways to fill in the blanks in an argument’s form. Nobody has the time to check infinitely many potential counterexamples.

Well, take heart; it’s early in this course. For now, we’re able to do a little bit of deductive logic: given an invalid argument, we can demonstrate that it is in fact invalid. We’re not yet in the position we’d like to be in, namely of being able to determine, for any argument whatsoever, whether it’s valid or not. Proving validity looks too difficult, based on what we know, so far. But we’ll know more later: in Units 3 and 4 we will study two deductive logics, and each will give us a method of deciding whether or not any given deductive argument is valid. We will get there in due time!


Check Your Understanding


Before we leave this material on deductive logic, note that many of the arguments we have worked with so far are examples of a particular type of deductive argument called categorical syllogisms. We will study those in depth in Unit 3.  A list of a few common deductive argument forms is provided in at the end of this module in the supplement page, Common Deductive Argument Forms.


Skills Practice

Think of an English-language counterexample to demonstrate that this argument is invalid.

Some carnivores are mammals.
Rex (my dog) is a carnivore.
/∴ Rex is a mammal.

The argument’s logical form is:

Some A are B.
x is A.
/∴ x is B.

A’ and ‘B’ stand for groups of things and ‘x’ stands for an individual. Your counterexample should replace those items but otherwise maintain the same logical form.


1.3.2 Inductive Arguments

On next to the other type of argument we’re introducing in this section: inductive arguments. These arguments are distinguished from their deductive cousins by their relative lack of ambition. Whereas deductive arguments aim to give premises that guarantee/necessitate the conclusion with certainty, inductive arguments are more modest in that they aim merely to provide premises that make the conclusion more probable than it otherwise would be. The premises aim to support the conclusion, not to make it follow necessity.

Here is an example of an inductive argument:

I’m telling you, you’re not going to die taking a plane to visit us. Airplane crashes happen far less frequently than car crashes, for example; so you’re taking a bigger risk if you drive. In fact, plane crashes are so rare, that you’re far more likely to die from slipping in the bathtub. You’re not going to stop taking showers, are you?

The speaker is trying to convince her visitor that he won’t die in a plane crash en route. That’s the conclusion: you won’t die. This claim is supported by other reasons—which emphasize how rare plane crashes are—but it is not guaranteed by them. After all, plane crashes sometimes do happen. Instead, the premises give reasons to believe that the conclusion—you won’t die—is highly probable.

Since inductive arguments have a different, more modest goal than their deductive cousins, it would be unreasonable for us to apply the same evaluative standards to both kinds of argument. That is, we can’t use the terms ‘valid’ and ‘invalid’ to apply to inductive arguments. Remember, for an argument to be valid, its premises must guarantee its conclusion. But inductive arguments don’t even try to provide a guarantee of the conclusion. (Technically, then, they’re all invalid. ) But that won’t do. We need a different evaluative vocabulary to apply to inductive arguments. We will say of inductive arguments that they are (relatively) strong or weak, depending on how probable their conclusions are in light of their premises. One inductive argument is stronger than another when its conclusion is more probable than the other, given their respective premises.

One consequence of this difference in evaluative standards for inductive and deductive arguments is that for the inductive arguments, unlike deductive arguments, our evaluations are subject to revision in light of new evidence. Recall that since the validity or invalidity of a deductive argument is determined entirely by its form, as opposed to its content, the discovery of new information could not affect our evaluation of those arguments. The Socrates argument remained valid, even if we discovered that Socrates was in fact an alien. Our evaluations of inductive arguments, though, are not immune to revision in this way. New information might make the conclusion of an inductive argument more or less probable, and so we would have to revise our judgment accordingly, saying that the argument is stronger or weaker.


Check Your Understanding


Returning to the example above about plane crashes, suppose we were to discover that the FBI in the visitor’s hometown had recently been hearing lots of ‘chatter’ from terrorist groups active in the area, with strong indications that they were planning to blow up a passenger plane. Yikes! This would affect our estimation of the probability of the conclusion of the argument—that the visitor wasn’t going to die in a crash. The probability of not dying goes down (as the probability of dying goes up). This new information would trigger a re-evaluation of the argument, and we would say it’s now weaker. If, on the other hand, we were to learn that the airline that flies between the visitor’s and the speaker’s towns had recently upgraded its entire fleet, getting rid of all of its older planes, replacing them with a newer, more reliable model, while in addition instituting a new, more thorough and rigorous program of pre- and post-flight safety and maintenance inspections—well, then we might revise our judgment in the other direction. Given this information, we might judge that things are even safer for the visitor as it regards plane travel; that is, the proposition that the visitor won’t die is now even more probable than it was before. This new information would strengthen the argument’s support of that conclusion.

Here’s a reasonable follow-up question: how much is the argument strengthened or weakened by the new information imagined in these scenarios? Answer: how should we know? Sorry, that’s not very helpful. But here’s the point — we’re talking about probabilities here; sometimes it’s hard to know what the probability of something happening really is. Sometimes it’s not: if I flip a coin, I know that the probability of it coming up tails is 0.5. But how probable is it that a particular plane from Airline X will crash with our hypothetical visitor on board? We don’t know. And how much more probable is a disaster on the assumption of increased terrorist chatter? Again, we have no idea. All we know is that the probability of dying on the plane goes up in that case. And in the scenario in which Airline X has lots of new planes and security measures, the probability of a crash goes down.

Sometimes, with inductive arguments, all we can do is make relative judgments about strength and weakness. In light of new facts, the conclusion is more or less probable than it was before we learned of the new facts. Other times, for example, with arguments based on statistics, we can be precise about probabilities and make solid judgments about strength and weakness and say how probable a conclusion is in light of the premises supporting it.

Some examples of common types of inductive reasoning are provided at the end of this module in the supplement page, Common Types of Inductive Reasoning. In later modules, we will take deep dives into several specific types of inductive reasoning.


Skills Practice

Consider the following inductive argument.

Sally does all her grocery shopping at her organic food co-op’s weekend farmers’ markets.  She’s a huge fan of tofu and kale. And she’s an active member of PETA. I conclude that she’s a vegetarian.

  1. Make up a new piece of information about Sally that weakens the argument.
  2. Make up a new piece of information about Sally that strengthens the argument.

 

License

Icon for the Creative Commons Attribution-NonCommercial 4.0 International License

An Introduction to Logic Copyright © 2024 by Kathy Eldred is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License, except where otherwise noted.

Share This Book