Professional Documents
Culture Documents
Introduction
Logic is the study of the methods and principles used to distinguish good
(correct) from bad (incorrect) arguments. This chapter provides students with
some preliminary notions and guidelines about logic as a subject matter.
Moreover, the chapter deals with; the nature of arguments and their
components (premises and conclusion), deductive and inductive arguments,
validity, truth, soundness, strength, cogency, argument forms and proving
validity.
Objectives
1
1.1 What is Logic?
Every one thinks, every one reasons, every one argues, and every one is
subjected to the reasoning and arguments of others. We are daily bombarded
with reasoning from many sources: books, speeches, radio, TV, newspapers,
employers, friends and family
. Some people think well, and argue well. Some
do not. The ability to think, reason and argue well is partly a matter of natural
gifts. But whatever our natural gifts, they can be refined and sharpened. And,
the study of logic is one of the best ways to refine one s natural ability to
reason and argue. Through the study of logic, one learns strategies for thinking
well, common errors in reasoning to avoid, and effective techniques for
evaluating arguments
(Layman, 2000:1).
2
Finally, the principles of logic enable us to develop our confidence in critically
and rationally evaluating others arguments and to construct our own
persuasive and logical forms of speech.
Chrysippus (279- 2006 BC) is the one who developed propositional logic, after
the death of Aristotle. He initiated and developed contents of propositional logic
such formulations are preparatory insights for truth functional interpretation
of logical connectives and natural deduction.
In the 17th and 18th centuries, logicians such as Gottfried Wilhelm Leibniz
(1646-1716) other came up with sophisticated techniques and strategies of
logic. Particularly the works and approaches of Leibniz (Symbolic logic and
Calculus) were important in logically handling different forms of disputes
among different disciplines such as religion, politics, philosophy and others.
Thus, Leibniz is usually credited as the father of symbolic logic as he tried to
systematically symbolize logical languages.
3
The 19th century can be considered as a historical period as logic begun its
rapid development. For that matter, logicians as well as mathematicians such
as Augustus De Morgan (1806- 1871), George Boole (1815-1864), William
Stanley Jevons (1835-1882), John Venn (1834-1923) and John Stuart Mill
(1806-1873) contributed lots for this end. For example, Booles interspersions
of categorical propositions, Venns diagram method, and Mill s inductive
method are some of the most important works of the time.
Towards the end of the 19th century and throughout the 20th century, Modern
mathematical, symbolic, propositional and modal logic were developed. And
logic as well as its fundamental components becomes indispensable conceptual
backgrounds to different forms of communication technologies and scientific
innovations.
It is important to see that if these principles are not accepted as true, then
nothing we think or say makes any sense, not even this very sentence. They
make our ideas and words and languages stand still, as it were, while we deal
with them. Try to imagine making any claim about anything if any one of these
principles did not hold. Go-ahead, try!
4
the same time and in the same respect. Here, the phrase at the same time
in the same respect should be underlined that a statement cannot be
both true and false at the same time in the same respect. For example, a
blackboard may be white and not white at different times; however, it
can never be otherwise at the same time and in same situation.
C. The Law of identity: is the last law of thought, which states the notion
that something is what it is.
How can this rule respond to those changing objects, situations, and
characters?
To sum up, the above three laws of thought are the most common and
conventional ones which are complementary with each other though there are
some challenges which question the validity of the above principles of thought.
In criminal law, the limits of permissible behavior are laid down, Crimes are
defined, and punishments may be specified. A crime is an offense against the
5
public order: the dispute in criminal proceedings is therefore between the state,
the accuser, and the defendant, the accused. Basically, a crime will involve
both a wrongful deed and wrongful intention or state of mind in the actor.
In civil law, standards for conduct are laid down for determining when one is
legally obligated to fulfill an earlier agreement (the law of contracts ), or for
determining when one is liable for an injury done as a result of alleged
negligence or other fault (the law of torts). A civil proceeding is usually a
dispute between private parties. The complaining party, or plaintiff, may allege
that a contract has been unfairly broken, that an injury to persons or to private
property has resulted from unauthorized or negligent conduct. The responding
party or the defendant may dispute the factual claims, or contend that his
conduct was justified by some other legal rule or seek to show that his conduct
resulted in no damage to the plaintiff. If damage is proved, and the conduct
was unlawful, the defendants good intentions will not normally be relevant. It
is not a criminal guilt that is at issue in the civil law, but liability.
In both criminal and civil laws, it is the principal function of a judicial system
to resolve dispute; a trial may be need to insure that the resolution is definitive
and fair. In this process, the principles of logic are heavily relied upon. Validity
and invalidity, the basic rules of deduction, remain fundamentally the same in
every field and do not change when applied in a legal context. But the central
role of argument in resolving legal controversies justifies special attention here
to the way logical principles apply in the world of law and the courts.
In thinking about the use of logic in the law, particularly in positive or formal
law, disputes may arise; however, the use of logic is critical in resolving those
disputes. In other words, in resolving disputes a legal system must apply some
principle, or rule, to a set of factual circumstances-eventually reaching some
judgment about guilt or liability. The facts themselves sometimes in dispute
and may need to be established. That is a primary function of trials and the
investigation that precede them. Then one party will claim that some specific
rule of law applies to the facts, while the opposing party will claim that this
6
rule does not apply, or that some other applicable rule takes precedence over
it. Each party presents arguments, in support of its position. Those arguments
purport to be logically correct; that is, the premises offered are claimed to
provide support, deductive or inductive, for the conclusion urged.
If the foundations upon which our reasoning is built are solid, and if we are
consistently attentive and accurate, nothing will guide us more securely or
more successfully in solving problems of every kind than the methods of logic
with which this module has been concerned.
7
As it has been stated before, the term argument , unlike its ordinary meaning
as a mere verbal fight between or among different individuals, has a completely
different meaning. An argument is composed of statements, which have truth-
values and logically interconnected ideas as premises and conclusion. In other
words, an argument is composed of statements as premises and conclusion to
which they are evaluated either true or false as they are declarative sentences.
Here, sentences which contain questions, proposals, suggestions, commands,
exclamations and the like can not be considered as statements as they can not
have truth values.
If the criminal law forbids suicide, that is not an argument valid in the church;
and besides, the prohibition is ridiculous; for what penalty can frighten a person
who is not afraid of death itself?
8
Example: A Federal government usually possesses a constitution, which
guarantees power sharing between the federal/central government
and those regional/ local governments. This implies that
distribution of power is the silent feature of any federal
government.
The statement before the words implies that is the premise and the statement
that follows/contains implies that is the conclusion of the argument given
above.
And, some of the typical premise indicator words are the followings:
- Since - as indicated by
- Because - in that
- For - may be inferred from
- As - given that
.
Example:-
The constitution of a state does not narrate details of laws as it simply gives
general guidelines which all other laws are in accordance with.
The statement before the word as is the conclusion where as that of after as
is the premise of the above argument. The other important point that should be
underlined is that indicator words (Premise as well as conclusion indicators)
are not always guarantees to distinguish or show premise (s) from conclusion
of a given argument because of two important reasons:
9
As to the problem stated in (a) One can end up with successful solution by
responding to ant of the following questions:
Example:
A politician who does not have the courage to political life is not destined to the
discipline. Mohammed does not have any courage to it. Mohammed is not
destined to political life.
And, when we look at the inferential relationships among the above three
statements of the passage, the statement Mohammed is not destined to
political life is the statement which is intended to be proved so that it is the
conclusion and the remaining two statements are premises of the above
argument.
In relation to the concept of argument, inference and proposition are the two
common notions. Inference is nothing but the reasoning process expressed by
an argument and that of a proposition means the information content or
meaning of statements, which compose an argument.
10
As to the problem stated in (b) that the existence of indicator words by
themselves cannot always guarantee the existence of premise(s) and conclusion
or an argument in a passage.
One can look the following two examples which both contain the indicator word
since that it serves as time indicator in the first passage where as premise
indicator in the next passage (argument):-
It has been partially clear that an argument is the primary focus of logic. But it
should also be underlined that all forms of speeches as well as passages do not
contain arguments. In short, any form of speech or passage is labeled as an
argument if and only if it fulfills the following two conditions:
In any case the first condition stated in (a) expresses what is called factual
Claim which is not mandatory for a passage that contains an argument unlike
the second condition stated in (b), which is commonly called inferential Claim.
The inferential claim is to mean the claim that the passage expresses a
reasoning process that the passage expresses a reasoning process that
something supports or implies something.
Thus, the second precondition implies that the existence of an inferential claim
(the claim that a passage/speech contains or expresses reasoning process) is
mandatory to consider a given passage or speech as an argument- i.e.
something should be implied or followed from others in any argument. And,
such an inferential relationship of an argument can be expressed:-
Example:
Expectant Mother should never use excessive alcoholic drinks and drugs
as these substances can endanger the development of the fetus.
Here the word as shows that there is a reasoning process being expressed in
the passage.
12
Example:
There is an inferential relationship between the first and the other two
sentences. Of course, this relationship constitutes an implicit claim that
evidence supports something. So we are justified in calling this passage
argument. And, the first statement is the conclusion and the other two are
premises.
Warnings: - are cautionary advices, which save someone from any bad or
dangerous incident or situation. And, such forms of speech are
non-arguments as they clearly lack inferential claim.
Example:
13
Statements of Belief and Opinion are:- is forms of expression, which are
basically accompanied by somebodys beliefs, thinking,
opinions as well as judgments on different events, or courses
of action. But these opinions or judgments might not be
supported through proofs or evidences rather than showing
individuals perceptions on those events or courses of action.
Example:
Example:
Reports are sets of statements, which are basically there to convey or deliver
information about different events or incidents. Reporters or
journalists are basically destined to deliver information about
different incidents rather than arguing on them.
Example:
The Islamic forces in Somalia led by Alshebab groups declared war to liberate
Somalia from Ethiopian forces Aljezira, 2008.
14
But there is the case when reports about arguments are delivered. In
such case though the report itself is not an argument, the reported
passage can be interpreted as an argument since it is accompanied by
position, which is supported by evidences. However, the
passage/argument in the report is not performed by the author of the
report, but by those whom the author of the report is reporting.
Example:-
The speed of reading depends entirely upon the reader. He may read as slowly
or as rapidly as he can or wishes to read. If he does not understand something,
he may stop and read it, or go in search of elucidation before continuing.
But there are cases where expository passages can be counted as arguments
when those elaborating sentences, other than the topic sentence, are there not
only to develop topic sentence, but also to prove it.
Example:
Mammals are vertebrate animals that nourish their young with milk. For
example, cats, horses, goats, monkeys, and humans are mammals.
15
Example:
Here this example is intended to prove that water is an excellent solvent so that
it can be considered as an argument.
Conditional Statements:-
Consequent if antecedent.
Example:
If you study hard, you will score a good grade, or
You will score a good grade if you study hard.
However, it is not always the case that all conditional statements express only
causal connections in the sense that there are cases where conditional
statements are interpreted as arguments if the connection between the two is
as follows:
16
A single conditional statement is not an argument.
Example:
If the earths magnetic field disappears, then the Vann Allen radiation belt
will be dissolved. The earths magnetic field is disappeared. Therefore, the
Van Allen radiation belt will be dissolved.
Another important point is that conditional statements are useful in logic since
they express the relationship between sufficient and necessary conditions.
X is said to be a sufficient condition for Y whenever the occurrence of X is all
that is needed for the occurrence of Y. For example, it is clear that a knife
could cause a scare to appear. When we put this in a conditional statement, it
is as If you are stabbed by Knife, a scare will appear in your body . Or to put
this in terms of sufficient and necessary condition it can be presented as being
stabbed by a knife is a sufficient condition for the occurrence of scare.
However, being stabbed by a knife is not a necessary condition for the
occurrence of scare because many other things may cause scare.
X is said to be the necessary condition for Y whenever Y cannot occur
without the occurrence of X. For example, air is a necessary condition for life.
17
It is a necessary condition because one cannot think of life without air. But it is
not a sufficient condition since there are other necessary conditions.
Examples:
Exercise1.1
18
laws of logic
3. The words therefore, So, since, thus, hence are all conclusion
indicators.
14. Any passage that contains an argument must contain a claim that
something is supported by evidences or reasons.
19
15. Passages, which contain premise or conclusion indicator words, are
always arguments.
Based on the kind of connection existed between the premises and the
conclusion, arguments can broadly be classified in to two; deductive and
inductive. And, the difference in the strength of the inferential claim or the
degree of strength of the reasoning process existed between the premises and
the conclusion matters most to arrive at such dichotomy between the above
two categories of arguments.
On the other hand, inductive arguments are those, which their premises
simply suggest the conclusion that if we assume that the premises are true, the
conclusion will probably be true. This implies that there is a probable
connection between the premises and the conclusion of an inductive argument.
Thus, the inferential link between the premises and the conclusion of any
inductive argument is matter of likelihood or probability unlike that of any
deductive argument.
20
Example:-
The premise of the above argument is supporting the conclusion with the
degree of likelihood or probability that there is no relationship of logical
necessity between the premise and the conclusion.
Example 1:
Three is a prime number.
Five is a prime number.
Seven is a prime number.
Therefore, all odd numbers between two and eight are prime numbers.
Example 2:
All the last experiences in Ethiopian politics have shown that political
power is not secured through unconstitutional means. Therefore, Political
power in Ethiopia will be secured through similar strategy in the coming
years.
21
This is an inductive argument since it seems to argue to forecast the
future based on past experiences.
In any case, the strength of the inferential connection between the premises
and the conclusion should be taken as an indispensable criterion to
differentiate or show the distinction between inductive and deductive
arguments.
22
are characterized by probabilistic or sampling procedures to arrive at a
conclusion.
Example:
The sum of two odd numbers is always even. Thus, the result of 3 and 9 is an
even number.
Example:
All X are Y.
All Y are Z . This is a deductive argument form.
Therefore, all X are Z.
Example: If X, then y.
If y, then Z. This is a deductive argument form
23
Therefore if X, then Z
If our body temperature is beyond the normal condition (37 OC), then we are not
in a normal state of mind. If we are not in normal state of mind, then we would
not cope up with any physical as well as mental challenges. Therefore, if our
body temperature is beyond the normal condition (37 OC), then we would not cope
up with any physical as well as mental challenges.
Example
Either x or y.
Not x . This is a deductive argument form.
Therefore, y.
Either Italy or Ethiopia won the military incident of Adwa. Italy did not
win the military incident of Adwa. Therefore, Ethiopia won the military
incident of Adwa.
A Prediction is when somebody concludes about the future based on what was
or is happening before as well as now. This is an inductive argument in the
sense that it cannot show the future with certainty.
24
Example:
It has been raining for the whole day of this week, this shows that it will
rain for the coming weak.
Example:
There are 100 students who are taking the course; introduction to
logic. Among these students 10 of them were selected at random
and found to be intelligent. Therefore, this shows that all of these
students are intelligent.
An argument from authority, which some one argues based on the witness of
another person who lacks the experience, knowledge as well as ability, is an
inductive argument.
Example:-
Example
25
Kebede is upset so that he is silent cause to effect
The meet is dry so that it had over cooked effect to cause
Exercise 1.2
3. The nature of the link between premises and conclusion may allow one
to determine whether an argument is inductive or deductive.
III. Which of the following arguments are deductive? And which are
inductive?
26
1. All Collies are dogs. Some animals are not dogs. So, some animals are not
collies.
5. All planets are round. The earth is round. So, the earth is a planet.
Evaluating Arguments
27
Therefore, as it has been underlined before, inferential claim is an
indispensable criteria to evaluate arguments that if the premises of a given
argument fail to logically support or imply the conclusion, the argument is bad
and if the case is on the contrary it will result in good argument. And the
primary task of this section is to evaluate arguments, particularly deductive
and inductive arguments. And, as it has been explained before, the relationship
between the premises and the conclusion of a deductive argument is a matter
of necessity where as that of an inductive argument is a matter of probability.
In any case, logicians employ different terminologies applicable so as to
evaluate deductive and inductive arguments separately. And, this section gives
us some detailed analysis and classifications of deductive and inductive
arguments using those technical terms employed by logicians, which in fact
can never violate the fundamental natures or characteristics of these two
arguments.
28
conclusion is followed with strict necessity from premises, the argument is
valid; and if the case is on the opposite, the argument is invalid.
Another important point is that there is not any direct connection between
validity and truth, in the sense that, it is not mandatory to have either true or
false premises as well as conclusion so as to get a valid argument except an
argument with true premises and false conclusion which is always invalid.
In other words, the fact that statements of an argument are all true may not
prove validity and the fact that all the statements of an argument are false do
not prevent the argument from being valid.
In any case, the following possible combinations of true and false premises in
both valid and invalid arguments:
Although the premises of the above argument are in fact false, the argument is
valid. If they were true, the conclusion would have to be true as well. It is
impossible for the conclusion to be false assuming that the premises are true.
Thus, the above argument is valid.
III. Some invalid arguments have true premises and true Conclusion:-
Example:-
The above argument is invalid because the truth of the conclusion does not
follow the premises with strict necessity.
IV. Some invalid arguments contain all true premises have false
conclusion:-
Example:
The premises of the above argument are true; however, the conclusion is false.
Such an argument cannot be valid because it is impossible for the premises of
a valid argument to be true and its conclusion to be false.
VI. Some invalid arguments also have false premises and true Conclusion:-
Example:
Example:
In any case, as it has been underlined before, the above examples clearly
witness that there is no direct link between validity and truth in the sense that
the truth or falsity of the proposition or statement of an argument can never by
itself guarantee the validity or invalidity of that argument. In short the
following table will make the variety of possible combinations of validity and
truth clear:
T- - - - - - - - T- - - - - - - -- - - - - - - ?
T- - - - - - - - F- - - - - - - -- - - - - - - Invalid
F- - - - - - - - T- - - - - - - - - - - - -- - ?
31
F- - - - - - - - F- - - - - - - - - - - - - - ?
Table 1.1
One can understand from the above table that the first, third, and fourth
combinations show that the argument can be either valid or invalid depending
primarily on whether the conclusion follows the premises with strict necessity
or not (regardless of the truth and falsity of the premises and conclusion).
Example:
All Mammals are animals.
All humans are mammals.
Therefore, all humans are animals.
The Conclusion of the above argument follows the premises with strict
necessity so that the argument is valid. In addition to this, its premises are all
true. Therefore, the above deductively valid argument is sound.
On the other hand, a deductively unsound argument falls into one of the
following three categories:
32
Invalid but all its premises are true.
Invalid and at least one false premise.
Example:
All Animals are mammals.
All birds are animals.
Therefore, all birds are mammals.
Though the above argument is valid (because if we assume that the premises
are true, the conclusion would be necessary true), it is unsound because the
argument involves plainly false premises.
As it has been underlined before, an inductive argument is the one in which its
premises are claimed to support the conclusion in such a way that if they are
assumed to be true, then based on this assumption it is only probable that the
conclusion is true. If the premises do in fact support the conclusion in this
way, such an inductive argument can be considered as strong. Therefore, a
strong argument is one such that it is unlikely, though possible, that its
conclusion is false while its premises are true. Or it is highly probable that if its
promises are true, then its conclusion is true in any inductively strong
argument. If the premises are true, its conclusion has a higher probability of
being true in any strong argument.
On the other hand, a weak inductive argument is one such that if the premises
are assumed true, then based on this assumption, it is not probable that the
conclusion is true. In other words, a weak inductive argument has this
essential feature: It is not likely that if its premises are true, then its
conclusion is true.
Example:
33
There has been rainfall throughout Ethiopia for the last few days.
Therefore, probably it will be raining for the coming weak.
As it has been underlined before, validity does not admit of degree so that there
is no any such argument to be said more valid/ less valid, or less invalid or
more invalid. However, strength and weakness, unlike validity and invalidity,
admit of degree so that we can have either stronger or weaker when we
compare to other arguments. Moreover, like validity and invalidity, strength
and weakness are only indirectly related to truth and falsity. The central
question in determining strength and weakness of argument is not the truth
and falsity of premises and conclusion but whether the conclusion would
probably be true if the premises are assumed true. And, we can have the
following combinations so as to reveal the indirect relationship between
strength or weakness and truth or falsity:
Example:
All previous American presidents were men. Therefore; probably the
next American president will be man.
II. A weak inductive argument with true premises and a probably true
conclusion.
Example:
III. A weak indicative argument with true premise and a probably false
conclusion.
Example:
Example:
Example:
VI. A strong inductive argument with false premise and a probably false
conclusion.
Example:-
VII. A weak inductive argument with false promise and probably false
conclusion.
Example:-
And the following table will make the Varity of Possible combination of strength
and truth clear:
35
Premises Conclusion Strength
T. . . . . . . Prob. T. . . . . . . . . . . . .. . .?
Table 1.2
T. . . . . . . Prob. F. . . .. . . . . . . . . . . Weak
F. . . . . . . Prob. T. . . .. . . . . . . . . . . ?
F. . . . . . . Prob. F. . . . . . . . . . . .. . ?
However any inductive argument with true premises and probably false
conclusion is always weak, which is an exception of any inductive logic.
Example: - Nearly all lemons that have been tasted were sour. Therefore, nearly
all lemons are sour.
This argument is not valid because the conclusion concerns are not merely the
lemons that have been tasted but lemons in general, including those that have
not been tasted. And, the premise does not rule out the possibility that a large
percentage of untested lemons are not sour. Nevertheless, it is unlikely that the
conclusion is false given that the promise is true. And, the premise is true so
that the argument is inductively cogent.
36
Exercises 1.3
III. The following arguments are deductive. Distinguish those which are
valid, invalid, sound and unsound. And, explain why.
1. All mammals are animals. No reptiles are mammals. So, no reptiles are
animals.
37
2. All women are married. Some executives are not married, so, some
executives are not women.
4. Either 2 plus 2 equal to 22 or Santa Claus is real. But 2 plus 2 does not
equal 22. Therefore, Santa Claus is real.
IV. The following arguments are inductive. Distinguish those which are
strong, weak, and cogent. And, explain why?
1. One hundred percent of the frogs that have been dissected had hearts.
Therefore, 100 percent of the entire frog populations have hearts.
3. Ninety percent of the cars in the parking were vandalized and your car was
in the parking. Therefore, your car was vandalized.
5. War is similar to playing a game of chess. For instance, in both war and
chess, strategy is important. And in both war and chess, one should not
attack ones opponent with lethal weapons. So, when a nation is losing a
war, it should not attack its opponent with lethal weapons.
38
1.6 Counter Example Method of Proving Validity
So far, we have seen that the truth of a deductive argument s inferential claim
can determine validity in the sense that if the inferential claim is true, and then
the conclusion follows with strict necessity from the premises so that the
argument is valid.
Argument 1 Argument 2
All oaks are trees. All adlers are bobkins.
All trees are plants. All bobkins are crockers.
Therefore, all oaks are plants. Therefore, all adlers are crockers.
Form1.
All A are B.
All B are C.
Therefore, all A are C.
And, as regards argument (2) though we cannot have any idea bout Adlers and
Bobkins or we might not have any idea whether the premises are true, the
argument is valid since it has the same form as argument (1). And, any
argument having form (1) has the following feature: its Conclusion cannot be
false while its premises are true. From this one can understand the nature of
validity in the sense that the validity of an argument is guaranteed by its form
and does not depend on its content (i.e., its specific subject matter).
On the Other hand, the followings are in valid arguments with their form:
Arguments 3 Arguments 4
And, the above two arguments can have the following similar argument form
which is invalid:
Form 2.
All A are B.
All C are B.
Therefore, All A are C.
Arguments 3 Argument 4
A= Adlers A = birds
C = Crockers C = dogs
B= Bobkins B = animals
40
And, any argument that has the above argument form is always invalid. An
argument form is a pattern or structure of reasoning that substitutes terms.
And an argument that results from uniformly replacing letters in an argument
form with terms (or statement) is called a substitution instance of that form.
For example, we can consider the following argument form and produce its
substitution instance:
The counterexample method can only used to demonstrate the invalidity of any
invalid argument; however it cannot demonstrate the validity of any valid
argument. Thus, the argument must be known to be invalid first before this
41
method is applied. In any case, there are steps to be followed to apply
counterexample method:
Example:- Some employers are not social climbers. All presidents are
employees. Therefore, some Vice-Presidents are not social climbers.
This argument is invalid because the employees who are not social climbers
might not be vice-presidents. Thus, we can prove the invalidity of this
argument by constructing a substitution instance with all true premises and a
false conclusion. So we began by isolating the form of the argument:
Some A are not B.
All C are A.
Therefore, some C are not B.
Next to this, we select three terms to substitute in place of the letters that will
make the premises true and the conclusion false. And the following selection
will work:
A = Animals
B = Mammals
C = Dogs
42
This substitution instance has true premises and false conclusion is therefore
invalid. And, since it has the same form with the original argument, it
constitutes proof that the original argument is invalid.
Exercise 1.4
1. All galaxies are structures that contain black holes in the center. So all
galaxies are quasars since all quasars are structures that contain black
holes in the center.
Chapter Summary
43
Arguments can broadly be divided into two: Inductive and Deductive.
Deductive arguments are those in which the conclusion is claimed to follow
necessarily from the premises. On the other hand, inductive arguments are
those in which the conclusion is claimed to follow only probably from the
premises. To distinguish deductive arguments form inductive ones, using
indicator words, using the actual strength of the inferential relation among
statements, and typical deductive and inductive forms of argumentation.
The form of the argument the arguer uses can determine the validity of a
deductive argument. Any argument form having a substitution instance
with true premises and a false conclusion is an invalid form. And,
Counterexample method is an important approach so as to prove the
validity of a given argume
44
Chapter two
Introduction
Language and its application is one of the fundamental areas of the study of
logic. For that matter this chapter focuses on meanings and definitions. As far
as its details is concerned; topics such as cognitive, directive and emotive
meanings, intension and extension of terms, definitions, Language and law and
their purposes, definitional techniques, and rules of lexical definitions will be
the main focuses of this chapter.
Objectives:
To fit with our purpose, we select three of the main linguistic functions:
45
1. To convey information
The following three statements show how language serves the above three
purposes respectively, which the first statement is intended to convey
information, the second one is to express or evoke feelings, and the third one
gives directive meaning.
Examples:
1. The first written constitution of Ethiopia was formulated is 1931; however the
first federal constitution is effected since 1995.
2. Death Penalty is the final, cruel and inhuman form of all punishments, which
hopeless prisoners are taken from their cells and terribly slaughtered.
3. Derive carefully please! Remember that if you negligently cause damage, you
will be thrown to jail.
46
rational, justifiable and factual information about an event or the subject
concerned. Moreover, we cannot use emotively charged sentences in arguments
since the sentences cannot be evaluated as true or false.
Exercise 2.1
- Cognitive Meaning
- Emotive meaning
II. Each of the following arguments involves the use of emotively loaded
languages. Disengage the covert assumption, from the emotive
languages. Finally, evaluate the reconstructed arguments as good or
bad.
1. Since the Chinese have a lousy record on human rights, to give china
Most Favored Nation Status is simply to give into injustice.
47
2. The world is full of horror, cruelty, poverty and debilitating illness. In
short, we humans inhabit one gigantic disaster area. And yet, some
people believe that a loving God controls the universe. It just goes to
show: People believe what they want to believe regardless of the facts.
3. If you are against engineering, you are against progress. So, why don t
you just accept the fact that genetic engineering is here to say?
4. What is wrong with playing the lottery? Nothing!!! Playing the lottery
simply involves making a modest investment with the possibility of a
substantial return.
It is clear that arguments and their logical status is the main topic of logic.
And, arguments are consisting of statements, which are composed of words
that have meanings are convoyed through definitions. Moreover, logic is highly
dependent on definitions to deliver specific meanings to terms.
Words are symbols, which signify meanings. And, terms are made up of words
having two kinds of meanings: intensional and extensional. The intentional
meaning contains the attributes or qualities, which the term connotes where
as extensional meaning consists of members of the class that the term
denotes. And, extensional meaning is usually termed as extension or
denotation. Where as its intentional meaning is called intension or
connotation. For example, the intentional meaning of the terms human being
contains attributes of being rational, social, and moral as well as political
animal and its extensional meaning consists of all human beings in the
universe.
49
2. Abortion is an act, which is performed by responsible medical
professionals so as to save the endangered life of the mother.
Thus, one can understand two contradictory meanings given to the term
abortion. Thus, to get ride of such subjective or partial intentional meaning
of a term, conventional definition can be taken as an alternative.
Conventional definition refers to the attributes in that the things that are
denoted by the term are supposed to have in the minds of competent speakers
of the language in question.
50
When we say we are increasing extension, we are to mean that we are
denoting more classes or members than the preceding terms in a series.
And the converse is the case when we say we are decreasing extension.
Exercise 2.2
51
- Wake up - graceful dancer
- Abortion - whatever
52
1. Stipulative Definition
Stipulative definition assigns meanings to words for the first time either
through coining new words or assigning new meanings to old words. The prime
function of stipulative definition is to substitute a more complex expression by
simpler one. And, it is often caused by some new phenomenon or development.
Moreover, it is used to set up secret codes in areas of military expression and
other related developments. Thus new creations as well as developments
demand new names so that stipulative definition may serve for this purpose.
Since stipulative definitions are completely arbitrary assignments of meanings
to words, they cannot have any truth-value so that they cannot be asserted as
true or false. And stipulative definitions cannot give any new information
about the subject to be defined; however, they may be more or less convenient
or appropriate than others.
Examples:
2. Lexical Definition
Here it should be underlined that ambiguity and vagueness are two different
notions. A word is said to be vague if it lacks precision of application words
such as love, happiness, rich, normal
are vague since they are employed in
different situations so that they might have different meanings. On the other
53
hand, a word is said to be ambiguous when it contains two distinct meanings
in that particular situations. Words like Sound, light , right
are ambiguous
words.
Examples:
- Belt means (1) a trap worn around the waist; (2) a trip of land
- Even means (1) equal in size; (2) calm or tranquil; (3) divided by 2.
3. Précising Definition
Examples:
- High means, in regard to the interest rates, at least two points alone the
prime rate.
4. Theoretical Definition
54
can never be evaluated as true or false; however, they can be considered as
more interesting or fruitful depending on the deductive consequences they
imply and the result of experiment they suggest.
Examples:
Examples:
Exercise 2.3
55
2. Theoretical definitions provide a theoretical characterization of the entity
or entities of the word being defined.
1. Frog means an amphibian having a frog for a male parent and a toad for
a female parent.
3. Fence means (1) to enclose a piece of land; (2) to sell stolen goods; (3) to
Swordplay.
4. Petty theft means larceny of property having a value of less than $ 400.
6. Sun means that fiery object in the center of the universe around which
revolves all the planets and stars.
There are various techniques, which are important to produce definitions. And,
one can employ the techniques so as to show how the two kinds of meaning
(intention and extension) are indicated or presented. For that matter, some
forms of extensional definitions are discussed first followed by various forms of
intentional meaning.
56
Demonstrative (ostensive) Definition
Examples:
Enumerative Definition
Examples:
57
A Definition by Subclass
Examples:
A Synonymous Definition
Examples
- Obese Means fat
- Skinny means thin.
58
An Etymological Definition assigns meanings to a word through showing its
root, origin or ancestors in both its own language as well as other languages.
Most of the time, English words have ancestors in other language such as
Greek, Latin, French and others. This definition gives the word s original
meaning, which other meanings can be derived. It also enables us to get the
historical details of the word to be defined as well as other related words.
Examples
- Virtue is a word derived from the Latin virtues, which means strength.
- Philosophy is a word derived from the Greek philo, which mans love, and
Sophia, which means wisdom.
An Operational Definition
Examples
- A knife is Sharp if it produces a thin scratch when very gently drawn over
ones thumbnail.
59
Species is a relatively smaller subclass of genus and Specific difference is
the attribute that differentiate species from genus. To construct this definition,
we should first select or find the genus term and then identify the specific
difference. And this definition is the most effective of all intentional definitions
to produce stipulative, lexical, précising, theoretical and persuasive definitions.
Examples:
Exercise 2.4
60
2. Pricy means expensive.
Rule one - A lexical definition should be stated with proper grammar. That is a
mistaken grammar is one of the sources of errors in any lexical
definition.
- Drunk means when a person consumes more alcohol than they should
- Judge means who decides if you go to jail or pay someone pays you or
your pay a fine or get of free.
Rule two: A lexical definition should show the essential meaning of the word
being defined.
- Water means the kind of liquid that comes out of the faucet.
- Man means the animal that laughs.
Rule three a lexical definition should be neither too narrow nor too broad so
as to maximize its precision. If it were too broad, it would include
too much and if it is too narrow, it would include little.
61
- Politician means a man elected to fill a political office.
- Musician means a person who plays the violin.
62
- Politics is the land of Liberty.
Rule Eight A lexical definition should indicate the context to which the
definiens (defining terms) pertains. This in turn avoids the
problem of brood, narrow, vague and ambiguous definitions,
Exercises 2.5
Which of the eight rules of lexical definitions are violated in the following
statements
1. Bat means if you want to hit the ball what you use to hit it with.
63
It has been said that there are three different uses of language; informative,
expressive, and directive. In the law, it is in rare cases that we use language to
express attitudes. Sometimes it is used merely to inform others, but most
commonly languages are used to direct conduct. Directive languages may take
the form of explicit commands or by explaining how something is to be done or
by giving notice of what is permitted so that they often have the direction of
conduct as their main function.
And, legal rules directing conduct need to be clear and unambiguous. In other
words, those who are subject to the law should access precise legal principles
(Constitution or any other law), which clearly show their rights as well as
duties so that they can claim their rights and discharge their responsibilities.
Thus, the languages used in laws should be at most precise so that they can
effectively secure their purpose.
Moreover, the need for precision also results in considerable attention being
given to definitions of the words used in laws and administrative rules.
Persuasive and theoretical definitions have little place in law. Stipulative
definitions may be introduced when a statue relies on special terms.
Therefore, précising definitions are the most widely employed of all definitions
in law. Words or phrases may have several meanings in the sense that some
have broader meanings others have narrower or more than one meaning so
that it needs to be resolved through précising definition.
Chapter Summary
64
The meanings of terms in a language can broadly be divided into three:
Cognitive meaning, emotive meaning and directive functions. Terminology that
conveys information is called cognitive meaning, terminology that evokes
feelings is considered to be emotive meaning and those which direct commands
are directive meanings. And, there are two ways in which cognitive meanings
can be defective: Vagueness and ambiguity. When we say the meaning of this
word is vague, we are to mean that there are borderline cases in which it is
impossible to tell if the word applies or does not apply. And, a word is
considered to be ambiguous if it can be interpreted as having two or more
clearly distinct meanings in a given context.
Chapter Three
Introduction
Objectives:
66
As it has been underlined in the previous chapters, the logical connection
between the premises and the conclusion is the central criterion to distinguish
good arguments form bad ones. And this chapter focuses on fallacy in general
and informal fallacies in particular which basically cause bad arguments.
Fallacies can broadly be classified into two types: formal and informal.
Though the focus of this chapter is on informal fallacies, it sounds logical to
raise some preparatory notions about both of these classifications. For that
matter formal fallacies are committed when the form or logical structure of
67
arguments are violated where as informal fallacies are committed when the
content of an argument is problematic.
Informal fallacies, which are the focus of this chapter, are errors in reasoning
which are detected through examining the content of an argument, not
through detecting the form of an argument. And, informal fallacies may appear
in both deductive and inductive arguments.
Though there are very many informal fallacies, there is no absolute consensus
on how can they be classified. However, through considering some
communality among them, informal fallacies can be divided in to five groups:
Fallacies of relevance, fallacies of weak induction, fallacies of presumption,
fallacies of ambiguity and fallacies of grammatical analogy.
68
3.1 Fallacies of Relevance
Thus, the task of distinguishing genuine and logical evidence from various
forms of emotional appeal is mandatory to identify those fallacies of relevance.
And, there are around eight fallacies under fallacy of relevance to which their
details are as follows:
69
readers accept her/his conclusion. This is achieved through indicating that
some danger will be happen on those who do not accept the position. But,
those psychological as well as physical threats do not have any logical
relevance; threats that are emotional appeals with no logical foundation.
Examples:
a. Child to its Playmates: Arsenal is the best football club in the world, if
you dont accept this, I am going to call my brother and he will through you
out!
The word Misericordiam is originally from Latin which literally means a pitying
heart which in turn implies the request of someone to others so as to get
mercy, sympathy or any a kind of excuse. Thus an appeal to pity fallacy
basically occurs when an arguer tries to pose a conclusion by evoking pity from
the listeners or readers. In other words, the fallacy is committed when the
emotional appeal which raises the pity of the listeners or readers replace logical
evidences or justifications.
Examples:
70
cruel world afraid and alone. Surely they are not guilty of these heinous
crimes.
The speeches of Adolph Hitler and Bonito Mussolini, for example, in the Second
World War were accompanied by emotional devices intended to raise the
enthusiasm, excitement, and anger of the German and Italian people. These
political figures or propagandists were effective in manipulating the emotional
support of their respective crowds in the name of patriotism on their fight
71
against the allies. Moreover, arguments ad populum are now to be found in
advertising industries in the sense that every attempt in the industry is made
to associate some products being advertised with things of which we can be
expected to approve strongly, or which excite us favorably.
Thus to understand appeal to people fallacy, there are two approaches: direct
and indirect approaches. The fallacy will be committed directly when the
arguer, addressing a large group of people through writing or speech, excites
the emotions and enthusiasm of the crowds so as to win acceptance or to raise
the mob mentality from them. As it has been stated before, political candidates
for election, military leaders and other public figures usually employ
propaganda so as to raise their subject and make them accept their
conclusion. In other words, these propagandists, in one way or another,
directly penetrate or manipulate the crowds consciousness with relentless
appeals to emotions of any kind.
Examples:
B. A political leader who opposes federalism would propagate as: Today the
prospect of creeping federalism threatens to rib each of us of our cherished way
of life. Government is invading every aspect of our lives. The feds want to tell us
what to think and how to speak. They want to tell us how to raise our kids and
run our schools. Enough of this mind control! Abolish the federal income tax.
72
On the other hand, ad populum fallacy is committed indirectly in the sense
that the arguer directs his or her appeal not to the crowd as a whole
directly, rather to some aspects of their relationship to the crowd. And
this is also an illogical attempt to exploit the emotion of the people for same
private motives. This approach is usually common in advertising industry.
Most of the time, products are advertised in association with things, which
excite us favorably. Fore example, food items could be advertised with strength,
youth fullness and good health and New Mobile technologies or automobiles
could be advertised as beauty, dignity and, such advertisements have the
power to catch up the feeling of the audiences as buyers emotionally associate
themselves with the strength, dignity and health which are wrongly fulfilled by
the products. Thus commercial advertisements usually attempts to attract
customers emotional approval for the purpose of getting purchasers informing
that the products are comfortable, best selling; delicate, etc. These emotively
charged terminologies in advertisement industry make the customers not to
raise questions about the durability, quality, expiring date, etc
Thus reaching
a certain conclusion based on the premises of such advertisement is fallacious.
However there are three types of indirect approach to ad populum fallacy;
appeal to bandwagon, appeal to vanity and appeal to snobbery.
Example:
Sure, this is a very fantastic gum with lovely flavor. That is why the
majority of the people in Addis Ababa chew it than any other gums.
73
B. Appeal to Vanity is committed when an arguer associates products with
celebrities and popular figures such as artists, athletes, footballers, etc.
and informs the audiences that if they buy the item they will also be
admired too.
Example:
You have got to see Serawit Fikres latest film immediately. It is breaking the
countrys film records in terms of audiences, and every one is talking about it.
Example:
Fiendship café, no doubt, is the best café in Addis Ababa. That is why
distinguished persons like Teddy Afro, Mulualam Tadesse... are always
there on weekends. Come and enjoy your weekends at Friendship café!!!
In any case, the common nature of both direct and indirect approaches holds
the position that if you want to be accepted or included in the group loved or
esteemed
, you should accept X, Y, and Z as true. Thus, the model of the
fallacy can shortly be stated as:
74
As to its etymological origin, the word ad hominem is from Latin that means
to the man and this in turn implies that it is not the subject matter or the
idea rather it is the person who raises the idea who is being refuted. In other
words, instead of responding to the argument forwarded by Mister X, Mister Y
tries to attack against Mister X himself. Here, mister Y clearly commits
argument against the person fallacy. And there are three types of the fallacy of
ad hominem:
Example:
Ato Gebeyhu has argued for increased funding for the disabled. But
nobody should listen to his argument. Ato Gebeyhu is a Slob who cheats
on his wife, beats his wife, beats his kinds, and never pays his bills on
time.
This is the fallacy committed by an arguer who tries to discredit his opponent s
arguments by alluding to certain circumstances that affect them (his
opponents). In other words, this fallacy is not directed on attacking the person,
rather on the circumstance he belongs.
When someone argues that his opponents argument is false since they, in that
position or state of mind, could be expected to raise such claims or their
circumstances make it impossible for them to sincere or to tell the truth.
75
Example:
Ato Mohammed has just argued that we replace the public school system
with private education. But of course he argues that way. He has no kids,
and he does not want to pay any more taxes for public education.
The word tu quoque is originally form Latin which literally means you too or
you did it too which in turn implies that the arguer s action is not consistent
or it is contrary with what he argues for. Thus the fallacy is committed when
we argue that our opponents claim is false since his/her argument is contrary
with what he has said or done before.
Example:
Ato Gemechu has just given us reason why we should place more
emphasis on family values. But he has no business talking. Just a week
ago he got divorce.
5. Accident
Example:
76
6. Straw Man
This fallacy occurs when some one distorts his/her opponent s argument for
the purpose of more easily attacking or demolishing it. In other words,, when
someone distorts and substitutes the original version of his/her opponent s
argument by a deliberately weakened version and tries to attack the distorted
one, s/he commits straw man fallacy.
Example:
Dr. Kebede has just argued against affirmative action for women. It seems
what he is saying is that women should stay out of the work place
altogether. Just keep them barefoot and pregnant. That is what Dr.
Kebede wants. Well! I think we are all smart enough to reject his
argument.
Missing the point illustrates a special form of irrelevance, which occurs when
the premise of an argument supports the concussion, which has nothing to do
with correct conclusion. In other words, when someone draws a conclusion,
which completely misses the point, s/he commits missing the point fallacy. In
any case the fallacy, which is represented by the Latin word, ignoratio elenchi,
which means ignorance of the proof, implies that the argument has a problem
of the logical implication of the premise.
Examples:
77
B. Wage earners cannot currently live on the minimum wage.
Therefore, the minimum wage should be abolished.
8. Red Herring
Red herring fallacy will be committed when an arguer diverts the attention of
the listeners or readers by changing the original subject to some totally
different issue without the listeners or readers notifying it. In other words, this
fallacy is an attempt to divert the attention of audiences to a totally different
issue. The fallacy is some times called Off the track fallacy since an arguer
who commits this fallacy ignores the topic under discussion and shifts the
attention of his audiences to another issue. All at a sudden, an arguer changes
the subject to a completely different idea and makes a conclusion upon this
changed idea. In any case the model for red herring fallacy is as follows:
Example:
Exercise 3.1
78
The following passages/arguments exemplify fallacies of relevance. Name
or identify the type of fallacy and explain why. If no fallacy committed,
write no fallacy.
1. Professor this paper merits at least a B. I stayed up throughout the night
working on it. And, if I do not get a B, I will be put on academic
probation. (Student to his professor)
2. I deserve a two-month vacation with pay, and if you don t agree to give it to
me, I am going to tell the sex harassment officer about that time you tried to
get me into bed. (Employee to her boss)
3. Ms. Lincoln, are you saying that President Bush made a moral error when
he decided to go to war with Iraq? I cannot believe my ears. That s not how
Americans feel. Not true Americans, any way. You are an American, aren t
you, Ms. Lincoln?
4. You should do whatever you can to back our Zones athletics team. This
team really has people of the zone behind it, if you do not support it, and
you will be a social outcast.
5. Ms. Azeb has argued for reduced expenditures for Medicare. But of course
she argues that way since she is rich and can afford to pay her own medical
bills. I wouldnt trust her arguments.
7. Dr, Anderson has argued that we dispense free hypodermic syringes to drug
users to cut dawn on the spread of AIDS. Apparently the good doctor
advocated drugs. Here we have more than a million addicts in this country,
and the doctor would like to see several more of them! No! No! No! This is
not a good idea.
79
8. Its always the unloaded gun that kills someone. Therefore, you should
always keep gun loaded.
Those fallacies included in weak induction occur not because the premises are
logically irrelevant to the conclusion; rather it is because the connection
between the premises and conclusion is not strong enough. Those fallacies
under this category provide shared evidences to the conclusion. The evidences;
however, are not good to make any reasonable person believe the conclusion.
And, like those fallacies included in relevance, fallacies of weak induction
employ emotional grounds to support the conclusion. At any rate, fallacies of
weak induction are commonly characterized by an argument with:
And, there are at least six fallacies included in weak induction with their
details as follows:
Example:
This fallacy is committed when the lack to evidence or proof for something is
used to support the conclusion. In other words, when the premises of an
argument state that nothing has been proved in one way or other about
something and the conclusion then makes a definite assertion about that
thing. Thus, ones ignorance, lack of evidence, knowledge or information about
something definitely supports the conclusion in appeal to ignorance fallacy. In
any case, ad ignorantiam fallacy will be committed when:
81
Some one argues that something is the case (true) because no one
has proved to be false.
Example -
B. There are also cases where there is not always necessary that
investigators have special qualifications. The kinds of qualifications
needed depended on the situation that the more ability to see and report
is sometimes sufficient.
However, the mere fact that a sample may be small does not necessarily
guarantee that the fallacy of converse accident occurs. Other factors sometimes
make the argument to be strong though its samples are small.
Example:
Ten Milligrams of Substance Z was fed to four mice, and within two minutes all
four went into shock and died. Probably substance Z, in this amount, is fatal to
the average mice.
False cause fallacy occurs whenever the link between premises and conclusion
depends on some imagined causal connection that properly does not exist, an
83
attempt to suppose that X causes Y where as X probably does not cause Y
at all. In other words, the fallacy is committed when someone infers causal
explanations from premises, which cannot provide sufficient evidence to it.
And, the fallacy can further be divided in to three types:
As a Latin phrase post hoc erogo propter hoc fallacy may be translated as after
this, therefore on account of this. And, the fallacy is shortly named as post
hoc fallacy and it is committed when we arrive at a certain conclusion by
claiming that one thing is the cause of another thing because it precedes in
time. A particular event X is caused by event Y merely because X follows Y
or Y precedes X chronologically.
Example:
Every time I take a shower, the telephone rings. Therefore, since I m dying to
talk to somebody right now, I should jump in the shower.
84
The Latin phrase non causa pro causa can be translated as not the cause for
the cause. The fallacy is committed when some one argues that something is
the cause of an effect when it is not in reality and confusion occurs between
cause and effect.
Example:
There are more churches in Ethiopia today than ever before and more HIV
victims ever before; so, to eliminate the epidemic we must abolish the
church.
Example:
Why most students fail in logic is because teachers do not come to class
regularly.
Slippery slope fallacy is a Variety of false cause fallacies. In other words when
false cause fallacy (an argument that considers an event X is the cause of
event Y simply because X happens before Y) takes place in series of events or
actions, slippery slope fallacy will occur. If an arguer assumes that series of
events happen or follow one from the other as a result of the first cause in a
series, it will result in slippery slope fallacy. This is of the fact that because it is
85
logically mistaken for someone to consider a particular action or event (usually
the first one) in series of events causes for series of consequences. In other
words, considering the first event, action or cause responsible for all events or
actions in series of events or actions is not convincing.
Example:-
It is not a good idea to put your child in a day care center. Separation from
parents causes isolation and alienation soon the child becomes incapable
of relating to other children, and this inability to relate causes depression.
As the child gets older, the depression leads to psychosis. The final result
is either suicide or a life wasted in a mental institution.
Example:
No one would buy a pair of shoes without trying them on. Why should anyone
be expected to get married without premarital sex?
86
However, there will be a strong or correct link between the premises and the
conclusion so that the argument is good or it is with no fallacy when properties
cited are relevant between two or more things and when the differences
between the objects have taken in to account.
Begging the question fallacy basically occurs when someone uses some form of
phraseology, which tends to conceal the questionably true character of a key
premise, and, if the audience is deceived into this argument as sound, when in
facts it many not be.
In any case, there are two requirements to be fulfilled for this fallacy to occur:
87
Some form of phraseology must be used to conceal the
questionably true character of a key premise.
Example:
Here, the premise and the conclusion mean the same thing so that they both
are true and valid as well. However, the logical question to be raised here is
whether the premise is true regardless of the context of the argument i.e. the
truth of the premise is unavoidably questionable. But, when the premise is
preceded by the conclusion, the alleged truth is strengthened; however such
strength is attributed to the psychological illusion that results from saying the
same thing in two slightly different ways. And, when a single proposition is
repeated in two slightly different ways without the repetition becoming obvious,
the suggested truth of the proposition is reinforced. And, begging the question
can be presented in chains of arguments. And, the final conclusion will be
stated or will be having the same meaning with that of the first premise. Thus,
begging the question is usually called circular reasoning that:
88
And, circular argumentation as a fallacious reasoning is not explicitly detected
as it is presented in:
Chain of intervening sentences,
Ignoring entirely questionable idea in the premise.
One commits the fallacy of complex question when s/he asks two or more
questions in a way that makes it appear that only one question has been
asked. When we forward question to someone we make presuppositions of
answers within it. Asking questions to respondents to answer it genuinely
without being confused and tricked is not wrong. But, when the question is
complex and aimed only at trapping the respondent to acknowledge something
that he/she is not willing to tell, it becomes fallacious.
Here, what the defendant can answer is either Yes, or No. And if he answers
Yes, so it implies that he has previously been involved in such crimes so that
he is guilty. And if he answers No it means he has continued in criminal
ways, and is guilty. Therefore, he would be trapped in both cases. Depending
on the answer given by the defendant the prosecuting attorney may therefore
establish arguments like:
a. You are asked whether you give up your criminal ways. You answered,
Yes. It follows that, you have previously been a criminal.
89
b. You are asked whether you give up your criminal ways, you answered
No. It follows that, you have previously continued involving in crimes
Example:
Either we elect EPRDF, or the countrys fate will be worsened. The choice
should be obvious.
90
different from the one drawn. In other words, this fallacy is committed when
the argument ignores some important evidence/s that outweigh/s the
presented evidence and entails a different conclusion. The evidence that is
suppressed must be so important that it outweighs the presented evidence,
and it must require a different conclusion than the one drawn. Usually
suppression is intentional as the arguer deliberately omits the key evidence
(premise) and instead emphasizes a certain point in order to hide the relevant
premise that would entail totally different point.
Example:
Exercise 3.2
1. The great scientist, Albert Einstein said that God does not play dice with
the universe. Given this statement, it is clear that God exists.
2. People have been trying for centuries to produce conclusive evidence for
the existence of Satan, but no one has succeeded so far. We must
therefore conclude that Satan does not exist.
1. First year law students of Addis Ababa University are 150 in number.
Blood is taken from five students, and upon examination all five students
are found to have their blood type A . Therefore, on the basis of this, I
conclude that all the rest students will also have the same blood type,
that is A.
2. After Ethiopia formulated its weapons law, the crime rate dropped.
Clearly, allowing people to carry weapons results in a reduction of crime.
91
3. Dancing is the work of the devil! If we let young people listen and dance
to rock music. I tell you that sooner or later they will turn against their
parents, they will take to fornications and pornography, and they will
grow up to be prostitutes. No good can come from dancing. So I have
cancelled all future dances.
6. Roses are brightly colored flowers, and they make beautiful corsages. But
dandelions are also brightly colors. Therefore, dandelions should make
beautiful corsages.
Two fallacies arise from the occurrence of some form of ambiguity in either the
premise or the conclusion (or both). The fallacies of ambiguity include
Equivocation and Amphiboly
19. Equivocation
Example:
20. Amphiboly
92
The fallacy of amphiboly occurs when someone misinterprets a statement
which is ambiguous because of some structural defects and draws a
conclusion based on such misinterpretation. And, someone other than the
arguer usually asserts the original statement. Moreover, the structural defect is
usually a mistake in grammar, punctuation, a pronoun, an ambiguous
antecedent of a pronoun, careless arrangements of words and the like. Because
of these and other related defects, the statement may be interpreted or
understood in two distinct senses. The arguer usually selects the unintended
interpretation and draws a conclusion based up on it.
Example:
Beza said that she painted her picture hanging on the wall of her
bedroom. Obviously Beza is quite an acrobat.
Contracts and wills are areas where a case of amphiboly causes serious
problems or controversies. Ambiguous statements and alternative
interpretations would lead to different conclusions.
There are two important ways in which amphiboly differ from equivocation.
First, equivocation is always because of ambiguity of meaning of one or more
words; however, amphiboly involves structural defects in a statement. Another
important difference between the two is that amphiboly usually involves a
mistake committed by the arguer in interpreting an ambiguous statement
made by some one else, where as the ambiguity in equivocation is typically the
arguers own creation.
21. Composition
93
composition to occur. In other words this fallacy would occur when attributes
of parts of a thing are wrongly applied or associated to the whole entity of a
thing. Thus, if an arguer argues as: what is true of each part of a whole is also
true of the whole or what is true of some parts of a whole is also true of the
whole, s/he commits fallacy of composition.
Example:
Each atom in this table is invisible to the naked eye. Therefore, the table is
invisible to the naked eye.
Example:-
Each atom in this piece of chalk has mass. Therefore, the piece of chalk
has mass.
22. Division
Example
94
Carbon monoxide is a poisonous gas. Therefore, its two components,
carbon and oxygen must be non poisonous.
Example:-
This piece of chalk has mass. Therefore, the atoms that compose
this piece of chalk have mass.
Exercise 3.3
2. Dani, after we arrived at the party you spent most of your time talking to
the other gusts. Why dont you like taking to me any more?
3. Either you lend me the money I need right now, or our friendship can t
continue.
4. Used car salesman to buyer: Mrs. Kebede, I have just the car you need.
This 1988 Chevrolet was recently traded in by a little old lady who kept it
in the garage most of the time. The odometer pads low mileage and the
engine were recently tuned up. If you buy this car, it will give you
trouble-free service for years.
95
5. Dense objects tend to sink in water. But Abebe is incredibly dense. In
fact, he never made it out of grade school. Therefore, Abebe should stay
out or the water.
6. Azeb said that she saw a man walking a dog through her window. Clearly
that man should be charged with animal abuse.
Appeal to ignorance
Appeal to Authority
97
that testimony or questioning the witnesss honesty or integrity or ignorance
about the issue at stake. Thus, impeachment through questioning and cross-
examination is natural in legal circumstances. Ad hominem argument was
predominantly used by Socrates in his trail at Athens in 399 B.C.
Crossexamining his accuser, Meletus, he elicited Meletuss claims both that
Socrates worships new gods rather than those of the state, and Socrates is an
atheist. And Socrates responded:
Nobody will believe you, Meletus, and I am pretty sure that you do not believe
yourself
He (Meletus) certainly does appear to me to contradict himself in the
indictment as much as if he said that a society is guilty of not believing in the
gods, and yet of believing in them-but this is not like a person who is in earnest.
In any case, the above case of Socrates and other similar cases would show
that ad hominem arguments (abuse or circumstantial), may be powerful
attacks upon the case one is seeking to combat in court.
Appeal to Pity
If appeal to pity is employed to support the claim of innocence for one accused
of a crime, it is fallacious. However, if such an appeal is directed to the judge
after conviction, so as to win greater leniency in punishment, it is not
fallacious. The poverty or misery of the accused at the time of crime may have
no relevance in determining the severity of punishment to be meted out.
Appeal to force
Chapter Summary
99
And appeal to unqualified authority (when an arguer cites an authority who is
not qualified), appeal to ignorance (drawing a conclusion from premises that
give no positive evidence), hasty generalization (drawing a conclusion from un
representative samples), false cause (drawing a conclusion form minor causal
connection), slippery slope (drawing a conclusion based on a Chain reaction
that is unlikely to occur) and weak analogy (drawing a conclusion from an
analogy that is not close enough to support it) are all included in fallacies of
weak induction.
100
Chapter Four
Introduction
101
great contribution, particularly in deduction. The Aristotelian study of
deduction focused on arguments, categorical syllogisms, containing only
propositions of a special kind called categorical propositions. So, we can
divide this chapter in to two major parts. In the first section, we will study the
very nature and characteristics of different forms and types of statements, and
other worth mentioning points. And, in the second section, the special kinds of
arguments that are made up of three categorical statements called categorical
syllogisms, and enthymemes and will be our points of discussion.
Objectives
After studying this chapter, students will be:
able to define what a categorical proposition and syllogism are,
aware of the existence of different types and forms of categorical
propositions and syllogisms,
capable of explaining the quality and quantity of propositions, and the
distribution of terms of categorical propositions,
aware of the difference between the modern and the traditional logicians
interpretation of universal propositions,
familiar with valid rules of immediate inferences, and valid forms of
syllogistic arguments,
capable of diagramming standard forms of categorical propositions and
syllogisms,
use Venn diagram, the modern and traditional square of opposition and
other rules to test immediate inferences for validity,
use the Venn diagram and rules of valid forms of syllogistic arguments
to determine the validity or invalidity of categorical syllogisms,
able to translate ordinary language statements and arguments in to
standard categorical forms, and
able to understand what enthymemes and sorties are.
103
1. which asserts that the entire subject class is included in the predicate
class,
2. which asserts that part of the subject class is included in the predicate
class,
3. which asserts that the entire subject class is excluded from the predicate
class, and
4. Which asserts that part of the subject class is excluded from the predicate
class.
Though many statements are instances of either of the above four types of
categorical statements, they are said to be in standard form only if they have
fulfilled certain logical requirements. Hence, since clarity in meaning is one of
the requirements, a categorical proposition is said to be in standard form if and
only if it express either of the above relations with complete clarity. And, the
following four forms of categorical propositions are best taken as standard
forms of categorical propositions.
Let us represent the letters S and P as the subject term and predicate term
respectively, then
1. All S are P - The entire member of the S- class is included in the P-
class
2. Some S are P - At least one member of the S- class is included in the P-
class
3. No S are P - The entire member of the S- class is excluded from the P-
class
4. Some S are Not P - At least one member of the S- class is excluded from
the P-class
As we understand from the above models, standard forms of categorical
statements comprises of four component parts: quantifier, subject term,
copula and predicate term.
I. Quantifier
A quantifier is a word or a phrase that specifies or quantifies how much of the
S- class (the subject term) is included in or excluded from the P - class(the
104
predicate term). And, for our purpose, we may classify quantifiers as standard
and non-standard. Thus, quantifiers like a, a few , few , at leas one ,
most, every, not every, every one, not all, any, any one, almost
all
are called non-standard quantifiers as they are not in standard ones.
Only All, some, and no, are the standard quantifiers. And, we have to note
that some means at least one in logic.
Translating non-standard quantifier in to standard ones is one of the main
tasks or steps in translating ordinary language statements in to categorical
forms.
For instance, expressions like a, a few, few, most, at least one
and others that
are used to make a claim about one or more particular members of a class
should be replaced by Some.
II. Copula
The copula is a word or arrangement of words that links the subject term with
the predicate term. The various forms of the verb to be as is , is not , are,
are not, will, wont are those that are usually employed. The only copulas
that are allowed in standard form categorical propositions are are and are
not.
Moreover, the subject and predicate terms are those that precede and proceed
the copula of the statement respectively.
Example: Some university educators are not distinguished scholars. Here,
.The subject term is - university educators,
.The predicate term is - distinguished scholars,
.The quantifier and copula are- some and are not, respectively.
Hence, the arrangement of standard form categorical proposition is as follows:
All S are P A
No S are P E
Some S are P I
Some S are not P O
Table 4.1
The letter name for the first two statements A and I that affirms class
inclusion was taken from the Latin word Affirmo (I affirm), while that of the
last two statements E and O that denies class inclusion was presumed to
be taken from nego(I deny).and the first two vowels in the Latin words affirmo
and nego can easily be diagrammed as follows so as to represent A,E,I,O,
propositoins : n
universal A E
f
f g g
particular I O
r
m
o
Exercise 4.1
106
I. Identify the quantifier, subject term, copula and predicate term and also
the letter name of the following statements.
1. Some contracts are not voidable agreements.
2. No frivolous law skits are cases taken by honest lawyers.
3. Some convicts are innocent.
4. Not all jobs are rewarding.
5. All criminals are lawbreakers.
6. Some jazz singers are entertainers.
7. All flowers are fragrant.
II. Write a categorical proposition:
a. In which its quantifier is some, subject term is fast foods, predicate
term is low fat meals,.
b. Which affirms class inclusion wholly
c. Whose symbolic representation / letter name is O.
d. That is a stylistic variant of the statement If a shirt is made of paper,
then it is not washable.
107
contrary, if it denies some class inclusion, partially or wholly, it is said to be
negative. Hence, A and I propositions that affirm class membership for the
entire and some part of the subject class are affirmative. While, those ( E and
O) that deng some class inclusion, wholly and partially, respectively are
negative. The quality of standard forms of categorical propositions can be
determined by examining either the quantifier or the copula of the statement.
You can easily know the quality of the four standard forms of categorical
propositions by studying the following table.
Standard Form of Quality
Statements
108
Standard Form Quantity
Statement
All S are P Universal
No S are P Universal
Some S are P Universal
Some S are not P Universal
Table 4.3
C. Distribution
Distribution, unlike quantity and quality, is not an attribute of categorical
propositions; rather it is an attribute of the terms (subject and predicate terms)
of statements. And, it refers to whether the statement distributes, or assigns an
attribute to every member of the class denoted by the term. So, the terms
(subject and predicate) of a statement may be distributed or undistributed.
And, a term is said to be distributed if and only if the statement makes any
claim about every member of the class denoted by the term. Other wise, it is
undistributed. Accordingly, both the subject and predicate terms of a
statement are said to be distributed if it asserts something about every thing
denoted by the terms. In other words, the subject term is distributed if the
statement assigns (distributes) an attribute to every member of the subject
class, other wise it is undistributed. The same is also true for the predicate
term. Let us now examine the terms of the four standard forms of categorical
propositions for distribution.
109
each other and exist independently. Thus, both its subject and
predicate terms are distributed.
3. Some S are P (Particular Affirmative): I-propositions assert that
at least one member of the S-class is a member of the P-class.
Since an I-statement makes a claim about one thing that is both S
and P, it makes no assertion about all S s and P s. Thus, both the
subject and predicate terms are undistributed.
4. Some S are not P (Particular Negative): O-statements assert that
there is at least one thing that is a member of the S-class, and the
same thing is out side the whole P-class since the statement
makes a claim that part of the S- class is out side the entire P-
class. The subject term is undistributed, while the predicate term
is distributed.
In summary, we can conclude that the quantity of standard form of
categorical proposition determines whether the subject term is
distributed, while the quality determines whether the predicate term
is distributed. Accordingly, the subject term of universal propositions
(A and E) is distributed, and the predicate term of Negative (E and O)
propositions are distributed. The following table will give us a
summary of the distribution of terms of standard forms of categorical
propositions.
Distribution
Subject Predicate
Statement
term term
All S are P Distributed Undistributed
No S are P Distributed Distributed
Some S are P Undistributed Undistributed
Some S are not P Undistributed Distributed Table 4.4
110
Finally, we can summarize the quality, quantity and distribution of
standard forms of categorical propositions as follows:
Distribution
Subject term Predicate
Statement Letter Quantity Quality
term
Name
All S are P A Universal Affirmative Distributed Undistributed
No S are P E Universal Negative Distributed Distributed
Some S are P I Particular Affirmative Undistributed Undistributed
Some S are O Particular Negative Undistributed Distributed
not P
Table 4.5
Exercise 4.2
I. Identify the following quantifiers as universal or particular;
a) Not all b) Not any c) Not every d) Most
e) Almost all f) Any g) Every h) Any
i) All j) Some
II. Identify the quality and quantity of the following statements, and
then state whether the subject and predicate terms are
distributed or undistributed.
1. No cockroaches are attractive bugs.
2. Some Acids are corrosive.
3. All men are knowledge seeking objects.
4. Some parliamentarians are not college graduates.
5. No Freudians are neurotic.
6. Some fair persons are good judges.
Iv. Change both the quality and quantity of the above statements
4.3 Venn Diagrams and the Squares of Opposition
A venn diagram is an arrangement of overlapping circles in which each circle
represents the class denoted by a term in a categorical proposition. It is useful
to represent the four standard forms of categorical propositions as it will be
disclosed in the coming sections. And, a square of opposition is nothing but a
111
figure/square that shows the necessary logical relations between the four
standard forms of categorical propositions.
Since modern and traditional logicians understand and interpret universal
propositions differently, there are two squares of opposition: Modern Squares of
opposition and traditional square of opposition, which depends on modern and
traditional logicians standpoints respectively. Before we study the two squares
of opposition, let us see the traditional and modern logician s interpretations of
the four standard forms of categorical propositions (A, E, I and O propositions).
4.3.1 The Two Interpretations of Categorical Propositions
Logicians of different times understood the four standard forms of categorical
propositions differently. Mainly, traditional (Aristotelian) and modern logicians
have disagreed on the meaning/interpretation of universal categorical
propositions. The question whether universal (A and E) propositions have
existential import, or whether they imply the existence of the things talked
about, is the cause for their disagreement. According to Aristotelian s
(traditional logicians) interpretation, universal (A and E) propositions have
existential import if at least one of the things talked about are existing things.
So, universal propositions will imply existence on the condition that at least
one thing of them actually exists /is alive, or if the subject term has no empty
extension.
However, according to modern logicians (Booleans) interpretation, universal
(A and E) propositions have no existential import. In other words, as to
Booleans interpretation, universals does not imply the existence of the things
talked about, regardless of any condition. i.e. Boolean logic is neutral about
existence. However, both standpoints (Aristotelian and Boolean) have accepted
and agreed that particular (I and O) propositions make a positive assertion
about existence. For both standpoints, the word Some means at least one
and it implies existence. Logically, when one say some like some S are P ,
this means there is at least one S
., i.e. it implies actual existence. Hence, for
both standpoints, particulars have existential import. Therefore, an important
112
and basic distinction between Aristotelian and Boolean logic lies in their
interpretation of universal A and E propositions.
See the following table
Interpretations
Aristotelians Boolean
Proposition
asserts no S are outside P, or all no member of S are
113
Examples
1. All black roses are lovely flowers. From both standpoints, this
proposition does not imply existence of black roses. For Booleans, just
black roses.
means at least one is there. Thus, this proposition implies existence from
both standpoints.
The information content and our interpretation of the four standard forms of
categorical propositions can be represented in diagrams.
And, the first known diagram of categorical propositions is set by the 18 th C.
mathematician L. Euler. And, this diagram is called Euler diagram. However,
Eulers diagram was found to be ineffective in testing arguments (immediate
inferences and syllogistic arguments) for validity. In any case, the followings
are Eulers diagrams for the four standard form categorical propositions
E : No S are P
114
A: All S are P S S
P
P
S
I: S
Some S are P O: Some S are not P
P p
After the failure of Euler diagram, a new diagram was developed by the 19 th C
logician and mathematician named John Venn to represent the information
content of the four standard forms of categorical propositions. His diagram has
come to be known as Venn diagrams. Venn diagrams are also useful to test
the validity of formal arguments (immediate inferences and categorical
syllogisms). Now, let us consider how a proposition can be transferred in to a
Venn diagram.
First, a Venn diagram consists of two overlapping circles which represent the
terms (set of things denoted by the subject and predicate terms) of the
statement. Conventionally, the subject and predicate terms are represented by
the left- hand and right- hand circles respectively. For instance, if S and P
represents the subject and predicate terms respectively, then you will find four
areas of the diagram and each area represent different things as follows:
2 3 4
1
S P
115
Area 4 represents things that are P, but not S.
E: No S are P. / All S are out side P. This Statement asserts that nothing is
common for both S and P (S and P are excluded each other). Thus, the
area that represents things that are both S and P is empty, and must be
shaded.
116
S P
I: Some S are P. There is at least one member of S, and that thing is also a P.
There is one things that is both s and p, so we must place an x in area 3
S P
O: Some S are not P- there is at least one S and that S is not a P. This Means,
There is one thing that is only S. So, we must place an x in area
2 (that represents only S, not P)
S P
S P
117
2. No S are P (E proposition): asserts that No S are inside P, but it implies
S P
To read the contents of the diagrams for universal propositions drawn based on
Aristotelian logic, we need further information. We need to look at the
extension of the subject term of the proposition. If it has empty extension, the
circled x must not be interpreted as there is one thing in that area. But, if
one thing denoted by the subject term exists, the same mark must be read as
there is one thing in the area.
Examples
x
1. No atheist Popes are rational creatures.
A R
Since the subject term has no extension, the circled x do not imply that one
S P
The same diagram for proposition two is interpreted since there are Marxists,
the circled x will be read as there is one Marxist alive. Therefore, we have to
be careful about our perception/interpretation of the Venn diagram of
Universal propositions based on Aristotelians standpoint. Regarding
particulars, however, there is no difference between Aristotelian and Boolean
logic.
118
4.3.3 The Traditional (Aristotelian) Square of Opposition
First, if we take corresponding A and O, and E and I statements in
actual case, both cannot be true, and both cannot be false. They are
contradictory and have opposite truth value.
Example
119
All Ethiopian Athletes are record scorers is actually false. Hence, the
correspondent O statement, Some Ethiopian Athletes are not record
Scorers, is actually true. The same is also true for two corresponding E and
I statements.
Second, we can check this by inspecting the quality and quantity of the
corresponding propositions, and the distribution of their terms. And,
propositions with contradictory relation have quality and quantity, and the
terms distribution that are in complete oppositions.
A- All S are P O- Some S arent P
Is universal in terms of quantity ≠ Particular
Affirmative in terms of quality ≠ Negative
Its “S”- term is distributed ≠ S- undistributed
Its “P”-term is undistributed ≠ P- distributed
E- Statement is universal, negative, and both its S and P - terms are
distributed. On the contrary, I- Statement is particular, affirmative, and both
its S and P- terms are undistributed.
Lastly, we can see complete opposition that prevails between A and O, and
E and I propositions by examining their respective diagrams.
The diagram for an A- proposition shows that the shaded area is empty, i.e.
nothing exists that is only S. While the diagram for the corresponding
O statement shows that the same area is not empty, there is at least one
120
S P
x
S P
In all contradictory propositions, the statements make an assertion that are
exact opposite of each other, and have opposite truth values. Thus,
If A is given true
..O- will be false
If A is given false
..O- will be true
If E is given true
.I will be false
If E is given false
I will be true. And the reverse is true.
Moreover, immediate inferences that depend on the correct application of
contradictory relation are valid. For instance.
1. All S are P
So, it is false that some S are not P
2. Some S are not P
So, It is false that All S are P. And, if we switch the premises and the
conclusion, the above inferences will be valid.
2. Contrary
If two corresponding statements can not both be true, but both may be false,
they are said to be contrary. In other words, of the corresponding contrary
propositions, at least one of them must be false. Unlike contradictory relation,
contrary relation expresses partial opposition. Corresponding A and E
statements have relation of this type.
Example
All professors are highly educated people- is actually true, but the
corresponding E statement, No professors are highly educated people is
121
actually false. Therefore, we can see that, among two corresponding contrary
statements, if one of them is given true, the corresponding one will be false.
However, if one is given false, the corresponding statement will remain
undetermined (which means it may be either true or false.)
3. Sub contrary
If two corresponding statements can not both be false, while both may be true,
they are said to be sub contrary. This means ,among the sub contraries, at
least one of them must be true. Like contrary relation, sub contrary relation
expresses partial opposition. Hence, since the corresponding I and O
statements cannot both be false, traditional logicians consider them as having
sub contrary relation. For instance, the propositions: some wars fought are
morally justifiable, and some wars fought are not morally justifiable, can not
both be false, at least one of them is true. If we assume the former true the
latter may be either true or false, but if the first statement is assumed false,
the latter one will necessarily be true. Thus, if I statement is given false, O
must be true, and if I statement is given true, O may be either true or
false (undetermined truth value). And the reverse is also true.
The partial opposition (sub-contrary) between universal and particular
statements respectively arises from their similarity in quantity and difference in
quality and distribution of terms.
4. Subalternation
122
The last relation between the four standard forms of categorical propositions,
according to Aristotelians, is that affirmatives ( A and I ) may imply each
other, and negatives (E and O) also imply each other. This bi-implicational
relation is called subalternation. Subalteration relation expresses if universals
are given true then the corresponding particulars will also be true. Thus, if A
is given true; I must be true, and if E is true, O must also be true. But if
the universal is false, then the corresponding particular is undetermined and
can be either true or false. On the other hand, if particulars are given true,
then the corresponding universals will be undetermined. (If I (O) is true, then A
(E) is undetermined). But, if the particular is false, then its corresponding
universal must also be false. Thus, if I (O) is false, then A (E) must be false. To
understand this relation, and to see how the subalterns implies each other, see
figure 4.1 And, this diagram shows that truth flows from universals to
particulars (A→I and E→O) through the downward arrow, while falsity flows
through the upward arrow (from I→A, and O→E).
Examples
1. “All cats are animals” is actually true, and “Some cats are animals” is also
true. However, if Some cats are animals is true, All cats are animals
may be either true or false.
2. If some spiders are eight- legged animals is false, then All spiders are
eight legged animal is also false.
T 123
F
Contradictories (never have the
same truth value)
124
have existential import. Thus, according to Boolean s interpretation there is a
logical relation only between statements that make assertions that are exact
opposite of each other. As a result, modern logicians have endorsed the
diagonal relationship (contradictory) pictured in the traditional square of
opposition while denying the other three kinds of relations. In any case, let us
see why and how modern logicians affirm and deny the claims of Aristotelians
Regarding contradictory relation, since universal propositions do not have
existential import, if a proposition that is neutral about existence denies or
affirms entire class inclusion is true, there is no possibility for corresponding
statements that have existential import and affirm/deny some part of class
inclusion to be true. Thus, Aristotelians claim that if A is true, O must be
false, and if E is true, I must be false, and vice versa. However, as to
Booleans interpretation, A and O and I and E statements will be in
complete opposition only if we deny that universals have existential import.
Then, Booleans endorse contradictory relation, and use Aristotelians claim that
universals have existential import, on the condition that one of the things
talked about is alive, to disprove the incorrectness of Aristotelians conception
of universal propositions and the four relations.
First, if we claim that universals (A and E) have existential import, the
corresponding (I and O) statements may not be their contradictory, or they
may not be in a complete opposition with the corresponding ( I and O )
propositions.
Example, All unicorns are friendly animals and Some unicorns are not
friendly animals. Now, for sure, unicorns dont exist even from Aristotelian
stance. But, if we claim that statements have existential import, our claim is
false and both corresponding statements are false. Hence, to preserve
Aristotelian stance regarding contradiction, we must deny that A and E
propositions have existential import. And, this basic claim, according to
Booleans, has a series of implications.
125
The first implication is that universals ( A and E) logically imply particular
(I and O) statements are false because universals dont imply existence,
while particulars does. Therefore, A and I, and E and O are not subalterns. And
to understand this we can study the information contents of the diagram for
these statements:
A I E O
x x
S P S P S P S P
The second implication is that corresponding I and O statements aren t
sub contrary because, according to modern logicians particular statements
may both be false if the things talked about in the corresponding statements
cease to exist.
Example
Some cats are animals. I
Some cats are not animals. O
The above I and O statements assert that there is (exists) at least one cat
that is an animal or a non-animal respectively. They however, may be false,
if cats disappear.
The last implication is that corresponding A and E statements are not
contrary. This is because corresponding A and E statements can both be
true, and to show that modern logicians analyzed A and E statements as
involving conditionals.
Example
1. All unicorns are animals may be rewritten as:
If any thing is a unicorn, then it is an animal.
2. No unicorns are animals may also be rewritten as:
If any thing is a unicorn, then it is not an animal.
These two statements, according to modern logicians interpretation, are not
contrary (at least one is false), because both are true assuming that there are
126
no unicorns. To understand this claim, first study the second claim that says
corresponding particular statements may both be false, if this is the case, the
corresponding universal A and E statements can both be true. This is
because, when S is empty some S are P and Some S are not P can both be
false, and their respective contradictories All S are P and No S are P can
both be true. In any case, the following diagram shows the modern (Boolean)
square of opposition as:z
I O
Logically undetermined
Figure 4.2
Table for logical determinations based on the modern square of opposition.
127
A is undetermined, I is true undetermined
A is true, I is undetermined O is
undetermined
E is undetermined
Table 4.8
4.3.5 Immediate Inferences and Formal Fallacies
As it has been underlined in chapter one, an argument/inference is a set of
statements that purports to prove each other. And, there are immediate
inferences that consist of two corresponding propositions, one is a premise and
the other is the conclusion. Such kinds of inferences that immediately proceed
from one standard form of categorical statement (as a premise) to other
corresponding proposition (conclusion) are called immediate inferences. The
validity of such kinds of inferences can be tested by using either of the
following two methods: using the two squares of opposition and the venn
diagram technique.
Examples
128
1. Some human beings are rational animals.
Therefore, it is false that no human beings are rational animals.
Let us test the above proposition based on the modern square of opposition:
1st we assume that I is true.
2nd if I is true, according to a modern square of proposition, then the
corresponding contradictory E statement must be false.
3rd, since the first conclusion claims that E is false, and that is what we get in
the square, the claim that E is false is true and the inference is valid. Since it
is valid regardless of whether the term denotes actually existing things, the
inference is called unconditionally valid.
After all, we can conclude that all inferences which are valid based on Boolean
logic are said to be unconditionally valid.
2. All students are addicted persons.
So, it is false that no students are addicted persons.
Based on Boolean stand point, if we assume that an A statement is true, the
corresponding E statement has undetermined truth value, it means that it
may be either true or false. Thus, since there is a possibility for the conclusion
to be false given that the premise is true, then the inference is invalid, and
commits existential fallacy.
Let us retest it based on Aristotelian standpoint (by using the traditional
square of opposition). Based on Aristotelians, if an A statement is given true,
a corresponding E statement must be false by contrary relation. Since that is
what the conclusion claims, the inference is valid. However, it is valid on the
condition that at least one student exists i.e. it is conditionally valid. If the
required condition is not meting, the inference is invalid and commits a formal
fallacy called existential fallacy. Existential fallacy, in Boolean logic, is a
formal fallacy that is committed whenever an inference is invalid merely
because the premise is interpreted as lacking existential import. And, this will
be the case if there is a universal proposition. From Aristotelian standpoint,
129
existential fallacy is committed when ever contrary, sub contrary and sub
alternative relations are used with propositions about things that do not exist.
Thus, from traditional logicians standpoint, any inference from a univer sal
statement to any other corresponding statement, except its contradictory and
vice versa, is invalid and commits existential fallacy.
Examples
All S are P No S are P
So, Some S are P Hence, Some S are P and the like are invalid and commit
existential fallacy.
On the other hand, if an immediate inference depends on an illicit/incorrect
application of contrary, sub contrary, or subalternation relations, it is said to
be invalid and commit formal fallacies called illicit contrary, illicit
subcontrary, and illicit subalternation respectively. Some forms of these
fallacies are the following
Illicit Contrary Illicit Sub-Contrary
1. All S are P. 1. Some S are P
Hence, No s are P. So, It is false that some S are not P
130
So, No S are P
3. Some S are P
So, All S are P
4. It is false that no S are P
So, Some S are not P and the like.
The following inferences depend on the correct application of contrary and
subalterantion relations of the traditional square of oppositions. However, they
are about things that do not exist, the inferences then commit existential
fallacy so that they are invalid as:
131
When we test an inference by using Veen diagram, we should first test it by
using Boolean stand point. And, if it is valid, proceed no and further test is
needed. If this is not the case, we need to retest from Aristotelian standpoint.
Example
All S are P
Therefore, Some S are P
Premise Conclusion
x
S P S P
The diagram of the conclusion shows that there is one thing in area 2 (that is
S and for things that are both S and P).But, the premise do not. Hence,
Aristotelian
Premise x Conclusion x
S P S P
Exercise 4.3
I. Draw Venn diagram for the following propositions from both Aristotelian
and Boolean standpoints.
A- Some angels are not mortal beings
132
B- No citizens are residents.
C- All vampires are dangerous creatures
D- Some dinosaurs are carnivores animals.
II. Use the Venn diagram method and Both the Aristotelian and Boolean
square of opposition to test the following inferences for validity. If they
are invalid, identify the formal fallacy that the inferences have
contained.
1. No vampires are dangerous creatures.
Therefore, it is false that some vampires are dangerous creature.
2. Some philosophers are scientists.
So, it is false that some philosophers are not scientists.
3. It is false that all saints are martyrs.
So, no saints are martyrs.
4. Some soldiers are not officers.
Hence, no soldiers are officers.
5. It is false that some philosophers are idealists.
So, it is false that all philosophers are idealists.
6. All judges are lawyers.
Therefore, it is false that no judges are lawyers.
7. Some soldiers are officers.
Thus, all soldiers are officers.
8. Some African leaders are not corrupted persons.
So, some African leaders are corrupted persons.
9. All communists are fanatics.
So, some communists are not fanatics.
10. It is false that No horses are mules.
Hence, some horses are mules.
4.4 Further Immediate Inferences and Forma Formal Fallacies:
Conversion, Obversion and Contraposition
133
Many statements expressed in ordinary English contain negated terms that
may obscure the meaning of statements. However, they may be shown to be
equivalent to the simpler statement. To justify this equivalence, we need the
operation of conversion, obversion and contraposition
A. Conversion
Converting a statement can easily be performed by a single step. i.e. by
switching the subject and predicate terms (Interchange the place of terms.)
Thus, the following arrangements show the converse of the four standard forms
of categorical propositions with diagrams that show their respective
information content.
A- All S are P S P
No P are S
S P
E- No S are P S P
Some P are S
S P
x
I some S are P S p
x Some P are
S P not S
O - Some S are not P x
x S P
S p
Table 4.9
If we examine the diagram for the E statement, we see that it is identical to
that of its converse. Also, the diagram for the I statement is identical to that of
its converse. This means that the E statement and its converse are logically
equivalent, and the I statement and its converse are logically equivalent. Two
statements are said to be logically equivalent when they necessarily have the
same truth value. Thus, converting an E or I statement gives a new statement
that always has the same truth value(and the same meaning) as the given
statement.
134
On the other hand, the diagram for the A statement is not clearly not identical
to the diagram for its converse, and the diagram for the O statement is not
identical to the diagram for its converse. Also, the two pairs of diagrams are not
the exact opposite of each other, as is the case with contradictory statements.
This means that an A statement and its converse are logically unrelated as to
truth value, and an O statement and its converse are logically unrelated as to
truth value. In other words, converting A or O statement gives a new statement
whose truth value is logically undermined in relation to the given statement.
The converse of an A or O statements does have a truth value, of course, but
logic alone cannot tell us what it is.
Moreover, to check the validity of this inference, we should have to check
whether or not the truth value of the original statement is logically equivalent
with its respective converse. If it is equivalent, then the inference is valid. Other
wise it is invalid and will commit certain formal fallacy. The following examples
will help us to understand how to evaluate inferences that depend on
conversion. As we see from the above diagram, conversion works on E and I
statements because E and I statements have logically equivalent truth value
with their converse, and it is proved by drawing Venn diagram.
Examples No cats are dogs- is actually true
C D
C D
135
contradictory truth values so that the conversion of these statements is valid
and committed a formal fallacy called illicit conversion.
Example 1. All cats are animals. (Is actually true)
So, all animals are cats. (Is actually false)
2. Some animals are not cats. (Is actually true)
Some cats are not animals. (Is actually false)
Both inferences are invalid and commit illicit- conversion fallacy
B. Obversion
Obverting a statement requires two steps. These are :
1 change the quality of the statement (from Affirmative to negative, or vice
versa) without changing the quantity, and then
2. replace the predicate term with its term complement. Term-complement of a
term denotes the class complement (this is the class containing all things that
are not members of the class denoted by the term in question). Usually, a term
complement of a term is created by adding the prefix (non-) to the original
term. For example, the term complement of horse is non horse , wife is
non wife. The following diagram shows the obverse relationships of the four
standard forms of categorical syllogisms:
Original Statement Diagram Obverse Diagram
A No S are non P
A- All S are P S P
S P E All S are non P
E- No S are P S P
S P I- some S are non P
x
I some S are P x S P
S P O Some S are non P
136
obverse of an original statement, the result will be the original statement itself.
This implies that every statement is identical with its obverse. So, no inference
that is based on obversion is invalid and commits a fallacy. There is no such a
fallacy as illicit obversion.
C. Contraposition
The contrapositive or contraposed form of a statement can be formed by the
following two steps:
1 switching the subject term with its predicate term, which means converse
the original statement, and
2. replace both the subject and predicate terms with their term complement.
Thus, the following diagram shows the contraposed form of the four
standard forms of categorical propositions in their respective diagram.
A- All S are P S P
S P No non P are non S
E- No S are P S P
S P Some non P are
non S x
I some S are P S p
x
S P
Some non P are not
O - Some S are not P non S x
x
S P S P
Table 4.11
137
and I statements are not logically equivalent with their contrapositive and
dont have identical truth values.
Hence, an inference from E and I statements to their contrapositives is
invalid, and commits a formal fallacy called illicit contraposition.
Instances of Valid contraposition
1. All Amharas are Ethiopians. (Is actually true)
Hence, all non Ethiopians are non Amharas. (Is also actually true)
2. Some Animals are not mammals. (Is actually true)
So, some non-Mammals are not non-Animals. (Is actually true)
Thus, these inferences are all valid. The following two inferences are invalid
and have committed illicit-contra position.
1. No dogs are cats. (Is actually true)
So, No non-cats are non-dogs. (Is actually false)
Exercise 4.4
I) Write statements of the following kinds
1. The converse, obverse and contrapositive of :
a. All judges are lawyers.
b. Some chimpanzees are great orators.
c. No aborigines are cultured persons.
d. Some politicians are not liars.
138
a. A universal negative statement and its contra positive.
b. A particular negative proposition and its obverse.
c. A universal affirmative statement and its converse
d. A particular affirmative statement and its converse
e. A particular negative proposition and its contra positive
III) Lastly, test the validity of your own immediate inference made in
part II by using Venn diagram. And, if it is invalid, identify the
fallacy committed.
Most of the non-standard propositions are those that confined adjectives, non
standard verbs, adverbs and pronouns, unexpressed and non-standard
quantifier, the only, singular propositions, conditional sentences, exclusive
propositions, and exceptive propositions. Statements with the above
139
phraseologies lack either subject term, standard quantifier, copula or predicate
term that are conditions for a statement to be in standard form.
Examples
1. No warships are available for active duty.
Translation: No warships are available for active duty.
2. Some mammals are wild.
Translation: Some mammals are wild animals,
3. All Ethiopian women are beautiful.
Translation: All Ethiopian women are beauties, or
All Ethiopian women are beautiful creature.
II. Lacking Standard Copulas
Non Standard Verbs
As we have seen before, the only copulas that are allowed in standard form
categorical propositions are the two forms of the verb to be that are are and
arent statements that incorporate other forms of the verb to be like is , is
not, will, will not and those with no copula must be translated in to
standard form as follows.
Examples:-
140
1. Some law graduate students will not be judges
Translation: Some law graduate students are persons who will not be
judges.
2. Some dogs would rather bark than bite
Translation: Some dogs are animals that would rather bark than bite.
3. All doctors desire recognition
Translation: 1. All doctors are persons who have the desire of recognition
2. All doctors are desirers of recognition
141
Translation: Some Marxists are revolutionaries
3. Few soldiers are heroes.
Translation: Some soldiers are heroes.
4. A bat is a mammal
Translation: All bats are mammals
5. Not all children are believers in Santa Claus.
Translation: Some children are not believers in Santa Claus.
B) Unexpressed Quantifiers
Statements in ordinary language have quantifiers that are implied but not
explicitly stated. In translating the implicitly stated quantifier of a statement in
to standard ones, one must be guided by the most probable meaning of the
statement.
Examples
1. Dogs are carnivores.
Translation: All dogs are carnivores.
2. A bat is not a bird
Translation: No bats are birds.
3. There are lions in the zoo
Translation: Some lions are animals in the zoo.
4. This animal is not a mammal
Translation: Some animals are not mammals
C) The Only
Statements that began with the phrase the only , are translated differently
from those beginning with only. The expression the only when it occurs at
the beginning of a statement can simply be replaced by all , and the order of
terms is not reversed in the translation.
Examples
1. The only films shown at this theater are open flicks.
Translation: All films shown at this theater are open flicks.
142
* When the only occurs in the middle of a statement, the statement must be
restructured so that it occurs at the beginning.
Example
Blood relatives are the only true friends.
Translation 1 the only true friends are blood relatives.
Translation 2 All true friends are blood relatives.
Statements involving the only, like those involving only , about individuals,
can be translated by two statements.
Example:
The only African victory over colonial powers is the Adwa victory.
Translation1.The Adwa victory is Africans victory over their colonizers.
Trans.2 And, there is no other African victory over the colonizers
D) Exceptive Propositions
Propositions of the form All except S are P, and All but S are P are exceptive
propositions. And, they must be translated not as single categorical
propositions but as conjoined categorical propositions. This is because
exceptive propositions make two assertions rather than one. Note that a
statement that contain the phrase non except, is exclusive (not exceptive)
statement.
Examples
1. All except employees are eligible.
Translation: No employees are eligible.
All non employees are eligible.
2. All but lawyers are dishonest.
Translation: No lawyers are dishonest.
All non lawyers are dishonest.
IV. Terms, Copulas and Quantifier
A) Singular propositions
143
A singular proposition is a proposition that makes an assertion about a specific
person, thing, place, or time. In other words, a singular proposition is a
proposition that makes a claim that a unit class, S, containing just S is
wholly included in or excluded from the class P. Thus, affirmative or negative
singular propositions can be translated in to universal affirmative (A) and
universal negative (E) propositions respectively. Singular propositions are
translated in to universals by means of a parameter, i.e. a phrase when
introduced in to a statement affects the form but not the meaning. Some
parameters that may be used to translate singular propositions are: persons
identical to, places identical to, things identical to, cases identical to, times
identical to and the like.
Examples
1. Socrates is a philosopher
Translation: All persons identical to Socrates are persons who are
philosophers.
2. This table is not antique.
Translation: No tables identical to this table are antiques
3. I am a student
Translations: All persons identical to me are persons who are students.
Examples
1. Wherever I go I see poverty.
144
Translation: All places I go are places where I see poverty.
2. Whoever testifies falsely will not be in heaven.
Translation: No persons who testify falsely are persons who will be in
heaven.
3. She reads what she finds interesting
Translations: All things she reads are books she finds interesting.
C) Conditional Statements
Conditional sentences can also be also translated in to standard forms of
categorical propositions that are universal in terms of their quantity. And the
following examples show how to translate conditional statements into standard
forms of categorical propositions.
Examples
1. If x is a mammal then it is not a bird.
Translations: No mammals are birds.
Examples
1. A judgment is fair if it is impartial.
If
then
form: If a judgment is impartial, then it is fair.
Translation: All impartial judgments are fair judgments.
145
2. A policy is not fair if it is discriminatory.
If a policy is discriminatory, then it is not a fair policy.
No discriminatory policies are fair policies.
3. If a solution is not acidic, then it is not corrosive.
All corrosive solutions are acidic solutions.
4. A letter will not be delivered unless it is mailed.
All mailed letters are letters that will be delivered.
No unmailed letters are letters that will be delivered.
D) Exclusive Propositions
Categorical propositions involving words like only , none but , or none
except, and no....except are exclusive propositions because they generally
assert that the predicate applies exclusively to the subject named. Exclusive
propositions can be easily translated in to standard form categorical
propositions if it is phrased as a conditional statement. And, the occurrence of
only, none but,
at the beginning of a statement indicates a reversal in
order of the terms when the statement is translated in to categorical form. The
following examples show how to translate exclusive propositions into standard
forms of categorical propositions
Examples:
1. Only those who study will pass this course.
Translation: All students who will pass this course are those who
study.
2. None but citizens have the right to vote.
Translation: All those who have the right to vote are citizens.
If the statements following only, none but, is an individual, the statement
asserts two things.
Examples
1. Only Zarayacob is an Ethiopian philosopher.
146
This proposition asserts: -
All persons identical to Zarayacob are Ethiopian philosophers.
All Ethiopian philosophers are persons identical to Zarayacob.
Finally, when only, and none but, occur in the middle of a statement, the
statement must first be restructured so that the term proceeded by only or
none but occurs first.
2. He owns only blue-chip stocks.
Step one: Only blue-chip stocks are stocks owned by him.
Complete Translation: All stocks owned by him are blue chip stocks.
To sum up, to make a standard form of categorical propositions, and to
translate non-standard one in to standard/categorical form, one must use
nouns, common names, or descriptive phrases as subject and predicate terms,
and standard form quantifiers (All, Some and No) and copulas (Are, and Are
not).
Exercise 4.5
Translate the following statements in to standard form of categorical
propositions.
1. Not every worth meeting is worth having as a friend.
2. If it is not a real Havana, it is not a Rope.
3. Nothing is both safe and exciting.
4. Fasiledes castle is in Gondar.
147
them is said to be a categorical syllogism if they purport to prove each other.
And, to prove/disprove the truth of a claim, affirming or denying class
inclusion, that a categorical statement makes, we must use two other
statements in which one of them contain the subject term and the other the
predicate of the conclusion as their subject or predicate, and another third
term to establish a link between the subject and predicate of the conclusion.
Thus, every categorical syllogism consists of three different terms, each of
which appears twice in distinct propositions. These terms have their respective
names; the subject term of the conclusion is called the minor term. And, the
predicate terms of the conclusion is called the major term, and lastly these two
terms also appear in the premise and are connected by the middle term which
is the one that appears in each premises but does appear in the to be revisited
by the author conclusion.
Example
Most Ras Tafarians are alcoholic persons.
All alcoholic persons are bad persons.
So, Some Ras Tafarians are bad persons.
Logicall,y this syllogism involves probabilistic reasoning, hence it is an
induction. And, its major term is bad persons , which is the predicate of the
conclusion. The minor term is Ras Tafarians, the subject term of the
conclusion. And, the middle term is alcoholic persons.
Moreover, the premises of a categorical syllogism are also given names. The
premise that contains the major term is called the major premise, and the
other premise containing the minor term is called the minor premise. Thus, in
the above argument the major premise is the second premise all alcoholic
persons are bad persons, where as the minor premise is the first statement i.e
most Ras Tafarians are alcoholic persons.
148
As categorical propositions, categorical syllogisms can be distinguished as
standard and non standard form of categorical syllogism. And, a categorical
syllogism is said to be in a standard form when:
1. all the three statements are standard form of categorical propositions.
2. no, terms are used ambiguously i.e, there is no change in the meaning of
the three terms that appear twice in different statements.
3. the major premise is listed first, the minor premise second and the
conclusion last.
Since the following syllogism does not fulfill the above conditions, it is not
standard form of categorical syllogism
Most Ras Tafarians are alcoholic persons.
All alcoholic persons are bad persons.
Hence, Some Ras Tafarians are bad persons.
For this argument to be standard form of categorical syllogism, first, the first
statement must be translated in to standard form of categorical proposition so
that it can be translated as Some Ras Tafarians are alcoholic persons . Then
the premise containing the major term (predicate of conclusion-bad persons)
i.e. the major premise must be listed first i.e.
All alcoholic persons are bad persons.
Some Ras Tafarians are alcoholic persons .
Hence, Some Ras Tafarians are bad persons. This is a standard form of
categorical syllogism.
So, the structure of standard form of categorical syllogism is as follows:
149
Minor term (S) Major term (P)
M M M
____S____ M ____S_____ ____ ____ S ____ __S
150
So, a syllogism is said to be in figure-1 if the middle term serves as the subject
and predicate term of the major and minor premises respectively. And, it is
said to be in figure-2-when the middle term is used as the predicate of both the
major and minor premises. It is said to be in figure-3-if the same term is used
as the subject of both the major and minor premises. Finally it is said to be in
but not least figure-4-if the middle term serves as the predicate and subject of
the major and minor premises respectively.
For instance: the figure of the following syllogism is figure-1-
All alcoholic persons are bad persons All M are P
Some Ras Tafarians are alcoholic persons Some S are M
Hence, Some Ras Tafarians are bad persons Some S are P.
Thus, the form of the syllogism is Mood: AII + Figure 1- = AII-1
Since, there are four standard forms of categorical propositions, and three
standard form of categorical propositions in a syllogism. There are 64 possible
moods. And, since there are four different figures, there are 256 different forms
of standard form of categorical syllogisms. We can therefore study the following
table for that matter
Mood Figure Mood Figure Mood Figure Mood Figure
AAA 1,2,3,4 EAA 1,2,3,4 IAA 1,2,3,4 OAA 1,2,3,4
AAE EAE IAE OAE
AAI EAI IAI OAI
AAO EAO IAO OAO
AEA EEA IEA OEA
AEE EEE IEE OEE
AEI EEI IEI OEI
AEO EEO IEO OEO
151
AIA EIA IIA OIA
AIE EIE IIE OIE
AII EII III OII
AIO EIO IIO OIO
AOA EOA IOA OOA
AOE EOE IOE OOE
AOI EOI IOI OOI
AOO EOO IOO OOO
Table 4.9
However among the above 256 forms of standard forms of categorical
syllogisms, logicians (traditional/Aristotelian s) claim that only 24 of them are
valid, 15- unconditionally valid and 9- conditionally valid. But, according to
modern logicians, only there are 15- unconditionally valid forms of standard
form of categorical syllogisms. Unconditionally valid syllogistic forms are those
that are valid from Boolean standpoint. In other words, they are valid
regardless of whether their terms denote actually existing thing.
Where as conditionally valid syllogistic forms are those that are valid based on
Aristotelian stand point on condition that a certain term (either the major,
minor or middle term) denotes actually existing thing.
Study the following tables which show conditionally and unconditionally valid
forms of syllogistic argument.
Unconditionally Valid forms
152
EAO EAO (minor term)
AAI EAO M- exists
EAO
AAI P- exists
Table 4.11
To test certain forms of syllogistic arguments for validity by using its form, we
have to consult the above two tables. If its form is an instance of the above
valid forms, found in the first table, then it is unconditionally valid. But, if its
form is an instance of the conditionally valid forms listed in the second table ,
we have to look at whether the critical term denotes existing things or not, if it
does the syllogism is valid from Aristotelian standpoint, if not it is invalid and
commits existential fallacy.
Example:
1 All gamblers are alcoholic persons
Some foot ball players are gambles
Therefore, some foot ball players are alcoholic persons.
The form is AII-1. And, a syllogism with this form is always unconditionally
valid, hence the syllogism is valid.
153
term, middle term, major premise, minor premise, mood, figure,
and then their form.
1. Whatever contains carbon monoxide is poisonous, and cigarette smoke
contains carbon monoxide. Thus, cigarette smoke is poisonous.
2. All acts that promote the general welfare are commanded by God. All acts
commanded by God are obligatory acts. And all acts that promote the
general welfare are obligatory acts.
3. All banks are edges of rivers. Some banks are financial institutions.
Thus, some financial institutions are edges of rivers.
4. All values that can be quantified are important values. No human
emotions are valves that can be quantified. Consequently, no human
emotions are important values.
5. All logic classes are extremely interesting. Hence, since some logic
classes are harder than average, some classes that are harder than
average are extremely interesting.
6. Some draft evaders are not conscientious objectors, and some
conscientious objectors are not Quakers. So some draft evaders are
Quakers.
7. Some lawyers are unethical. All rich tax evaders are unethical, and some
lawyers are rich tax evaders.
8. No lawyers are rich tax evaders. And, all rich tax evaders are unethical
persons. So, no unethical persons are lawyers.
9. All rich tax evaders are unethical persons. All merchants are rich tax
evaders. Accordingly, all merchants are unethical persons.
10. Some criminals are persons who deserve capital punishment. All
criminals are morally wicked persons. Hence, some morally wicked
persons are persons who deserve capital punishment.
II. Use the tables to determine whether the forms of the above
syllogistic arguments are valid.
154
4.7 Testing Syllogisms for Validity: Venn Diagram Method, and
Syllogistic Rules and Formal Fallacies
In the previous section, we have seen that of the 256 forms of standard forms
of categorical syllogism, only 15 of them are unconditionally valid and 9 forms
are conditionally valid from Aristotelian stand point on the condition that a
certain term denotes an actually existing thing. In this section, we will learn
about the two techniques of testing syllogisms for validity in which both
traditional and modern logicians have used to reach on their conclusion that
only 24 forms are valid. So, now we will first see the Venn diagram method
which is very important, and some five rules of valid forms of syllogic
arguments that are both useful to determine whether or not a standard form of
categorical syllogism is valid.
4.7.1The Venn Diagram Method
It has been stated that the four standard form of categorical propositions can
be represented in a Venn diagram. Moreover, diagramming categorical
propositions require two overlapping circles that will stand for the classes
denoted by the subject and predicate terms of the statement. We have also
seen how Venn diagrams can be used to determine the validity of immediate
inferences. Now, since it is standard form of categorical propositions that are
used to make syllogistic arguments, we will study how to represent the
information content of syllogistic arguments so that we can determine their
validity. To understand how to diagram categorical syllogism and use the Venn
diagram to determine the validity of the syllogism, it is important to remember
the following points:
1. Since categorical syllogisms, unlike categorical statements, have three
terms (major, minor and middle terms), diagramming categorical
syllogisms require three overlapping Venn circles.
155
2. Then, conventionally the top circle will stand to the middle term, and the
lower left circle to the minor term, and the lower right circle to the major
term.
M S- Represents the minor term
1
P- Major term
2 3 4 8
5 M- Middle term
6 7
S P
3. Then, as you can see in the diagram we will find eight areas that
sets/classes. Thus,
4. After drawing the diagram we need to transfer the information content of the
syllogism to the diagram, and then use it to determine its validity. To
accomplish this, we have to bear in mind the following important points
a- Marks (shading or placing an x) are entered only for the premises. No
marks are made for the conclusion. i.e, we should transfer the assertion
that only the premises make.
156
b- If one of the premises is universal and the other particular, the universal
one must be entered first. If the premises are similar in terms of their
quantity, either of them can be done first.
c- While entering a statement in to the diagram we need to concentrate on
the circles, or areas that represent things that the statement talked
about.
d- When entering universal premises, we must be care ful to shade all of the
areas in question. And, regarding representing particular premises, the
area where an x goes is always initially divided in to two parts. If one of
them has already been shaded, we need to place the x in the unshaded
part. If both parts of the area talked about are unshaded, the x goes on
the line separating the two parts.
e- When inspecting a completed diagram to see whether it supports a
particular conclusion, we need to remember that particular statements
assert two things:
1. They imply existence (have existential import)
2. Affirm or deny partial class inclusion.
f- Finally, to determine the validity of the syllogism, we need to examine the
diagram as to whether it necessarily implies the truth of the conclusion.
If the diagram, without entering the conclusion, has contained the
information of the conclusion, then this means that the premise
necessarily implies the conclusion and the syllogism is valid, other wise
it is invalid.
Now, let us practically see the Ven diagram method in the following
example
1. All Gamblers are alcoholic persons.
Some football players are alcoholic persons.
, Some football players are gamblers.
The form is AII-2. And, we have to note that whenever we test syllogisms for
validity we should first test it based on Boolean stand point. If it is valid, don t
157
proceed further Since it is unconditionally valid. But, if it is invalid we need to
retest it based on Aristotelian logic. So, the Venn diagram to the above
syllogism based on Boolean stand points is as follows.
All G are A A
Some F are A 1x
2
, Some F are G F G
First, the conclusion asserts that there is an x in the area where the F and
G circles overlap. And, careful examination of the diagram shows that there is
nothing which is only G, and F and G for all G are A And, it reveals
that there is an x, or one thing in the area where A and F overlap, and
this thing may be only A and F or A, F and G. Since there is a
possibility for the x to be only A and F the diagram does not necessarily
imply the truth of the conclusion. Thus, the syllogism is invalid. The above
argument is diagrammed and has tested for validity regardless of whether the
universal premise is recognized as having existential import because it does not
make difference. However, now we will shift to the Aristotelian standpoint,
where existential import can make a difference for validity. Hence, as I already
mentioned it above, when one test a syllogism for validity, he/she has to follow
these steps:
1st. Test the syllogism from Boolean standpoint. If the form is valid don t
proceed further. The syllogism is unconditionally valid.
2nd. If the syllogistic form is invalid from the Boolean standpoint and there is a
Venn circle that is completely shaded except for one area, adopt the
Aristotelian standpoint and enter a circled x in the unshaded part of the
circle. Then retest the form if it is conditionally valid, may be valid on the
condition that one thing denoted by the term represented by the circle actually
exist. If it does, the syllogism is said to be valid from Aristotelian standpoint.
158
Otherwise it is invalid and commits existential fallacy from Aristotelian
standpoint. Here we must remember that all conditionally valid forms,
syllogisms that are valid from Aristotelian standpoint, are invalid from Boolean
(modern logicians) standpoint and commits existential fallacy from Boolean
standpoint. And these are arguments containing both universal premises, and
a particular conclusion. In both cases existential fallacy occurs when an
argument (particularly a categorical syllogism) is invalid merely because the
premise lacks existential import, while the conclusion has. And from Boolean
standpoint this happen when both premises are universal and the conclusion
is particular. All arguments with these arrangements are invalid, and commit
existential fallacy from Boolean standpoint. However in Aristotelians logic
syllogisms with this arrangement may be conditionally valid. They can be
invalid and commits existential fallacy, if the required condition is not fulfilled.
Now let us consider some more examples.
1. All persons interesting in foreign affairs are good citizens. Some voters are
not good citizens. Therefore some voters are not persons interesting in
foreign affairs. AOO-2
All P are G G
The conclusion states that there is at least one thing that is only a voter,
means there is an x that is inside the V circle, but out side the P circle.
And inspection of the diagram reveals that thee is indeed an x in this area so
the syllogistic argument is unconditionally valid.
2. No P are M EAO-4
159
All M are S
The conclusion claims that there is an X that is inside the S-circle, but
outside the P-circle. But, the diagram for the premises drawn based on Boolean
standpoint does not contain the information content of the conclusion. Hence,
the syllogistic form is invalid form based on Boolean logic.
Let us reexamine it from Aristotelian stand point. And since the M circle is
shaded except one of its parts, let us place a circled x in that area (area 2).
Then if there is something in area 2 (that represents things that are only S
and M and not P) the assertion of the conclusion that there is one S which
is not a P, can be true. Hence the syllogism is valid, from Aristotelian
standpoint, on the condition that one thing that is M actually exist. If not it is
invalid and commits existential fallacy. M
2. No P are M
x
All M are S
AEO-4
Therefore, Some S are not P S P
No M are S
The conclusion states that at least one S is outside P meaning there is an
x inside the S but outside the P circle however inspection of the diagram
dont contain this information rather it reveals that nothing is known about
things that are only S and there is a possibility to the existence of one thing
that is both S and P, but not M. Hence, the syllogism is invalid from
Boolean standpoint, and it is also invalid from Aristotelian standpoint for there
is no a circle that is completely shaded except for one area. M
4. OAO-3 Some M are not P
X
160
All M are S
The conclusion states that at least one S that is not a P, in other words
there is an x inside the S circle, but outside the P circle the diagram also
reveals that there is an x inside the S circle but outside the P circle.
5. AIO-1 M
All M are P
x
Some S are M
The conclusion asserts that there is an x that is inside the S - circle, but
outside the P- circle however inspection of the diagram reveals that the
opposite is true. Means there is an x that is common for all circles. So, the
syllogism is invalid
All M are S
The conclusion states that there is an x inside both the S and P circles.
But, the diagram based on Boolean standpoint does not contain this
information. Therefore, the syllogistic argument form is invalid from Boolean
standpoint. However since the P circle is completely shaded except for one
area. Let us examine the syllogism for conditional validity based on Aristotelian
standpoint by placing a circled x in that area.
M
161
x
S P
Thus, if there is one thing that is inside the M, S, and P circles, the
conclusion that asserts there is one thing (or an x) inside both the S and P
circles can be true. But, this will be the case if the predicate term of the
conclusion (the major term) denotes an actually existing thing. If it does, it is
valid from Aristotelian stand point; if it doesnt exist, the syllogism is invalid
and commits Existential fallacy.
All P are M
All S are M
Hence, No S are P. The middle term is undistributed in both premises;
so that the syllogism is invalid and commits undistributed middle fallacy.
162
other words, if the predicate of the conclusion (the major term) is distributed in
the conclusion it must also be distributed in the major premise, and the same
is true for the minor term (the subject of the conclusion). If the major term is
only distributed in the conclusion not in the major promise, the syllogism is
invalid and committed a formal fallacy called illicit-major. However, if the
minor term is distributed in the conclusion, but not in the minor promise then
the syllogism commits the fallacy of illicit-minor.
Examples:
Syllogistic forms that commit illicit major are: AAE-1, AAE-3, AAO-1, AAO-3,
AIE-1, AIE-3, AEO-1, AEO-3, AIO-1, AIO-3, AOE-1 AoE-3, AOO-1, AOO-3, IAE-
1, 1, 2, 3, and 4, IAO-1, 2, 3, 4 and others.
Examples:
Standard form: 1- Some M are P 2. Some P are not M
All S are M All S are M
So, Some S are not P So, Some S are not P
Syllogistic forms that commit Illicit minor are: AAE-3, AAE-4, EAA-3, EAA-
4, EAE-3, EAE-4, OOE-1, OOE-2 and others.
Standard form: Some M are not P
Some S are not M
Hence, No S are P
To detect these two fallacies that occur when a syllogism have broken this rule,
one must always examine the conclusion first. If no term is distributed in the
conclusion, this rule cant be violated.
Rule 3: No valid syllogism has two negative premises. If the quality of both the
major and minor premises is negative, the syllogism is invalid and commits the
fallacy of exclusive premises. Thus all standard forms of categorical syllogism
that consist of only E and O statements as premises are invalid and
commits the fallacy of exclusive premises.
Some instance of argument forms committing exclusive premise are:
Example: EEE-1,2,3,4; EEA-1,2,3,4 EOI-1,2,3,4
.
163
Example: Standard form Some lawyers are not judges
No judges are dishonest
Therefore, Some lawyers are not dishonest.
Rule 4: A negative premise requires a negative conclusion, and a negative
conclusion requires negative premise. In other words any valid syllogism has
one negative premise only if it is has a negative conclusion. However, if a
syllogism has only one negative statement it is invalid. Thus if only the
conclusion is negative the syllogism is invalid and commits the fallacy of
drawing a negative conclusion from affirmative premises. And if only one of
the promises is negative, while the conclusion and the other premise is
affirmative then the syllogism is invalid and is said to commit a fallacy of
drawing an affirmative conclusion from a negative premise, For instance:
AIO-1, 2, 3, 4; AAE-1, 2, 3, 4; IIE-1, 2, 3, 4; IIO-1,2,3,4; AIE-1,2,3,4, and the
like are instances of drawing a negative conclusion from affirmative premises.
Example: Standard form: All M are P
Some M are S
So, Some S are not P
164
only from at least a statements with existential import. Hence since universal
premises have no existential import; a syllogism, having existential import,
whose conclusion follow from such premises is invalid and commits
Existential fallacy.
If a syllogism violates only rule number five it may be valid from Aristotelian
standpoint on the condition that the term represent by the circle with one
unshaded area (the critical term) denotes at least one a actually existing thing.
But, according to Boolean, all standard forms of categorical syllogism with
universal premises and a particular conclusion is invalid and commit
existential fallacy. Instances of existential fallacy are:
AAI-1, 2, 3, 4; EAI-1, 2, 3, 4; EEI-1, 2, 3, 4; AEO-1, 2, 3, 4; EAO-1, 2, 3, 4; and
others are invalid and commits existential fallacy.
Examples: Standard form: No cats are dogs
No C are D
All C are M
The conclusion states that there is an x inside both the M and D circles.
But inspection of the diagram does not reveal this information. So the
syllogism is invalid. However, from Aristotelian standpoint, since the C circle
has unshaded area then we may place a circled x in that area and the
syllogism is valid on the condion that the term represented by that area
denotes actually existing thing.
C
x
M D
165
Hence, since cats actually exist, the syllogism is valid from Aristotelian logic;
while it is invalid from Boolean logic.
Exercise 4.7
I. After translating in to Standard form test the following form of
syllogisms for validity by using the Venn diagram method from both
standpoints.
1) OAE-3 9. AEE-2
2) AAI-1 10. IOO-4
3) IIA- 4 11. EOO-1
4) IAI- 4 12. IEE-3
5) AOO-2 13. IAA-2
6) EIO-3 14. OOI-4
7) AAI- 4 15. EAO-3
8) AOE-2
II. Check whether or not the above syllogisms are the invalid ones. If they
violate one of the five rules of valid forms of syllogistic arguments, identify the
formal fallacies they contain.
III. Write a Standard form of categorical syllogism that:
A. Commits existential fallacy from Aristotelian standpoint
B. Is unconditionally valid and both its major premise and conclusion
assert that at least one of the things denoted by their subject terms
is out side the class denoted by their predicate terms.
4.8 Enthymemes and Sorites
An Enthymeme is an argument that is missing, or suppresses a premise or a
conclusion, but is capable of being expressed as a categorical syllogism. In
other words enthymemes are incompletely stated arguments. The arguer
expresses his argument enthymematically for different reasons. First of all, the
arguer may presume that the unstated proposition is a matter of common
knowledge. Secondly an argument will be rhetorically more powerful and
persuasive when stated enthymematically. Aristotle him self wrote that
166
speeches that
rely on enthymemes excite the louder applause. Needless to
say enthymemic arguments are invalid when the missed/suppressed or
presupposed information is left out of the argument.
When testing an enthymeme in argument, one must have its suppressed parts
taken in to account. Though any kind of argument can be expressed
enthymematically, we will learn about incompletely expressed syllogistic
arguments. And there are three types of enthymematically expressed
syllogisms are those whose major premise is not stated. The first order
enthymemes. A second order enthymeme is the one whose only the major
premise and the conclusion is stated while the minor premise being
suppressed. In third order enthymeme both premises are stated but the
conclusion is left unexpressed. Moreover, in order to identify what is missing
one must remember the following important points:
1. If the enthymeme contains premise indictor, what is missing is the
conclusion but when it contains conclusion indicator, what is missing is
the premise. Finally if there is a premise and a conclusion indicator on two
respective statements, what is missing is the premise.
2. If an enthymeme conations no indicator words then the missing
statement could be either a premise or a conclusion. If the given statements
are conjoined by words like and, but moreover, or some other
conjunction, the missing statement is usually a conclusion. If not, the first
steamiest is usually the concussion, and the missing statement is a
premise. To check this, one can replace the conjunction by the word
because. If it makes sense the missing statement is a premise.
Example 1:
1. Socrates is a man, and Socrates is mortal.
The missing statement is a premise; specifically the major premise that is
All men are mortal is left out. And the argument can be arranged and
written as:
167
All men are mortal
Socrates is a man
Therefore, Socrates is mortal.
To test the above syllogism for validity, the enthymeme has to be written as
a standard form categorical syllogism as:
All men are mortal
All persons identical to Socrates are men
So, All persons identical to Socrates are mortal
The form of the above categorical syllogism is AAA-1, and it is
unconditionally valid
M
P S
The conclusion states that the area that represents things that are only S,
and S and P is shaded. The diagram also contains the information contents
of the conclusion; means the conclusion is necessarily implied by the premise.
So that the argument is valid.
Example: 2. Whenever interest rate rises the stock market declines and
interstarates are rising now.
The missing statement is the conclusion that thus the stock market is
declining now. To test the syllogism for validity the complete syllogistic
argument must be written as a standard form categorical syllogism as follows:
All times interest rate rise are times the stock market decline. All times
identical to now are time that interest rate rise. Therefore, all times identical to
now are times the stock market decline.
The form is AAA-1, and syllogism that is an instance of this form is
unconditionally valid as we have seen above.
B. Sorites:
168
The term sorites is derived from the Greek word Soros, which means heap
and pronounced as sorties the plural form is sorites. Sorites is a chain of
categorical syllogisms in which the intermediate conclusion have been left out.
Example:
1. All diplomats are tactful individuals.
Some government officials are diplomats.
All government officials are people in public life.
Hence, some people in public life are tactful individuals. This sorites has two
categorical syllogisms.
If the two syllogisms are valid, the sorites will be also valid. But if any of the
component syllogisms in a sorites is invalid the entire sorites is invalid. Let us
examine the above sorites:
All diplomats are tactful individuals Some government officials
are diplomats Syllogism 1
G T
The concussion states that there is an x inside both the G and D circles.
Inspection of the diagram also reveals that there is an x inside all the three
circles. This means the conclusion is necessarily implied by the premises, and
the syllogism is valid.
Syllogism- 2 Some G are T
All G are P
169
So, Some P are T. The form is IAI-3, it is unconditionally valid.
x
P T
Since the diagram implies the truth of the conclusion the syllogism is valid.
This is because the conclusion states that there is an x inside both the P
and T circles. Inspection of the diagram reveals that there is an x inside all
the P, T, and G circles. And since the component syllogisms of the sorties
are both valid, we can conclude that the sorites as a whole is also valid.
1 None but writers are poets.
Only military officers are astronauts.
Whoever contributes a new magazine is a poet.
Nobody is both a military officer and a writer.
Thus, not one astronaut is a contributor to the new magazine.
To test the above sorites for validity, first let us standardize and rearrange the
order of the above categorical proposition as:
170
So, All C are W
4. No M are W Syllogism 2
So, No M are C
2. All A are M Syllogism 3
No A are C
Let us test whether or not the above sorties are valid.
P
Syllogism-1 All P are W AAA-1 is unconditionally valid
All C are P
The conclusion states that areas that represent things that are only C , and
only C and P are shaded since all Cs are inside W. The diagram also
No M are W
, No M are C M C
The form is AEE 2, and such kinds of syllogism are unconditionally valid, (see
table 4.10)
The conclusion states that the area where the M, circle and the C circle
overlap is shaded. Inspection of the diagram reveals that the same area is in
fact shaded. This means the diagram necessarily imply the truth of the
conclusion. And, the syllogism is therefore valid.
Syllogism 3 No M are C the form is EAE-1
All A are M
171
, No A are C. And, a syllogism that is an instance of this form is
unconditionally valid (see table .4.10), Or study the following diagram).
M
A C
The conclusion states that the area where circle A and the C circle overlap
is shaded. Inspection of the diagram reveals that the same area is shaded.
Hence, the syllogism is valid. Consequently, for the three component syllogisms
of the sorties are valid, it follows that the sorties is valid.
Exercise 4.8
I. After identifying the missing statement (Premise or conclusion),
supply the missing statement and then rewrite the argument in
away that it makes sense.
1. If we employ economic sanctions, the poor will suffer. If we send in
troops, a lot of innocent people will be killed out right. Therefore, either
the poor will suffer or a lot of innocent poor people will be killed out
right.
2. Since the economy is in recession, the commercial bank of Ethiopia will
lower the interest rate.
3. Some Ethiopians are good athletes, and some Ethiopians are strong
people.
4. Either truth is relative to persons or it is objective. Now, if truth is
relative to persons, then the earth can be flat and round at the same
time. Therefore, truth is objective.
5. No honest men are crooks. It follows then that no businessmen are
honest.
II. Translate the following sorites in standard form. Then supply the
intermediate conclusion and test the sorites for validity with Venn
diagrams.
172
1. No skiers are non athletic
Some nutritionists are skiers
No athletes are brawny
So, some nutritionists are not brawny
2. No Care D
All A are B
Some Care not B
So, Some D are not A
3. Some T are K
No K are N
Some C are Q
All T are C
So, Some Q are not N
Chapter Summary
Syllogistic logic deals with categorical propositions and syllogisms. Categorical
proposition is, as any kind of proposition that makes a claim that can be
evaluated as true or false, a statement that relates two classes, categories, sets
or groups. The four standard forms of categorical propositions have their own
letter names. Thus, universal affirmatives, universal negatives, particular
affirmatives and particular negatives are represented by A, E, I, and O
respectively. These propositions are interpreted in different senses by
traditional and modern standpoints. They try to establish logical relations
(contradictory, contrary, sub-contrary and subalternation) between these
statements based on their own interpretation. And these different senses of
interpretations of the information content of standard forms of categorical
propositions may be represented in a Venn diagram. If conversion, obversion
and contraposition operations were performed on the four propositions, we will
find new propositions. Immediate inferences may be established by using the
above four logical relations and operations like conversion. However, if the
inferences violate the rues of immediate inferences, it may commit one of the
173
following formal fallacies: illicit contrary, illicit sub-contrary, illicit
subalternation, illicit conversion, illicit obversion, and illicit contraposition.
Finally language statements may be translated in to standard forms of
categorical proposition by presenting them in a way they have subject term,
standard quantifier, copula and predicate term and express their meaning in
the same way.
174
Determining the validity of a sorites requires testing all syllogisms that makes
it up after supplying the intermediate conclusions.
Chapter 5
Propositional Logic (9 hrs)
Introduction
In the previous chapters, we have learned about various techniques and
methods of testing arguments for validity as there are different kinds and
complex forms of arguments. The evaluation and analysis of arguments is often
made difficult by their length and complexity. To avoid these difficulties and to
evaluate arguments systematically, modern logicians have developed symbolic
language. Thus, since this chapter is devoted for studying propositional logic,
we will discuss about and thoroughly examine the nature and importance of
propositions in logic.
For this purpose we will see propositions by classifying them as simple and
compound propositions. And unlike syllogistic logic the fundamental elements
indivisible units in propositional logic are simple (atomic) sentences not terms.
In addition we will study the English expressions and the respective logical
operators (symbols) that are used to compound atomic sentences whose truth
value entirely depend on the truth or falsity of their component sentences and
175
the connectives. The chapter will discuss on what these sentence connectives
are to mean for the validity of arguments. Moreover, we will inspect the logical
relationships between statements being consistent, or inconsistent with one
another as well as their logical properties such as being tautologous,
contingent, and self contradictory. We will also consider some other techniques
of evaluating propositional arguments.
Objectives:
Thus, after studying this chapter students will be able to:
understand the distinction between simple and compound propositions,
know the nature of truth functional compounds,
see the role of truth functional connectives,
sketch and use truth tables to determine the truth value of compound
propositions and prove the validity of arguments,
symbolize propositions and prove the validity of arguments,
identify the different logical relationships between statements and logical
properties of compound propositions,
familiar with valid and invalid forms of arguments,
Use the different methods of evaluating arguments for validity, i.e. truth
tables (direct and indirect), conditional and indirect proof.
5.1 Simple and Compound Propositions
As indicated in the previous chapters, propositions are the basis of arguments,
and evaluating arguments is the very task of logic. Thus, the purpose of logic
can be achieved through deeper examination of propositions so as to have
detail insight of them. And propositional logic is part of symbolic logic that
studies ways of joining and modifying the entire propositions to form more
complicated statements as well as the logical relationships and properties that
are derived from those methods of combining or altering statements. In other
words, propositional logic deals with the relationships holding between
sentences (simple or compound), without dealing with the interior structure of
atomic sentences. Thus, unlike syllogistic logic the fundamental elements
176
/indivisible units in propositional logic are atomic sentences, not terms. Now
let us examine the difference between the statements in the following
arguments.
Example:
1. George W. Bush was president of the U.S.A. George W. Bush is a son of a
president of the U.S.A. Therefore, there is some one who was both a
president of the United States and a son of a president of the United States.
2. Teddy Afro is guilty of committing the crime that he has been suspected or
he is innocent. In fact Teddy is not guilty; hence he is innocent of having
committed a crime.
As we see in the above examples, the two arguments are consists of variety of
statements in which such statements can be divided in to two categories:
simple and compound propositions.
A simple statement or an atomic statement is one that does not contain any
other statement as a component. For instance, the second premise and the
conclusion of the second argument and the two premises of the first argument
are simple statements.
A compound statement however, is one that contains at least one simple
statement as a component. The first premise Teddy Afro is guilty of
committing the crime that he has been suspected or he is innocent. And the
conclusion of the second argument, There was some one who was both the
president of U.S.A and the son of the president of the U.S.A are instances of
compound statements. Compound statement is constructed from simple
sentences by means of sentential connectives. In talking about compound
statements we have to be aware of the following points:
How the compound propositions are formed from atomic sentences by
means of sentence connectives.
Not all compound propositions are consisting of simple sentences.
Example: it is not the case that the moon is made of blue cheese. This is
a compound proposition.
177
How sentence operators and truth value of component propositions affect
the truth value of the compound proposition.
For further understanding of compound statements, let us examine the
following examples:
1. It is not the case that all laws are man made.
2. Iran raises the price of oil but Saudi Arabia does not raise the price of
oil.
3. Either we reduce the birth rate or soon there wont be any room to sit
down.
4. If he has a good lawyer, he will be acquitted.
5. Alemu believes that Kalkidan is dishonest.
All the above sentences including the first and the last one are component of
atomic sentences, they contain a single component with the phrases it is not
the case that and Alemu believes that respectively. And it is these
expressions that make them compound. The only difference between these two
statements is that the former one is truth functional while the later one is not.
We will discuss about the issue of truth functionality later.
178
importantly, these operators/sentence connectives are truth functional i.e. they
can determine the truth or falsity of compound sentences by using the truth
value of their component sentences. The five major logical operators that are
often used to translate the above expressions are. Tilde (~) or stroke (-), dot ()
or ampersand (&), wedge, or the Veel (V), horse shoe () or implication (→), and
triplebar (≡) or bi-implication (↔). The following table clearly illustrates the
logical function of these operators that are used to translate different forms of
expressions.
Table 5.1
However, the connectives or logical operators are used to translate the
respective English expressions does not mean that the expressions are
identical to operators. The difference is that the expressions like and , but ,
unless, only if,
are often vague and their meaning may vary with context,
179
while the operators, or symbols capture only part of the logical meaning of the
expressions as they are used in sentential logic.
In propositional logic, atomic and compound propositions (truth functional,
complex, or any form of compound propositions) can be represented
symbolically. In doing this we will use any convenient upper case letters (A-Z)
to represent atomic sentences. And these are called constants. On the other
hand, lowercase letters like (p, q, r, s
) are used to represent statement
variables of compound propositions. Thus, symbolically (by using constants for
atomic statements, and logical operators that translate the English
expressions) the following five compound statements may be represented as
follows:
and tird statements mentioned above are () and (V) respectivesy.
The above five statements have also their own logical names. Thus, the
180
of material implication and its component sentence G is called its
antecedent /or implicans. While the other sentence A is called consequent of
implicate. Finally, the last statement D ≡ P is called a bi-conditional
statement, and it expresses the relation of material equivalence. And, all the
sentences are named after the logical function of their respective connectives or
logical operators. We will see how to use the logical operators to translate
additional statements when we discuss about the five truths functional
propositions.
181
variables are used to construct statement forms. A statement form is an
arrangement of statement variables and operators such that the uniform
substitution of statements in place of the variables results in a statement.
There are five kinds of truth functional compound statements. These are:
negations, conjunctions, disjunctions, conditionals, and bi-conditionals.
1. Negation
Negation is one of those truth functional compound sentences which is formed
by using expression like it is not the case that , it is false that , as prefix, or
by inserting the word not in a simple statement. And, as we have seen in the
previous table, these expressions are logically represented by either of the
following logical operators, tilde (~) or stroke (-) operator.
Examples:
1. It is not the case that all judges are dishonest , is a negation and if we use
the constant J to represent the atomic sentence all judges are dishonest ,
then the compound can be symbolized as. ~J
2. Saudi Arabia does not raise the price of Oil , can also be
represented/symbolized as: ~S.
Thus, all compound statements in which their component sentences are
governed by the tilde (~), or stroke () operator are negations. All of the
following sentences are negations for that matter:
~H
~ (B H)
~ (AVB)
~ [(B≡H) · (C≡D)]
This instance also shows that all the other operators like conjunctions,
disjunctions, conditionals, or bi-conditionals can also be negated.
182
Most importantly negation is the denial of the original statement, and its truth
value (i.e. negation is the exact opposite of the original proposition). So,
negation does not connect anything in strict sense, rather it is a truth
functional connective that is important to determine the truth value of a
proposition produced by negating of a statement. It follows that the truth value
of the negation of any true statement is false and the negation of any false
statement is true. Thus, in the above examples if both J and S are actually
true, then ~ J and ~ S will be false. But if J and S are fals e, their
respective negations ~J and ~S will be true. The truth function of such kind
of statements can be presented in truth tables by presenting all the possible
truth values of the original statement in the left hand side of the column of the
table and the truth values of its negation, in the right hand column of the
table. Thus, if p and ~p, the statement variables, stand for the above statement
forms, the truth table of negations can be presented as follows:
P ~P
T F
F T
Table 5.2
N.B A truth table is an arrangement of truth values that shows how the value
of a compound proposition depends on the truth values of its simple
components. The application of truth tables will be discussed in the coming
sections.
2. Conjunction
A conjunction or conjunctive statement is a truth functional compound
proposition that is formed by connecting two atomic sentences by using
expressions like and, but, as well as, also, although , yet , however ,
on the other hand, still, despite the fact that , moreover , nevertheless,
both
and, and other expressions in a logical sense that can be translated by
the dot (·) or ampersand (&) operators. And, the two simpler propositions
183
connected by the conjunctive connectors are called conjuncts. Usually it is
and that is used to conjoin conjuncts.
Examples
1. Aristotle is a Greek philosopher and Plato is a Greek philosopher.
Symbols. A·P
2. Iran raises the price of oil, but Saudi Arabia does not raise the price of
oil. I·~S
3. The food is good though its price is very expensive.
F·P
4. Yesterday you went to the post office because I called Zinabu at the
phone box. Y·Z
And, but, though, and because, are the sentential connectives of the
above four compound propositions in order. And, the sentences preceding and
succeeding the conjunctive connectors are their respective conjuncts. And, like
negations all complex compound sentences that contain the conjunctive
connectors (· or &) as their main operator are conjunctions. All of the following
sentences are conjunctions.
(E · ~ F)
[(GVH) ·K)]
[(L ≡ M) · (NVO)]
[(R T)] V (S U)] · [(W ≡ X) V (Y ≡ Z)]
However, words like and, but, yet
and other stylistic variants are truth
functional connectors when they are used in a logical sense. For instance, the
word and is ambiguous and sometimes has enumerative sense. The word
and is a truth functional connector only when it serves unambiguously to
determine the truth value of conjuncts.
Example:
Aristotle and Plato are Greek philosophers. In this proposition the word and
is used in an enumerative sense, and the statement is not truth functional
compound sentence. However, if we arrange it as Aristotle is a Greek
184
philosopher and Plato is a Greek Philosopher it will be truth functional
proposition, and the truth value of component sentences (conjuncts) and the
sentential connective can determine the truth value of the conjunction
compound sentence. Thus, if we represent the conjuncts by statement
variables (p and q) then the conjunction can be symbolized as (p · q) and the
possible truth values of the compound can be summarized in a truth table as
follows:
P q p·q
T T T
T F F
F T F
F F F
Table 5.3
The above truth table shows that a conjunction is true only when both or all of
its component sentences (conjuncts) are true and is false in all other cases.
Thus, the above conjunction Aristotle is a Greek Philosopher and Plato is a
Greek philosopher is true for both of its conjuncts are true. However, as we
have learned previously, conjunctions may be ambiguous. And, this problem
can be avoided by using symbols like brackets, braces and parentheses when
one symbolize such statements. As they are used in mathematics, brackets
[ ], braces { }, and parentheses ( ) can also be used to avoid or minimize
ambiguities in symbolic logic.
For instance, consider the following mathematical equation, 6 ÷3 x 5=10. Is
this expression true or false? As it stands the equation is both true and false
for it is ambiguous. To avoid ambiguity of such kind in mathematical
equations, we can use brackets and parentheses so that the expression will be
necessarily true if it is written as (6 ÷3) x5=10. Though mathematical and
logical usage of parentheses and brackets are not always the same, symbolic
representation of complex and large compound propositions as negated
185
conjunction, negated disjunction...is impossible in logic with out bracket and
parentheses.
Examples:
1 Diego Maradona never played for Man United, but Eric Kantona did. This
proposition can be represented as: ~D· E.
2. Diego Maradona never played for Man United, and Eric Kantona did not
either. ~ D · ~E
3. It is false that both Diego Maradona and Eric Kantona did play for man
United. ~ (D· E)
Thus, as you see from the above examples, ~ D·~E and ~ (D·E) are not logically
equivalent. And as the third example shows ambiguity of conjunction arises
when the conjunction refers about the same thing, person, and condition. And,
it should be known that a conjunction is not the same as a denial of its
conjuncts.
3. Disjunction
It is known that or and its stylistic variants as either
or
, unless , are
expressions that are frequently used as disjunctive sentence connectives. And
the compound proposition that is formed by connecting two simple sentences
by the word or, or either
or
is called a disjunction or alternation. The
two component sentences connected to form a disjunction compound sentence
are called disjuncts or alternatives. Logicians call disjunctions, alternations
and their component sentences, disjuncts/alternates because such kind of
propositions usually provides a choice of the two given alternatives.
Disjunctions can also be formed by using expressions like at least one of , or
unless. And, or and its stylistic variants are represented by the wedge or
Veel V, the symbol borrowed from the Latin word veel, meaning or . And, in
Latin the veel has two meanings, either
or
, or both, that is commonly
referred to as the inclusive or weak sense of the word or. and the strong or
exclusive sense of the word or i.e. either
or
but not both.
186
Examples:
1. Man.United will defeat arsenal or Liverpool. M. AVL
2. Either we reduce the birth rate or soon there will be new mouths to feed.
BVM
Both of the above sentences are disjunctions. But, if we carefully examine their
meaning, then we can observe that there are two different senses of the
sentence connective or. The first one is that the word or can be used in a
strong or exclusive sense, in which the meaning is not at least one is true,
but is at least and at most one is true. In the second example the word or is
used in this sense of the word means the statement asserts that either of the
two claims is true, but both can not be. So, a disjunction is exclusive or non-
inclusive when it asserts that either of the two choices excluding one of the
alternatives are true or will happen. Thus, exclusive disjunction will be true
only if one of the alternatives is true, and the other false. The other sense of the
word or is the inclusive or weak sense. And, in this sense the two
alternatives of the disjunction can both be true at the same time. Accordingly
in its weak sense or means at least one is true and it also mean there is a
possibility for both to be true. The first statement from the above examples
Man. United will defeat Arsenal or Liverpool is an inclusive disjunction,
because here or means Man. United will defeat either Arsenal or Liverpool, or
both Arsenal and Liverpool.
Such kinds of propositions will be true in case one of or both disjuncts are
true. Hence an inclusive disjunction compound sentence is true if at least one
of its component sentences is true or both are true, and, is false only if both
the disjuncts are false. Let us see now how to symbolize the above two different
senses of disjunctions and draw truth tables.
187
disjunction will be definitely true. And, the disjunction will be false when both
disjuncts are false. There fore, the truth table for inclusive week disjunctions is
as follows.
P Q PvQ
T T T
T F T
F T T
F F F
Table 5 .4
2. Either we reduce the birth rate or soon there will be new mouths to feed .
BVM pvq
This statement is strong or Exclusive disjunction. And in this case the
disjunction will be true only if one of the alternatives/disjuncts is false. If both
the alternatives have same truth value, true or false, the disjunction will be
false. Thus, the definition of the exclusive disjunction operator can be
summarized and tabled as follows.
P Q PvQ
T T F
T F T
F T T
F F F
Table 5.5
And since the strong exclusive disjunction p v q means both can not be true ~
(p · q). We can say that (p V q) also means p v q · ~ (p · q).
Logicians claims that truth table for the inclusive disjunction is preferable than
the exclusive one for the reason that the later does not guarantee the truth of
disjunction when the two disjuncts/alternates are true. Moreover, some times
it is difficult to identity whether the word or has inclusive or exclusive sense
of usage. In such kinds of cases the rule of categorical logic says, all
ambiguous disjunctions has to be taken in an inclusive sense. The other point
to remember is that the word unless can be used in the place of or , or as a
188
disjunctive sentence connective. For instance unless we work hard, we will
remain in poverty, has the same meaning as either we work hard or we will
remain in poverty, though this disjunction does not rule out that one to be
both a hard worker and poor at the same time. Thus, if the expression unless
is not explicitly expressed in an exclusive sense, it should be considered as
having inclusive meaning.
Disjunctions can be denied or negated in the following two ways. One is that by
using words neither
nor
. in place of either
.or
. and the other is that
by using the phrases of negation like it is not the case that , it is false that ,
as prefix of the disjunction.
Example-
The statement either we reduce the birth rate, or soon there will be new
mounths to feed. Can be negated as, it is false that B v M ~ (B v M) or, as
Neither B not M. ~ (B v M).
Furthermore, like other compounds there are complex disjunctions that may
contain other operators, with vel (v) as main operator.
For instance all of the following are disjunction
~PvQ
(R·S) v ~T
(U W) v ~ (X · Y)
(K·M) v (~ N · ~ 0)
4. Conditionals (Material Implication)
Conditional sentences can also be known as implications, hypothetical or
implicative statements. A conditional sentence is a hypothetical sentence that
contains two atomic sentences as components, and asserts that if one of the
component sentence (the antecedent) is in any case true, the other
(the consequent) is true also. In other words conditional sentences are
compound propositions with two atomic sentences related one to another by
the words if
then
, or other equivalent words like unless , it provides
189
that, given that, only if, on the condition that , implies that , assuming
that, in case that, is sufficient for, is necessary for , and the like. These
expression can be represented symbolically by the horse shoe () or sometimes
symbol of implication (→). A conditional sentence is also called implication,
because one of the component propositions signifies the truth of the other.
These component sentences of a conditional proposition are called antecedent,
or implicans and consequent or implicate. And, if a conditional statement is
formed in an if
then
form, the statement following the if, is called the
antecedent, and the one following the then, is called the consequent. Mostly,
the general form of conditional statement is if p then q , assuming that p is
an antecedent and q the consequent. And symbolically it can be represented
as p q, or p → q.
Example: “If Barrack Obama wins, then a democrat wins”, and if “B”
represents the statement following if and the “D” represents the one that
comes after then:
1. “If …then”- is the sentence connective,
2. “B”- is the antecedent,
3. “D”- is the consequent.
In addition to the sentential connective if
then
. that is used in standard
form of conditional sentences, there are many other ways of presenting
conditionals. For instance, the above statement can be written as:
Democrat wins if Barrack Obama wins.
So long as Barrack Obama wins, a democrat wins.
Barrack Obama wins only if a democrat wins.
All the above sentences have the same antecedent and consequent, thus if we
use B to represent the antecedent, and D for the consequent, all of the
sentences can be represents as: B D.
Furthermore, implication or conditional statement has more than one meaning.
Some of the different senses of expression of the if
then
sentences are:
190
1. The antecedent logically implies the consequent. Example: if all cats are
dogs, and all dogs are horses, then all cats are horses. in this statement
D C, the implication is logical implication.
2. There are implications that are based on the definition of a term, in other
words there are definitional implications.
E.g. If an animal is unicorn, then it is one horned animal. AH
3. Implications can also be expressed in highly emotional expressions of
individuals under specified circumstances, or there are decisional
implications.
E.g. If state looses the home coming game, then I will eat my hat. S E
4. Implications/conditional sentences express the implication of natural or
empirical realities, or there are causal implications.
E.g. If a solution changes a blue litmus paper to red, then the solution is
an acid. S A
The above four conditional sentences asserts different types of implication
between antecedent and consequent. But, they are not completely different in
meaning. Thus, to avoid ambiguity of the different senses of the sentential
connective if
then
we can focus on the meaning shared by all conditional
sentences. And, for the conditional to be true the consequent need not be true
while the antecedent is false. In other words, if the antecedent is true and the
consequent is false in all the four senses of implications, the whole implication
or conditional sentence will be false. Any standard form conditional sentence if
p then q is known to be false when the conjunction p · ~q is known to be true.
Hence, for a conditional sentence to be true the conjunction p · ~q must be
false or ~ (p · ~ q) must be true. Since we have defined true conditional
statement (p q), as the negation of the conjunction of its antecedent with the
negation of its consequent, ~ (p · ~ q). Let us now proof this by means of a
truth table.
p q ~q p. ~ q ~ (p. ~ q) p q
T T F F T T
191
T F T T F F
F T F F T T
F F T F T T
Table 5.6
As the above table shows, the sets of propositions in column (5), ~ (p · ~ q), and
(6), (p q), are identical and have the same truth value. However, the assertion
~ (p · ~ q), which is included in the meaning of each of the various kinds of
implications considered, does not constitute the entire meaning of any of them.
Moreover, not all conditional sentences assert one of the four types of
implications discussed above. There is no real connection, whether logical;
definitional; or causal implications; obtained between antecedent and
consequent of some forms of conditional sentences.
Example:
If Gebre Egziabher beats Kenenisa, then I am monkeys uncle. Such kinds of
conditional propositions with no kind of implication assert that it is not the
case that the antecedent is true when the consequent is false. Thus, this kind
of conditionals is called material implications that can be symbolized by
horse shoe. And material implication () that is used to form any kind of
conditional proposition is used to determine the truth value of the conditional
proposition. And, a conditional proposition is false if the antecedent is true and
the consequent is false, otherwise it is true. For instance, if we take the
statements if cats are mammals then cats are animals. It will be false; if in
fact cats are mammals but not animals. (If the antecedent is true and the
consequent is false). In other words, if both of the component sentences are
true or both false, and the consequent true given that the antecedent is false,
then the whole sentence is also true. We can Study the following truth table for
conditional sentences.
p q pq
T T T
T F F
F T T
192
F F T
Table 5.7
In all cases where the horseshoe () or implications (→) serve as main operator
the proposition is conditional, hypothetical or implicative sentence. The
following are instances of conditional statements:
(~ Z r)
(DE) (AVC)
[R → (M · N)
The horseshoe () symbol is also used to translate statements phrased in terms
of sufficient conditions and necessary conditions. And an event p is said to
be a sufficient condition for event q when ever the occurrence of p is all that
is required for the occurrence of event q. Whereas event p is said to be a
necessary condition for event q whenever event q can not occur with out the
occurrence of event p.
Example:
Being an ox is a sufficient condition to be a male, while being a male is a
necessary condition to be an ox. In the first sense in addition to being an ox ,
(being another thing like husband, son
) might make something a male, but
the first quality (being an ox) by itself is sufficient. However, for a thing to be an
ox it must be male. But, symbolically both can be represented as: O M, or O
→ M.
5. Bi-conditionals (Material equivalence)
Two propositions are said to be bi-conditional or materially equivalent if they
have the same truth value. A bi-conditional or materially equivalent
proposition is, therefore, a compound proposition in which its component
sentences are connected by expressions like “if and only if”, “both sufficient
and necessary condition that”, which can be logically symbolized by using
triple bar (≡) or bi-implication (double arrows) (↔). Typically, bi-conditional
sentences assert that if two of its component statements have the same truth
value (if they jointly assert the same truth value) the compound proposition
193
would be true. Hence, if both components of a bi-conditional sentence have the
same truth value (either both true, or both false), the compound proposition of
the bi-conditional would be always true. And, bi-conditional is false when its
components have opposite truth values.
Example:
The car runs if and only if there is gas in its tank. If C and G stands for the
component statements that precede and succeed the expression “if and only if”
respectively, the compound proposition can be symbolized as: (C≡G), or (C↔G).
And, its possible truth values are as it is summarized in the table below by
using the statement variables as:
p q p≡ q
T T T
T F F
F T F
F F T
Table 5.8
More examples:
1. Tsegaye G/Medhin was a poet if and only if Teddy Afro was a singer.
T≡A
2. Barack Obama is the 48th U.S president if and only if George W. Bush was
the 47th U.S president. B≡G
3. Sibhat G/Egziabher wrote Othello if and only if Sisay Nigusu wrote
Sememen. S≡N
In the above statements, “T” and “A” are true, and “B” and “G” are false, and
“S” is false while “N” is true. Thus, the first two bi-conditionals whose
component sentences have the same truth value are true, where as the last one
composed of sentences with opposite truth values, is false. And, note that the
truth functional connective of the bi-conditional if and only if can be split up
in to two as if, and only if and a single bi-conditional proposition can be
194
expressed in to different conditional sentences. For instance, the above
statement can be stated as:
The car runs if and only if there is gas in its tank.
Components: - 1. The car runs only if there is gas in its tank. CG
2. The car runs if there is gas in its tank. GC
By combining the above statements, we will get (CG) · (GC), which is just a
longer way of writing C≡G. And, we can check this by drawing a truth table for
C ≡ G, and (CG) · (GC).
195
1. Gondar is not the capital of Ethiopia.
2. Barrack H. Obama and Osama Bin laden are well known figures.
3. Alabama restricts abortion rights only if Georgia and Mississippi do.
4. If chat is legalized, then its consumption may increase.
5. Ebola virus will become a major threat to humanity if and only if it becomes
airborne.
6. Either St. George or Ethiopia Buna wins, but not both.
Example:
Either Obama or McCain will win the 2008 U.S election, but Hillary Clinton will
not. In this sentence the main operator is but that relates the disjunctive
sentence with a negation. Thus, it can be symbolized as:
196
(O V M) · H or, (p v q) · s
2. Care must be taken to determine the correct scope of negations in the
statement. In other words, we must determine how much of a sentence is
negated or denied- i.e. whether it is the whole compound proposition or part of
its component propositions that is/are denied.
Example:
1. If we do not control the money supply and the power of OPEC, we will not
control inflation.
(M · O) I, or (p · q) r
2. It is not the case that both Alebachw Teka is generous and Sheik Alamoudin
is a politician (A · P)
Furthermore, arguments are also symbolized in the same way as we symbolize
statements. However, in symbolizing arguments, we must first identify the
premises and conclusion.
Example: Alemayehu will not both phone and write a letter. It is obvious that
he will not write a letter. Hence, he will phone.
Premises P1- (T · W)
P2 - W
C- T
Finally, the argument can be symbolized as follows:
(T · W) (p · q)
W q
, T, or by using variables , p
Exercises:
Symbolize the following propositions and arguments by using the
indicated constants.
1. Nuclear catastrophe is inevitable just in case Russia and America don t
reduce their arsenals. (N- nuclear catastrophe is inevitable, R - Russia
reduce its arsenals, A- America reduce its arsenals.)
197
2. If America does not reduce its nuclear arsenal and the Russians do not
either, then nuclear catastrophe is inevitable. (Use the same symbols
given above.)
3. Either the Russians or Americans will reduce their nuclear arsenals or
there will be a nuclear catastrophe. (Use the same symbols.)
4. Either America reduces their nuclear arsenals, and Russia reduces their
nuclear arsenals, or nuclear catastrophe is inevitable. America and
Russia does not reduce their nuclear arsenals. Hence, nuclear
catastrophe is inevitable. (Use the above symbols.)
5. If America does not reduce its nuclear arsenal, then Russians do not
either. If Russians does not reduce its nuclear arsenal then Germans do
not either. (Use the previously given symbols, and replace Germans
reduce their nuclear arsenal. by G).
Let us assume that “p” and “q” are the component sentences.
198
To construct a truth table for propositions, or argument the first factor that
must be determined is the number of lines. This is because each line
represents one possible arrangement of truth values. And, the total number
of lines is equal to the number of possible combinations of truth values for
the simple propositions. Thus, if we represent propositions by n and L
designates number of lines, then L=2n. Thus, by means of this formula we
obtain the following table.
No. of different simple propositions (n) No. of lines in truth tables (L)
1 2
2 4
3 8
4 16
5 32
6 64
7 128
8 256
After determining the number of lines, we must enter all the possible truth
values for original atomic sentences and compute the remaining column until
we get the truth values of the compound proposition (i.e. the truth value lining
under the main operator).
Examples:
1. (SR) · (S · R)
Step one- Since the proposition has two simple components, the number of
lines in the truth tables is (2 2) = 4. We draw these lines beneath the proposition
as follows:
(SR) · (S · R)
Step two: Enter all the possible truth values for original atomic sentences
(SR) · (S · R)
199
T T T T
T F T F
F T F T
F F F F
Step three: Compute the remaining columns until you got the truth values of
the compound, the truth value lining under the main operator. In this
proposition the main operator is conjunction (·).
3.1. (SR) · (S · R) 3.2. (SR) · (S · R)
T T T T FT T T T TF FT
T F F TT F T F F TT TF
F T T FFT FT T FF FT
F T F FTF FT F FF TF
Step four: lastly we can determine the truth value of the compound by using
the truth value of its components, means by using the truth values lining
under the horse shoe (), and the conjunction (dot) (·)
(S R) · (S· R)
TTT F TFFT
TFF F TTTF
FTT F FFFT
FTF F FFTF
The truth values under the main operator (·) represents the entire compound
proposition. And inspection of the complete truth table shows that the
compound proposition is false in every possibilities.
Example 2. ( K H) ≡ (HVK)
( K H) ≡ (HVK)
FT T TFFTTT
FT T FFFFTT
TF T TFFTTF
TF T FF T F F F
Inspecting the above completed truth table shows that the compound is false in
all possibilities.
There is also another method for constructing a truth table that is faster for
certain compound propositions. To use this method, we would begin by
200
constructing columns for the simple propositions, and write them to the left of
the given proposition
Example: ( K H) ≡ (HVK)
K H ( K H) ≡ (HVK)
T T
T F
F T
F F
We then use the columns on the left to drive the truth values of the compound
propositions. First, we compute the truth value of (k), then the horseshoe, and
the disjunction (v) and then its negation, finally the triple bar
K H (KH) ≡ (HVK)
T T F TT F F T
T F F TF F F T
F T T TT F F T
F F T FF F T F
3. (C·D) E
C D E (C·D) E
T FT T F T T
T FT F F T F
T TF T T T T
T TF F T F F
F FT T F T T
F FT F F T F
F TF T F T T
F TF F F T F
201
contradictory. In other words, truth tables can be used to sort compound
statements in to logically significant categories: tautology, contradictions, and
contingent statements.
A compound statement is said to be logically true or tautologous if it is true
regardless of the truth value of its components. In other words, when we
inspect the truth table for a compound proposition and found all column under
the main operator true, the proposition is called tautology or logically true
statement.
Example: 1 A (BA) 2. (P·P)
T T TTT T TFFT
T T FTT T FFFF
F T TFF
F T FTF
3. [(GH)·G) H]
TTT TT T T
TFF FT T F
FTT FF T T
FTF FF T F
All the above sentences are tautologies, or logically true since their completed
truth tables show that there are no circumstances under which a compound
sentence is false. (It is true no matter what truth values are assigned to its
basic sentences), on the other hand, compound proposition is said to be
logically false or self-contradictory if it is false regardless of the truth values
of its components. A contradiction is false no matter what truth values are
assigned to its component basic sentences.
T FFT TTT F TF FT
F FTF TFF F TT TF
202
FTT F FF FT
FTF F FF TF
Inspecting the above truth tables show that the compound sentence is false no
matter what truth values are assigned to its components. The arguments are
therefore self contradictory.
You might think about the above two categories of sentences, tautologies and
contradictions, that the former one is a wonderful type of sentence while the
later needs to be a voided. However, the fact is that both types of sentences
have no use in conveying genuine information for they do not make any
genuine assertions. They are important in propositional logic for reasons not
connected with ordinary conversational exchanges. For instance, we can use
the form/structure of these types of sentences, not their information content,
to determine the validity of arguments they make up. Thus, every arguments
whose conclusion is a tautology is valid. Regardless of the content of the
premises; and also any argument that has a contradiction among its premises
is a valid argument.
Not all sentences are either tautologies or self-contradictory. You have had
many examples of sentences that were true in some circumstances and false in
others. Such propositions are called contingent. The truth value of contingent
compound propositions varies, or is contingent, depending on the truth values
of its components.
Examples:
1. P V P 2. P≡Q
TTT TTT
FFF TFT
FFT
FFF
203
So, we can determine how the compound proposition should be classified as
tautologous, self contradictor, or contingent by merely inspecting the column of
truth values under the main operator. And these can be summarized as
follows:
Column under main operator Statement classification
All true
. Tautologous.
All false
self contradictory.
At least one true, at least one false
.. contingent.
Truth table may also be used to determine how two compound propositions
having the same component propositions are related. And, there are four types
of relationships between compound propositions having the same components:
logical equivalence, contradiction, consistency and inconsistency.
Two propositions are said to be logically equivalent if they have the same truth
value on each line under their main operators. In other words truth functional
compound propositions are logically equivalent provided that the columns in
the truth table under their main operators are identical.
For example: The propositions KL and Lk are logically equivalent.
K L L K
TTT FTT FT
TFF TFF FT
FTT FTT TF
FTF TFT TF
AB AvB
TTT FT T T
TFF FT F F
FTT TF T T
FTF TF T F
Inspection of all the truth table for the two propositions shows that the
columns under their respective main operators are identical so that they are
logically equivalent
204
Note that bi-conditional statement formed by joining logically equivalent
compound propositions by using a triple bar (≡) is tautologous.
The propositions have opposite truth values on each line under their main
operators, thus they are contradictory.
On the other hand, if propositions are neither logically equivalent nor
contradictory they may be consistent or in consistent. Thus, two (or more)
propositions are consistent if there is at least one line on which both (or all) of
them turn out to be true, and they are inconsistent if there is no line on which
both (or all) of them turn out to be true. So, one can determine whether two
complex compound propositions are consistent or inconsistent by comparing
the truth values of the statements under their main operators.
Examples:
1. K v L K·L
TTT TTT
TTF TFF
FTT FFT
FFF FFF
205
Since on the first line of each truth table the column under the main operator
turns out true, the propositions are consistent.
2. K ≡L K · L
T TT T F FT
T FF T T TF
F FT F F FT
F TF F F TF
For there is no line in the columns under the main operators where the truth
values are both true, the above propositions are inconsistent. And, since there
is partial overlap, an inconsistent proposition may be either contradictory or
logically equivalent, pairs of propositions are usually classified in terms of
logical equivalence and contradictory relationship that are the stronger of these
relations.
Relations Columns under main operators
Stronger logically equivalent
.Same truth value on each line
relations Contradictory
..Opposite truth value on each line
Weaker Consistent
there is at least one line on which the truth values
relations are both true.
Inconsistent
there is no line on which the truth values are both
true.
Exercise 5.3
I. Construct truth tables and use them to classify the following
symbolized statements as tautologous, self-contradictory, or
contingent
1. (MP) V (PM)
2. [(AY) B] Z
3. X (YZ)
4. (A·P) ( AVP)
5. [(FVE)·(GVH)] ≡ [(G·E) V (F·H)]
6. [(QP) · (QR)]· (PVR)
206
7. p [q > (pr)]
8. p v (qp)
9. {[p·(q v r)] P}≡ q
10. (AB) · (B · A)
II determine whether the following pairs of symbolized statements are
logically equivalent, contradictory, consistent, or inconsistent by using
truth tables.
1. (p q), an d [(p v q) ≡ q]
2. pq, and p q
3. p · q, and (p v q)
4. Z· (C≡P), and C≡ (Z≡P)
5. G· (EVP), and (G·E) · (G·P)
5.4.1 Truth Tables for Arguments
It has been underlined in chapter one that logic is a science that deals with
techniques and methods of evaluating arguments. And, in propositional logic,
one can use truth tables to test propositional arguments for validity. And to
use truth table for this purpose, we have to know how to construct a truth
table to an agreement. And to construct a truth table for an argument we will
apply the following guidelines:
207
Example:
If Alemu is 8 feet tall, then Alemu is over 7 feet tall. But it is not the case that
Alemu is over 7 feet tall. It follows that Alemu is not 8 feet tall.
Premise1- A O
Premise 2- O
Conclusion-, A
Now let us construct a truth table for the above argument: AO / O// A
A O/ O // A
T T F F T T T
F F T T F F T
F T F F T T F
F T T T F F F
Inspection of the above truth table reveals that there is no line on which both
premises are true and the conclusion false. The argument therefore is valid.
The reason behind the claim that if no line exists on which the premises are
true and the conclusion false, the argument is valid is obvious and has to do
with the definition of valid and invalid arguments as discussed in the first
chapter. Thus, the following are rules for testing arguments by truth table:
If there is no line on which all the premises are true and the
conclusion false, the argument is valid
If there is at east one line on which all the premises are true and
the conclusion false, the argument is invalid.
These rules implies that if an argument have contradictory premises regardless
of what its conclusion may be, it is valid and also any argument having a
tautologous conclusion is valid regardless of what its premises may be.
However, in both cases the argument may not be sound.
Examples:
1. If Abebe works hard, he gets rich. But if Abebe does not work hard, he
enjoys life. Moreover, if Abebe does not get rich, then he does not enjoy
life. Hence, Abebe gets rich.
208
The symbolic representation of the above argument is as: SR / SE /
SE // R
S R/ S E / S E //
R
T T T F T T T F T T F T T
T T T F T T F F T T T F T
T F F F T T T F T T F T F
T F F F T T F F T T T F F
F T T T F T T T F F F T T
F T T T F F F T F T T F T
F F F T F T T T F F F T F
F F F T F F F T F T T F F
There is no row in which the premises are true and the conclusion is false, the
2. C≡ D / E v D // E C
C ≡ D / E v D /E C
T T T T F F T T T T
T T T F F F T F T T
T F F T T T F T T T
T F F F T T F F T T
F F T T T F T T F F
F T F F F F T F T F
F T F T T T F T F F
F T F F T T F F T F
Inspection of the seventh line reveals that both of the premises are true and the
conclusion is false. The argument is therefore invalid.
Exercise 5.4
I. Determine whether the following arguments are valid or invalid by using
the truth tilde method. (Translate those that are not symbolized in to
their symbolic form)
1. The disparity between rich and poor is increasing. Therefore, political
control over economic equality will be achieved only if restructuring the
209
economic system along socialist lines implies that political control over
economic equality will be achieved
2. Ethiopia is the poorest country in the world. Hence, either Ethiopia or
Zimbabwe is a poorest country in the world.
3. C≡D
E VD
, E V C
4. AVR 5. H (A B)
(N· C) C (H V B)
RC H C
CN , C V B
, AVC
210
Example:
1. A ( B · C ) / CD// AD
TT TTT TTF TFF
There is a contradiction in the truth values assigned to the second premises
because TF is F. this shows that it is impossible for the premises to be true
and the conclusion false. Hence, the argument is valid.
2. A (BVC) / B // DA
TF T FTT TF TFT
Since we get a perfectly consistent assignment of truth values that makes the
premises true and the conclusion false, the argument is therefore invalid.
3. AB/ BA/ AB // A·B
FTTT TTT TTFT TFFT
TFTF FTF FTTF FFTF
TFTT TTF FTFT FFFT
Since there is a contradiction in each line, the argument is valid. Thus, if there
is a possibility for the claim that the premise is true and conclusion false, then
the inference would be invalid.
Exercise 5.5
I. Use indirect truth tables to determine whether the following arguments
are valid or invalid.
1. GVH 2. (XY)· (WZ)
G XVW
, H YVZ
3. KVL 4. U (V v W)
K (V·W) U
L U
211
5. GH
HI
JG
I
J
212
A. Valid Argument Forms
In the first chapter we have learned about some forms of syllogisms such as
hypothetical, categorical and disjunctive syllogisms. And we have also seen
that the validity of such syllogisms can be determined through mere analysis of
their forms. Most of the valid argument forms that we are going discussed next
are the form or structure of syllogisms.
p q p q (premise p q
1) ( premise 2) ( Conclusion)
T T T T T
T F F T F
F T T F T
F F T F F
213
Inspection of the table shows that there is no row on which all the premises are
true (T) and the conclusion is false (F). Thus, the argument form is valid.
Moreover, the following symbolized arguments are instances of Modus Ponens
(MP),
214
F F T T T
Inspection of the above table shows that there is no line in which the premises
are true and the conclusion false. Hence, MT Form is a valid argument form.
These other arguments are all Modus Tollens (MT)
1. (DVF) K 2. ~T 3. ~ E ~ (MVN)
~K [(HVK). (LVN)] T ~ (MVN)
, ~ (DVF) , (HVK). (LVN) ~~ G and others,
215
The truth table for the above disjunctive syllogism can be constructed as,
Inspection of the above table reveals that no line in the table has all true
premises and false conclusion that the argument is valid. The following
arguments are all instances of disjunctive syllogism (DS):
U V ~ (W·X) ~ (EVF) ~B V [(H M) ·(S T)]
~U (EVF) V (N K) ~~B
, ~ (W·X) , N K (H M) ·(S T)
Example:
If Socrates was a human being, then Socrates was rational animal. If Socrates
was rational animal, then Socrates was intelligent creature. Thus, if so creates
was a human being then Socrates was an intelligent creature.
Symbols: HR
R I
, H I
The truth table for this pure hypothetical syllogism can be drawn as follows:
216
H R I (premise one) (premise two) (conclusion)
H R R I H I
T T T T T T
T T F T F F
T F T F T T
T F F F T F
F T T T T T
F T F T F T
F F T T T T
F F F T T T
The above truth table shows that there is no possibility for all the premises to
be true and the conclusion false so that the argument is valid. The following
are all in stances of valid pure hypothetical syllogisms (HS):
1. A (D·F) 2. ~M (R S) 3. (L N) [(SVT) ·K)]
(D·F) ~H ~M
(CVK) (C≡F) (L N)
, A ~H , (CVK) (R S) , (C≡F) [(SVT) ·k]
Usually pure hypothetical syllogism will be invalid when the premises fail to
link together like a chain as:
Example: p q p q
P r r q
, q r , p r,
5. Constructive Dilemma (CD):
A constructive dilemma is a valid argument form that consists of a conjunctive
premise made up of two conditional statements, a disjunctive premise that
asserts the antecedent in the conjunctive premises, and a disjunctive
conclusion that asserts the consequents of the conjunctive premise. Thus,
Constructive dilemma (CD) is defined as follows:
(p q) v (r s)
pvr
qvs
Example:
217
If we prosecute terrorists, then we risk retaliation by other terrorists, but if we
release them, then we encourage terrorism. We must either prosecute or
release suspected terrorists we either risk retaliation by other terrorists or we
encourage terrorism. The above argument is an instance of constructive
dilemma; the form is (P R) · (T E)
PVT
, RVE
We can test this argument form by using indirect truth tables as the
direct one will be a bit longer and time consuming. Thus,
(P R) . (T E)/ P V T // RVE
F F T FTF FTF FFF
Since there is a contradiction in the truth value of the second premise
FVF=T then it is impossible for the premises to be true and the conclusion
false. Hence, the argument is valid. So, any argument that is a
substitution instance of constructive dilemma is valid.
These are all instances of constructive dilemma:
1. ~MVN 2. [(K T) (A·B)] · [(H P) (A·C)]
(~M S)· (N ~T) (K T) V (H P)
, SV~T , (A.B) v (A.C)
6. Destructive dilemma (DD):
A destructive dilemma is a valid argument form that includes a conjunctive
premise made up of two conditional statements and a disjunctive premise that
denies the consequents of the conditional premise, and then the conclusion
denies the antecedents. Destructive dilemma is defined as:
( p q) · (r s)
~q v ~s
, ~ p v ~r
218
Any argument that is a substitution instance of destructive dilemma is
valid. One can inspect the following indirect truth table so as to prove
this:
(p q). ( r s) /~q v ~s // ~p v ~r
TTT T TTT FT T FT F T F FT
Inspection of the above table shows that there is no possibility for the
premises to be true and the conclusion false. Hence, the arguments form;
destructive dilemma is valid.
B. Invalid Argument forms and Formal fallacies
1. Affirming the consequent: is an invalid argument form of mixed
hypothetical syllogism that consists of one conditional premise, a second
premise that asserts the consequent of the conditional and a conclusion that
asserts the antecedent.
Affirming the consequent (AC) has the following form:
p q
q
, p
Any argument that is a substitution instance of the above form is invalid and
commits a formal fallacy called affirming the consequent.
Example:
If I owned the gold in Shakiso, then I am rich. Obviously I am rich, hence I
owned the Gold in Shakiso. This argument is an instance of Affirming the
consequent (AC), and its form is:
G R
R
, G
219
T F F F T
F T T T F
F F T F F
Inspection of the above truth table shows that there is a line (the third line) in
which both the premises are true and the conclusion false. Hence, the
argument is invalid and, commits a formal fallacy of affirming the
consequent.
2. Denying the Antecedent (DA):
It is an invalid argument form that consists of a conditional premise, a second
premise that denies the antecedent of the conditional premise, and conclusion
then denies the consequent.
Denying Antecedent (DA): p q
~p
, ~q
And like AC., any argument that is a substitution instance of DA, is invalid and
Commits a formal fallacy of denying the antecedent.
Example:
If I owned the Gold in Shakiso, then I was rich. I do not own the Gold in
Shakiso Therefore, I am not rich.
G R / G/ , ~R
( premise one) (premise two) (Conclusion)
G R G R ~G ~R
T T T F F
T F F F T
F T T T F
F F T T T
Similarly, the above truth table shows that there is a possibility for the
premises to be true and the conclusion false (see line 3). So, the argument is in
valid.
Note that, in addition to the above two invalid argument forms, as we have
seen disjunctive and pure hypothetical syllogisms may also be invalid.
The following forms are invalid:
220
1. p v q 2. p v q q
3. p
p p p r
, q , ~q , q r
.
The above sections on valid and invalid argument forms can be summarized as
follows:
Any argument having one of the following forms is valid:
1. p q Modus Ponens (MP) 2. p q Modus Tollens (MT)
p ~q
, q , ~p
3. p v q p v q Disjunctive syllogism 4. Pure Hypothetical syllogism (HS)
~p ~q (DS) p q
, q or, , p q r
, p r
5. (p q) · (r s) Constructive 6. (p q) · (r s) - Destructive
( p v r) dilemma (CD) ~q v ~s dilemma (DD)
, q v s ~pv ~ r
Any argument having either of the following forms is invalid and fallacious:
1. p q -Affirming the 2. p q Denying the antecedent
p consequent (AC) ~p (DA)
, p ~ q
And, in addition to these two typical invalid argument forms, there are others
with no special name,
3. pvq 4. pvq 5. p q 6. p q
p q r q p r
, q , p , p r , q r, and the like.
Exercises
I. Define the following concepts.
221
A. Argument form C. Denying the antecedent E. Destructive dilemma
B. Modus tollens F. Pure hypothetical syllogism
II. Identify the forms of the following symbolized arguments. And check
whether they are valid or invalid.
1. X 2. (A ~D)· (~B C) 3. P v ~S
X ~E ~C v ~~D S
~E ~A v ~~B P
4. M Q 5. ~P ~Q
~M ~~Q
~Q ~~P
222
And the following two sections will gives us those rules of implication and
replacement respectively.
223
arguments. For that matter, let us see the truth table of the argument that
corresponds to one of theses rules of inference:
p q //p (q · p)
TTT T T TTT
TFF T T FTT
FTT F T TFF
FTF FT FTF
Inspection of the above truth table shows that the conclusion is tautologuos,
and the argument is valid in such cases i.e. there is no line in which the
premise is true and the conclusion false. Now let us see some more examples
on the formal proofs of validity of complicated arguments.
Examples:
1. If Tamrat is an assassin, then either he should be put to death or he should
be given a life sentence. He should be put to death only if murderers deserve
death reality. He should be put to death if murderers forfeit their right to
liberty. Tamrat is an assassin, but murderers do not deserve death penalty.
There fore, murderers forfeit their right to liberty. (A: Tamrat is an assassin;
D: Tamrat should be put to death L: Tamrat should be given a life sentence;
M: murderers deserve death; F: murderers forfeit their right to liberty).
Using the scheme of constants provided, the above argument may be
symbolized as follows:
1. A (DVL)
2. D M
3. L F
4. A· ~ M // , F
And, the proof may be completed as:
5. A 4, Simp.
6. DVL 1, 5, MP
224
7. MVF 6, 2, 3, CD
8. ~M 4, Simp.
9. F 7, 8, DS
N.B when we use the nine rules of inference so as to construct proof, we should
begin by attempting to find the conclusion in the premises. And if the
conclusion contains a letter that appears in the consequent of a conditional
statement in the premises, consider obtaining that letter via Modus Ponens:
1. A B
2. CVA
3. A// , B
4. B 1, 3, MP.
If the conclusion contains a negated letter and that appears in that
antecedent of a conditional statement in the premises, consider obtaining
the negated letter via Modus Tollens:
1. C B
2. A B
3. ~ B //~ A
4. ~A 2, 3, MT
If the conclusion is a conditional statement, consider obtaining it Via
Hypothetical syllogism:
1. B C
2. C A
3. A B A C
4. A C 1, 3, HS
If the conclusion contains a letter that appears in disjunctive statement
in the premises, consider obtaining that letter Via disjunctive syllogism:
1. A B
225
2. A V C
3. ~A // C
4. C 2, 3, D.S
If the conclusion contains a letter that appears in a conjunctive
statements in the premises, consider obtaining that letter Via
simplification:
1. A B
2. C.B
3. C A / C
4. C 2, Simp.
If the conclusion is a conjunctive statement, consider obtaining it via
conjunction by first obtaining the conjuncts:
1. A C
2. B
3. ~C // B. ~C
4. B ~C 2, 3, Conj.
If the conclusion is disjunctive statement, consider obtaining it Via
Constructive dilemma or addition:
1) 1. (A B) (( D)
2. B C
3. AVC // BVD
4. BVD 1, 3, CD
2) 1. AVC
2. B
3. C D // BVD
4. BVD 2, Add.
If the conclusion contains a letter not find in the premises, addition must
be used to obtain that letter:
1. AVC
2. B// BVD
226
3. BVD 1, 3, Add.
Examples:
1)1. M·N
2. P M
3. Q·R
4. (~P·Q) S // , SVT
5. ~ M 1, Simp.
6. ~P 2, 5, MT
7. Q 3, Simp.
8. ~P·Q 6, 7, Conj
9. S 4, 8, MP
10. SVT 9, Add
2)1. C R
2. (C·R) B
3. (C B) ~S
4. SVM // , M
5. C (C·R) 1, Abs
6. C B 5, 2, HS
7. ~S 3, 6, MP
8. M 4, 7, D.S
Exercises:
I. Symbolize the following arguments. To do this you can create and
assign constants or statement variables for each atomic sentence in
the arguments. After symbolization construct formal proofs of validity
to show that the arguments are valid.
1. In spite of the fact that advocates of suicide and euthanasia often claim that
every right- including the right to life- can be waived, I think it's absurd to
suggest that every right can be waived. For if every right can be waived, and
then if I announce that I am waiving my right to liberty, you are morally
227
permitted to enslave me. But it is not true that if I announce that I am
waiving my right to liberty, then you morally permitted to enslave me.
2. Either animals are mere mechanisms or they feel pain. If either animals feel
pain or they have souls, then they have a right not to be subjected to
needless pain and humans have a duty not to inflict needless pain on them.
It is not the case that animals are mere mechanisms. Therefore, animals
have a right not to be subjected to needless pain.
3. God's existence is either necessary or impossible; if it is not contingent.
God's existence is a matter of metaphysical luck if it is contingent. God's
existence is emphatically not a matter of metaphysical luck. God's existence
is not impossible if the concept of an omnipotent and perfectly good being is
coherent. The concept of an omnipotent and perfectly good being is
coherent. Therefore Gods existence is necessary
II. Construct formal proof of validity for each of the following symbolized
arguments. Use the nine implicational rule of inference.
1) 1. (EVF) ~ D 4) 1. W X
2. SVD 2. (W · X) Y
3. E/ S 3. (W · Y) Z/ W Z
2) 1. G 5) 1. (Dv E) (G · H)
2. H / , (G·H) V I 2. G ~D
3. D · F / M
3) 1. T U 6) 1. (C N)· E
2. V v ~U 2. D V (N D)
3. ~V· ~ W / , ~ T 3 ~ D / ~ CVP
7) 1. ~V v W 8) 1. ~(S v R)
2. ~ V / WvX 2. B (S v R)
3. B v P
4. ~ Q v P / P · ~ Q
9) 1. B v ~C 10) 1. P·Q
228
2. B E 2. R / P.R
3. ~~C / E v~ B
III) In Each of the following formal proof of validity for the indicated
argument there are lines need to obtain the conclusion (last line) and
also supply the justification for both lines.
1) 1. I J 2) 1. ~A
2. J K 2. A v E
3. L M 3. ______ _______
4. I v L/ K v M 4. ~A · E ______
5. ________ 1, 2, HS
6. (I K) · (L M) _________
7. K v M ________
3) 1. E (T S) 4) 1. F B
2. ~ (T S) 2. ~D
3. ~RVE / ~R 3. (~D · G) (B S)
4. ~E _____ 4. G
5. ~R _____ 5. ~ S/ G · ~ F
5) 1. I J 6. ________ 2, 4, Conj.
2. I v (~~K · ~~J) 7. B S ________
3. L ~K 8. _________ 1, 7, HS
4. ~ (I · J) / ~L v ~J 9. _________ 5, 8, MT
5. ________ 1, Abs 10. G ·~F _______
6. ~I ________
7. _______ 2, 4, DS.
8. ~ ~K ________
9._______ 3, 8, MT
10 ~L v ~J ________
229
In the previous section we have learned about nine rules of inferences. And, as
we have already seen the previous nine rules of inference are implicational
(they work in one direction) i.e. inference is permitted from the premises to the
conclusion. For instance inference from P to P v Q is possible and valid, but
the reverse inference from P v Q to P is invalid. Hence, since there are many
valid truth functional arguments whose validity can not be proved using only
the nine rules of inference given so far, this section will introduce us additional
principles of inference called the rules of replacement. These rules of
replacement permit us to infer from any statement and the result of replacing
any component of the statement by any other statement can logically be
equivalent to the component replaced. And we have to note that these rules of
replacement to be discussed are stated in the form of logical equivalences. For
this purpose, a new symbol, called a double colon (::) will be used to indicate
logical equivalence which makes an assertion only about symbolized
statements, not about things. It expresses that either side of it have the same
truth value regardless of the truth value of their components. In other words,
statements or arguments are said to be logically equivalent if they validly imply
each other. And unlike the implicational rules which are one directional, all of
the equivalence rules are two directional. These rules of replacement are:
230
10. Double Negation (DN): This rule mainly formalizes the intuition that, any
statement form implies, and also is implied by. And the negation of its
denial implies each other and is logically equivalent. For example, P , and
~~P are equivalent.
231
13. Associativity (Assoc.): The rule of association states that the truth value
of a conjunctive or disjunctive statement is unaffected by the placement of
parentheses when the same operation is used throughout. i.e., the way in
which the component propositions are grouped, or associated with one
another, can be changed without affecting the truth value. Like
commutativity, the associativity rule applies only to conjunctive and
disjunctive statements.
Associativity (Assoc): 1. [[p v (q v r)] :: [(p v q) v r]]
2. [p · (q. r)] :: [(p · q) ·r]
14. Distribution (Dist): Like the above three rules of replacement, distribution
applies only to conjunctive and disjunctive statements. If a proposition is
conjoined to a disjunctive statement in parentheses or disjoined to a
conjunctive statement in parentheses, the rule of distribution allows us to
put that proposition together with each of the components inside the
parentheses, and also to go in the reverse direction. In other words, in the
first form of the rule, a statement is distributed through a disjunction and
in the second form through a conjunction. Unlike associativity and
commatativity, distribution works when a dot and a wedge appear together
in a statement.
Distribution (Dist):
1. [p v (q · r) :: [(p v q ) · (p v r)]
2. [p. (q v r) :: [(p · q ) v (p · r )]
15. Transpositions (Trans): This rule allows us to replace any conditional
proposition with another statement form (switch the antecedent and
consequent, and negate both). In other words, transposition rule holds
that a conditional proposition is logically equivalent with its contrapositive
or contraposed form of a conditional statement: one should switch the
antecedent and consequent, and negate both.
Transposition (Trans): (p q) ::( ~q ~p)
232
16. Material Implication (Impl.): This rule states that a horseshoe may be
replaced by a wedge sign if the left hand component is negated, and the
reverse replacement is allowed if a tilde is deleted from the left-hand
component.
Material implication (Impl.): (p q) :: (~p v q)
17. Material equivalence (Equiv.): This rule has two formulations. First, a bi-
conditional or material equivalence is logically equivalent to the two
conditionals that formulate it. For instance, the proposition (p q) can be
split in to two conditionals (p q) · (q p). The second formulation depends
on the two ways in which (p q), a bi-conditional may be true. That is
when either both p and q are true, or false. Thus, (p q) is logically
equivalent when p and q are either true or both false i.e. [(p. q) v (~p· ~q).
Material equivalence (Equiv):
1. (p q) :: [(p q)· [(q p)].
2. (p q) :: [(p· q) v (~p· ~ q)]
Thus, material equivalence comes in two forms. The first tell us that a bi-
conditional is logically equivalent to a conjunction of two conditionals. And, the
second form tells us that a bi-conditional is equivalent to a disjunction of two
conjunctions.
18. Exportation (EXP): The rule of exportation refers that, statements of the
form "If P and q then r" are logically equivalent to statements of the form
"If p, then if q, then r." Symbolically it can be written as follows:
Exportation (EXP):
[(p· q) r] :: [p (q r)]
19. Tautology (Taut): The rule of tautology, also called redundancy allows us
to eliminate redundancy in disjunctions and conjunctions.
233
Tautology (Taut):
p:: (p. p)
p:: (p v p)
N.B we can test propositional arguments using the combination of both logical
rules of inferences i.e. implication and replacement rules. Thus, the following
are important points to be considered.
234
Material implication can be used to setup hypothetical syllogism,
tautology and distribution.
1) 1. ~A v B 2) 1. A ~ A
2. ~B v C 2. ~A v A 1, Impl
3. A B 1, Impl. 3. ~A 2, Taut
4. B C 2, Impl.
5. A C 3, 4, HS
3) 1. A (B· C)
2. ~Av (B· C) 1, Impl
3. (~Av B)· (~Av C)..... 2, Dist
235
1) 1. (A C)· (B C)
2. Av B
3. C v C 1, 2, CD
4. C 3, Taut.
Examples: 1) 1. W (L v F)
2. B
3. B ~ L
4. ~ F / ~ W
5. ~ L 2, 3, MP
6. [W (L v F) · [(L v F) W)] 1, E
7. W (Lv F) 6, Simp
8. ~L· ~F 5, 4, Conj
9. ~ (Lv F) 8, DM
10. ~ W 7, 9, MT
2) 1. (~N v E) ~S / ~N ~ S
2. ~ (~N v E) v ~S 1, Impl.
3. (~~N· ~ E) v ~S 2, DM
4. (N· ~E) v ~S 3, DN
5. ~S v (N· ~E) 4, Com.
6. (~S v N)· ((~S v ~E) 5, Dist.
7. ~S v N 6, Simpl.
8. S N 7, Impl.
9. ~N ~S 8, Trans.
3) 1. C D
2. C v D / D
3. ~~C v D 2, DN
236
4. ~C D 3, Impl.
5. ~C ~~D 4, DN
6. ~D C 5, Trans.
7. ~D D 1, 6, HS
8. ~ D v D 7, Impli.
9. D v D 8, DN
10. D 9, taut.
All of the above nineteen rules of inference (implication and replacement)
can therefore be summarized as follows:
I- Rules of Implication:
1 Modus Ponens (MP): p q 2. Modus Tollens (MT):
p p q
q ~q
~ p
3. Hypothetical syllogism (HS): p q 4. Disjunctive syllogism (DS):
q r pv q pvq
p r ~p ~q
q, or, p
5. Constructive dilemma (CD): 6. Simplification (Simp.):
(p q)· (r s) p. q p. q
Pvr p, or, q
q v s
7. Conjunction (Conj.) : p 8. Absorption (Abs.): p q
q p (q. p)
p· q
9. Addition (Add.) p
pvq
237
~ (p· q) :: ~p v ~q
~ (p v q) :: ~ p· ~q
12. Commutativity (Com.): 13. Associativity (Assoc.):
. (p v q) :: (q v p) . [p v (q v r)]:: [(p v q)v r]
. (p · q) :: (q · p) . [p· (q· r)] :: [(p· q)· r]
14. Distribution (Dist.): 15. Transposition (Trans.):
. [p v (q· r)] :: [(p v q)· (p v r)] (p q) :: (~q ~p)
. [p· (q v r)] :: [(p· q) v (p· r)]
16. Material Implication (Impl.): 17. Material Equivalence (Equiv.)
(p q) :: (~p v q) . (p≡ q) :: [(p q)· (q p)
. (p≡ q) :: [( p· q) v (~p· ~q)]
18. Exportation (Exp): 19. Tautology (Taut):
[(p· q) r] :: (p (q r)] p:: (p· p)
p:: (p v q)
Exercises:
I. Use the nineteen rules of inference to derive the conclusions of the
following symbolized arguments:
1. 1. (JVK) ~L 2. 1. HVH
2. L / ~J 2. H ≡~J / ~S
5. 1. (D E) (E D) 6. 1. (SVT) (S ~T)
2. (D≡E) ~ (G· ~H) 2. (S ~T) (T K)
3. E· G / G· H 3. SVT / SVK
II. In the following symbolized arguments, derive the line needed to
obtain the conclusion (last line), and supply justification.
238
1. 1. (D· E) F 2. 1. J (M Q)
2. (D F) G / E G 2. J· M / Q
3. (E· D) F ________ 3. (J· M) Q ______
4. ________ 3, EXP 4. ___________ _______
5. E G _________
3. 1. A B 4. 1. K (A F)
2. B C 2. F /~ (K· A)
3. C A 3. (K· A) f ______
4. A ~C/ ~A· ~C 4. _____________ ______
5. ________ 1, 2, HS
6. (A C)· (C A) ______ 5. 1. (MVN) (O· P)
7. _________ 6, Equiv 2. ~O / ~M
8. (A· C) V (~A· ~C) _______ 3. ~OV ~P _______
9. __________ 4, Impl. 4. _______ 3, DM
10. ~ (A· C) _________ 5. ~ (MVN) _______
11. ~A· ~C _________ 6. _______ 5, DM
7. _______ ________
239
A. Conditional Proof (CP)
To prove the validity of the above argument, we can begin by assuming that:
what would be the case if H were true. If we assume H to be true, clearly ~B (its
consequent) also would be true by Modus Ponens. So, if H were true, ~B would
also be true and thus (H· ~B) would be true by conjunction. We have therefore
shown that H (H· ~B), i.e. given the premise true, the antecedent of the
conditional conclusion leads logically to its consequent. Therefore, the
argument is valid. A proof of this kind is called a conditional proof.
In other words, conditional proof is a method for obtaining a line in a proof
sequences (either the conclusion or some intermediate line) that frequently
offers the advantage of being both shorter and simpler to use than the direct
method. So, the basic idea behind conditional proof (CP) is that we can prove a
conditional statement true by assuming that its antecedent is true, and by
showing that the consequent can be derived from this assumption. The
conditional proof is mainly reserved for obtaining lines in proof sequence that
are expressed in the form of conditional statement, and obviously any
argument with a conditional conclusion is an immediate candidate for
conditional proof.
Note that we have simply introduced a temporary assumption for the purpose
of proving that the conditional conclusion follows from the premise. And
generally, the method of conditional proof consists of assuming the antecedent
of the required conditional conclusion on one line, deriving the consequent on
a subsequent line, and then discharging this sequence of lines in a
conditional statement that exactly replicates the one that was supposed to be
obtained.
The formal proof of the previous example looks like this-
1. H ~B /H (H· ~B)
2. H Assumption for conditional proof (ACP)
3. ~B 1, 2, MP
4. (H· ~B) 2, 3, Conj.
240
5. H (H· ~B) 2-4 Conditional Proof (CP)
If we see the above formal conditional proof, the lines 2 through 4 are indented
to indicate their hypothetical character, i.e. to show that they all depend on the
assumption introduced in line 2 via ACP (assumption for conditional proof).
These lines shows that if we assume H (line 2), we can obtain (H· ~B) (line 4). In
the last line the conditional sequence is discharged in the conditional H (H·
~B), which simply reiterates the result of the conditional sequence. Hence, line
5 is not hypothetical and that is why it is written adjacent to the original
margin. Only one assumed premise is used in the above example, but any
number of assumptions can be introduced in to a proof, provided that everyone
is eventually discharged so that the conclusion of the argument depends only
on the given premises. And an assumption need not be the antecedent of the
conclusion. Any assumption may be made, again provided that it is eventually
discharged.
Examples:
1) 1. S (T A)
2. (T· A) L / S (T L)
3. S ACP
4. T A 1, 3, MP
5. T ACP
6. A 4, 5, MP
7. T· A 5, 6, Conj.
8. L 2, 7, MP
9. T L 5-8, CP (Conditional Proof)
241
10. S (T L) 3-9 CP
2) 1. (B v A) C
2. A ~C
3. ~A B / B≡C
4. B ACP
5. B v A 4, Add
6. C 1, 5, MP
7. B C 4-6, CP
8. C ACP
9. ~~C 8, DN
10. ~A 2, 9, MT
11. B 3, 10, MP
12. C B 8-11, CP
13. (B C) · (C B) 7, 12, Conj
14. (B≡C) 13, Equiv
One important rule governing conditional proof is that after a conditional proof
sequence has been discharged, no line in the sequence may be used as a
reason for a subsequent line in the proof. Once the conditional sequence is
discharged, it is sealed off from the remaining part of the proof. The other
important point to be considered is that, every conditional proof must be
discharged. It is improper to end a proof on an indented line.
B. Indirect Proof
Indirect proof is a method similar to conditional proof that can be used on any
argument to derive either the conclusion or some intermediate line leading to
the conclusion. It consists of assuming the negation of the statement form to
be obtained, using this assumption to derive a contradiction, finally concluding
that the original assumption is false. This last step therefore, establishes the
truth of the statement form to be obtained.
242
Example:
1) 1. ~A (B· ~C)
2. B ~C A
3. ~A AIP (assumption for indirect proof)
4. B· ~C 1, 3, MP
5. B 4, Simp
6. C 2, 5, MP
7. ~C 4, Simp
8. C· ~C 6, 7, Conj
9. A 3-8, IP
The indirect proof sequence (lines 3-8) begins by assuming the negation of the
conclusion. This assumption, which is tagged AIP (assumption for indirect
proof) leads to a contradiction in line 8. Since any assumption that leads a
contradiction is false, the indirect sequence is discharged (line 9) by asserting
the negation of the assumption made in line 3, this line is then tagged with the
designation IP (indirect proof) together with the numerals indicating the scope
of the indirect sequence from which it is obtained. And, when an indirect proof
sequence is discharged, no line in the sequence may be used as a justification
for a subsequent line in the proof.
Exercises
I. Construct proofs to show that the following symbolic valid arguments
by using the conditional proof (CP).
1. C /A (B C) 4. 1. P Q
2. BC/ (A B) (A C) 2. P R / P (Q· R)
3. 1. ~L L 5. 1. ~P v (Q· ~R)/ (R v P) ~P
2. ~L≡ N / ~N
243
II. Construct proofs to show that the following symbolic valid arguments
by using the indirect proof (IP).
1. 1. ~E · ~F / E ≡ F
2. 1. P Q
2. ~P J
3. ~Q ~J/ Q
3. 1. ~A
2. (A v B) ≡ C
3. ~B / ~ (C · D)
4. 1. A B
2. C D
3. (B v D) E
4. ~E / ~ (A v C)
5. 1. (A v B) (C ~D)
2. (D v E) (A · C) /~D
Chapter Summary
Propositional logic is a logic that deals with relationships holding between
sentences, atomic or compound, without dealing with the interior structure of
atomic sentences. So, the fundamental elements or units in propositional logic
are all sentences, not terms. Statements may contain any other sentences as
components. If they does contain, they are said to be compound propositions, if
not, simple/atomic sentences. Compound propositions are formed by
connecting atomic sentences by using logical operators like tilde, wedge, dot,
horseshoe and triple bar that can be used to translate expressions like not,
and, but, or,
that appears in symbolically written compounds like negations,
conjunctions, disjunctions, conditionals and bi-conditionals.
244
The truth value of the five compound propositions can easily be determined by
using the truth value of their components and the sentence connectives, and
such statements are said to be truth functional compound sentences. And the
truth functional meaning of the logical operators is defined in terms of truth
tables.
Truth tables can be used to classify compound statements as tautologous, self-
contradictory or contingent, and also to compare one with another. Not only
the truth value of complex compound propositions is determined by using the
truth table analysis, but also truth tables, direct or indirect, may be used to
test arguments for validity. Besides, once we have symbolized and determine
the form of an argument we can determine its validity through mere inspection
of its form.
Modus tollens, modus ponens, disjunctive syllogism, pure hypothetical
syllogism, destructive and constructive dilemmas are some of the valid
argument forms. Where as affirming the consequent and denying antecedent
are invalid argument forms. When the truth table method fails to determine the
validity of complex arguments of propositional type one may use the natural
deduction method. This method works by applying one or more rules of
inference to the premises and deriving the conclusion as the last line in a
sequence of lines. There are nineteen rules of inferences among which nine of
them are implicational rules of inference while the other ten are axioms of
replacement. So, we may test a propositional type argument by using the
combination of these logical rules of inference. Conditional and indirect proofs
are other methods of proving valid arguments with conclusions that are either
difficult or impossible to derive by the conventional method.
245
Chapter Six
Introduction
246
reasoning, hypothetical reasoning and statistical reasoning and finally the
basic ideals of deductive reasoning are the main topics of this chapter.
Objectives:
247
In Law, the primary method of reasoning is inductive. First of all, facts should
be determined in trial court through causal argument, probability and other
forms of inductive reasoning. Thus, in courts, different agents should
distinctively treat the task of determining facts and the application of law to
those facts. Moreover, disputes in courts are usually not about laws, rather
about matters of fact, which there is a sharp disagreement. It is only after the
facts are determined can the legal rules be applied to these facts by the court.
Thus, determining the facts, putting them together and analyzing them are the
principal tasks when any case is tried in courts and such tasks are chiefly
characterized by inductive reasoning.
Just like any other discipline, Law has its own distinct methods of inquiry so
as to solve problems around. For that matter, a problem is first identified,
preliminary hypotheses are proposed, facts are collected, an explanatory
hypothesis is formulated, consequences of the hypothesis to those facts
inferred and tasted and results are then applied in practice. In fact, in passing
through such inductive investigations, no one can get all evidence or achieve
absolute truth or certainty, however, One can achieve reliable solutions
through careful reasoning to those legal problems faced the society. Though
ways in which evidence is collected and applied are subject to special
restrictions of a system of justice for fairness and truth, the methods of enquiry
is not essentially different in law.
The jury or the judge, who are entitled with determining facts, usually
confronts several inconsistent accounts and explanations of a given set of
events. A mass of testimony and documents will be submitted. Attorneys will
present conflicting hypothesis about the consequence of evidence in opening
and closing argument. And, the task of selecting from those alternative
hypotheses offered by the parties so as to best explain the mass of evidence
and testimony is given to the triers of fact. However, in a courtroom, the above
248
inductive process is accompanied by restrictions upon what evidence may be
considered. According to the principles of the law of evidence, limiting the
submission of evidence by the disputing parties and carefully applying
principles designed so as to insure that the competing hypothesis may be
weighed fairly is the primary task of the judge. This is because of the fact that
a jury may be misled or confused by testimony or other evidence that is not
relevant to the issue at hand or evidence that is not fair to one of the parties
because of different reasons.
In any case rules of evidence are designed to protect the integrity of legal
process. Some exclusion based on the need to avoid a failure by the jury to
evaluate evidence wisely others rest on human dignity and to deter police
misconduct. These rules may hinder the pursuit of truth so that there is
controversy on them. Establishing facts is the principal objective of a court.
Fairness in legal process is the highest value and its principles set limits within
which inductive process can proceed.
249
Analogical reasoning is the most fundamental and most common of all rational
processes. And, analogical arguments are important so as to pass decisions
and judgments on disputed factual questions. Such arguments are built upon
premises in which one or more cases are shown like another case in question.
In one or more respect, the conclusion drawn is that the questionable case is
like others in some additional important respect. In any case, analogical
reasoning is the reasoning process, which is depending on a comparison of
instances. If the instances are sufficiently similar, the decision reached in the
end is usually a good one and the contrary will result in a bad decision. And, a
common argument from analogy has usually the following structure:
250
If the above and other related requirements are fulfilled, we can achieve strong
analogical argument and the contrary will result in weak argument from
analogy. And, though the application is different, the above principles are
essential so as to evaluate the strength of legal arguments. More particularly,
analogical arguments are usually common in legal controversies over who
caused what.
251
Causal reasoning or connections play an important role in our effort so as to
control our day-to-day life.
When we say that X causes Y in the sense of sufficient condition, it means
X is sufficient to cause Y; however, there are other factors other than X ,
which can really cause Y. For example, when we say that electrocution is the
cause of death, we mean cause in the sense of sufficient condition. Though
electrocution is sufficient to produce death, there are also other methods,
which are equally effective, such as shooting, poisoning and others.
On the other hand, when we say that X causes Y in the sense of necessary
condition, it means without X, y cannot occur, however; X alone is not
sufficient. For example, when we say the presence of clouds is a cause of rain,
we mean Cause in the sense of necessary condition. Without clouds, rain
cannot occur; however, clouds alone are not sufficient that certain
combinations of pressure and temperature are also required.
There are also cases where cause can be understood in the sense of
necessary and sufficient condition at a time. When we say that X causes
Y; it means that there is nothing more and nothing less than X so as to cause
Y. For example, for an increase in electric current through a resistive circuit,
nothing more and nothing less is required than an increase in voltage.
Therefore, the word Cause can have one of the following three different
meanings:
1. Sufficient condition,
2. Necessary condition,
3. Sufficient and necessary conditions.
252
And, statements expressed in terms of sufficient and necessary conditions can
be translated as conditional statements:
X is a sufficient condition for Y if X occurs then Y must occur.
X is a necessary condition for Y if Y occurs, then X must occur.
In his system of logic, John Stuart Mill designed different methods of induction
so as to identify causal connections between events. These are; the method of
agreement, the method of difference, the joint method of agreement and
the method of concomitant variation. These methods function implicitly in
many of inductive inferences we make in our day-to-day experiences. In fact,
Mill did not distinguish the various senses of Cause to which the methods
pertain. When Cause in the sense of necessary condition is distinguished from
Cause in the sense of sufficient condition, the method of agreement breaks
dawn in to two methods: direct method of agreement and inverse method of
agreement. And combining these two methods will result in a third method, the
double method of agreement. In any case, the next sections will tell us some
central conceptual frame works of Mills methods of induction.
253
Direct Method of Agreement
Example:-
Five individuals become ill with hepatitis after eating Lunch at the same
restaurant. Inspectors from health department understood that while all
these people had eaten different foods, they had all had tomatoes in their
salad. Furthermore, this was the only food that all five had eaten. The
inspectors concluded that the disease had been transmitted by the
tomatoes.
The above example shows how a cause is presented as the sense of a necessary
condition. And, the conclusion follows only probably because of two reasons.
First of all, it is quite possible that some important condition was overlooked.
For example, the eating utensils were contaminated; the hepatitis might have
been transmitted through them and not through the tomatoes. Secondly, if
more than one of the foods had been contaminated, the disease might have
been through a combination of foods so that the tomatoes might not have been
involved. Thus, the strength of the above argument depends on the non-
occurrence of these two possibilities.
254
restaurant. And, it does not say that any one who had eaten the tomatoes
would contract the disease.
Example:-
With regard to the conclusion of this argument, it asserts that profit sharing is
a sufficient condition for efficiency i.e. if they (the employee) began to
participate in profit sharing; they would be expected to become efficient.
255
In any case, the spirit of the conclusion in the above example of inverse method
is to mean that engineers should give per amount consideration to the factor of
profit sharing if they want to increase the efficiency of the five workers. But, the
conclusion does not state that profit sharing is the only thing that might work.
Profit sharing is identified as a sufficient, not a necessary condition. Thus,
other solutions such as higher pay or more frequent coffee breaks, may
accomplish the same purpose.
The double method of agreement is resulted form the combination of the direct
method of agreement with the inverse method. And, this is a method, which is
mainly useful to identify causes, which are both necessary and sufficient
conditions and researchers usually use this method to determine the
effectiveness of drugs on groups of people and animals.
Example:-
The conclusion is warranted that the serum is the cause of the phenomenon in
the sense of necessary and sufficient conditions. And, this conclusion should
be interpreted as applying directly to the natives on the island and to hold for
256
others only through a subsequent indicative generalization. While it is highly
probable that the serum cured the natives on the island, it is somewhat less
probable that it would cure anyone having that disease. But, even as restricted
to the natives, the conclusion is at best probable.
Method of Difference
Example:-
The conclusion of the above argument rests upon the supposition that the only
relevant differentiating factor between the two mice is drug. As with the
previous methods, the procedure depends upon the elimination of the other
factors as possible sufficient conditions. The method of difference differs from
the inverse method of agreement, which also identifies sufficient conditions, in
that the conclusion yielded by the method of difference is less general. In this
method, the conclusion applies directly only to the specific occurrence in which
the phenomenon is present, where as in the inverse method of agreement it
257
applies to all occurrences listed. However, the conclusion yielded by the
method of difference may often be extended to cover other occurrences as well.
The joint method results form combining the method of difference with the
direct method of agreement. Because the method of difference identifies a
sufficient condition that is present in one specific occurrence and that direct
method of agreement identifies a necessary condition, the joint method can be
used to identify a sufficient and necessary condition, which is present in one
specific occurrence.
The joint method differs from the method of difference in that it is sometimes
simpler to apply. The method of difference requires strict controls so as to
insure that the two occurrences are identical in every important respect except
one. In the joint method this need for strict control is relaxed in favor of
additional occurrences that identify the sufficient condition as also being
necessary. The conclusion yielded by the joint method is only probable because
a relevant condition may have been overlooked.
Method of Residues
258
This method and the one, which follows, are used to identify a causal
connection between two conditions without regard for the specific kind of
connection. Both methods may be used to identify conditions which are
sufficient, necessary or both sufficient and necessary. The method of residues
consists of separating from a group of causal connected conditions and
phenomena those stands of caused connection that are already known, leaving
the required causal connection as the residue. The method of residue may be
presented as:
When the facts that A causes a and B causes b are subtracted from the
compound causal connection, the fact that C causes c remains as a residue.
And some procedures, which appear to utilize the method of residues, come
closer to being deductive than inductive. To distinguish deductive from
inductive uses of the method of residues, one must take into account such
factors as the role of mathematics. If the conclusion depends on a purely
mathematical computation, the argument is probably best characterized as
deductive. If not, then it is probably inductive.
259
decrease respectively. The formulation of this method may be diagramed as
follows:
A B C is Coincident with a b c.
A B + c are coincident with ab + c.
AB C is coincident with ab c.
Therefore, B is causally connected to b.
The second formulation of the method matches increases with decreases and
decreases with increases. It may be diagramed as follows:
A B C is coincident with a b c.
Ab + C are coincident with ab + c.
AB C is coincident with ab c.
Therefore, B is usually connected to b.
In both cases the conclusion asserts that either B causes b, b causes B or
B and b have a common cause. If B happens before b, then, of course, the
second alternative is eliminated, and if b happens before B , then the first
alternative is eliminated.
Relations of cause and effect play central roles in many legal controversies. To
be liable for anothers injury, one must have caused it. To be convicted of a
crime one must have acted in a way that caused certain unlawful outcomes. It
260
is not about causal laws that we are dealing with, rather particular causal
connections.
Legal responsibility may be traced not only to proximate acts in the causal
chain, but also to proximate omissions, failures to acts in accord with one s
legal duties. Acts of omission, like acts of commission, cannot ground
responsibility for injury, however, when the immediate cause of the damage,
even if preventable, could not reasonably have been anticipated.
The distinction between the sufficient and the necessary condition for an
outcome may also enter critically on determining legal responsibility. Even if a
persons act or omission might have been the sufficient cause of injury to
another, it will not result in legal responsibility if the jury clearly would have
resulted form the actual prevailing conditions anyway.
261
When a cause is necessary for an event it is the Sinequa non of that event-a
Latin expression meaning that without which not . The causal rule often
applied in Law is called Sinequa non rule-that a defendants conduct is not
the cause of an event if the event would have occurred without it. Plainly it is
necessary conditions that are of primary interest in legal arguments. Yet not all
necessary conditions yield legal responsibility either. Some acts may be no
more than part of the normally prevailing circumstances necessary for the
injurious outcome but not in them wrongful as when an injury results from the
presence of one who had normal duty to be where he was. And, in some
circumstances, two acts occur in bringing about an event in such a way that
either one of them, operating alone, would have been sufficient to cause the
harmful result; viewed as cause, neither may be necessary, and yet both may
be culpable.
It is common to all forms of inductive reasoning that they proceed from the
known to the unknown. However, the available evidence usually does not
immediately suggests what lies ahead, beyond, beneath the surface. It is not
sufficient to provide the answer. And, to fill this gap, our creative imagination
supplements the evidence by suggesting possible approaches to the problem.
These possible approaches are hypotheses; the reasoning process used to
produce them is hypothetical reasoning, which is usually practical in our day-
to-day experience. In any case, our day to day practical experiences and cases
262
witness that evidence is not usually sufficient to indicate exactly what is going
on, what approach to take or what lies behind the scene, so hypotheses are
constructed to make sense of the situation and to direct future action.
The problem for the scientists is that the underlying structure of nature is
hidden from view, and the data of observation by themselves are not sufficient
so as to reveal this structure. In response, the scientist constructs hypotheses
that provide ways of conceptualizing the data and that suggest specific
questions to be answered through the design of controlled experiments.
The hypothetical method involves four basic stages in its application in any
discipline (philosophy or science
) or ordinary life:
1. Occurrence of a problem,
2. Formulating hypothesis,
3. Drawing implications form the hypothesis, and
4. Testing the implications.
263
And, a detective in solving crime may illustrate these four stages through the
procedure used.
Example:
Suppose that a woman has been murdered in her apartment. Initially everything
in the apartment is a potential Clue: the empty wine glasses in the sink, the
small container of Cocaine on the coffee table, the automobile key found on the
carpet, the strand of blonde hair removed from the couch, and so on. To
introduce an element of rationality into the situation, the detective formulates a
hypothesis-let us say the hypothesis that the key found on the carpet fits the
murderers car.
264
3. The proof of the hypotheses-concluding that a hypothesis is proven true
by the discovery that one of its implications is true amounts to the
fallacy of affirming the consequent which is invalid as:
There are two different kinds of hypotheses: empirical and theoretical. Empirical
hypotheses concern the production of something or the occurrence of some
event that can be observed. For example, when radium had finally been
obtained as a pure metal, it was something that could be seen directly.
Theoretical hypotheses, on the other hand, concern how something should be
conceptualized. When Galileo observed the water level rising in a suction
pump, for example, he conceived it as being sucked up by the vacuum. Thus,
hypotheses involved in the discovery of Neptune and radium are sometimes
called empirical hypotheses, and those relating to atmospheric pressure and
spontaneous generation are sometimes called theoretical hypotheses.
The distinction between empirical and theoretical hypotheses lies on the fact
that the formers are for all practical purposes proved when the thing or event
hypothesized is observed where as the later are never proved but are only
confirmed to varying degrees. And, the problem with the distinction between
empirical and theoretical hypotheses is that observation is theory-dependent.
Therefore, while the distinction between theoretical and empirical hypotheses is
useful, it is more a distinction in degree than in kind.
265
a) A hypothesis is adequate to the extent that it fits the facts that are
intended to unify or explain.
d) A hypothesis is fruitful to the extent that it suggests new ideas for future
analysis and confirmation.
There are six prominent areas of statistical arguments where ambiguity and
deception are serious problems; in sampling, the meaning of average, the
importance of dispersion in a sample, the use of graphs and pictograms, and
the use of percentages for the purpose of comparison. Thus, one should be
acquainted with these topics and some misuses, which occur around first so
that s/he can determine whether a conclusion follows probably from a set of
statistical promises.
266
Much of the statistical evidence presented in support of inductively drawn
conclusion is gathered from analyzing samples. When a sample is found to
posses a certain character, it is argued that the group as a whole possesses
that characteristic. The problem that arises with the use of samples has to do
with whether the sample is representative of the population. And, samples,
which are not representatives, are said to be biased. Depending on what the
population consists of, different consideration enters into determining whether
a sample is biased. These considerations include (1) Whether the samples
are randomly selected, (2) the size of the sample, and (3), psychological
factors. In statistics the word average is used in three different senses:
mean, median and mode. The mean value of a set of data is the arithmetical
average. It is computed by dividing the sum of the individual values by the
number of data in the set. The median of a set of data is the middle point when
the data are arranged in ascending order. It is the point at which there are an
equal number of data above and below. Finally the mode is the value that
occurs with the greatest frequency.
267
6.1.6 Probability in Legal Arguments
In most cases in civil law the plaintiff and the defendant come to the court with
an equal presumption of correctness. Thus, in deciding matters of fact that
can be determined only with probability the jury needs to decide which of the
contesting parties claims is more likely to be true, that is, which is supported
by a preponderance of evidence.
268
In suits for damages under civil law the burden of proof is generally supposed
to rest upon the complaining party, the party seeking redress for injury. If the
jury finds that the evidence for the two sides is evenly balanced, therefore, the
plaintiffs burden must be sustained this burden, and the defendant will
normally win. But the evidence on either side need not be overwhelming;
plaintiffs burden must be sustained by more than speculation or conjecture-
but it will be enough if the jury finds that the plaintiff introduced evidence from
which reasonable persons may conclude that it is probable that the injury
complained of was caused by the defendant that it was not.
At the other extreme, in criminal law the standard of proof is very high. The
mistaken conviction of the innocent is an injustice so terrible that every effort
must be made to avoid it. Therefore, an accused must be presumed innocent
until conclusively proved guilty. Conviction of crime requires that the accused
be found guilty beyond reasonable doubt. This means that the probability
of guilt is so great that no reasonable person, after considering all the evidence,
would believe him innocent.
Determining the fact is fundamental in resolving a legal dispute. But, after the
facts have been established, the appropriate rule of law must be applied to
them by the court, and then some practical conclusion drawn. The legal rule,
carefully formulated, is the premise of a deductive argument. The statement of
the facts exhibiting their relation to that rule is a second premise. The
outcome of applying the rule to the facts will lead to judgment. If the defendant
269
in a civil suit is held liable, an appropriate remedy for the plaintiff (the person
injured) must then be awarded; if the accused is found guilty in a criminal trial
an appropriate punishment must then be imposed. The overall structure of the
central argument is clear in either case: it is a deductive argument of the court
as conclusion.
This deductive process often encounters further efforts, however. At trial, the
facts are established and the law applied to them. But there are many possible
grounds upon which the decision of the trial court may be appealed to higher
courts. The facts themselves, of which an account is given in the record of trial,
will not normally be the issue on appeal; appeals will usually concern the way
in which those facts had been found, or the rules that ought to be applied to
those facts. But deciding upon the rule that is correctly applied to a given set of
facts can be exceedingly difficult and controversial.
The appeal to a higher court is normally based on the claim that some rule has
been applied improperly, or that the wrong rule has been applied altogether.
The rule in question may be procedural or substantive.
270
be just a legal system requires careful procedural distinctions and elaborate
procedural rules.
Most often it is the substance of the rule applied, rather than procedure that is
the issue before an appellate court. Not every possible factual circumstance
could be anticipated when the rules were written, and depending upon which
circumstances are emphasized, different rules may appear applicable. Or
different authorities (Courts or legislators) may have promulgated different and
conflicting rules that could be claimed to govern the matter at hand. And even
if the applicable rule is agreed upon, its language may be vague, some terms
within it maybe board, or ambiguous, commonly used in different ways.
Exercises:
3. What are the natures of causal arguments and their relationships with legal
reasoning?
271
4. What are the natures of analogical reasoning and their relationships with
legal arguments?
Chapter Summary:
This chapter has formulated on inductive and deductive reasoning and their
applications to the discipline of law through giving considerable emphasis to
the former (Inductive reasoning). And, more particularly, inductive reasoning is
the reasoning process by which our every day life is accompanied. And, the
chapter has considered the following topical areas with their details, method of
enquiry in law, analogy and its application to law, causality and Mill s methods,
probability, statistical reasoning, hypothetical reasoning and finally the
concept of deductive reasoning and its application to the discipline of law.
Law has its own distinct methods of inquiry so as to solve the problems of the
society. Thus, a legal problem is first identified, hypotheses are proposed, facts
are collected, consequences of hypothesis are tested and results are then
applied in practice. In passing through these inductive investigations, no one
can achieve absolute certainty. In any case, farther concepts have been
entertained in the topic particularly in areas of law of evidence.
And there are three meanings of the concept Cause; necessary condition,
sufficient condition and finally necessary and sufficient condition. And, Mill s
272
methods are inductive techniques which allow us to identify causal
connections. Causality has its own considerable place in legal reasoning as it
has been underlined in the respective topic.
273