In the real world, we often use the word argument in the sense of disagreement or dispute that can at times end in unhelpful and heated exchanges. In the world of logic, however, the word argument has a very specific meaning.
An argument in logic consists of two parts separated by some symbol (perhaps the "therefore" symbol $\therefore$∴ , or even a line between). The first part consists of a series of propositions called premises and the second part is called a conclusion.
If we denote the premises of an argument $P1$P1, $P2$P2, $P3$P3,... and call the conclusion $C$C, then arguments have the form:
$\left(P1\wedge P2\wedge P3\wedge...\right)\Rightarrow C$(P1∧P2∧P3∧...)⇒C
The conjunction symbol $\wedge$∧ shows that every premise is required to form the conclusion (although sometimes we can show that certain premises can be simplified). The conditional $\Rightarrow$⇒ shows that we are deriving a conclusion from the premises and not the other way around.
An argument is said to be a valid argument if it has a valid argument form. A form of argument is valid if and only if the conclusion necessarily follows from the given set of premises.
It is the task of logicians to establish these argument forms using truth tables.
To explain the idea of argument forms, consider these two simple arguments:
$P1$P1 | If I go to school I will make friends |
---|---|
$P2$P2 | I went to school |
$C$C | Therefore I made friends |
$P1$P1 | If I eat my breakfast I will stay healthy |
---|---|
$P2$P2 | I ate my breakfast |
$C$C | Therefore I stayed healthy |
While the two arguments concern different concepts, they are said to have the same form.
Look at the first proposition $P1$P1 of each row. Each expresses a conditional statement of the form $p\Rightarrow q$p⇒q where $p$p and $q$q are simple propositions (for example, in Argument 1 we have $p$p being "I go to school" and $q$q being "I will make friends").
Recall that we regard such propositions $p,q,r...$p,q,r... as variables just like $x$x is a variable in coordinate geometry. We can substitute actual propositions like "I eat my breakfast" or "I will stay healthy" whenever we wish.
Hence if we wish to prove either of these arguments, all we need to do is to prove the validity of the argument form given here using the letters $p$p and $q$q:
$P1$P1 | $p\Rightarrow q$p⇒q |
---|---|
$P2$P2 | $p$p |
$C$C | $\therefore$∴ $q$q |
Once we do that, then any particular argument with the same form will also be valid. This is why we use variables.
This particular argument is in a valid argument form known as the law of detachment or otherwise known as modus ponens or the cut rule.
We have already met the law of detachment (modus ponens). Here are other important forms that are always valid. It is important to note that these forms have been proven by logicians using a method known as a truth table.
$P1$P1 | $p\Rightarrow q$p⇒q |
---|---|
$P2$P2 | $p$p |
$C$C | $\therefore q$∴q |
$P1$P1 | $p\Rightarrow q$p⇒q |
---|---|
$P2$P2 | $\sim q$~q |
$C$C | $\therefore\sim p$∴~p |
$P1$P1 | $p\Rightarrow q$p⇒q |
---|---|
$P2$P2 | $q\Rightarrow r$q⇒r |
$C$C | $\therefore p\Rightarrow r$∴p⇒r |
$P1$P1 | $p\vee q$p∨q |
---|---|
$P2$P2 | $\sim p$~p |
$C$C | $\therefore q$∴q |
$P1$P1 | $p\Rightarrow q$p⇒q |
---|---|
$C$C | $\therefore\sim q\Rightarrow\sim p$∴~q⇒~p |
$P1$P1 | $p\vee q$p∨q |
---|---|
$P2$P2 | $p\Rightarrow r$p⇒r |
$P3$P3 | $q\Rightarrow s$q⇒s |
$C$C | $\therefore r\vee s$∴r∨s |
There is a very common fallacy known as the Fallacy of the Converse, otherwise known as a Converse Error. Consider the following argument.
It can be proven using truth tables that John's argument is not correct. Here's what it would look like using symbols.
Like a good logician, we will start by defining propositions:
P | $:$: | John has the flu |
q | $:$: | John has got a sore throat |
In logical symbols, we can represent the reasoning part of the discussion as:
$P1$P1 | $p\Rightarrow q$p⇒q |
---|---|
$P2$P2 | $q$q |
$C$C | $\therefore p$∴p |
It follows that any argument of this form is not valid.
When is an argument valid?
When the conclusion necessarily follows from the given set of premises.
When the conclusion does not necessarily follow from the given set of premises.
What standard form of argument is this?
$a$a$\Rightarrow$⇒$b$b |
$\sim$~$a$a |
$\therefore$∴$\sim$~$b$b |
Disjunctive Syllogism
Fallacy of the Inverse
Law of Contraposition
Law of Syllogism
Fallacy of the Converse
Law of Detachment
If you logon to Facebook during class, then the teacher gets angry. |
You do not logon to Facebook during class. |
$\therefore$∴The teacher does not get angry. |
Let
$e$e: | You logon to Facebook during class. | |
$f$f: | The teacher gets angry. |
What is the argument in symbolic form?
$e$e$\Rightarrow$⇒$f$f |
$\sim$~$e$e |
$\therefore$∴$\sim$~$f$f |
$e$e$\Rightarrow$⇒$f$f |
$\sim$~$f$f |
$\therefore$∴$e$e |
$e$e$\Rightarrow$⇒$f$f |
$\sim$~$f$f |
$\therefore$∴$\sim$~$e$e |
$f$f$\Rightarrow$⇒$e$e |
$e$e |
$\therefore$∴$\sim$~$f$f |
Hence determine whether the argument is valid or invalid.
Valid
Invalid