Arguments, Formal and Informal Logic
Arguments, Formal and Informal Logic
Section 1: Arguments
When people mean to give arguments, they typically often use words like
‘therefore’ and ‘because.’ When analyzing an argument, the first thing to do
is to separate the premises from the conclusion. Words like these are a clue
to what the argument is supposed to be, especially if— in the argument as
given— the conclusion comes at the beginning or in the middle of the
argument.
premise indicators: since, because, given that
conclusion indicators: therefore, hence, thus, then, so
Section 1: Arguments..............
Consider the argument that you should take an umbrella (on p. 5, above). If
premise (1) is false— if it is sunny outside— then the argument gives you
no reason to carry an umbrella. Even if it is raining outside, you might not
need an umbrella. You might wear a rain pancho or keep to covered
walkways. In these cases, premise (2) would be false, since you could go
out without an umbrella and still avoid getting soaked.
Suppose for a moment that both the premises are true. You do not own a
rain pancho. You need to go places where there are no covered walkways.
Now does the argument show you that you should take an umbrella? Not
necessarily. Perhaps you enjoy walking in the rain, and you would like to
get soaked. In that case, even though the premises were true, the conclusion
would be false.
Section 3: Two ways that arguments can go wrong...........
For any argument, there are two ways that it could be weak. First, one or more of the
premises might be false. An argument gives you a reason to believe its conclusion
only if you believe its premises. Second, the premises might fail to support the
conclusion. Even if the premises were true, the form of the argument might be weak.
The example we just considered is weak in both ways.
When an argument is weak in the second way, there is something wrong with the
logical form of the argument: Premises of the kind given do not necessarily lead to a
conclusion of the kind given. We will be interested primarily in the logical form of
arguments.
Consider another example:
You are reading this book.
This is a logic book.
.˙. You are a logic student.
Section 3: Two ways that arguments can go wrong...........
This is not a terrible argument. Most people who read this book are logic
students. Yet, it is possible for someone besides a logic student to read this
book. If your roommate picked up the book and thumbed through it, they
would not immediately become a logic student. So the premises of this
argument, even though they are true, do not guarantee the truth of the
conclusion. Its logical form is less than perfect.
An argument that had no weakness of the second kind would have perfect
logical form. If its premises were true, then its conclusion would necessarily
be true. We call such an argument ‘deductively valid’ or just ‘valid.’
Even though we might count the argument above as a good argument in
some sense, it is not valid; that is, it is ‘invalid.’ One important task of logic
is to sort valid arguments from invalid arguments.
Section 4: Deductive validity
This shows that a deductively valid argument does not need to have true
premises or a true conclusion. Conversely, having true premises and a true
conclusion is not enough to make an argument valid. Consider this example:
London is in England.
Beijing is in China.
.˙. Paris is in France.
Section 4: Deductive validity.....................
The premises and conclusion of this argument are, as a matter of fact, all
true. This is a terrible argument, however, because the premises have
nothing to do with the conclusion. Imagine what would happen if Paris
declared independence from the rest of France. Then the conclusion would
be false, even though the premises would both still be true. Thus, it is
logically possible for the premises of this argument to be true and the
conclusion false. The argument is invalid.
The important thing to remember is that validity is not about the actual truth
or falsity of the sentences in the argument. Instead, it is about the form of
the argument: The truth of the premises is incompatible with the falsity of
the conclusion.
Section 4: Inductive validity
Logical truth
In considering arguments formally, we care about what would be true if the premises
were true. Generally, we are not concerned with the actual truth value of any
particular sentences— whether they are actually true or false. Yet there are some
sentences that must be true, just as a matter of logic.
Consider these sentences:
1. It is raining.
2. Either it is raining, or it is not.
3. It is both raining and not raining.
In order to know if sentence 1 is true, you would need to look outside or check the
weather channel. Logically speaking, it might be either true or false. Sentences like
this are called contingent sentences.
Section 5: Other logical notions.......................
Logical equivalence
We can also ask about the logical relations between two sentences. For
example:
John went to the store after he washed the dishes.
John washed the dishes before he went to the store.
These two sentences are both contingent, since John might not have gone to
the store or washed dishes at all. Yet they must have the same truth-value.
If either of the sentences is true, then they both are; if either of the
sentences is false, then they both are. When two sentences necessarily have
the same truth value, we say that they are logically equivalent.
Section 5: Other logical notions.......................
Consistency
Consider these two sentences:
B1 My only brother is taller than I am.
B2 My only brother is shorter than I am.
Logic alone cannot tell us which, if either, of these sentences is true. Yet we can say
that if the first sentence (B1) is true, then the second sentence (B2) must be false.
And if B2 is true, then B1 must be false. It cannot be the case that both of these
sentences are true.
If a set of sentences could not all be true at the same time, like B1–B2, they are said
to be inconsistent. Otherwise, they are consistent.
We can ask about the consistency of any number of sentences. For example, consider
the following list of sentences:
Section 5: Other logical notions.......................