## 3.3 Common Argument Forms

In the previous section we learned how to use truth tables to determine whether deductive arguments are valid. As arguments get longer, their truth tables would have more rows. Using truth tables to determine their validity can become quite time-consuming. For example, the truth table of the following argument has 16 rows, and can take quite a bit of time to construct.

If interest rates are raised, the stock market will be hurt. If the stock market is hurt, the economy will slow down. But if interest rates are not raised, inflation will get worse. If inflation gets worse, the economy will slow down. So the economy will slow down. | 3.3a |

So using truth tables to determine validity can be tedious, and there is an incentive to find a more efficient way.

Arguments such as (3.3a) are built by combining small and basic valid argument forms. This means that if we can recognize the small forms and see how they are put together to form longer arguments, then we can determine validity without constructing truth tables.

### 3.3.1 Basic Valid Forms

There are six basic forms that are commonly used:

- Disjunctive Syllogism (DS)
- Hypothetical Syllogism (HS)
- Modus Ponens (MP)
- Modus Tollens (MT)
- Constructive Dilemma (CD)
- Destructive Dilemma (DD)

We are going to study them and learn how to recognize them.

#### Disjunctive Syllogism (DS)

The basic form disjunctive syllogism gets its name from the feature that one of the two premises is a disjunction. The disjunction tells us that at least one of its disjuncts must be true in order for the disjunction to be true. Now since the other premise asserts that one of the disjuncts is false (that is, its negation is true). It follows that the other disjunct must be true.

p ∨ q |
or | p ∨ q |
||||

∼p |
∼q |
|||||

q |
p |

Notice that in Propositional Logic, the order of the premises does not matter. So the following two are treated as the same form.

p ∨ q |
∼p |
|||||

∼p |
= | p ∨ q |
||||

q |
q |

We can prove that the form disjunctive syllogism is valid using the truth table.

After we know what the form looks like, the next step is to identify it from a written argument. Here is an example of disjunctive syllogism:

Either interest rates go up or inflation gets worse. Since interest rates have not gone up, we can be sure that inflation is getting worse. | 3.3b |

After symbolizing the argument as

U ∨ W | ||

∼U | ||

W |

we can tell that it is an instance of disjunctive syllogism. In this way we can find out that it is valid without constructing its truth table.

#### Hypothetical Syllogism (HS)

A hypothetical syllogism has a distinct feature that helps us recognize
it. The argument consists of three conditionals. The first conditional says
that *p* is a sufficient condition for *q*. The second one says
that *q* in turn is a sufficient condition for *r*. It would
then follow that *p* is a sufficient condition for *r*.

p ⊃ q |
||

q ⊃ r |
||

p ⊃ r |

The next argument

If more prisons are built, public education will get worse due to lack of funding. If public education gets worse due to lack of funding, there will be more criminals. As a result, if more prisons are built, there will be more criminals. | 3.3c |

has the form

B ⊃ W | ||

W ⊃ C | ||

B ⊃ C |

and thus is an instance of hypothetical syllogism.

#### Modus Ponens (MP)

“Modus Ponens” is the Latin term for “Affirmative
Mode.” We can also call it “Affirming the Antecedent”
because one of its premises affirms that the antecedent of the conditional is
true. It is a valid form based on the concept of sufficient condition. If
*p* is a sufficient condition of *q*, and *p* is true,
then *q* must be true.

p ⊃ q |
||

p |
||

q |

Modus Ponens is one of the most commonly used valid forms. Here is an example:

If Republicans favor free market economy, then they should oppose farm subsidies. Republicans favor free market economy. So they should oppose farm subsidies. | 3.3d |

The argument is symbolized as

F ⊃ O | ||

F | ||

O |

We can see that its form is Modus Ponens and thus is valid.

#### Modus Tollens (MT)

“Modus Tollens” means “Denying Mode” in Latin. Its
English name is “Denying the Consequent” because one of its
premises denies that the consequent of the conditional is true. The validity
of Modus Tollens can be easily explained using the concept of necessary
condition. If *q* is a necessary condition of *p*, and
*q* is false, then *p* must be false.

p ⊃ q |
||

∼q |
||

∼p |

The next argument is an example of Modus Tollens:

We should be against big corporations only if we are against their stock holders. We are not against the stock holders. So we should not be against big corporations. | 3.3e |

B ⊃ S | ||

∼S | ||

∼B |

#### Constructive Dilemma (CD)

Constructive dilemma, like Modus Ponens, is built upon the concept of
sufficient condition. The two conditionals *p* ⊃ *q* and *r* ⊃ *s* can be joined
together as a conjunction or stated separately as two premises. They assert
that *p* is a sufficient condition for *q* and *r* is a
sufficient condition for *s*. Consequently, if at least one of the
sufficient conditions is true, then at least one of the consequents must also
be true.

(p ⊃ q) ∙ (r ⊃ s) |
or | p ⊃ q |
||||

p ∨ r |
r ⊃ s |
|||||

q ∨ s |
p ∨ r |
|||||

q ∨ s |

After symbolizing the argument

If consumers increase spending, then inflation will get worse. If consumers cut back on spending, then there will be a recession. Consumers either increase or cut back on spending. It follows that the inflation will get worse or there will be a recession. | 3.3f |

as

(I ⊃ W) ∙ (C ⊃ R) | ||

I ∨ C | ||

W ∨ R |

We can see that it is a constructive dilemma, and thus is valid.

A version of constructive dilemma has *p* ∨ ∼*p* as one of the
premises.

(p ⊃ q) ∙ (∼p ⊃ s) |
||

p ∨ ∼p |
||

q ∨ s |

Since *p* ∨ ∼*p* is a tautology,
the argument is sound if the premise (*p* ⊃ *q*) ∙ (∼*p* ⊃ *s*) is true. Here is an
example of this commonly seen version of constructive dilemma:

With protectionism, prices for consumer goods would become higher. Without protectionism, jobs would be lost. Since we either adopt protectionism or reject it, prices for consumer goods would become higher or jobs would be lost. | 3.3g |

(P ⊃ H) ∙ (∼P ⊃ J) | ||

P ∨ ∼P | ||

H ∨ J |

#### Destructive Dilemma (DD)

Destructive dilemma is another common form based on the concept of
necessary condition. The two conditionals assert that *q* is a
necessary condition for *p* and *s* is a necessary condition
for *r*. So if *q* is false or *s* is false, then it
must be the case that *p* is false or *r* is false.

(p ⊃ q) ∙ (r ⊃ s) |
or | p ⊃ q |
||||

∼q ∨ ∼s |
r ⊃ s |
|||||

∼p ∨ ∼r |
∼q ∨ ∼s |
|||||

∼p ∨ ∼r |

Here is an example of destructive dilemma:

Global warming can be slowed down only if we switch to cleaner energy sources. But the current level of industrial production can be sustained only if we continue to use fossil fuels. We won’t switch to cleaner energy sources or we won’t continue to use fossil fuels. As a result, global warming cannot be slowed down or the current level of industrial production cannot be sustained. | 3.3h |

(G ⊃ S) ∙ (P ⊃ F) | ||

∼S ∨ ∼F | ||

∼G ∨ ∼P |

It is also common to see a destructive dilemma with a tautologous disjunction as one of its premises:

(p ⊃ q) ∙ (r ⊃ ∼q) |
||

q ∨ ∼q |
||

∼p ∨ ∼r |

The first conditional asserts that *q* is a necessary condition for
*p*. This means that if ∼*q* is
true, then ∼*p* must
be true. The second conditional says that ∼*q* is a
necessary condition for *r*. This means that if ∼∼*q* (which
is logically equivalent to *q*) is true, then ∼*r* must
be true. Since *q* ∨ ∼*q* is a
logical truth, ∼*p* ∨ ∼*r* must
follow from (*p* ⊃ *q*) ∙ (*r* ⊃ ∼*q*). The
following argument is an instance of such a form:

GM can be competitive only if it increases outsourcing. UAW workers can have job security only if GM does not increase outsourcing. GM either increases or does not increase outsourcing. Therefore, either GM cannot be more competitive or UAW workers cannot have job security. | 3.3i |

(C ⊃ I) ∙ (J ⊃ ∼I) | ||

I ∨ ∼I | ||

∼C ∨ ∼J |

#### The Problem of Evil — a Destructive Dilemma

There is a well-known philosophical problem called the
**problem of evil** in western philosophy and religions. It argues that
God is either not all-powerful or not all-good. The argument can be
constructed as a destructive
dilemma:

- If God is all-powerful, He would be able to eliminate evil.
- If God is all-good, He would want to eliminate evil.
- Evil exists. (This means that God is not able to eliminate evil, or God does not want to eliminate evil.)
- Therefore, God is either not all-powerful or not all-good.

After it is symbolized as

(P ⊃ A) ∙ (G ⊃ W) | ||

∼A ∨ ∼W | ||

∼P ∨ ∼G |

it is clear that the argument indeed is an instance of destructive
dilemma. This helps us see that many attempted solutions to the problem
of evil (called **theodicies**)
are efforts to refute one of its premises.

### 3.3.2 Two Formal Fallacies

The mix-up of the sufficient condition and the necessary condition produces two common invalid forms. They are affirming the consequent and denying the antecedent. It is important not to confuse them with Modus Ponens and Modus Tollens.

#### Affirming the Consequent (AC)

Affirming the consequent mistakes a necessary condition for a sufficient
condition. If *q* is a necessary condition of *p*, then even if
*q* is true, *p* may still be false. This is why affirming the
consequent is invalid.

p ⊃ q |
||

q |
||

p |

The next argument has two true premises, but its conclusion is false. It is a counterexample that illustrates the invalidity of affirming the consequent.

If Isaac Newton is a biologist, then he is a scientist. Isaac Newton is a scientist. Therefore, he is a biologist. | 3.3j |

B ⊃ S | ||

S | ||

B |

#### Denying the Antecedent (DA)

Denying the antecedent concludes that *q* must be false on the
basis that a sufficient condition *p* is not true. The correct
conclusion to draw from *p* being false should be that *q* can
be true or false.

p ⊃ q |
||

∼p |
||

∼q |

Here is another counterexample that shows the form is invalid.

If Bill Gates owns Exxon Mobil, then he is a billionaire. Bill Gates does not own Exxon Mobil. Therefore, he is not a billionaire. | 3.3k |

O ⊃ B | ||

∼O | ||

∼B |

### 3.3.3 Recognizing Common Forms

In learning the basic argument forms, we use “*p*”,
“*q*”, “*r*” and
“*s*” as variables. They serve as place holders in
argument forms. If we replace each variable in a basic form with a capital
letter, we would of course end up with an instance of the form. But we can
also replace a variable with a compound sentence. The resulting argument
would also be an instance of the form. Such substitutions give us more
flexibility in constructing instances of the basic forms. It also helps us
identify them. Take a look at the next argument.

The current economic growth cannot be sustained unless inflation is under control. Inflation is not under control. Therefore, the current economic growth cannot be sustained. | 3.3l |

The argument can be symbolized as

∼S ∨ U | ||

∼U | ||

∼S |

We can then see that it is an instance of disjunctive syllogism by the following substitutions:

*p* = ∼S

*q* = U

In the next example, we should recognize A ∙ K as the antecedent *p* and ∼D as the consequent
*q*. As a result, it is a Modus Ponens.

To properly identify the next form as an instance of disjunctive
syllogism, we need to apply the **rule of double negation**,
which says that *p* is logically equivalent to ∼∼*p*. Afterwards, we
substitute *p* for G ⊃ M and
*q* for ∼D.

### 3.3.4 Combining Basic Forms

We can combine basic argument forms to construct longer and more complex arguments. The argument (3.3a)

If interest rates are raised, the stock market will be hurt. If the stock market is hurt, the economy will slow down. But if interest rates are not raised, inflation will get worse. If inflation gets worse, the economy will slow down. So the economy will slow down. | 3.3a |

is built by combining two hypothetical syllogisms with a constructive dilemma. It is easier to see the logical structure from the symbolization.

R ⊃ S | ||

S ⊃ E | ||

∼R ⊃ W | ||

W ⊃ E | ||

(R ∨ ∼R) | ||

E |

Notice that we include the tautology R ∨ ∼R as the last premise. The tautology goes unstated in the original argument because it is trivial that it is true. Now from the first two premises, we can derive R ⊃ E as a conclusion based on hypothetical syllogism.

R ⊃ S | ||

S ⊃ E | ||

R ⊃ E |

Using hypothetical syllogism one more time, we can draw the conclusion ∼R ⊃ E from the third and the fourth premises.

∼R ⊃ W | ||

W ⊃ E | ||

∼R ⊃ E |

Next, using the two conditionals R ⊃ E and ∼R ⊃ E, and
the tautology R ∨ ∼R, we arrive at the conclusion *E* according to constructive
dilemma.

R ⊃ E | ||

∼R ⊃ E | ||

R ∨ ∼R | ||

E |

#### Using Basic Forms to Determine Validity

As we saw above, the argument (3.3a) is constructed by combining three basic forms. Since each of them is valid, we can determine that (3.3a) is valid without constructing a long truth table with 16 rows.

Since long arguments are often constructed out of basic forms, we can determine their validity by identifying the basic forms. If all of the basic forms are valid, then the long argument is valid. But if one of the basic forms is invalid, then the long argument is invalid. This is not a rigorous formal process like the truth table method. But it does enable us to determine validity without constructing truth tables. When we try to break up a long argument into basic forms, we need to, when possible, identify valid forms first. To decide the validity of the argument,

A new game console is in high demand only if there are a lot of exciting games available for it. However, many game developing companies won’t design new games for a new console unless it is in high demand. Since there are not a lot of exciting games available for a new console, it follows that many game developing companies won’t design new games for it. | 3.3m |

we first symbolize it as

H ⊃ E | ||

∼D ∨ H | ||

∼E | ||

∼D |

Then we break it apart into the following two forms:

H ⊃ E | and | ∼D ∨ H | ||||

∼E | ∼H | |||||

∼H | ∼D | |||||

Modus Tollens | Disjunctive Syllogism |

Since both basic forms are valid, (3.3m) is valid. The diagram below shows how the conclusion is derived from the premises—the logical flow of the argument.

In the next example,

If we continue the acceleration of production and consumption, we will deplete natural resources within one hundred years. If natural resources are depleted within one hundred years, life on earth will not be sustainable. We continue to accelerate production and consumption. As a result, life on earth will not be sustainable. | 3.3n |

the argument is symbolized as

C ⊃ D | ||

D ⊃ ∼S | ||

C | ||

∼S |

We can see that it is constructed from the following two valid forms, and thus is valid.

C ⊃ D | and | C ⊃ ∼S | ||||

D ⊃ ∼S | C | |||||

C ⊃ ∼S | ∼S | |||||

Hypothetical Syllogism | Modus Ponens |

The logical flow of the argument is illustrated below.

The next argument

If one is a fiscal conservative, then one would be against big government spending. But if one is against big government spending, then one would support budget cut on military spending. President Bush supports budget cut on military spending. Therefore, he is a fiscal conservative. | 3.3o |

F ⊃ A | ||

A ⊃ S | ||

S | ||

F |

is invalid because after we separate it into two forms:

F ⊃ A | and | F ⊃ S | ||||

A ⊃ S | S | |||||

F ⊃ S | F | |||||

Hypothetical Syllogism | Affirming the Consequent |

we find that the second form is invalid.

### Exercise 3.3

- Decide whether each of the arguments is one of the common forms. If it is, identify the name of the form and decide its validity. If it is not a common form, label it as “No Form” and use the truth table to determine its validity.

- Use the common argument forms to derive the conclusion from the premises. Give the name of the argument form used.

- Decide whether each of the following arguments is valid by showing how it is constructed out of the common forms. Identify each common form with its abbreviated form name.

This work is licensed under a Creative Commons
Attribution-Noncommercial-No Derivative Works 3.0 United States License.