Skip main navigation

Another example of testing for validity

In this video, York student Sarah gives another demonstration of testing for formal validity using a truth-table.
0
Now we’re going to look at evaluating two arguments with forms involving conditionals.
10.3
Consider this conditional: if I have symptoms then I am self-isolating. That’s a compound sentence involving two simple sentences.
20.9
P: I have symptoms.
20.9
And Q: I am self-isolating. So our conditional here is ‘(P arrow Q)’. Now I want to consider one argument which goes like this. ‘(P arrow Q), P therefore Q’. And a second argument we’ll consider ‘(P arrow Q), Q, therefore P’.
46.6
So this one (the first) says if I have symptoms than I am self- 00:50.500 –> 00:54.200 isolating I have symptoms therefore I’m self isolating.
54.2
This one (the second) says: if I have symptoms then I’m self-isolating. I’m self-isolating, therefore I have symptoms. Let’s do truth tables for those two arguments. So, argument number
66.8
one first: We’ll list our simple sentences ‘P’ and ‘Q’. They can be both true. ‘P’ can be true and ‘Q’ false. [P]false [and Q]true [P]false [and Q] false. And then put our argument two premises ‘(P arrow Q)’, ‘P’ and our conclusion, ‘Q’. Now, what we’re going to do is first of all, the truth table for ‘(P arrow Q)’ and that, you’ll remember, is true, false, true, true. ‘P arrow Q’ is false where ‘P’ is true, and ‘Q’ is false, otherwise it’s true.
93.9
And for P we just copy over: true, true, false, false. Now we are looking to see whether this argument is valid. If it’s valid then whenever the premises are true, the conclusion is also true. Here, the only row where all the premises are true is the first, and on that line the conclusion is also true, so it’s valid. We don’t need to look further at the other rows in order to test for validity because we can see none of them have all the premises true. So, argument one is valid. Now let’s do argument two.
130.1
Again our basic sentences are ‘P’ and ‘Q’ and we have the possibilities true, true, true, false, false, true, false, false, and the argument is ‘(P arrow Q), Q therefore P’. The truth table for ‘(P arrow Q)’ is true, false, true, true.
151.2
Then for Q we carry over: true, false, true, false. And now we can see two lines on which all of the premises are true. So let’s see what the conclusion is on those two lines. On the first row, the conclusion ‘P’ is true. So the premises are true and the conclusion’s true. On the third row though, ‘P’ is false. So, there’s a way for the premises to be true and the conclusion false. So what we’ve learnt there Is that in one kind of case in which the premises are true the conclusion is also true. But in another kind of case in which the premises are true, the conclusion is false. And that’s a counter-example to the validity of this argument.
192.7
So this argument is invalid. Now these two
197.8
forms of argument have names: The first argument,
200.8
the valid form, has a Latin name: modus ponens. It’s a very common form of argument. The second one is a common fallacy, It’s quite tempting to think, say, ‘That person is self isolating so they must have symptoms’, making an argument with the second form. But that’s a fallacy called affirming the consequent, because there could be another reason they’re self-isolating. Perhaps they’re at risk and can’t mix.

This video shows another example of testing for validity using a truth-table. This time looking at an argument involving a conditional. Let’s pick up on a couple of key points from the video …

First, we’ve seen a truth-table demonstration of the validity of the form:

  • (α (rightarrow) β), α; therefore, β

This form is called modus ponens. In the video we assume (believably enough, from what we’ve seen so far) a match between the truth-conditions associated with arrow and with ‘If … then … ’ in English. If that assumption is correct, we now have a clear understanding of the validity of the form ‘If α then β; α; therefore β’ in English.

Secondly, we’ve seen a truth-table demonstration of the invalidity of the form:

(α (rightarrow) β), β; therefore, α

This form is called affirming the consequent. If we’re right about the match between arrow and ‘If … then … ’ in English, we now have a clear understanding of the invalidity of the form ‘If α then β; β; therefore α’ in English.

Logical equivalence and entailment

Before we move on to the next step, note that we can express logical equivalence in terms of mutual entailment: where two claims are such that each entails the other.

Two claims will be logically equivalent if and only if they are mutually entailing.

If they’re logically equivalent, then where one is true so is the other, so there won’t be any situation in which one, standing as premise, is true, and the other, standing as conclusion, is false; so, they’ll both entail each other.

If two claims are mutually entailing, then where one is true, so is the other (and where one is false, so must the other be, otherwise we’d have a counterexample to one of the entailments). So, they must be true in exactly the same circumstances, so they’re logically equivalent.

We’ll look at some cases of testing for mutual entailment/logical equivalence in the next two short steps. These demonstrate a couple of important logical laws.

This article is from the free online

Logic: The Language of Truth

Created by
FutureLearn - Learning For Life

Our purpose is to transform access to education.

We offer a diverse selection of courses from leading universities and cultural institutions from around the world. These are delivered one step at a time, and are accessible on mobile, tablet and desktop, so you can fit learning around your life.

We believe learning should be an enjoyable, social experience, so our courses offer the opportunity to discuss what you’re learning with others as you go, helping you make fresh discoveries and form new ideas.
You can unlock new opportunities with unlimited access to hundreds of online short courses for a year by subscribing to our Unlimited package. Build your knowledge with top universities and organisations.

Learn more about how FutureLearn is transforming access to education