Formula's For Evaluating Arguments
Formula's For Evaluating Arguments
All A are B
A
All C are A
All C are B B C
- If A, B and C represent groups of things, it’s easy to see that this is a valid
form. Assumed by the second premise that the C’s are included in the A’s
and by the first premise that the A’s are included in the B’s. Then it
necessarily follows that the C’s are included in the B’s.
- Hence: an argument form is an arrangement of letters and words such
that the uniform substitution of words of phrases in the place of the letters
results in an argument. For this form, the words or phrases being
substituted must refer to groups of things (within the argument).
For example:
All C are B B
All A are C
- In this argument form, if we assume that the A’s are in the B’s and that the
C’s are in the B’s, it does not necessarily follow that the A’s are in the C’s.
It would not follow if the A’s were in one part of the B’s and the C’s were
in another as the diagram illustrates above.
- The diagram suggest that we can prove the form of the argument invalid
if we can find a substitution instance having actually true premises and a
false conclusion.
- For example: if we substitute “cats” for A, “animals” for B and “dogs” for
C, we have such a substitution instance:
- Counterexample Method
- Since some employees are not social climbers and all vice presidents are
employees, we may conclude that some vice presidents are not social
climbers.
This argument is invalid because the employees who are not social
climbers might not be vice presidents. Accordingly, we can prove the
argument invalid by constructing a substitution instance having true
premises and a false conclusion. We begin by isolating the form of the
argument.
Some E are not S
All V are E
Some V are not S
Next we select three terms to substitute in place of the letters that will
make the premises true and the conclusion false:
E= Animals
S= Mammals
V=Dogs
The substitution instance has true premises and a false conclusion and is
therefore, by definition invalid. Because the substation instance is invalid,
the form is invalid and therefore, the original argument is invalid.
-
-