Documente Academic
Documente Profesional
Documente Cultură
If p then q
Not p
Therefore not q
If p then q
q
Therefore, p
If p then q
Not q
Therefore, not p
2016-10-23, 3)18 PM
Conditional Arguments
Now that we have seen how to identify necessary and sufficient conditions in a variety of
statements, let's see how these claims are used in arguments.
Arguments that contain conditional claims as at least one premise are called "conditional
arguments".
The kinds of conditional arguments we will be concerned with are called "deductive"
arguments. What deductive arguments all share is that their conclusions are always implicitly
present, but hidden, in their premises. Part of how a deductive argument is defined is in terms
of the concept of validity, so let's look at this first.
Validity
Validity is a technical term in logic that is used in the evaluation of deductive arguments. While
you have likely heard people refer to an argument or opinion as valid, this differs significantly
from the technical understanding of the term. In common usage a "valid" argument or opinion
usually means that it is one worth holding or one we should respect. In logic, an argument's
validity is a function of its logical form or structure. More specifically, validity refers to the
relationship between the premises of an argument and its conclusion.
An argument is valid if and only if the conclusion necessarily follows from its premises.
Another way this is expressed is as follows:
An argument is valid if it is impossible for its premises to be true and for its conclusion to be
false.
This means that if an argument is valid, and if its premises are true, there is an absolute
guarantee that the conclusion is true as well. Hence, valid deductive arguments are extremely
powerful tools to use if you want to convince someone of a certain claim.
It is important to note, however, that the premises of a deductive argument need not actually
be true in order for the argument to be valid. What matters is whether or not it is possible for
the conclusion to be false if the premises were true.
Example
All men are made of peanut butter
Alice is a man
Therefore, Alice is made of peanut butter
This argument is deductively valid. Even though both of its premises are in fact false, if they
were true, the conclusion would also have to be true.
Does the truth of the premises of a deductive argument matter? Of course it does. If you want
to use the above argument to convince me that Alice is made of peanut butter, it had better be
true that Alice is a man and that all men are made of peanut butter. That is, if the conclusion
of a valid deductive argument is true and follows from the premises of the argument, those
premises need to be true.
https://mylearningspace.wlu.ca/content/enforced/194127-692.2016092lSessionVal=QUYpq6BrISs2IOJJFeFJagccg&ou=194127&d2l_body_type=3
Page 1 of 2
2016-10-23, 3)18 PM
Soundness
The soundness of an argument is a function of the truth of its premises. An argument is sound
if and only if it has all true premises. If any of the premises of an argument are false, then the
argument is said to be unsound.
Hence, the above argument about Alice is valid but unsound. Good arguments are both valid
and sound. These are the kinds of arguments you should strive for. There are, however, bad
deductive arguments that may be sound but are invalid. You need to be able to spot these
when you encounter them.
We will examine four common types of conditional argument. Two of these are valid forms of
argument and two are invalid.
https://mylearningspace.wlu.ca/content/enforced/194127-692.2016092lSessionVal=QUYpq6BrISs2IOJJFeFJagccg&ou=194127&d2l_body_type=3
Page 2 of 2
2016-10-23, 3)28 PM
Q
Necessary Condition
As we can see, p is what is expressed in the entire first part of the above conditional claim. It
is the proposition you don't put your pants on. To determine whether the second premise in a
conditional argument like this affirms or denies p, you need to compare what is said in the first
premise with what is said in the second. The second premise says You didn't put your pants
on. This is saying the same thing as what was stated in the first part of the first premise
https://mylearningspace.wlu.ca/content/enforced/194127-692.2016092lSessionVal=QUYpq6BrISs2IOJJFeFJagccg&ou=194127&d2l_body_type=3
Page 1 of 5
2016-10-23, 3)28 PM
(except for a change in tense, but you can ignore that in conditional arguments altogether).
That is, they both express the same proposition or state of affairs: you haven't put your pants
on. Since the second premise says the same thing as p in the first premise, p is affirmed. We
therefore have an example of modus ponens. The argument is valid.
Example
If Janet gets the job, then I'll resign from the board.
Janet got the job.
Therefore, I'll resign.
Standardizing Modus Ponens
Modus ponens is always standardized as it is above. The conditional claim (the first premise) is
linked with the second premise (in which the sufficient condition is affirmed). Together these
support the conclusion, which is the other half of the conditional claim.
Example
Jill will only win the award if she doesn't offend the judges.
Jill won the award.
Therefore, Jill didn't offend the judges.
Is this an example of modus ponens? The first thing you should notice about this example is
that the first premise is a conditional claim containing only if . Recall the rule about
conditionals with only if : only if introduces the necessary condition. So, does the second
premise affirm the sufficient or the necessary condition?
In premise 2 we are affirming the sufficient condition. Hence, this is an example of modus
ponens and is a valid argument.
Modus Tollens
The second common form of valid conditional argument is modus tollens, which is Latin for
mood that denies .
https://mylearningspace.wlu.ca/content/enforced/194127-692.2016092lSessionVal=QUYpq6BrISs2IOJJFeFJagccg&ou=194127&d2l_body_type=3
Page 2 of 5
2016-10-23, 3)28 PM
Q
Necessary Condition
As we can see, q is what is expressed in the entire second part of the first premise: I won't
call the police. To determine whether q is affirmed or denied in the second premise of the
argument, we need to compare what is said in the first premise with what is said in the
second. The second premise says I called the police. This is clearly different from the
proposition expressed by q. It is, in fact, the negation of q. In effect, I called the police is
equivalent to saying it is not the case that I won't call the police. Hence, the second premise
denies q, and so we have modus tollens. This is a valid argument.
Let's look at a few examples:
Example
If you work out, then you will feel tired.
You don't feel tired.
https://mylearningspace.wlu.ca/content/enforced/194127-692.2016092lSessionVal=QUYpq6BrISs2IOJJFeFJagccg&ou=194127&d2l_body_type=3
Page 3 of 5
2016-10-23, 3)28 PM
The reason the premises are linked is that both are required to motivate the conclusion.
Without the other, neither premise gives the conclusion any support.
Example
I can only go to the mountains if I can get a ride.
I didn't get a ride.
Therefore, I can't go to the mountains.
In this case notice that the conditional claim contains only if . Remember that only if always
introduces a necessary condition. This means that my getting a ride is necessary for my going
to the mountains.
The second premise, then, is denying the necessary condition. It is saying that it is not the
case that I can get a ride to the mountains. The conclusion denies the other half of the
conditional claim, so we therefore have an example of modus tollens.
https://mylearningspace.wlu.ca/content/enforced/194127-692.2016092lSessionVal=QUYpq6BrISs2IOJJFeFJagccg&ou=194127&d2l_body_type=3
Page 4 of 5
2016-10-23, 3)28 PM
A handy way to remember which forms of argument are valid is to make use of the following
rule:
AFFIRM THE SUFFICIENT CONDITION & DENY THE NESSECARY CONDITION.
Anything else is invalid.
https://mylearningspace.wlu.ca/content/enforced/194127-692.2016092lSessionVal=QUYpq6BrISs2IOJJFeFJagccg&ou=194127&d2l_body_type=3
Page 5 of 5
2016-10-23, 4*18 PM
Page 1 of 4
2016-10-23, 4*18 PM
What does the second premise of this argument do? It denies the antecedent or the sufficient
condition. Hence, we know the conclusion does not necessarily follow. This does not mean that
the conclusion is false. It might very well be true that the streets aren't wet. But that is not
the issue. The question is, "What can we conclude for certain, given what we do know?"
The reason we can't conclude that the streets aren't wet from these two premises is that the
streets can be wet for a number of other reasons (e.g., broken water mains, the street washer,
snow).
Affirming the Consequent
The second common form of invalid conditional argument is called "affirming the consequent"
or "affirming the necessary condition".
This argument has the following form:
If p then q
q
Therefore, p
The reason this is invalid is that, once again, from the premises provided we have no
guarantee that the conclusion is true. It might be true, but it could equally well be false. Even
though p must, necessarily lead to q, we cannot conclude that if q happened, p must have
happened. The reason for this is similar to the problem with denying the antecedent. Other
things, besides p can lead to q.
Example
If it rains then the streets will be wet.
The streets are wet.
Therefore, it rained.
Even though it is true that if it rains the streets must get wet, we can't conclude from this and
from the fact that the streets are wet that it did in fact rain. Maybe it snowed, or maybe a dam
burst. Because the argument does not provide a guarantee that the conclusion is true, it is
invalid. Notice also the structure of the argument. The second premise is an affirmation, and
what it is affirming is the necessary condition.
Example
If you bring some chicken, then we'll have a barbeque.
We had a barbeque.
Therefore, you brought some chicken.
The conditional claim tells us that your bringing some chicken is sufficient for our having a
barbeque, and that our having a barbeque is necessary for your bringing some chicken. The
second premise says we had a barbeque, and so is affirming the necessary condition or the
consequent. The argument is therefore invalid.
Now that we've seen four forms of conditional argument, let's look at a few examples to
practice identifying them.
Example
https://mylearningspace.wlu.ca/content/enforced/194127-692.2016092lSessionVal=QUYpq6BrISs2IOJJFeFJagccg&ou=194127&d2l_body_type=3
Page 2 of 4
2016-10-23, 4*18 PM
https://mylearningspace.wlu.ca/content/enforced/194127-692.2016092lSessionVal=QUYpq6BrISs2IOJJFeFJagccg&ou=194127&d2l_body_type=3
Page 3 of 4
2016-10-23, 4*18 PM
https://mylearningspace.wlu.ca/content/enforced/194127-692.2016092lSessionVal=QUYpq6BrISs2IOJJFeFJagccg&ou=194127&d2l_body_type=3
Page 4 of 4