HSC Fyjc Logic Textbook
HSC Fyjc Logic Textbook
Chapter IV A
Fundamental Duties
ARTICLE 51A
Fundamental Duties- It shall be the duty of every citizen of India-
(a) to abide by the Constitution and respect its ideals and institutions,
the National Flag and the National Anthem;
(b) to cherish and follow the noble ideals which inspired our national
struggle for freedom;
(c) to uphold and protect the sovereignty, unity and integrity of India;
(d) to defend the country and render national service when called upon
to do so;
(e) to promote harmony and the spirit of common brotherhood amongst
all the people of India transcending religious, linguistic and regional
or sectional diversities, to renounce practices derogatory to the
dignity of women;
(f) to value and preserve the rich heritage of our composite culture;
(g) to protect and improve the natural environment including forests,
lakes, rivers and wild life and to have compassion for living
creatures;
(h) to develop the scientific temper, humanism and the spirit of inquiry
and reform;
(i) to safeguard public property and to abjure violence;
(j) to strive towards excellence in all spheres of individual and
collective activity so that the nation constantly rises to higher levels
of endeavour and achievement;
(k) who is a parent or guardian to provide opportunities for education
to his child or, as the case may be, ward between the age of six
and fourteen years.
The coordination committee formed by GR No Abhyas - 2116 (Pra. Kra. 43/16) SD-4
Dated 25.4.2016 has given approval to prescrie this textbook in its meeting held on
20.06.2019 and it has been decided to implement it from the educational year 2019-20.
LOGIC
STANDARD XI
2019
70 GSM Creamwove
Publisher
Print Order Vivek Uttam Gosavi
Controller
Printer Maharashtra State Textbook Bureau,
Prabhadevi, Mumbai - 25
NATIONAL ANTHEM
PREFACE
We are happy to introduce ‘Logic’ textbook for standard XI. As per the
revised syllabus, two new topics are added in this textbook. These are : Origin and
development of logic and Application of logic. Accordingly students will get brief
information about historical development of Western as well as Indian logic. It will
be interesting for students to know how logic has developed globally. Information
about origin and development of Indian Logic will facilitate in enhancing pride in
students mind about Indian contribution to the subject.
Logic is a fundamental subject and basis of all the branches of knowledge. The
chapter, Application of logic illustrates the importance of logic in day to day life
as well as in the important fields like - Law, Science and Computer science. This
chapter will enable students to understand the importance of logical thinking while
taking decisions in personal as well as professional life. They will also realize how
taking rational decisions at right time can lead to success and happiness in life.
Importance of logic can be highlighted by informing students, how study of logic
can help them to appear for various competitive exams, which test the reasoning
ability of students.
Logic as an independent subject is introduced as standard XI. At this stage
students begin to think independently and express their thoughts and opinions. Logic
being the science of reasoning, can help students in consistent and logical thinking.
As teachers of logic it is our responsibility to train students to think rationally and
reason correctly.
As Standard XI is the first year of stydying logic, it is necessary for teachers to
take in to account students age and level of understanding. Logic studies abstract
concepts, so the important concepts in logic need to be explained step by step, in
easy to understand language and by giving examples and various activities in such
a way that, students can relate the subject to their experiences in life. Keeping this
in mind the textbook is made activity based. Teachers are expected to make use
of various examples, teaching aids and activities like debates, logical puzzles and
giving examples of good arguments and fallacies from everyday experience. In this
way teaching and learning can become interesting and enjoyable experience for
both students and teachers.
Competency Statements
Competency
• To acquire knowledge about the origin and development of logic.
• To understand the importance of logical thinking.
• To acquire knowledge about the fundamental concepts and principles of logic.
• To understand the types of argument and develop the ability to recognize the types of argument.
• To develop the ability of rational thinking.
• To understand the difference between sentence and proposition.
• To study the characteristics of propositions.
• To understand the types of propositions and to develop the ability to symbolize the propositions.
• To study the basic truth-tables.
• To study the method of truth-table.
• To develop the ability to apply the method of truth-table to decide whether a statement form is
tautologous or not and to decide the validity of arguments.
• To study the method of deductive proof
• To develop the ability to prove the validity of deductive argument. by the method of direct
deductive proof.
• To understand the need and importance of induction.
• To acquire knowledge about the types of inductive arguments and their use in our day to day
life and science.
• To develop the ability of recognizing the types of inductive arguments.
• To enhance argumentation skills.
• To understand the different types of fallacies.
• To devleop the ability of recognizing the types of fallacies.
• To develop the ability to reason correctly and to detect errors in others argument.
• To understand the application of logic in day to day life, in the field of law, science and Computer
science.
INDEX
1. Nature of Logic 1
2. Nature of Proposition 12
3. Decision Procedure 31
6. Fallacies 72
7. Application of Logic 84
Chapter 1 Nature of Logic
.... bad reasoning as well as good reasoning is possible, and this fact is the foundation of the practi-
cal side of logic. ---- CHARLES SANDERS PEIRCE
1
At the beginning of a revolutionary period to the mathematics. Development in mathematics
logic developed into a formal discipline. Logic along with the contribution of thinkers like
is therefore classified as a formal science. Leibniz, Francis Bacon, Augustus De Morgan,
The development of modern “symbolic” and Bertrand Russell, George Boole, Peirce, Venn,
“mathematical” logic during this period is the Frege, Wittgenstein, Godel and Alfred Tarski
most significant development in the history of has influenced the evolution of traditional logic
logic. As a formal science logic is closely related in to today’s modern logic.
1.2 DEFINITION OF LOGIC The word logic is derived from the Greek
word ‘Logos’. The word ‘logos’ means ‘thought’.
We all can solve puzzles, give proofs So etymologically logic is often defined as,
and deduce consequences as illustrated above. ‘The science of the laws of thought.’ There are
This is possible because we are blessed with three types of sciences, 1) Natural sciences like
the ability to reason. This is the unique ability physics, chemistry etc. 2) Social sciences like
which differentiates man from other animals. history, geography, sociology etc. and 3) Formal
This ability of ours is revealed when we infer, science like mathematics. Logic is a formal
argue, debate or try to give proofs. We are born science. The etymological definition of logic,
rational and may not require any formal training however, is not accurate, firstly because it is
to reason. However our reasoning is not always too wide and may lead to misunderstanding that
good / correct / valid. Sometimes our reasoning logicians study the process of thinking, which
is good and sometimes it is bad. It is necessary is not correct. Thinking process is studied in
that we always reason correctly and this is where psychology. Secondly the word ‘thought’ refers
the role of logic is important because logic trains to many activities like remembering, imagining,
us to reason correctly. day dreaming, reasoning etc. and logic is
Reason has applications in all spheres of concerned with only one type of thinking i.e.
human affairs. The study of logic, therefore, reasoning.
has applications in many important fields Another very common and easy to
like Mathematics, Philosophy, Science, Law, understand definition of logic is – ‘Logic is the
Computer science, Education and also in our science of reasoning.’ But this definition also
day to day life. Training in logic thus can help is too wide. This definition restricts the study
one in all the endeavors of life.
2
of logic only to reasoning but logicians are not All artists are creative.
interested in studying the process of reasoning Sunita is an artist.
as is implied by this definition too. Logicians in Therefore, Sunita is creative.
fact are concerned with the correctness of the
completed process of reasoning. The propositions, ‘All artists are creative’
and ‘Sunita is an artist’ are premises and the
The aim of logic is to train people to proposition ‘Therefore, Sunita is creative’ is the
reason correctly and therefore the main task of conclusion which is established on the basis of
logic is to distinguish between good reasoning evidence in the premises.
and bad reasoning. This practical aspect of logic
is accurately stated in I.M. Copi’s definition of Thus premise (premises) and conclusion
logic. He defines logic as – ‘The study of the are the two basic constituent elements of an
methods and principles used to distinguish argument. In every argument the conclusion
good (correct) from bad (incorrect) is derived from the premises and an attempt is
reasoning.’ This definition is widely accepted made to show that the conclusion is a logical
by logicians. consequence of the premises.
3
(2) All doctors are rich. states that a narrower class (men and doctors)
Sunil is a doctor. is included in a wider class (wise and rich). The
Therefore, Sunil is rich. second premise of both the arguments states that
an individual (Rakesh and Sunil) is a member
The content or the subject matter of the of the narrower class. In the conclusion of both
above given arguments is different. The first the argument it is inferred that the individual
argument is about men, wise and Rakesh. is, therefore, a member of the wider class. The
The second is about doctors, rich and Sunil. following diagram clearly reveals how the form
However, the form of both the arguments is of both the arguments is same.
same. The first premise of both the arguments
Argument – 1 Argument – 2
Wise Rich
Men Doctors
Wise Rich
Rakesh Sunil
4
4) True / False and Valid / Invalid An arguemnt consists of propositions
/ statements. Proposition is either true or
True / False and Valid / Invalid are false. The terms valid / invalid are not used
important terms in logic. The terms valid / invalid for propositions in logic. A proposition is
are used for arguments in logic. An argument considered to be true if whatever is stated in the
is either valid or invalid and never true or proposition agrees with actual facts, if not it is
false. Validity of an argument depends upon false. For example, ‘Washington is an American
the evidence in the premises for the conclusion. city’ is a true proposition. And ‘London is an
If the conclusion of an argument necessarily Indian city’ is a false proposition.
follows from the evidence in the premises then
the argument is valid otherwise it is invalid.
Arguments are classified into two types Another important feature of a deductive
1) Deductive arguments 2) Inductive arguments. argument is that, its conclusion is implicit in the
This classification of argumments into deductive premises i.e. the conclusion does not go beyond
and inductive is based on the nature of relationship the evidence in the premises. This means
between premises and conclusion. Premises of we don’t arrive at any new information. By
deductive arguments claim to provide sufficient deductive argument we can know what is implied
evidence for the conclusion, whereas premises by the premises. Deductive arguments do not
of inductive arguments provide some evidence give us any new information. For this inductive
for the conclusion. arguments are useful. Thus, the certainty of
deductive arguments comes at a cost.
Deductive Argument / Inference – Every
argument attempts to prove the conclusion. The In an invalid deductive argument, however,
evidence needed to establish the conclusion is the claim that premises provide sufficient
given in the premises. The evidence given in the evidence is not justified, therefore, the relation
premises is not always sufficient. A deductive of implication does not hold between its premise
argument claims to provide conclusive and conclusion. Even when the premises are true
grounds i.e. sufficient evidence for its the conclusion may be false. For example, let us
conclusion. If the claim that premises provide consider the following arguments.
sufficient evidence is justified, the deductive
argument is valid, if not it is invalid. (1) If Amit passes S.S.C. with good marks, he
will get admission in college.
In a valid deductive argument where the Amit passed S.S.C. with good marks.
evidence is sufficient the relation between the Therefore, he well get admission in
premises and the conclusion is of implication. college.
Premises imply the conclusion means, if
premises are true the conclusion is also true, it is (2) Meena will either go to college or study
impossible for the conclusion to be false. Thus at home.
the conclusion of a valid deductive argument is Meena did not go to college.
always certain. Therefore, Meena is studying at home.
5
(3) If Anita gets the prize then she will become The form of all the above given deductive
famous. arguments is as follows :
Anita did not get the prize. All X is Y.
Therefore, Anita will not become famous. All Y is Z.
Therefore, All X is Z.
(4) If it rains heavyly, the college will
declare holiday. It is obvious that the form is valid and
College has declared a holiday. therefore all the arguments being its substitution
Therefore, it is raining heavily. instances are also valid. It is easy to accept that
the first two arguments are valid because the
All these arguments are deductive premises and conclusions of these arguments
arguments as the conclusions of all the arguments are all true and conclusion necessarily follows
don’t go beyond the evidence in the premises. from the premises. But one may find it difficult
The first two arguments are valid as premises to accept that, the third and fourth argument is
provide sufficient evidence. The premises imply valid as premises and conclusion of both the
the conclusion. If premise are true, conclusion arguments are false. However they are also valid.
cannot be false. The last two arguments, though Validity of deductive argument is conditional.
deductive, are not valid because the claim that In case of a valid deductive argument if
premises provide sufficient evidence is not premises are true the conclusion must be
justified. Even when premises are true, the true. So if premises of the last two arguments
conclusion may be false. So there is no relation of are assumed as true then the conclusions of
implication, the conclusion does not necessarily both the arguments necessarily follow from the
follow from the premises. premises and therefore both the arguments are
The deductive arguments are formally valid. If conclusion necessarily follows from the
valid. A formally valid argument is one whose premises then the deductive argument is valid.
validity is completely determined by its form. Premises and conclusion of valid deductive
In case of deductive arguments the content of argument may or may not be true. When the
its premises and conclusion does not affect its deductive argument is valid and its premises
validity. There is no need to judge the content and conclusion are true, such an argument is
of the premises and conclusion, also there is no called sound argument.
need to find out whether they are true or false to As deductive arguments are formally
determine the validity. One only needs to check valid, the validity of deductive arguments can
the form of the argument. If the form is valid the be determined or proved by using the rules and
argument is also valid. For example – methods developed by logicians.
(1) All men are animals. Inductive Argument / inference ---
All animals are mortals. Inductive argument is an argument which
Therefore, all men are mortals. provides some evidence for the conclusion.
(2) All crows are birds. The conclusion of an inductive argument goes
All birds have wings. beyond the evidence in the premises. There is a
Therefore, all crows have wings. guess, prediction or something new is asserted in
the conclusion for which the evidence given in
(3) All singers are actors. the premises is not sufficient. As the evidence in
All actors are leaders. the premises is not sufficient, the premises of an
Therefore, all singers are leaders. inductive argument don’t imply the conclusion.
(4) All cats are rats. This means even when the premises are true the
All rats are lazy. conclusion may be false. The conclusion of an
Therefore, all cats are lazy. inductive argument is always probable. Whether
6
the argument is good (valid) or bad (invalid), the the form of the argument, but is decided by its
possibility of its conclusion being false always content. Inductive arguments are materially
remains. valid. A materially valid inference is one
whose validity is completely determined by its
Technically the terms ‘valid’ and ‘invalid’ content. To decide whether the given inductive
cannot be used for inductive arguments. Only argument is good or bad, one has to consider
deductive arguments are either valid or invalid. the content / the subject matter of the argument.
Inductive arguments can be judged as better or The form of the first and second argument is the
worse. More the possibility of the conclusion same but the first one is bad whereas the second
being true, better the argument. The addition one is good.
of new premises may alter the strength of an
inductive argument, but a deductive argument, The amount of evidence in the premises
if valid, cannot be made more valid or invalid by determines whether the argument is good. If the
the addition of any premises. We shall use the evidence in the premises makes it reasonable
terms ‘good’ or ‘bad’ for inductive arguments. to accept the conclusion, then, the argument
For example, consider the following arguments. is good otherwise it is bad. From the above
given arguments, the first arguments is a bad
(1) Whenever cat crossed my way in the past, one because the conclusion is based on the
something bad happened on that superstition, there is no connection between
day. a cat crossing the way and good or bad events
Today morning a cat crossed my way. happening in our life. In the other two arguments,
Therefore, I am sure that something bad is though, the conclusions may turn out to be
going to happen today. false, the evidence on the basis of which the
(2) Every morning I have seen the sun rising conclusions are derived is scientific. Hence the
in the east. last two arguments are good.
It is early morning now. Though the content decides whether
So, I am sure I will find sun rising in the an inductive argument is good, this does not
east. mean that the premises and conclusion of
(3) The doctor told me that, Suresh is suffering good inductive arguments are true and of bad
from cancer and he will not survive for inductive arguments are false. In case of the
more than three months. first argument, even if premises are true and the
After two months I got the news that conclusion turns out to be true, still the argument
Suresh is no more. is bad. Similarly in case of the last argument
So, Suresh must have died due to cancer. even if conclusion turns out to be false when the
premises are true, the argument is good because
All the above given arguments are inductive the inference is based on the doctor’s verdict.
arguments as conclusions of all the arguments
go beyond the evidence in the premises. The Like deductive arguments, whether the
premises don’t imply the conclusion. Even given inductive argument is good or bad cannot
if premises are true the conclusions of all the be determined by the methods and rules of logic.
arguments are probable. The conclusion is In case of common man’s inductive arguments,
probable does not mean that the argument is bad. as given above, one can easily decide whether
In the above given arguments the first one is bad they are good or bad. However, in case of the
where as the other two are good. inductive arguments, in various sciences, by
judging the evidence in the premises only the
Like deductive arguments the validity of experts in the field can decide whether it is good or
inductive arguments i.e. whether the inductive bad. Unlike deductive arguments, the Inductive
argument is good or bad, is not determined by arguments, provide us with new information and
7
thus may expand our knowledge about the world. an argument may be valid when one or more
So, while deductive arguments are used mostly or even all its premises and conclusion are
in mathematics, most other fields of research false and an argument may be invalid with all
make extensive use of inductive arguments. its premises and conclusion true. The truth or
falsity of an argument's conclusion does not
Truth and Validity of arguments – The by itself determine the validity or invalidity of
relation between validity or invalidity of the that argument. And the fact that an argument
argument and truth or falsity of its premises and is valid does not guarantee the truth of its
conclusion is not simple. As discussed earlier, conclusion.
Summary
• In past logic developed independently in India, Greece and China.
• Modern logic is evolved from Aristotelian or traditional logic.
• Logic is study of methods and principles used to distinguish between good and bad reasoning.
• Arguments, Valid argument, Form of argument, True / False, Valid / Invalid are some
important concepts in logic.
• The two important types of arguments are – Deductive and Inductive arguments.
• Deductive arguments claim to provide sufficient evidence for the conclusion.
• Inductive arguments provide some evidence for the conclusion.
8
Exercises
Q. 1. Fill in the blanks with suitable words 15. Conclusion of .............. inference does not
given in the brackets. go beyond the evidence in the premises.
1. .............. is regarded as the father of logic. (Deductive / Inductive)
(Aristotle / De Morgan) Q. 2. State whether following statements are
2. The development of logic throughout the true of false.
world is mainly influenced by the .............. 1. Logic is a branch of Psychology.
logic. (Aristotelian / Indian)
2. Philosophy is fundamental to all spheres
3. The Nyaya Sutra of .............. constitute the of human enquiry.
core texts of the Nyaya School. (Gautama
/ Nagarjun) 3. The Jaina logic is represented by the
Nyaya School of philosophy.
4. The proposition which is established
in the argument is called the .............. 4. Mozi, "Master Mo" was mainly responsible
(Conclusion / Statement) for the development of logic in China.
5. The proposition which is stated in support 5. Etymologically logic is often defined as
of the conclusion is called .............. the science of the laws of thought.
(Premise / Conclusion) 6. Form means pattern or structure of the
6. .............. means pattern or structure of the argument.
argument. (Content / Form) 7. Argument is either true or false.
7. .............. is either valid or invalid.
8. The classification of arguments into
(Proposition / Argument)
deductive and inductive is based on the
8. A deductive argument claims to provide nature of relationship between premises
.............. evidence for its conclusion. and conclusion.
(Some / Sufficient)
9. When the deductive argument is valid and
9. In Inductive argument premises provide its premises and conclusion are true, such
.............. evidence for the Conclusion. an argument is called sound argument.
(Some / Sufficient)
10. A formally valid argument is one whose
10. In case of a valid .............. argument if validity is completely determined by its
premises are true the conclusion must be content.
true. (Deductive / Inductive)
11. Conclusion of inductive is always certain.
11. A materially valid inference is one whose
validity is completely determined by its 12. Conclusion of inductive argument goes
.............. (Content / Form) beyond the evidence in the premises.
12. Conclusion of valid deductive argument is 13. Even when premises are true conclusion
always .............. (Certain / Probable) of valid deductive argument may be false.
13. Validity of .............. arguments can be 14. The truth or falsity of an argument's
determined by rules and methods of logic. conclusion does not by itself determine the
(Deductive / Inductive) validity or invalidity of that argument.
14. Correctness of .............. arguments is 15. Deductive arguments cannot expand our
determined by an appeal to experience. knowledge of the world.
(Deductive / Inductive)
9
Q. 3. Match the columns. Q. 6. Explain the following.
(A) (B) 1. Truth and validity.
1. Nyaya 1. Sufficient evidence 2. Form of argument.
2. Aristotle 2. Mozi ‘Master Mo’ 3. Distinction between form and content.
3. Mohist school 3. Some evidence 4. Distinction between formal and material
4. Nagarjun 4. Valid or Invalid validity.
1. The study of methods and principles used 4. Explain the difference between terms -
to distinguish good from bad resoning. Reasoning, Inference and Argument.
10
7. Sunil is hardworking, intelligent and 12. India has taken loan from the world bank,
smart. Therefore Sunil is smart. so India is sure to develop economically.
8. Nikita is not happy with her job, so I am 13. If and only if a student is sick during
sure she will leave the job. examination, he is allowed to appear
9. Mukesh is an actor and Mukesh is for re-examination. Ashok is allowed to
handsome. Therefore Mukesh is handsome appear for re-examination. So Ashok must
actor. have been sick during examination.
10. If I go to college then I will attend lecture. 14. Suresh is taller than Naresh. Naresh is
If I attend lecture then I will understand taller than Ramesh. Therefore Suresh is
logic and if I understand then I will pass taller than Ramesh.
with good marks. Therefore if I go to 15. Hardly any man lives for more than
college then I will pass with good marks. hundred years. Mr. Joshi is ninety nine
11. Amit and Sumit are in same class, they year old. So he will die next year.
both play cricket and go to same tuition
class. Amit is a good singer. Therefore
Sumit is also a good singer.
v v v
11
Chapter 2 Nature of Proposition
Logic studies the preservation of truth and propositions are the bearers of truth and falsity.
EXAMPLE 1. EXAMPLE 2.
All men are mortal. All actors are handsome.
All artists are men. Prasad is an actor.
Therefore, all artists are mortal. Therefore, ---------------
12
(2) Exclamatory Sentence : It is a kind of Grammatically given examples are Inerrogative
sentence which expresses some kind of and exclamatory sentences respectively but
feelings. logically they are propositions .
Example : Oh! God Activity : 3
(3) Imperative Sentence : This sentence Make a list of Assertive / Declarative /
expresses a command or an order. Informative sentences.
Example : Get Out. PICTURE: 1.
(4) Optative Sentence : This sentence
expresses a wish, desires, urges.
Example : May God bless us all.
(5) Assertive Sentence : It is a sentence which
asserts something about an individual.
This sentences can make positive or
negative assertion. (It refers to identifiable
particular individual possessing definite,
particular property.) PICTURE: 2
The word “Individual” stands not only
for persons but for anything like city, country,
animal, or anything to which attributes can
be significantly predicated and the property/
attribute may be an adjective, noun, or even a
verb.
Example : Sanika visits her grandmother
during the holidays. (Positive assertion)
Example : The tiger is not a domestic
animal. (Negative assertion) Activity : 4
These kind of sentences can be either Observe and describe these pictures and
true or false. Hence, they are considered as make a list of assertive propositions.
statements or propositions in logic. They are (positive assertion and negative
also called as declarative sentences. They are assertion)
informative sentences because they provide us
A proposition is expressed in the form of a
with information. So declarative sentences can
sentence. But it is not the same as sentence. The
make logical propositions. So, we can conclude
same proposition may be expressed by different
that all sentences are not propositions. Only
sentences.
those sentences which can be either true or false
can be propositions. Example : (1) This is a fish (English)
Sometimes declarative sentence may be (2) Das ist ein fisch (German)
in the form of a question or an exclamation
e g. (1) Do you feel you can fool your friend.
(3) ¶h ‘N>br h¡& (Hindi)
13
Here a sentence in English, Marathi, If a proposition does not represents a
Hindi, German, Japanese may differ as sentence fact and if the claim is not justified then, the
but they express the same proposition. proposition is false.
Anything that is known through sense Example : Mumbai is capital of India.
organs has physical existence. A proposition (truth value of this proposition is false)
refers to the meaning or content expressed in the
form of a sentence. Therefore, it does not have (2) A proposition has only one truth value.
a physical existence. It is expressed through the A proposition cannot be true and false
medium of a sentence. together.
On the other hand a sentence has a physical
existence. A sentence when spoken, is in the E. g. Chalk is white. (This proposition
form of sound waves. When written, it is a sign cannot be both true and false.)
or a symbol on a surface. e.g. In five different (3) The truth value of a proposition is
sentences given above. The meaning expressed definite :
in these sentences is the proposition which does
not have a physical existence because one A proposition has unique truth value. If a
cannot see it, touch it but one can understand it if proposition is true, it is always true. If it is false,
and only if the language in which it is expressed it is always false. In other words truth value of a
is known. proposition does not change.
The following are the main characteristics Example : The earth is a flat disc.
of proposition :
Though, the truth value of the above
(1) Every proposition has a truth value : proposition appears to have changed but in
The truth or falsity of proposition are reality it not so. This proposition was believed
called truth values. The truth value of a true to be true due to ignorance (lack of scientific
proposition is true and that of a false proposition knowledge) but it is proved to be false today.
is false.
Thus, all propositions are sentences but
Now the question arises, “what determines all sentences are not propositions. Only those
the truth value of a proposition? sentences which are either true or false are
The answer is “The Fact”. propositions.
Activity : 5 Look at the pictures carefully and construct the propositions describing the pictures.
14
There are important differences between the proposition and sentence. Yet they are interconnected.
15
Activity : 8 (4) Class membership proposition :
16
Now when there are two component propositions, we get four possibilities as given below :
Sameer is intelligent And He is smart
TRUE TRUE TRUE
TRUE FALSE FALSE
FALSE FALSE TRUE
FALSE FALSE FALSE
The truth value of compound propositions Thus Non – truth functional compound
(which is stated in the middle column) changes as proposition is defined as a compound
per the truth value of its component proposition. proposition whose truth value is not
determined by the truth value of its component
In the above example when both the proposition / propositions.
components are true one can say that the
compound proposition is true. Otherwise under Types of truth functional compound
other possibilities it is false. proposition :
Thus the truth functional compound On the basis of the connectives which
proposition is defined as a compound combine the components in truth functional
proposition whose truth value is determined propositions, we get five types of truth functional
by the truth value of its component proposition compound proposition.
/ propositions.
(1) Negative proposition
(2) Non – truth functional compound
proposition : Example : This book is not interesting.
17
(3) It prevents confusion of vague and
2.3 Symbolization of proposition :
ambiguous words.
Need, uses and importance of
Symbols are kind of short – forms. In a
symbolization.
natural language a proposition or an inference
Symbolization is necessary because has a much longer expression. When we use
arguments are expressed in language. The use symbols the expression becomes much more
of symbols is not misleading but it helps us to shorter.
reason correctly.
For symbolizing of truth functional
There are certain defects of natural compound propositions. We need certain
language as follows. symbols. They are –
(1) use of ambiguous words and vague words. (1) Propositional Constant
(2) use of misleading idioms. (2) Propositional Variable
(3) confusing metaphorical style. (3) Propositional Connective or Operator
The symbolic language is free from the (4) Brackets
above mentioned defects.
(1) Propositional Constant :
Logic is concerned with arguments.
Propositional constant is defined as
Arguments contain propositions or statements
a symbol, which stands for a specific (or
as their premises and conclusion. Arguments
particular) proposition as a whole. They are
may be valid or invalid. To determine the
called constants because they have definite
validity of the arguments we have to use certain
meaning. The capital letters from A to Z (English
logical procedures. These procedures can not
alphabet) are used as propositional constants.
be applied directly to the propositions with
We are free to use any propositional constants
ordinary language. Logicians have developed
for symbolizing of a proposition.
specialized techniques to bring out the form
of the proposition. It is done by symbolizing Example : Yogasanas act as bridges to
propositions. unite the body with the mind.
Deductive Logic is concerned with the The above proposition can be symbolized
form of an argument and not with the content of as “A” or by any other capital letter which will
argument. It is form of a proposition. This can be stand for the whole proposition.
done by symbolization.
When an argument contains more number
Use of symbols is convenient and of propositions as components we have to
advantageous, for better understanding of observe following conditions or restrictions.
arguments and drawing of inference from it.
(1) The same propositional constant is to be
Significance of symbolization in Logic – used for symbolizing a proposition if it
occurs again in the same argument (or in
(1) It helps to focus on what is important in
the same compound propositions)
an argument and to ignore unnecessary
details, thus helps to decide it’s validity (2) The same propositional constant can not
easily. be used for different propositions in the
same argument. (or in the same compound
(2) It helps to understand the logical structure
proposition)
of propositions and arguments more
clearly.
18
Example : Santosh will take salad or for any specific proposition. It only marks or
sandwich. indicates the place of proposition.
Santosh will not take salad. For Example : The expression “if p then
q” indicates that “p” stands for any proposition
Therefore, Santosh will take sandwich. and “q” stands for any other proposition and
In the above example for the proposition these two different propositions are connected
“Santosh will take salad.” we will choose by the expression “if………….then”.
the propositional constant “S” and for the A propositional variable is a symbol used
proposition “Santosh will take sandwich” we to substitute a proposition.
cannot use the same propositional constant “S”.
(as per restriction no.2) so we will have to use When an argument form contains more
different propositional constant, like “D” number of propositions as components we have
to observe following conditions or restrictions.
Example :
(1) The same propositional variable is to be
The first proposition (premise) is substituted by the same proposition if it
Santosh will take salad or sandwich occurs again in the same argument (or in
the same compound proposition)
The symbolization of this proposition will
be (2) The same propositional variable can not be
substituted by different propositions in the
S or D
same argument. (or in the same compound
The second proposition (premise) is proposition)
Santosh will not take salad. In an argument of the following form, for
The symbolization of this proposition will instance by substituting any proposition for “p”
be and any other proposition for “q” we will get
innumerable arguments.
Not S
Example : if p then q
The third proposition (conclusion) is
Not q
Santosh will take sandwich
Therefore Not p
The symbolization of this proposition will
be Example No : 1
Therefore D If a figure is a square then it has four sides.
Thus the argument may now will be The figure does not have four sides.
symbolized thus: Therefore the figure is not a square.
S or D
Example No : 2
Not S
Therefore D If you have a password then you can log
on to the network.
(2) Propositional Variable :
You can not log on to the network.
Propositional variable is defined as
a symbol which stand for any proposition Therefore, you do not have a password.
whatsoever. Small latter p, q, r, s …….. We can substitute any proposition for a
(English alphabet) are used as propositional propositional variable, it is therefore said to be a
variable. Propositional variable does not stand place marker / place holder or dummy letter.
19
Activity 9. Read the following arguments forms carefully and construct arguments form it.
(1) Either p or q (2) If p then q (3) If p then q
Not p p If q then r
Therefore q Therefore q Therefore If p then r
20
(3) Braces : It is used to group expressions Symbolization :
that include box brackets. Example: { }
Example : Sadanand is not a mathematician.
Example : ~{[(p · q) Ú ( q · p) ] º p }
Step 1: The above example consists of one
Truth functional compound propositions proposition and one propositional operator.
On the basis of five propositional Underline the proposition and put a propositional
connectives, there are five types of Truth operator in the box.
functional compound propositions. They are as
follows – So we will get following expression:
21
Example : Be good and you will be happy. (7) Chocolates are neither nutritious nor
good for teeth.
The above example consists of two
propositions – (8) Mr. Patil is a politician and Sai baba is a
saint.
(1) Be good
Symbolic form of conjunctive
(2) You will be happy. proposition will be as follows :
These are connected by the word “and”. Example : Be good and you will be happy.
Often we use word such as but, though, To symbolize a propositional operator
although, while, yet, also, still, nevertheless, “And” we can use symbol ( · )
however, moreover, further, as well as,
neither……. nor, in the conjunctive sense. Symbolic from of conjunctive proposition
is as follows:
Example :
‘p · q’
(1) The lion is called king of the forest and it
has a majestic appearance. Example : Sugandha is a mother and a
grandmother.
(2) I want to go to the party, but I am tired.
Above proposition consists of two parts
(3) Gauri is playing, while Varsha is studying. (components)
(4) The couch was shouting, yet the players (1) Sugandha is a mother.
remained noisy.
(2) Sugandha is a grandmother.
(5) Hemangi kept working even though she
was tired. These two parts or components of a
conjunctive proposition are called as Conjuncts
(6) It’s a small house still it is spacious. in the language of Logic.
22
(3) Disjunctive proposition – (Disjunction) Example :
When two propositions are joined together Either he is rich or poor.
by truth functional connective …. ‘either …….
…… or’, it is called a disjunctive proposition. In the above example there are two
The word “either …… Or” is called dyadic propositions.
connective or binary operator, which connects (1) he is rich
two statements. The components of disjunctive
proposition are called as “Disjuncts”. (2) he is poor
Symbolization :
Either he is rich or he is poor.
R Ú P
Therefore, symbolization of the above proposition will be:
RÚP
Form of disjunctive proposition is ‘p Ú q’. This is read as ‘p or q’.
23
In other words the statement can be (4) Material Implicative or Conditional
interpreted as “either p or q or both”. Means “p” proposition –
alone can be true, “q” alone can be true and both
When two propositions are joined together
can be true together but cannot be false.
by truth functional connective if …… then
(2) Exclusive or strong sense of OR : ……. it is called an implicative proposition.
When both the disjuncts cannot be true Example :
together, the word “Or” is said to be used in
(1) If you want a good pet then you should
exclusive sense.
get a dog.
Example : Either it is a sparrow or a crow.
(2) If my car is out of fuel then it will not run.
In the above proposition there are two
(3) If a figure is a rhombus then it is not a
disjuncts.
rectangle.
(1) A bird is a sparrow.
4] If you do all the exercises in the book, you
(2) A bird is a crow. will get full marks in the exam.
Both these disjuncts cannot be true 5] If it is a molecule then it is made up of
together. If one is true, other is necessarily atoms.
(exclusively) false.
(sometimes ‘ , ’ (coma) is used instead of
In other words this can be interpreted as, word “then”)
either “p” is true or “q” is true but both cannot
Words indicating implicative proposition
be true together. i.e. if a bird is a sparrow then it
– The expression like “if ………then”, “in
cannot be a crow or vice versa.
case”, “had it”, “unless” (if not) indicate that
In logic, disjunctive proposition is used the proposition is a conditional proposition.
in the inclusive sense only.
An implicative proposition is also called The proposition that states the condition
as conditional proposition because they state is called as antecedent and the proposition that
the condition and its consequences. states result is called as consequent.
Example :
If she is tall then she can become a model.
Condition Result
antecedent consequent
24
Truth value : The expression “if and only if ” indicates
that the statements is a biconditional statement.
An implicative proposition is false only
when its antecedent is true and its consequent Example :
is false. Otherwise it is always true.
Birds fly if and only if sky is clear.
Basic truth table for material implication :
Proposition 1 logical proposition 2
P q connective
T T T The symbolic expression :
T F F BºS
F T T OR
F T F SºB
(5) Material Equivalent or Biconditional Thus, the form of the biconditional
proposition. – statement is “ p º q”. This is read as “if and
A biconditional proposition is a compound only if p then q “or” “p is materially equivalent
proposition in which two component propositions to q”.
materially imply each other. Truth value :
When two propositions are joined together A biconditional proposition is true if and
by truth – functional connective if and only if only if both the components have the same
…. then…, it is called as an material equivalent truth value. i.e. either both the components
proposition. are true or both the components are false.
Example : Otherwise the statement is false.
(1) You can take a flight if and only if you Basic true table for material equivalance :
buy a ticket. p º q
(2) Two angles are congruent if and only if T T T
their measurements are equal.
T F F
(3) You can enter the theatre if and only if
you have the entry pass. F F T
(4) If and only if you study hard, you will F T F
pass.
Activity : 10
Always remember
(1) I will go to a mall.
‘ ,’ (coma) is used to make the statement
meaningful. (2) I will go to a movie.
In a conditional statement antecedent (3) I will go to gym
implies consequent but consequent does not
imply the antecedent. In biconditional statement, Use the above propositions and construct
however, the first component implies the second 5 types of truth functional propositions.
and the second component also implies the first.
25
2.4 Symbolising compound proposition :
(3) Mira is not both a good singer and a good (7) Either Sun is a star or not a star.
actress.
Symbolization : SV~S
Symbolization : ~ (S · A)
Kind of proposition : Disjunctive proposition
Kind of proposition : Negative proposition.
(8) Neither it is hot nor cold today.
(4) If the road is wet, then either it has rained
today or the fire truck spilled water on the Symbolization : ~H·~C
road. Kind of proposition : Conjuctive proposition
Symbolization : W (R Ú F) (9) If fast food is not healthy then one must
Kind of proposition : Implicative or conditional not eat it.
proposition.
Symbolization : ~H~E
(5) He goes to play a match if and only if it
Kind of proposition : Implicative or Conditional
does not rain.
proposition.
Symbolization : ~RºM
(10) A living being is either mortal or immortal.
Kinds of proposition : Equivqlent or Bi –
conditional proposition. Symbolization : MÚI
(6) It is false that if and only if I will go to Kind of proposition : Disjunctive proposition.
Australia, I will earn money.
Symbolization : ~ (A º M)
Kind of proposition : Negative proposition.
26
Monadic operator Dyadic operator
(1) It operates on one proposition. (1) It operates on or connects two propositions.
(2) ~ is a monadic operator. (2) ·, , Ú, º are dyadic or binary operator.
Always remember
All dyadic connectives are always placed in between the two component proposition.
p·q ·pq
p Ú q Úpq
p q pq
p º q ºpq
Summary
Proposition : A proposition is a sentences which is either true or false. Most logicians use the
words, “proposition” and “ statements” in the same sense. If a proposition represents facts, it is
true, Otherwise, it is false.
Proposition and a sentence : A proposition is expressed in the form of a sentence. However,
proposition differs from a sentence.
In /modern propositional logic, proposition are classified into –
(1) Simple Proposition :
(a) Subject less proposition
(b) Subject – Predicate Proposition
(c) Relational Proposition –
(d) Class – membership proposition
(2) Compound Proposition –
(a) Truth – functional compound proposition.
(b) Non – truth functional compound proposition.
Classification of Truth functional compound proposition –
(1) Negative proposition
(2) Conjunctive proposition
(3) Disjunctive proposition
(4) Material Implication or conditional proposition
(5) Material Equivalent or Biconditional proposition
Modern Logicians use constants, variables, logical operators and brackets for symbolizing
propositions.
27
Exercises
Q. 1. Fill in the blanks with suitable words 7. The symbol is a logical operator.
from those given in the brackets: 8. A proposition is neither true nor false.
1. ……… is a basic unit of Logic. (Sentence 9. In class – membership proposition,
/ Proposition) predicated is general.
2. A proposition is conveyed through a ……. 10. The components of disjunctive proposition
(Statement / Sentence) are called as disjuncts.
3. If a proposition represents a fact, it is said
to be ……… (False / True) Q. 3. Match the columns :
28
Q. 6. Explain the following : 11. Either Danashree is a talented musician or
1. Basic unit of logic she is not. (M)
29
29. Either no students are interested in 35. If Seema is in Denmark, then she is in
giving feedback or it is not the case that Europe and If Seema is not in Europe, then
administration requires the students’ she is not in Denmark. (S. E)
feedback. (F, A) 36. Memory Banda is Malawian children’s
30. If hydrochloric acid (HCI) and sodium rights activist who has drawn international
hydroxide (NaOH) are combined, then attention for her work in opposition to
table salt (NaCI) will be produced. child marriage. (M)
(H, S, T) 37. If a triangle is equilateral then its angles
31. Success does not mean a lot of money or all measure 60 and if all the angles of a
gaining lot of fame. (M,G) triangle measure 60 then the triangle is
32. If the pavement is not wet, then it did not equilateral. (T, A)
rain. (W, R) 38. If I pass then I will have a party and if I fail
33. Cats are good pets and they are affectionate. then also I will have a party. (P, T, F)
(P, A) 39. Swayam talks is not just another talk
34. Omkar ran fast but he missed the train. series but its presentation make it a unique
(F, T) concept. (T, U)
40. Either Leena will learn music or dance.
(M, D)
v v v
30
Chapter 3 Decision Procedure
The concept of decision procedure is predominantly concerned with the concept of decidability.
31
The first step is to write down the Truth (4) Fourth step is to construct the matrix.
functional form in the column for Truth
functional form. A matrix consists of all the possible
combinations of the truth values of the
(2) The second step is to write down in the propositional variables in the truth
matrix column all the distinct variables function or argument.
occurred in the truth functional form.
(a) Matrix for one variable
In above example, there are two, distinct
variables 'p' and 'q'. So we write them as Example : (p · p) Ú p
follows. Matrix Truth – Functional Form
Matrix Truth – Functional Form p (p · p) Ú p
p q (q Ú p ) º [(p · q) p] T
32
Always Remember Let us continue with same example
33
v First we shall find out the truth value of v Finally, let us determine the truth value
the expression on the left – hand side of of material equivalent statement which
the truth functional form, i.e. disjunction is the main connective i.e. between
between 'q' and 'p' as follows. (q Ú p) and [(p · q) p] which will give
us the truth value of truth – functional
Matrix Truth – Functional Form form under all possibilities. We need to
P q (q Ú p) º [(p · q) p] consider disjunction in the left bracket and
implication in the right bracket. Taking
T T T T T T T T these two values, we will determine the
T F F T T T F T value of equivalence which is the main
connective.
F T T T F F T F
Thus, the final truth table will be as
F F F F F F F F follows:
v Then, we shall determine the truth value Matrix Truth – Functional Form
of the expression on the right – hand side
of the truth functional form i.e the value of p q (q Ú p) º [(p · q) p]
conjunction between 'p' and 'q' as follows. T T T T T T T T T T T
Matrix Truth – Functional Form T F F T T T T F F T T
P q (q Ú p) º [(p · q) p] F T T T F T F F T T F
T T T T T T T T T F F F F F F F F F T F
T F F T T T F F T This truth table shows that under the main
F T T T F F F T F connective, only in one possibility i.e, in
the fourth row, the truth functional form is
F F F F F F F F F false. In remaining possibilities it is true.
v Let us determine the truth value of the v Let us understand truth table with more
conditional statement between conjunction examples.
i.e., p · q and variable 'p' to the right side.
Example 2 : (~ r · ~ p) (r Ú ~ p)
Matrix Truth – Functional Form
Matrix Truth – Functional Form
P q (q Ú p) º [(p · q) p]
p r (~ r · ~ p) (r Ú ~ p)
T T T T T T T T T T
T T F T F F T T T T F T
T F F T T T F F T T
T F T F F F T T F F F T
F T T T F F F T T F
F T F T F T F T T T T F
F F F F F F F F T F
F F T F T T F T F T T F
34
Example 3 : ~ (t Ú q) · ~ (~ t · ~ q) (1) Tautology :
Matrix Truth – Functional Form A tautology is a truth functional
statement form which is "True" under
q t ~ ( t Ú q) · ~ (~ t · ~ q) all truth possibilities of its components.
T T F T T T F T F T F F T It means that in the truth table for a
tautology truth value "True" appears under
T F F F T T F T T F F F T the main connective in all the rows. Thus,
tautology is a statement form which has all
F T F T T F F T F T F T F
true substitution instances.
F F T F F F F F T F T T F
Example : (p · ~ p) ~ p
Activity : 3
Matrix Truth - Functional Form
Complete the following tables
p (p · ~ p) ~ p
Matrix Truth – Functional Form
T T FF T T F T
q (q ~ q) · ~ q
F F FT F T T F
T F F T In the above statement form, truth value T's
F F appear under the main connective, so the
given truth functional form is tautology.
(2) Contradiction :
Matrix Truth – Functional Form
A contradiction is defined as a truth
p s t t º (p Ú s) functional statement form which is
'False' under all truth possibilities of
TTT T T its components. It means that in the truth
table for a contradiction truth value 'False'
TTF F
appears under the main connective in all
TFT T the rows. A contradiction is a statement
form which has only 'False' substitution
TFF T instances.
FTT F Example : (p º ~ p) · ( ~ p p )
Matrix Truth - Functional Form
FTF F T T
P (p º ~ p) · ( ~ p p)
FFT F
T T F FT F F T T T
FFF T
F F F T F F T F F F
Concept of Tautology, Contradiction
and Contingency In the above statement form, truth value
F' s appears under the main connective,
The truth functional statement forms so the given truth functional form is
are broadly classified into three kinds. contradiction.
They are Tautology, Contradiction and
Contingency.
35
(3) Contingency : Let us now construct truth table for some
truth – functional statement forms and
A contingency is defined as a truth
determine whether they are tautology,
functional statement form which is
contradiction or contingency.
'True' as well as 'False' under some
truth possibilities of its components. Example 1 : : ~ [p · (p Ú ~ p) ] (p p)
It means that in the truth table for
contingency truth value 'True' as well as Matrix Truth Functional Form
'False' appears under the main connectives p ~ [p · (p Ú ~ p) ] (p p)
in truth possibilities. Thus contingency is
a statement form which has some true as T F TT TT F T T T T T
well as false substitution instances. F T FF FT T F T F T F
Example : (p · ~ p) º ( p ~ p) Example 2 :
Matrix Truth - Functional Form Matrix Truth - Functional Form
P (p · ~ p) º (p ~ p) pqr (p q) Ú r
T T FF T T T F F T TTT T T T T T
F F FT F F F T T F TTF T T T T F
In the above truth functional statement TFT T F F T T
form T's and F' s appears under the main
connective. So, the given propositional TFF T F F F F
form is a contingency.
FTT F T T T T
Relation between Tautology,
FTF F T T T F
Contradiction and Contingency:
FFT F T F T T
(1) Denial of tautology leads to contradiction.
FFF F T F T F
For Example : the truth – functional form
'(p · p) p ' is a tautology. Its denial i.e. Example 3 :
~ [(p · p) p]is a contradiction.
~ (q Ú p) · ~ (~ q · ~ p)
(2) Denial of contradiction leads to tautology.
Matrix Truth 0 Functional Form
For Example : the truth – functional form
' (p · ~ p)' is a contradiction. Its denial i.e. p q ~ (q Ú p) · ~ (~ q · ~ p)
~ (p · ~ p) is a tautology. T T F TTT FTFTFFT
(3) Denial of contingency leads to contingency. T F F FTT FTTFFFT
For Example : the truth -functional form F T F TTF FTFTFTF
(~p ·q) is a contingency. Its denial i.e.
~ (~p ·q) is a contigency. F F T FFF FFTFTTF
Activity : 4
State whether the above statement forms
are tautology, contradiction or contingency
with reason.
36
Activity : 5 Let's symbolize the given argument.
v Now let us construct a truth table for a given argument form. Write down the matrix and then
column for premises and conclusion in a single row in order.
Matrix Premise 1 Premise 2 Premise 3 Conclusion
p q p·q p q p Úq
v Construct a matrix for a given argument form, then assign the truth - values under each variables.
TT T T T T T T
T F T F T F T F
F T F T F T F T
F F F F F F F F
37
• By using the truth values of propositions, assign the truth value to the premises and conclusion
separately.
Matrix Premise 1 Premise 2 Premise 3 Conclusion
p q p · q P q pÚq
T T T T T T T T TT
T F T F F T F TT F
F T F F T F T FTT
F F F F F F F FFF
Also, highlight the column under the v Symbolization of an argument
main connective of each premise and
conclusion. (1) M·I
v Next step is the criteria of deciding the (2) M
validity of an argument. In the first chapter,
we have learnt that in case of a valid (3) ~I
deductive argument, if all the premises are v Argument form :
true, its conclusion is also true. It cannot
be false. (1) p·q
Accordingly, to determine whether the (2) p
given argument form is valid, one should
~q
see all the rows in which all the premises
are true. If in these rows, the conclusion Matrix Premise 1 Premise 2 Conclusion
is also true, then the argument is valid.
Even if in one such row where all the p q p · q P ~ q
premises are true, and the conclusion is T T T T T T F T
false. Then the argument is invalid.
T F T F F T T F
v We need to select those rows where
premises are true. In our example, only F T F F T F F T
in the first row, all the three premises are
true and conclusion is also true. Therefore F F F F F F T F
the given argument form is valid. The All the premises are true only in row no. 1
argument being substitution instance of wherein the conclusion in false. Therefore
this form is also valid. the given argument is substitution instance
Let's Determine the validity of some of this argument form and therefore the
more arguments: above argument is invalid.
(1) Macro Economics and Micro Economics (2) Either Nainital is a city or it is a beautiful
are sub branches of Economics. hill station.
Macro Economics is a sub branch of Nainital is not a city.
Economics.
Therefore it is a beautiful hill station
Therefore, the Micro Economics is not a
sub branch of Economics (C, H)
(M, I)
38
v Symbolization of an argument v Argument form :
(1) CÚH (1) pÚq
(2) ~C (2) ~p
H q
Matrix Premise 1 Premise 2 Conclusion
p q p Ú q ~ P q
T T T T T F T T
T F T T F F T F
F T F T T T F T
F F F F F T F F
All the premises are true only in row no. 3 v Symbolization of an argument
wherein even the conclusion is 'true'. Therefore
the argument form is valid. The given argument (1) (P Ú K) J
is substitution instance of this argument form (2) ~P·~K
and therefore the above argument is valid.
~J
(3) If either mobile games are helpful in
development of personality or in achieving v Argument from :
knowledge then it is useful in securing
(1) (p Ú q) r
jobs.
Mobile games are neither helpful in (2) p·~q
development of personality nor in ~r
achieving knowledge.
Therefore mobile games are not useful in
securing job.
(P, K, J)
Matrix Premise 1 Premise 2 Conclusion
pq r (p Ú q) r ~p·~q ~r
TTT TTT T T FTFFT FT
TTF TTT F F FTFFT TF
TFT TTF T T FTFTF FT
TFF TTF T F FTFTF TF
FTT FTT T T TFFFT FT
FTF FTT F F TFFFT TF
FFT FFF T T TFTTF FT
FFF FFF T F TFTTF TF
39
All the premises are true in 7th and 8th v Symbolization of an argument
row wherein the 8th row conclusion is true.
But in 7th row where the premises are true but (1) T·P
the conclusion is false. Therefore the given (2) ~O~P
argument form is invalid. The given argument
is substitution instance of this argument form. ~O
Therefore the above argument is invalid. v Argument form :
(4) Dr. Krishnan was a teacher and a
(1) p·q
philosopher.
If Dr. Krishnan was not a politician then (2) ~r~q
he was not a philosopher. ~r
Therefore, Dr. Krishanan was not a
politician. (T, P, O)
Matrix Premise 1 Premise 2 Conclusion
pq r p·q ~r~q ~r
TTT TTT FTTFT FT
TTF TTT TFFFT TF
TFT TFF FTTTF FT
TFF TFF TFTTF TF
FTT FFT FTTFT FT
FTF FFT T F F FT TF
FFT FFF FTTTF FT
FFF FFF TFTTF TF
All the premises are true in the 1st row and the conclusion is false. Therefore the given argument
form is invalid. The given argument is substitution instance of this argument form. Therefore the
above argument is invalid.
Activity : 6
With the help of truth table method determine whether the following arguments are valid or
invalid.
(1) If examinations are held on time then the results will not be delayed.
It is not true that examinations are not held on time.
Therefore the results will not be delayed. (E, R)
(2) If workers join the strike then the production will suffer.
Either workers do not join the strike or production will not suffer.
Production does not suffer.
Therefore workers do not join the strike. (W, P)
(3) If Hiteksha studies hard then her mother will be happy and if she joins games then her friends
will be happy.
Either she studies hard or she joins games.
Therefore either her mother will be happy or her friends will not be happy. (S, M, G, F)
40
the instructions for construction of matrix and
3.4 Truth table as decision procedure :
the order of constructing the rows of truth values
Truth table method is one of the effective then the method will always be correct.
decision procedures by which we can solve the
Truth table method is also mechanical. It
problem of deciding whether a propositional
goes step by step in a systematic manner. It does
form is tautology, contradiction or contingency.
not require any imagination or intelligence or
And also decides whether an argument form is
abstract principles to solve the problem.
valid or invalid.
Truth table method is finite. It has a limited
It satisfies all the conditions of effective
number of steps. There is a last step in truth table
decision procedure. i.e. reliable, mechanical and
for getting the answer.
finite.
Truth table method is reliable. It always
gives correct answer. The method never fails if
one follows the basic truth values of propositions,
Summary
• A decision Procedure is a method which decides whether a proposition belongs to certain
class.
• Truth table is a tabular way of expressing the truth values of the truth functional statements.
• Truth table method is a decision procedure which helps us to decide whether propositional
form is tautology, contradictory, contingent.
• Truth table tests the validity and invalidity of arguments.
• Truth table method is an effective decision procedure as it is reliable, mechanical and finite.
41
Exercises
Q. 1. Fill in the blanks with suitable words Q. 2. State whether the following statement
given in the brackets. are true or false.
(1) ……....… is a tabular way of expressing (1) There are many decision procedures.
the truth value of any truth functional (2) The truth table method is an effective
compound proposition. decision procedure.
(Truth table, Truth tree)
(3) The truth table method is mechanical.
(2) A tautology is a truth – functional
propositional form which is ……....… (4) A contradiction is a truth functional
under all truth possibilities of its propositional form which is true under all
components. (True, False) truth possibilities of its components.
(3) A contradiction is a truth – functional (5) A contingency is a truth – functional
propositional form which is ……....… propositional form which is true under
under all truth possibilities of its some and false under some truth
components. (True, False) possibilities of its components.
(4) A …….. is a truth – functional proposition (6) A tautology is a truth – functional
which is true under some and false under propositional form which is true under all
some truth possibilities of its components. the truth – possibilities of its components.
(Contradiction, Contingency) (7) The method of truth table requires use of
(5) By denying a tautology, we get a ……....… intelligence.
(Contingency, Contradiction) (8) In the truth – table method, the matrix is
written on the left hand side.
(6) By denying a contradiction, we can get a
……....… (Tautology, Contingency) (9) Propositional form contains propositional
variables.
(7) By denying a contingency, we can get a
……....… (Tautology, Contingency) (10) The method of truth table can be used to
test the validity of all types of arguments.
(8) p Ú ~ p is a ……....… (Tautology,
Contradiction) Q. 3. Match the column.
(9) ~ (p • ~ p) is a ……....… (Tautology, (A) (B)
Contingency) 1. Tautology a. Always false
(10) p • ~ p is a ……....… 2. Decision b. Sometimes true and
(Contingency, Contradiction) procedure sometimes false
(11) The truth table method can also be used 3. Contradiction c. Truth table
for testing the ……....… of arguments. 4. Contingency d. Always true
(Validity, Reliability)
Q. 4. Give logical terms for the following.
(12) ~ (p Ú ~ p) is a ……....…
(1) A method of deciding whether an object
(Tautology, Contradiction) belongs to a certain class.
(13) p Ú q is a ……....… (2) A tabular way of expressing the truth value
(Contingency, Contradiction) of expressions containing propositional
connectives.
42
(3) A column consists of all possible (6) Differentiate between contradiction and
combinations of the truth values of the continguency.
propositional variables in the truth function (7) Why is truth table method called
or argument. mechanical?
(4) A truth functional statement form which (8) Differentiate between tautology and
is 'True' under all truth possibilities of its contingency.
components.
(5) A truth functional statement form which Q. 8. Construct truth – table to determine
is 'False' under all truth-possibilities of its whether the following statement forms
components. are tautologous, contradictory or
contingent
(6) A truth-functional statement form which is
'True' as well as 'False' under some truth (1) p·~p
possibilities of its components. (2) p É (q É p)
Q. 5. Give reasons for the following : (3) P V (r · p)
(1) Truth table is an effective decision (4) (r Ú q ) º r
procedure.
(5) (~ t · q) É (q É t)
(2) By denying tautology, we get contradiction.
(6) (p É ~ p) · (~ p É q)
(3) By denying contradiction, we get
tautology. (7) p É (p Ú r)
(4) By denying contingency, we get (8) ~ q É (q · q)
contingency. (9) (t É t) · (t É ~ t)
Q. 6. Explain the following : (10) [(p É s) · p] É s
(1) Decision procedure (11) [q Ú (p · ~ q)] º [~ p · (q Ú p)]
(2) Tautology
(12) (p É t) · ~ (~ p Ú p)
(3) Contradiction
(13) (~ p · p) É [(s Ú ~ p) · (~ s Ú ~ p)]
(4) Contingency
(14) (p · p) Ú ~ p
(5) Truth table method as an effective decision
procedure (15) ~ { ~ p É [(p · q) Ú p ] }
(1) What is decision procedure? What are (17) [(p · (q · r)] º [(p · q) · r]
the conditions of an effective decision (18) [(p Ú q) · ~ p] É q
procedure?
(19) ( t º ~ q) É (~ q É t)
(2) Differentiate between statement form and
argument form. (20) [ p É ( r · q)] º [(p É q) · (p É r )]
(3) What is truth table? How to construct a Q. 9. With the help of truth table method, test
truth table? the validity of the following arguments:
(4) Differentiate between tautology and (1) ~MÉN
contradiction.
~N
(5) How do we determine the number of rows
in the truth table? \M·N
43
(2) (P Ú Q) · p (13) ~ E · M
\P ~ (M º E)
(3) P É (Q · R) \~M
~QÚ~R (14) C É F
\~P ~F·C
(4) QÉp \~C
~P (15) G º W
\Q ~W
(5) (P · Q) É R ~G
~R \WÉG
44
(7) If a man overeats, then he either invites (12) Either the books are interesting or
diabetes or develops heart problems. informative. If the books are informative,
Some men have both diabetes and heart then they improve one’s knowledge.
problems. Therefore, some men overeat. Therefore, if the books are interesting then
(O, D, H) it improves one’s knowledge.
(I, F, K)
(8) If Zoey has a strong will- power, then
she can achieve many things. Zoey has (13) Either luck or courage is needed for
a strong will power. Therefore she can success. He does not have courage.
achieve many things. Therefore he has luck.
(W, A) (L, C)
(9) Riddhi took either taxi or a bus. (14) If it rains, then the crops will be good. The
crops are good. Therefore, it rains.
If she takes a taxi, then she would be on
time. (R, C)
She was not on time. Therefore Riddhi (15) If and only if Mann is a government servant,
took a bus. then he is called a public servant. Mann is
(T, B, M) not a government servant. Therefore he is
not a public servant.
(10) If the family planning program is effective (G, P)
then population can be cotrolled. The
family planning program is not effective. (16) Shruti loves her brothers, if and only if
Therefore, population cannot be controlled. they work for her.
(F, P) If Vinayak and Vaibhav are Shruti's
brothers then they work for her.
(11) If Het is a batsman, then Smit is a bowler.
Smit is not a bowler. Hence Het is a Thererfore Shruti loves her brothers.
batsman. (S, W, V, B)
(B, O)
v v v
45
Chapter 4 The Method of Deduction
For as one may feel sure that a chain will hold when he is assured that each separate link is
of good material and that it clasps the two neighbouring links, viz: the one preceding and the one
following it, so we may be sure of the accuracy of the reasoning when the matter is good, that is to
say, when nothing doubtful enters into it and when the form consists into perpetual concatenation
of truths which allow no gap - Gottfried Leibniz
46
3. Deduce the conclusion from the premises pq
by applying rules of Inference along with rule of p
Replacement. Before arriving at the conclusion
\ q
one may have to derive some statements.
These statements can be taken as additional The following argument illustrates the rule :
premises for further proof. These statements are
to be numbered and the justification for each (a) If you study Logic then your reasoning
statement should be written on the right side of skill improves.
the statement. The justification for a statement You study Logic.
consists in stating the number of step/steps from Therefore, your reasoning skill improves.
which the statement is derived and the rule (b) If a student is intelligent then he will pass.
applied to derive it. It is advised to use only one The student is intelligent.
rule at a time while constructing the proof. Therefore, he will pass.
4. Once the conclusion is derived from the Application of the rule ---
premises the proof is complete and the validity
of the argument is established. If in an argument, a conditional statement
is given as one of the premises and antecedent
4.3 RULES OF INFERENCE AND RULE of the same statement is also given as another
OF REPLACEMENT premise then by applying the rule of M. P. one
For constructing formal proof of validity by can validly infer the consequent of the same
deductive proof, nineteen rules are used. These conditional statement.
nineteen rules are of two types. First nine rules For example ---
of Inference form one group and are different in
nature from remaining ten rules which are based (1) BM
on the rule of Replacement. To begin with let us (2) B
study the first nine rules of inference and their (3) MA /\A
application. (4) M 1, 2, M.P.
First nine rules of Inference are elementary (5) A 3, 4, M.P.
valid forms of argument. Any argument which is
a substitution instance of such form is also valid. TRY this :
With the help of these valid forms of inference (1) MR
one can deduce the conclusion from the premises (2) M
and show that it is a logical consequence of the (3) RS
premises.
(4) ST /\T
It should be noted that these rules can (5) ________ 1, 2, M.P.
be applied only to the whole statement and (6) S ________
not to a part of the statement. The first nine
(7) ________ 4, 6 M.P.
rules of inference are as follows.
(1) Modus Ponens (M. P.) (2) Modus Tollens (M.T.)
This rule is based on the nature of The rule of Modus Tollens is also based on
conditional statement. In a conditional statement the nature of conditional statement. A conditional
the antecedent implies the consequent, which statement is false only when the antecedent is
means if a conditional statement is true and its true and the consequent is false. Therefore if a
antecedent is also true, its consequent must be conditional statement is true and the consequent
true, it cannot be false. The form of the rule is as is false then the antecedent must be false. The
follows -
47
form of the rule is as follows - The following argument illustrates the rule :
pq If it rains then the harvest is good.
~q If the harvest is good then the farmers are happy.
\ ~p Therefore, if it rains then the farmers are happy.
The following argument illustrates the rule : Application of the rule ---
If Karan is hardworking then he will get a (1) AS
scholarship. (2) ~RK
Karan did not get a scholarship. (3) S ~R / \AK
Therefore, Karan is not hardworking.
(4) A~R 1, 3, H.S.
Application of the rule --- (5) AK 4, 2, H.S.
If in an argument a conditional statement TRY this :
is given as one of the premises and negation of
its consequent is also given then from these two (1) KR
premises one can infer negation of the antecedent (2) SK
of that conditional statement. (3) RM / \SM
For example -- (4) SR ________
(5) ________ 4, 3, H.S.
(1) M~T
(2) ST (4) Disjunctive Syllogism (D.S.)
(3) M / \~S
(4) ~ T 1, 3 M.P. This rule states that if a disjunctive
(5) ~ S 2, 4 M.T. statement is given and its first disjunct is denied
then one can affirm the second disjunct in the
TRY this : conclusion. This rule is based on the nature of
(1) RT disjunctive statement. Disjunctive statement is
true when at least one of the disjuncts is true.
(2) ~T The form of Disjunctive syllogism is as follows-
(3) ~RK / \K
(4) ________ 1, 2, M.T. pq
~p
(5) K ________ \ q
(3) Hypothetical Syllogism (H.S.) The following argument illustrates the rule :
For this rule we need two conditional Either Nilraj will learn to play the guitar or the
statements such that, consequent of one piano.
statement is the antecedent of the other. From Nilraj did not learn to play the guitar.
such two statements we can deduce a conditional Therefore, Nilraj will learn to play the piano.
statement whose antecedent is the antecedent of
the first conditional statement and consequent Application of the rule ---
is the consequent of the second conditional (1) TB
statement. The form of Hypothetical Syllogism
(2) ~B
is as follows -
(3) TR /\R
pq (4) ~ T 1, 2, M.T.
qr
(5) R 3, 4, D.S.
\ pr
48
TRY this : (6) Destructive Dilemma (D.D.)
(1) R T For this rule we need two statements
(2) ~ T such that, one statement is a conjunction of two
(3) R ~ S /\~S conditional statements and the second statement
(4) ________ 1, 2, M.T. is a disjunctive statement which denies
(5) ~ S ________ consequents of the conditional statements. From
such two statements we can infer a disjunctive
(5) Constructive Dilemma (C.D.) statement which denies antecedents of the
conditional statements. The form of Destructive
To apply this rule we need two statements
Dilemma is as follows ---
such that, one statement is a conjunction of two
conditional statements and the second statement (p q) × (r s)
is a disjunctive statement which affirms ~q~s
antecedents of the conditional statements. From \ ~p~r
such two statements we can infer a disjunctive
statement which affirms consequents of the The following argument illustrates the rule :
conditional statements. The form of Constructive If you use solar power then it reduces
Dilemma is as follows - pollution and if you use dustbins then you keep
(p q) · (r s) the city clean.
49
(7) Simplification (Simp.) The following argument illustrates the rule :
The rule of Simplification states that, if Radhika loves reading.
a conjunctive statement is given as one of the She writes poems.
premises then one can validly infer the first Therefore, Radhika loves reading and she writes
conjunct. This rule is based on the nature of poems.
conjunctive statement. A conjunctive statement
is true only when both the conjuncts are true, Application of the rule ---
therefore, from a conjunctive statement one can (1) FÚT
derive the first conjunct. The form of rule of (2) AK
Simplification is as given below --- (3) A
p·q (4) ~ F /\T×K
(5) K 2, 3, M.P.
\ p
(6) T 1, 4, D.S.
The following argument illustrates the rule : (7) T×K 6, 5, Conj.
Ishita practices yoga and Ishita is flexible. TRY this :
Therefore, Ishita practices yoga.
(1) ST
Application of the rule --- (2) AB
(1) (M N) × (R S) (3) S Ú A
(2) (M Ú R) × D / \ N Ú S (4) M / \ (T Ú B) × M
(3) MÚR 2, Simp. (5) ________ 1, 2, Conj.
(4) NÚS 1, 3, C.D. (6) TÚB ________
TRY this : (7) ________ 6,4, Conj.
50
Application of the rule --- (10) De Morgan’s Laws (De M.)
(1) S The De Morgan’s Laws are as follows -
(2) (S × T) A
~ (p × q) º (~ p Ú ~ q)
(3) T / \AÚK
~ (p Ú q) º (~ p × ~ q)
(4) S × T 1, 3, Conj.
(5) A 2, 4, M.P. The first De Morgan’s law is based on the nature
(6) AÚK 5, Add. of conjunctive statement. Conjunctive statement
is false when at least one of the conjuncts is
TRY this :
false. So, the first De Morgan’s law states
(1) A that, the denial of the conjunctive statement
(2) (A Ú S) ~ T ‘~ (p × q)’ is the same as saying that either ‘p’ is
(3) TÚ~M / \~MÚ~S false or ‘q’ is false.
(4) AÚS _________ The following argument illustrates the rule :
(5) _________ 2, 4 M.P. The statement, ‘It is not true that Niraj is
(6) ~ M _________ hardworking and lazy’ is logically equivalent to
(7) ~MÚ~S _________ the statement - ‘Either Niraj is not hardworking
or Niraj is not lazy’.
THE RULE OF REPLACEMENT
The second De Morgan’s law is based on
The nine rules of Inference, cannot prove the nature of disjunctive statement. Disjunctive
the validity of all arguments. statement is false when both the disjuncts are
For example, to prove the validity of the false. So, the second De Morgan’s law states
argument- A × D / \ D, nine rules are not that, the denial of the disjunctive statement
sufficient. The Rule of replacement is therefore ‘~ (p Ú q)’ is the same as saying that ‘p’ is false
accepted in addition to the nine rules of and ‘q’ is false.
Inference. The rule of replacement is also called The following argument illustrates the rule :
the Principle of Extensionality.
The statement, ‘It is false that plastic
It is based on the fact that, if any compound bags are either eco friendly or are degradable’
statement is replaced by an expression which is is logically equivalent to the statement - ‘Plastic
logically equivalent to that statement, the truth bags are not eco friendly and are not degradable.’
value of the resulting statement is the same as
that of the original statement. Application of the rule ---
(1) ~ (A Ú M)
When the rule of replacement is adopted
as an additional rule of inference, it allows us (2) ~ (S × T)
to infer a statement from any given statement (3) A Ú J
which is logically equivalent to it. This rule (4) ~ ~ S / \ ~T×J
can be applied to the whole as well as part (5) ~ A × ~ M 1, De M.
of a statement. Since these rules are logically (6) ~ S Ú ~ T 2, De M.
equivalent statements they can be applied in
(7) ~ T 6, 4, D.S.
both the ways i.e. left hand expression can be
replaced by right hand expression and vice (8) ~ A 5, Simp.
versa. Based on the rule of replacement, ten (9) J 3, 8, D.S.
logical equivalences are added to the list of rules (10) ~ T × J 7, 9, Conj.
of inference and are numbered after the nine
rules. They are as follows -
51
TRY this : TRY this :
(1) S É T
(1) ~ S × T
(2) ~ (T Ú K)
(2) (T É R) × (A É B)
(3) S Ú M / \MÚ~R
(3) A / \R×B
(4) _________ 2, De M.
(4) _________ 1, Com.
(5) ~ T _________
(5) T _________
(6) ~ S _________
(6) T É R _________
(7) _________ 3, 6, D.S.
(7) _________ 6, 5, M.P.
(8) M Ú ~ R _________
(8) _________ 2, Com.
(11) Commutation (Com.) (9) A É B _________
The Commutative Laws are as follows - (10) _________ 9, 3 M.P.
(11) R × B _________
(p × q) º (q × p)
(p Ú q) º (q Ú p) (12) Association (Assoc.)
Commutation means changing the place of The Association Laws are as follows -
components. The first commutative law which
deals with conjunctive statement states that [p × (q × r)] º [(p × q) × r]
‘p × q’ is logically equivalent to ‘q × p’.
[p Ú (q Ú r)] º [(p Ú q) Ú r]
Changing the place of conjuncts makes no
difference to the truth value of a statement. The Associative Laws state that in case
of conjunctive and disjunctive statements if
The following argument illustrates the rule : there are three components joined with the
The statement, ‘I like to study logic same connective i.e. either by dot or by wedge,
and philosophy is logically equivalent to the then, whichever way you group them makes no
statement’ I like to study philosophy and logic.’ difference to their truth value.
The second commutative law deals with The following argument illustrates the first
disjunctive statement and allows us to change rule:
the order of disjuncts. Changing the place of
disjuncts makes no difference to the truth value The truth value of the statement, ‘Rutuja
of a statement. is beautiful and (hardworking and successful)’
remains the same even when expressed as,
The following argument illustrates the rule : ‘(Rutuja is beautiful and hardworking) and
The statement, ‘Either I will use cloth successful.’
bags or paper bags’ is logically equivalent to the
The following argument illustrates the second
statement ‘Either I will use paper bags or cloth
rule :
bags.’
The truth value of the statement, ‘Shreyas
Application of the rule ---
will either eat a burger or (a sandwich or a pizza)
(1) ~ (A Ú K) remains the same even when expressed as,
(2) T×K /\K×~K ‘(Shreyas will either eat a burger or a sandwich)
(3) ~A×~K 1, De M. or a pizza.’
(4) ~K×~A 3, Com.
(5) K×T 2, Com.
(6) ~ K 4, Simp.
(7) K 5, Simp.
(8) K×~K 7, 6, Conj.
52
Application of the rule --- it is the same as saying that, it is in disjunction
with the first conjunct and it is in disjunction
(1) (S × B) × T
with the second conjunct.
(2) A Ú (K Ú T)
(3) ~ T / \ S × (A Ú K) The following argument illustrates the rule :
(4) S × (B × T) 1, Assoc.
The statement,
(5) S 4, Simp.
(6) (A Ú K) Ú T 2, Assoc. ‘Either Vikas plays cricket or he sings and
(7) T Ú (A Ú K) 6, Com. paints’ is logically equivalent to the statement
(8) AÚK 7, 3, D.S. ‘Either Vikas plays cricket or he sings and either
(9) S × (A Ú K) 5,8, Conj Vikas plays cricket or he paints’.
(1) P Ú (Q Ú M) (1) ~ (S · A)
(2) S × (A Ú B)
(2) ~ (P Ú Q)
(3) K Ú (P × D) / \ (S × B) × (K Ú D)
(3) S × (R × A) / \A×M (4) (S × A) Ú (S × B) 2, Dist.
(4) _________ 1, Assoc. (5) S × B 4, 1, D. S.
(5) M _________ (6) (K Ú P) × (K Ú D) 3, Dist.
(6) (S × R) × A _________ (7) (K Ú D) × (K Ú P) 6, Com.
(7) _________ 6,Com. (8) KÚD 7, Simp.
(9) (S × B) × (K Ú D) 5, 8, Conj.
(8) A _________
(9) A×M _________ TRY this :
53
The following argument illustrates the rule : Application of the rule ---
To say that, ‘Global warming is a current (1) ~~K
world crisis’ is logically equivalent to saying, (2) KÉA / \~~A
‘It is not the case that global warming is not a (3) ~AÉ~K 2, Trans.
current world crisis.’
(4) ~ ~ A 3, 1, M. T.
Application of the rule ---
TRY this :
(1) ~ R Ú (S Ú B)
(1) TÉA
(2) R
(2) ~SÉR
(3) ~ S / \~~B
(3) (~ A É ~ T) É ~ R / \ S Ú (B × Q)
(4) ~ ~ R 2, D. N.
(4) ~AÉ~T _________
(5) SÚB 1, 4, D. S.
(5) _________ 3,4 M.P.
(6) B 5, 3, D. S.
(6) ~ ~ S _________
(7) ~ ~ B 6, D. N.
(7) _________ 6, D.N.
TYR this : (8) S Ú (B × Q) _________
(1) ~AÉB (16) Material Implication (Impl.)
(2) ~B
(3) ~(~ M Ú R) /\A×M The rule is stated as follows -
(4) _________ 1, 2, M. T. (p É q) º (~ p Ú q)
(5) A _________ This rule is based on the nature of
(6) _________ 3, DeM. conditional statement. A conditional statement
(7) _________ 6, D.N. is false only when its antecedent is true and
(8) M _________ consequet is false. But if antecedent is false then
(9) A× M _________ whatever may be the truth value of consequent
the conditional statement is true or if consequent
(15) Transposition (Trans.) is true then whatever may be the truth value of
antecedent the conditional statement is true.
The rule of Transposition is expresssed as Therefore the rule of implication states that, if
follows : ‘p É q’ is true then either ‘p’ is false or ‘q’ is
(p É q) º (~ q É ~ p) true.
Like commutative laws this rule allows us The following argument illustrates the rule :
to change the places of components. However, To say that, ‘If you litter on streets then
when we interchange the antecedent and you are irresponsible.’ is logically equivalent to
consequent, we have to negate both of them so the statement, ‘Either you do not litter on streets
that the truth value remains the same. or you are irresponsible.’
The following argument illustrates the rule :
To say that, ‘If people take efforts then
environmental pollution can be controlled’
is logically equivalent to saying that, ‘If
environmental pollution is not controlled then
people have not taken efforts.’
54
Application of the rule --- you pursue your passion and succeed or you do
not pursue your passion and you do not succeed.’
(1) (A É B) Ú S
(2) A Application of the rule ---
(3) ~ B / \S (I)
(4) (~ A Ú B) Ú S 1, Impl. (1) SºM
(5) ~ A Ú (B Ú S) 4, Assoc. (2) ~ S / \~M
(6) ~ ~ A 2, D.N. (3) (S É M) × (M É S) 1, Equiv.
(7) BÚS 5, 6, D.S. (4) (M É S) × (S É M) 3, Com.
(8) S 7, 3, D.S. (5) M É S 4, Simp.
(6) ~ M 5, 2, M.T.
TRY this :
(II)
(1) QÉT
(1) SºM
(2) (~ Q Ú T) É M
(2) ~ S / \~M
(3) TÉS / \ M × (~ Q Ú S)
(3) (S × M) Ú (~ S × ~ M) 1, Equiv.
(4) ~QÚT _________
(4) ~SÚ~M 2, Add.
(5) _________ 2,4 M.P.
(5) ~ (S × M) 4, DeM.
(6) QÉS _________
(6) ~S×~M 3, 5, D.S.
(7) _________ 6, Impl.
(7) ~M×~S 6, Com.
(8) M × (~ Q Ú S) _________
(8) ~ M 7, Simp.
(17) Material Equivalence - (Equiv. ) TRY this :
The two rules are as given below - (1) A º S
(p º q) º [(p É q) × (q É p)] (2) S
(p º q) º [(p × q) Ú (~ p × ~ q)] (3) (K × T) Ú (~ K × ~ T)
(4) (K º T) É ~ P
The first rule states the nature of bi-
conditional statement i.e. in a bi-conditional (5) P Ú M / \M×A
statement both the components imply each other. (6) (A É S) × (S É A) _________
The truth condition of a materially equivalent (7) _________ 6, Com.
statement is expressed in the second rule i.e. a (8) S É A _________
materially equivalent statement is true either
(9) _________ 8, 2, M.P.
when both the components are true or when both
are false. (10) _________ 3, Equiv.
(11) ~ P _________
The following argument illustrates this rule :
(12) _________ 5, 11 D.S.
According to the first rule, the statement, (13) M × A _________
‘If and only if you pursue your passion then
you will succeed,’ is logically equivalent to the (18) Exportation (Exp.)
statement, ‘If you pursue your passion then you The rule is as follows -
will succeed and if you succeed then you have
pursued your passion.’ [(p × q) É r] º [p É (q É r)]
As per the second rule, the same statement This rule is applied when we have a
is logically equivalent to the statement,’ Either conditional statement having three components.
55
In such a case it is the same as saying that, first The following argument illustrates the rule:
and second components both imply the third one.
According to the first rule, the statement,
First implying the second and second implying
‘The weather is pleasant’ is logically equivalent
the third.
to the statement,’ The weather is pleasant and
The following argument illustrates the rules: the weather is pleasant’ and as per the second
rule, the statement, ‘The weather is pleasant’
‘If you drink and drive then an accident is logically equivalent to the statement, ‘The
can take place’is logically equivalent to the weather is pleasant or the weather is pleasant.’
statement,’If you drink then if you drive then an
accident can take place.’ Application of the rule ---
Application of the rule --- (1) (S É R) × (B É R)
(2) (~ K × ~ K) É M
(1) B (3) ~M
(2) (B × S) É T (4) SÚB / \R×K
(3) T É R / \SÉR (5) RÚR 1, 4, C. D.
(4) B É (S É T) 2, Exp. (6) R 5, Taut.
(5) S É T 4, 1, M. P. (7) ~KÉM 2, Taut.
(6) S É R 5, 3, H.S. (8) ~ ~ K 7, 3, M. T.
TRY this : (9) K 8, D. N.
(10) R×K 6, 9, Conj.
(1) ~ P É (Q É ~ S)
(2) ~P×Q / \ SÉS TRY this :
(3) _________ 1, Exp. (1) (A É B) · (M É N)
(4) ~ S _________ (2) ~ B Ú ~ B
(5) _________ 4, Add. (3) A Ú M
(6) SÉS _________ (4) (~ N Ú S) Ú (~ N Ú S) / \~SÉ~R
(5) _________ 1, 3 C.D.
(19) Tautology (Taut.) (6) ~ B _________
(7) _________ 5, 6, D.S.
The rule is as follows- (8) _________ 4, Taut.
p º (p × p) (9) ~ ~ N _________
p º (p Ú p) (10) _________ 8, 9, D.S.
This rule states that any statement is (11) S Ú ~ R _________
equivalent to an expression where the statement (12) _________ 11, Impl.
is in conjunction with itself or the statement is in
disjunction with the statement itself.
56
Rules of Inference : Rule of Replacement :
\ qÚs (p É q) º (~ p Ú q)
(6) Destrutive Dilemma (D.D.) (17) Material Equivalence - (Equiv.)
(p É q) × (r É s) (p º q) º [(p É q) × (q É p)]
~qÚ~s (p º q) º [(p × q) Ú (~ p × ~ q)]
\ ~pÚ~r
(18) Exportation (Exp.)
(7) Simplification (Simp.)
[(p × q) É r] º [p É (q É r)]
p×q
(19) Tautology (Taut.)
\ p
p º (p × p)
(8) Conjunction (Conj.)
p º (p Ú p)
p
q
\ p×q
(9) Addition (Add.)
p
\ pÚq
57
Summary
• The method of deductive proof is used for proving the validity of arguments. It consists in
deducing the conclusion of an argument from its premises by a sequence of valid elementary
arguments.
• The method of deductive proof is not a decision procedure, as it is not mechanical.
• The method of direct proof consists in deducing the conclusion of an argument directly from
its premises by a sequence of (valid) elementary arguments.
• In the method of deductive proof, nineteen rules are used for constructing formal proof of
validity.
• The first nine rules of inference are elementary valid forms of arguments. Remaining ten
rules are logically equivalent statements, based on the rule of replacement.
• Rules of inference can be applied only to the whole statement. Rules based on the rule of
Replacement can be applied to the whole as well as part of the statement.
Exercises
Q. 1. Fill in the blanks with suitable words 8. The rule of Modus Tollens is based on
from those given in the brackets : the nature of ................... statement.
[Conjunctive / Conditional]
1. According to De Morgan’s Law (DeM.),
~ (S × ~R) º ................... . 9. [(p × q) É r] º [p É (q É r)] is by the rule of
.................. . [Distribution / Exportation]
[(S Ú R) / (~ S Ú ~ ~ R)]
10. The rule of replacement can be applied
2. The rule involved in
to ................... of the statement. [Whole /
(A Ú M) º (M Ú A) is ................... .
Whole as well as part]
[Commutation / Transposition]
3. Thr rule of Simplification (Simp.) is based Q. 2. State whether the following statements
on the nature of ................... statement. are True or False :
[Disjunctive / Conjunctive] 1. Rules of inference can be applied to the
part of the statement.
4. (B É ~ R) º ................... is by the rule of
Material Implication (Impl.) [(~ B Ú ~ R) 2. The method of deductive proof is a
/ (B Ú R)] decision procedure.
5. The rule used in ~ T º (~ T Ú ~ T) is 3. The rule of Disjunctive Syllogism (D.S.)
................... . [Tautology / Commutation] can be applied to the part of the statement.
4. The method of direct proof consists in
6. [p × (q × r)] º [(p × q) × r] is by the rule of
deducing the conclusion directly from the
................... . [Association / Exportation]
premises.
7. (K É T) º ................... is by the rule of 5. p /\ p Ú q is the rule of simplification
Transposition (Transp.) (Simp.)
[(T É ~ K) / (~ T É ~ K)]
58
6. [(p É q) × p] É q is the rule of Modus Q. 6. Answer the following questions :
Ponens (M.P.) 1. Explain the method of Deductive proof.
7. In the rule of Transposition (Trans.), places 2. Explain the method of Direct Deductive
of antecedent and consequent are changed proof.
and both of them are negated.
3. Distinguish between rules of Inference
8. The method of deductive proof is a and Rule of Replacement.
mechanical method.
4. Distinguish between rule of Modus Ponens
9. The rule of Hypothetical syllogism (H.S.) and rule of Modus Tollens.
is based on the nature of disjunctive
statement. 5. Distinguish between rule of Hypothetical
Syllogism and rule of Disjunctive
10. p, q / \ p × q is the rule of Addition (Add.) Syllogism.
Q. 3. Match the columns : 6. Distinguish between rule of Simplification
(A) (B) and rule of Conjunction.
59
(8) (T É W) · L (3) 1 (X É ~ Y) × (Z É A)
\TÉW 2 ~ (~ X × ~ Z) / \YÉA
(9) SÚ~L 3~~XÚ~~Z
~TÉW 4XÚZ
\ (S Ú ~ L) · (~T É W) 5~YÚA
(10) J É L 6YÉA
~L É K (4) 1 (A Ú B) É ~ C
\JÉK 2 C / \~B
Q. 8. State whether the following equivalances 3~~C
are correct or incorrect : 4 ~ (A Ú B)
(1) ~ (p Ú ~ q) º (~ p · q) 5~A×~B
(2) ~~RºR 6~B×~A
(3) (~ K Ú ~ K) º K 7~B
(4) [ (R · ~ S) · ~ T ] º [R Ú (~ S Ú ~ T)] (5) 1~LÉK
(5) [ ~A · (B Ú C)] º [ (~ A · B) Ú (~ A · C)] 2 (L Ú M) É (U × W)
(6) (~ p É ~ q) º (q É p) 3 ~ K / \UÚU
(7) (~ S · ~ T) º (T · S)
4~~L
(8) (~ p É q) º (p Ú q)
5L
(9) [ (p · q) Ú (q · p) ] º (p º q)
6LÚM
(10) [ (p É q) É r ] º [p · (q É r)
7U×W
Q. 9. State the justification for each step of 8U
the following arguments :
9UÚU
(1) 1 (K Ú S) × (K Ú ~ T)
(6) 1WÚS
2 S É T / \ K
2~S
3 K Ú (S × ~ T)
3 (W × X) É Y / \~XÚY
4 ~ S Ú ~ ~T
4SÚW
5~SÚT
5W
6 ~ (S × ~ T)
6 W É (X É Y)
7 (S × ~T) Ú K
7XÉY
8K
8~XÚY
(2) 1 (W É L) × (W É K)
(7) 1 (A × B) × C
2 (L × K) É Z
2 A É (D Ú K)
3 ~ Z / \~W
3 ~ D / \K
4 ~ (L × K)
4 A × (B × C)
5~LÚ~K
5A
6~WÚ~W
6DÚK
7~W
7K
60
(8) 1KÚL (4) 1AÚB
2 (L × M) É (O × P) 2~A
3~K 3 M × D / \B×M
4 M / \ GÉO (5) 1MÚ~S
5L 2~M
6L×M 3 P É S / \~PÚR
7O×P (6) 1~A
8O 2~B
9OÚ~G 3 (~ A × ~ B) É R / \R
10 ~ G Ú O (7) 1A×S
11 G É O 2AÉ~B
(9) 1~DÚE 3 B Ú T / \ T Ú ~ M
2EÉG (8) 1WÚT
3 (~ G É ~ D) É H / \HÚK 2 (W Ú T) É (L × ~ S) / \ L
4DÉE (9) 1(P É Q) × R
5DÉG 2 (Q É R) × S /\PÉR
6~GÉ~D (10) 1 (A × B) É S
7H 2SÉR
8HÚK 3A
(10) 1 A É B 4 B / \ R
2CÉD (11) 1 (T Ú S) É P
3 ~ (B × D) /\~AÚ~C 2PÉQ
4 (A É B) × (C É D) 3 T / \Q
5~BÚ~D (12) 1 Q É S
6~AÚ~C 2PÉT
Q. 10. Construct formal proof of validity 3QÚP
for the following arguments using nine 4 ~ S / \T
rules of Inference : (13) 1 (M Ú O) É (A × M)
(1) 1PÉQ 2 (A × M) É (D × E)
2PÉR 3 M / \D
3 P / \Q×R (14) 1 P É T
(2) 1TÉP 2TÉ~D
2~P 3 ~ D É M / \PÉM
3 ~ T É ~ R / \~RÚS (15) 1 H É K
(3) 1MÉN 2TÚF
2NÉO 3H
3 (M É O) É (N × P) / \ N Ú R 4 ~ T / \F×K
61
(16) 1 A É (B Ú S) (25) 1 R É T
2 ~ (B Ú S) 2SÉB
3DÉL 3R×M
4 A Ú D / \L 4 ~ T / \BÚ~A
(17) 1 A Ú B (26) 1 R Ú S
2BÉM 2 [(R Ú S) Ú K] É ~ L
3AÉD 3 T / \ ~ L × T
4 ~ D / \ B × (A Ú B) (27) 1 ~ K × ~ S
(18) 1 A É B 2MÚT
2~AÉ~C 3 M É K / \ T Ú (S É R)
3 C Ú (D × E) (28) 1 ~ A É R
4 ~ B / \ D Ú (S º ~ R) 2SÉ~A
(19) 1 ~ S É (P É T) 3~R
2 ~ (P É T) 4 S Ú ~ P / \ ~P
3AÉM (29) 1 L Ú ~ S
4 ~ S Ú A / \ M Ú (R × Q) 2~A
(20) 1 ~ S × (A Ú B) 3 (~ A Ú ~ M) É ~ L
2 (M É S) × R 4 P × B / \ ~ S × (P × B)
3 M Ú ~ T / \ ~TÚ~K (30) 1 A É ~ B
(21) 1 A É M 2A×~R
2PÉT 3 B Ú (S Ú ~ M)
3 P Ú A 4 ~ S × ~ T / \A×~M
4 ~ T / \M Q.11. Construct formal proof of validity for
(22) 1 S É M the following arguments using the rule
of Inference and Replacement :
2PÉA
(1) 1 ~ (M × R)
3~AÚ~M
4 K × S / \ (~ P Ú ~ S) × K 2M
(23) 1 R É S 3 (~ R É B) × (A É K) / \ B Ú K
3~T 2~AÚS
4~SÚ~B / \ (~ R Ú ~ A) × ~ T 3SÉT / \ T Ú (~ R É M)
(24) 1 A É (~ B Ú ~ D) (3) 1 A Ú (B Ú M)
2DÉA 2 ~ B / \ AÚM
3D (4) 1MÉN
4AÉB 2A ÉN
5 M É D / \~AÚ~M 3 M Ú A / \ N
62
(5) 1 R Ú (S × T) (18) 1 (R É Q) × (Q É R)
2~T 2 (B Ú M) Ú S
3 ~ S / \R 3~B
(6) 1 ~ (S Ú T) 4 ~ S / \ (R º Q) × M
2~SÉ~P (19) 1 ~ (S Ú M)
3 P Ú R / \RÚ~M 2PÉM
(7) 1AÉ~B 3 M Ú ~ N / \ ~ (P Ú N)
2A×S (20) 1 S Ú T
3 B Ú R / \R×S 2 (S Ú M) É (Q × B)
(8) 1TÉ~S 3 ~ B / \T
2TÚT (21) 1 ~ (~ A Ú R)
3 S Ú ~ K / \ ~KÚ~K 2 R / \T×A
(9) 1~KÉ~T (22) 1 (R × M) É S
2~K×S 2 R / \~SÉ~M
3~TÉR (23) 1 (S × T) Ú (~ S × ~ T)
4 (R × S) É M / \MÚM 2~SÚ~R
(10) 1 S É T 3 ~ (~ S × ~ T) / \ ~ (R × B) × (S º T)
2 T É M / \MÚ~S (24) 1 ~ A Ú B
(11) 1 A É M 2SÉT
2 (~ A Ú M) É R 3 A Ú S / \~BÉT
3 ~ S Ú T / \ (S É T) × R (25) 1 ~ (A Ú M)
(12) 1 A É (B É M) 2SÉA
2A×B / \ M × [(A × B) É M]
3 M Ú ~ R / \ ~ (S Ú R)
(13) 1 P º S
(26) 1 R Ú (S × T)
2 ~ P / \~SÚ~M
2 (R Ú T) É ~ M / \MÉF
(14) 1 A Ú (R Ú ~ P)
(27) 1 S É A
2 P / \AÚR
2BÉS
(15) 1 W Ú B
3 ~ T × ~ A / \ ~B×~T
2WÉ~S
(28) 1 S É T
3BÉ~S
2 R Ú S / \ ~TÉR
4 T É S / \ ~T
(29) 1 (R É S) × (R É M)
(16) 1 ~ B Ú M
2 ~ S Ú ~ M / \ ~ ( T × R)
2 M É R / \ ~R É ~ B
(30) 1 B É K
(17) 1 (S × T) É P
2~BÉS / \ (K Ú S) Ú ~ A
2PÉF
3 ~ F / \~SÚ~T
v v v
63
Chapter 5 Inductive Inference and its Types
When general observations are drawn from so many particulars as to become certain and indubita-
ble, these are jewels of knowledge - Samuel Johnson
66
The form of analogical argument is as follows • For example :
A - is observed to have the properties P1, P2, Man and monkey, both have two legs, two
P3, ....Pn eyes, two hands, one nose, two ears.
B - is observed to have the properties P1, P2, Man can read and write.
P3, ....Pn Therefore, monkeys can also read and
A possess additional property ‘q’ write.
\ B also has the property ‘q’. In this example, there are many similarities
Example : between both man and monkey but the
difference is very important, i.e. man is
On the basis of the observed similarities rational whereas monkey is not as rational
between Earth and Mars, Lowell put forward an as man and therefore it is a bad analogical
analogical argument. argument.
Both Earth and Mars are planets. It is important to note that the conclusion
established by analogical reasoning is
They revolve round the Sun. always probable and never certain.
Both have water, moderate temperature and are The Nature of Conclusion : on the basis of
surrounded by an atmosphere. the resemblances the conclusion of analogical
There is life on Earth argument should not assert more than what is
justified by the evidence. The example of Earth
Therefore there is life on Mars.
and Mars justify the inference that there is life
The logical basis of the analogical on Mars. But if one claims that there are human
argument is that the characteristics found beings on Mars then the argument becomes a bad
together are likely to be connected with one one, as too much is claimed than the evidence in
another and therefore from the presence of one the premises.
characterstic we infer the presence of another.
* Activity : Recognize whether the given
Value of Analogy : Some analogical arguments analogical arguments are good or bad and
are good whereas some are bad. The soundness give justification for the same -
of analogical argument depends upon the
following factors : Examples :
• Relevant and important resemblances 1. Daniyal and Anita reside in the same
: When the resemblance is in important building, they go to the same college and
and relevant characteristics, the analogial are in same class. They are of the same
argument is good. For example : Lowell’s height and weight. Daniyal is smart.
analogy about Life on Mars is good \ Anita is also smart.
example because they both resemble each
other in important characteristics and are 2. Last time I purchased a pair of jeans from
also relevant to the characteristic infered the store, it lasted for 2 years. Today also
i.e. existence of life, as we all know water, I purchased a pair of jeans from the same
temperature and atmosphere is necessary store and they are manufactured by the
for existence of life. same company. The material of these jeans
is also similar to the earlier one therefore
• Important differences : If the differences this pair of jeans will also last for 2 years.
are in important aspects, then the analogical
argument is bad.
67
Scientific Induction 2. The experimental method can provide only
direct evidence, but scientific induction is
The task of science is to understand and supported by indirect evidence too. For
explain facts. Scientific induction maybe defined eg - All observed metals expand when
as, “the process of establishing generalization heated. Here observation of metals is direct
on the basis of direct and indirect evidence.” evidence, but scientifc generalization does
According to Mill and Bacon, “Scientific not stand in isolation, it is supported by
induction is the process of establishing other generalizations or well established
generalization which expresses a causal laws that is ‘All gases expands on heating’.
relationship.” This process involves the Such support by other generalization /
following stages - laws forms indirect evidence for scientific
generalization.
1. Some instances are observed and it is
found that they possess certain common Simple Enumeration and Scientific Induction
properties. Both induction per simple enumeration
2. A generalization is made that all the and scientific induction are process of inductive
instances, of that kind have the same reasoning and they both establish generalization.
property. The logical form of Simple enumeration and
Scientifc induction is same ie. they both infer
3. The observed instance is analyzed to from some to all, observed to unobserved. But
discover if there is a causal relationship. they differ in certain important characteristics.
4. Experimental method is used to verify and The generalizations by simple enumeration
establish the suggested causal relationship. are based only on direct evidences whereas
the generalizations of scientific induction
are based on direct and indirect evidence. In
simple enumeration no attempt is made to
analyse the observed cases whereas in scientifc
induction the observed instances are analysed.
The generalizations by simple enumeration
possess low degree of probability whereas the
genralizations by scientific induction possess
high degree of probability.
Hypothetico - Deductive Method (Scientific
method) :
Scientific induction has limited application.
It can be used for establishing only scientific
generalization. It is not suitable for establishing
We cannot accept Mill and Bacon’s theories nor can it be used for establishing
views about scientific induction. There are two conclusions about a particular case. So to
reasons - overcome this problem we need a method
which can establish all kinds of propositions.
1. All scientific generalizations do not
The hypothetico-deductive method fulfills these
express causal relation. For eg. the
conditions. It is the scientific method.
generalization all bats are warm blooded is
not causal, because the property of being
warm blooded is not an effect of being a
bat.
68
3. Collection of additional facts : After
forming the initial hypothesis the scientist
collects additional facts relevant to
the Hypothesis. In kon tiki expedition,
additional data regarding various routes
and means of travelling the distance
between South Amercia and south sea
island were collected.
4. Deductive development of the
hypothesis : This stage is not required
in some cases of scientific investigation
where hypothesis are directly verified i.e.
either by observation or experiment and
the hypothesis which cannot be verified
directly the scientist make use of deductive
This method uses both deductive and reasoning. In this the scientists construct a
inductive reasoning. Hypothetico-deductive deductive argument where they supposes
method consists of formulating a hypothesis, the hypothesis to be true and using it as a
deducing consequences from it and verifying premise, consequences are deduced from
those consequences by appeal to facts. This it. eg - As sociologist’s hypothesis is not
method involves five steps. These are as follows. possible to verify directly, so to verify
1. Observation and feeling of a problem : indirectly’ consequences were deduced
The aim of science is to understand and ie. if people of South America travelled
explain facts. When the scientist comes to south sea island then they must have
across an unfamiliar situation and when travelled only through sea route and that
a familiar solution cannot explain the too in a primitive kind of boat because in
observed facts then scientific investigation ancient days only such type of primitive
begins. For eg - In Kon Tiki expedition, boats were available.
sociologists observed that the ancient 5. Verification of hypothesis : Indirect
customs of people living on south sea verification consist of finding out whether
islands and the people of South America the deduced consequences take place. If
are similar. The problem felt was - why the predicted consequence take place then
there is a similarity in customs and the hypothesis is accepted and if not, then
tradition of people who live far away from it is rejected or modificed. eg - in Kon
each other? Tiki expedition sociologists made a small
2. Formation of an initial hypothesis primitive kind of boat and actually travelled
: When the observed facts cannot be from South America to south sea island
understood then the scientist puts forth a and they could travel this long distance.
temporary solution to explain the observed So they concluded that if we could travel
facts. This tentative (temporary) solution this long distance today it is quite possible
is called hypothesis. After the problem that in ancient days also people must have
was felt some sociologists suggested a travelled and this explains similarity of
hypothesis that - In ancient days people customs.
from South America must have come to
south sea island and must have settled
down on the island and therefore the
customs are similar.
69
PUZZLES the next shop and returns the girl her Rs.
70. After sometime the next shopkeeper
1. Dwayne Johnson was running away with comes with Rs 100 note and told the
the loot from a heist (robbery) in his bookkeeper that the note is fraud. So he
car along with Vin Diesel. One tyre was takes the money back. How much loss did
punctured and he dropped down to replace the shopkeeper face?
it. While changing the wheel he dropped
the four nuts that were holding the wheel 3. Famous Elevator puzzle : A man who lives
and they fell into a drain. Vin Diesel on the tenth floor takes the elevator down
gave him an idea due to which they were to the first floor every morning and goes
able to drive till their rendezvous point to work. In the evening when he comes
(destination). What was the idea? back, on a rainy day or if there are people
in the elevator he goes to the 10th floor
2. A sweet girl purchased a book from a book directly. Otherwise he goes to the 7th floor
keeper and gave him Rs 100. The cost of and walks up three flights of stairs to his
the book is Rs. 30 but the shopkeeper had apartment. Can you explain why?
got no change so he gets the change from
Summary :
Exercises
Q. 1. Fill in the blanks with suitable words 4. ............... possess highest degree of
from those given in the brackets : probability. (Scientific Induction / Simple
1. In ............... inference the conclusion enumeration)
asserts something more than what is given 5. The process of arriving at generalization
in premises. (Deductive / Inductive) in science is known as ............... . ( Simple
2. ............... is called as a common man’s Enumeration/ Scientific Induction )
method of arriving at a generalization. 6. Generalizations in science are supported
(Analogy / Simple enumeration) by ............... evidence. (Direct / Both
direct and indirect)
3. ............... is known as an argument
from known resemblances to further 7. ............... is an inference from particular to
resemblances. (Analogy / Simple particular. (Analogy / Simple Enumeration)
Enumeration) 8. ............... method uses both deductive and
inductive reasoning. (Simple Enumeration
/ Hypothetico-deductive method)
70
9. ............... verification consists of finding Q. 4. Give logical terms for the following
out whether the deduced consequences 1. The inference in which we proceed from
have taken place. (Indirect / Direct) particular to particular instance.
10. ............... is a tentative solution. 2. A jump from known to unknown cases.
(Hypothesis / Verification)
3. The method in which the generalization
Q. 2. State whether the following statements is established on the basis of uniform or
are True or False : uncontradictory experience.
1. Induction is concerned with the form and 4. The method in which the observed
not the content of an argument. instances are analysed.
2. The generalization established in Simple 5. The scientific method in which both
Enumeration is based on uniform deduction and induction is involved.
experience.
6. The method in which the conclusion is
3. In Simple Enumeration we establish a
based on the resemblances between two
proposition of restricted generality.
instances in certain qualities.
4. An Analogy is a deductive inference.
Q. 5. Give reason for the following :
5. The generalizations established by
Scientific Induction are certain. 1. There is a need for induction.
6. Analogy involves an inductive leap. 2. The method of Simple Enumeration has
low degree of probability.
7. The important difference between two
objects does not affect the value of analogy. 3. Conclusion of scientific induction has high
degree of probability.
8. Analogy is a deductive inference.
9. In Simple enumeration attempt is made to Q. 6. Explain the following :
analyse the observed cases. 1. Induction by Simple Enumeration.
10. Hypothetico-deductive method consists 2. Difference between Simple Enumeration
of formulating a hypothesis, deducing and Scientific Induction.
consequences from it and verifying those 3. The nature of analogy.
consequences by appeal to facts.
4. Value of sound analogy.
Q. 3. Match the columns :
Q. 7. Answer the following questions :
(A) (B)
1. Explain the characteristics Simple
1. Scientific Induction a. Formal validity Enumeration.
2. Simple b. Temporary 2. What is Hypothetico-deductive method?
Enumeration (tentative) and explain it’s stages.
solution 3. Explain with illustration vlaue of Simple
3. Analogy c. High degree of Enumeration.
probability 4. Explain the method of Scientific Induction.
4. Deductive d. Based on
Argument resemblances
5. Inductive e. Material v v v
Argument Validity
6. Hypothesis f. Uniform
experience
71
Chapter 6 Fallacies
Logical fallacy is a flaw in reasoning. Logical fallacies are like tricks and illusion of thoughts.
Let us understand.
Argument - I
Aunt says : “Tony, do not smoke because parents don’t like their children smoking. Don’t You
care for their emotions?”
Argument - II
Uncle says : “Tony, do not smoke because cigarette contains tobacco which is injurious to health.
72
In Logic Fallacies are classified into two (2) Non-formal fallacy :
broad groups :
Non-formal fallacy is related to the content
(1) Formal (2) Non-Formal of an argument. Validity of Inductive argument
(1) Formal fallacy : depends on the content or subject matter of an
argument and it is called material validity. Non-
The formal fallacy is related to the structure formal fallacies are committed due to misleading
of an argument. Logic deals with various forms use of language.
of arguments. Validity of a deductive argument
depends on the form/structure of an argument, (1) Irrelevant conclusion.
i.e.
it is governed by certain rules. Formal fallacy is (2) Ambiguous use of words.
committed, when a rule of logic is violated. (3) Wrong use of collective and
distributive terms.
Activity : 1 (4) Wrong use of rules in exceptions.
e.g. (1) pÉq e.g. (2) G É K 6.4 CLASSIFICATION OF NON-
p K FORMAL FALLACIES :
Formal Non-formal
(1) Division (2) Composition (3) Accident (4) Converse fallacy of Accident (5) Ignoratio Elenchi (6) Petitio Principii
When all the members of a class taken Distributive term means, each member of
together, possess certain quality then the term is a class individually has certain quality.
to be used collectively.
73
E.g. When we say all mangoes in this basket are
Activity : 2
sweet. Here we mean each Mango is individually
sweet. Thus the term sweet is used distributively. Anita lives in a large building. So her
apartment must be large.
The term fallacy of Division arises in two
ways : Why do you think that the fallacy
of Division is committed in the above
(1) From class to member
example? Explain.
For instance, It would be fallacious to
........................................................................
argue that because the ‘College cricket team is
good. Hiten being the member of the college .........................................................................
cricket team, Hiten is good player.
(2) Fallacy of Composition :
(2) From whole to part.
In the fallacy of Composition, one wrongly
For instance, It would be fallacious to
proceeds from distributive use of a term to its
argue that because an object i.e. ‘Machine’ as a
collective use. The fallacy of Composition is
whole is heavy. Therefore each and every part of
opposite to the fallacy of Division. The term
the machine is heavy.
fallacy of Composition, also arises in two ways :
Definition : The fallacy of Division is committed,
(1) From member to class.
when it is wrongly argued that what is true of
a class is also true of its member separately, or For instance : It would be fallacious to argue
what is true of the whole is also true of its part that because a child from the class is physically
singly. weak, therefore the class (group) of children is
also physically weak.
Examples :
(2) From part to whole.
(i) A bag full of rupee coins, is heavy.
Therefore each and every rupee coin in it For instance : It would be fallacious to argue that
is heavy. because each brick as the part of the building, is
light in weight therefore the building as a whole
In this example it is wrongly argued that
is also light in weight.
what is true of ‘all rupee coins collectively in
a bag’, i.e. it is heavy, is also said to be true of Definition : Fallacy of Composition is
each rupee coin, in that bag. committed, when it is wrongly argued that what
is true of each member separately, is also true
(ii) Water is a liquid. Therefore its constituents
of the class or what is true of each part singly is
Hydrogen and Oxygen are also liquids.
also true of the whole.
In this example it is wrongly argued that
Examples :
what is true of ‘water’ as a whole i.e. it a liquid,
is also said to be true of its parts i.e. constituents (i) Orange juice is tasty, Ice-cream is tasty and
Hydrogen and Oxygen separately. fish curry is tasty. Therefore the mixture
of all the three ingredients is bound to be
tasty.
In this example it is wrongly argued that
what is true of each ingredient separately i.e. it
is tasty, is also said to be true of the mixture,
collectively prepared with it.
74
(ii) Each chapter of this book is small. (ii) One should always speak the truth.
Therefore this book is small. Therefore the doctor is wrong, when he
tells the terminally ill patient that there is
In this example it is wrongly argued that improvement in his health and he will be
what is true of each chapter as the part of the fine very soon.
book i.e. singly it is small, is also said to be true
of the whole book. In this example, the general rule i.e. ‘One
should speak the truth’cannot be applied to a
Activity : 3 special case of a terminally ill patient. Hence the
Seeta, Geeta and Neeta of class XI fallacy of accident is committed.
A are intelligent. Therefore class XI A is an Activity : 4
intelligent class.
It is wrong to shed blood. Therefore a
Why do you think that in the surgeon should not perform an operation on a
above example, fallacy of Composition is patient.
committed? Explain.
Why do you think that in the
......................................................................... above example, the fallacy of Accident is
......................................................................... committed? Explain.
.........................................................................
(3) Fallacy of Accident :
This fallacy arises due to wrong use of .........................................................................
rules in exceptions.
(4) Converse fallacy of Accident :
There are certain moral, legal, educational
or social rules or principles. Such rules are in This fallacy arises due to wrong use of
normal circumstances desirable. But from this it rules in exceptions.
does not logically follow that they should be This fallacy is the converse of the fallacy
applied even in special cases. In other words of Accident. According to Cohen and Nagal there
practically every rule has exceptions. It is not are certain truths which are “accidental truths.”
applicable in special, accidental or exceptional It is irrelevant to arrive at general principles out
circumstance. of accidental truths, In other words, what is true
Definition : When it is argued that what is true in accidental or exceptional case need not be
as a general rule, is also true in a special case, the true in general. In this fallacy an attempt is made
fallacy of Accident is committed. to arrive at a general rule on the basis of a special
Examples or an exceptional case.
(i) Regular walk is good for keeping oneself Definition : when it is argued that what is true
physically fit. in a special or exceptional case, is true as a
general rule, we commit the Converse fallacy of
Therefore, a patient with fractured leg Accident.
must also walk regularly.’
In this example the general rule i.e. Regular Examples.
walk is good…., is applied to a special case of a (i) An ambulance is allowed to overtake other
patient with fractured leg. Hence the fallacy of vehicles and break traffic rules. Therefore
accident is committed. every vehicle must be allowed to break
traffic rules.
75
In this example, it is argued that what opponent, that forces the opponent to accept it.
is true in a special case of ambulance i.e. it is In logic our conclusion is correctly drawn only
allowed to break traffic rules is accepted as a when we give good reasons for it.
general rule for all vehicles.
Definition : The fallacy of argumentum ad
(ii) A visually challenged student is given a Baculum is committed, when the person does not
writer for the exam. So every student must have rational argument and instead he appeals to
be given writers for exams. threat, fear and force to establish his conclusion.
In this example it is argued that what is true This fallacy is based on the principle of ‘Might
in a special case of a visually challenged student is right’.
i.e the student is given a writer for the exam is
accepted as a general rule for all students. Examples
76
argument, makes an attempt to refute an to people’s emotions rather than to reason, in
opponent’s argument by a personal attack on order to establish one’s own point of view.
the opponent’s character, conduct, reputation
[beliefs or opinions], background, or past views Definition : When the premises of an argument
which are irrelevant to the situation. make an appeal to people’s emotions, and
feelings in order to support the truth of some
The term ‘Argumentum ad Hominem’ literally unrelated conclusion, the fallacy of argumentum
means ‘Against the man’. Modern logicians ad Populum is committed.
called it, the fallacy of ‘tu quoque’ which means
‘you also’. Propagandists use this type of arguments
as easiest way of arousing people’s emotions.
Mostly this fallacy is committed in a courtroom, For this purpose they may sometimes use
in the field of politics and debates.. emotional language which is irrelevant to the
content or information. e.g. Political parties
Examples using emotional language to win the votes.
(i) “How can you talk in favour of co- Examples
education, when you send your daughter
to girls college.” (i) A particular model of mobile is the best in
the market Don’t you know that it has the
In this example the person attacks the highest sale in the market?
opponent’s conduct i.e. sending his own daughter
to girls college, instead of proving his argument In this example, there is an emotional
with proper reasons. appeal to people for a particular model of mobile.
(ii) “What right do you have, to tell me, to (ii) “How can you criticize Dowry system?
wear a helmet while riding a bicycle, when Are you wiser than your ancestors?”
I have never seen you wearing it?”
In this example there is an emotional
In this example the person attacks the appeal to people, to follow Dowry system.
opponent’s conduct i.e. not wearing a helmet
while riding a bicycle, instead of proving his Activity : 8
own argument with proper reasons. “Married Girl must wear sari. Don’t you
Activity : 7 know that the great grand-mothers always did
that for years?”
“How can you accuse me for copying in
the exam, I had seen you copying in the exam Why do you think that in the above
last time.” example the fallacy of Argumentum ad
Populum is committed? Explain.
Why do you think that fallacy of
Argumentum ad Hominem is committed in .........................................................................
the above example? Explain. .........................................................................
.........................................................................
4. Argumentum ad Verecundiam. [Appeal
......................................................................... to improper authority]
77
Definition : The fallacy of argumentum ad accepted. However an appeal to pity is not always
Verecundiam is committed when an appeal is logically relevant to the truth of a conclusion.
made to improper authority. Definition : The fallacy of Argumentum ad
The person sometimes does not have Misericordiam is committed when someone
special knowledge in the area of discussion, yet tries to win support for an argument by making
to prove one’s own point of view, an improper an appeal to feeling of pity or sympathy.
authority is quoted. It is very common in court room. When the
Advertisers takes advantages of the defence attorney is unable to offer good reasons
popularity of some famous personalities for the for his client’s defence, he may appeal to pity
sale of their products. When common people as a last attempt to save the client from being
are made to believe and accept that a particular punished
product is good just because famous people Examples
recommended it, this fallacy is committed.
(i) “Gentlemen of Jury, I earnestly make
Examples an appeal to you to sympathize with my
client - who is a pretty young widow, with
(i) A famous film star claims, a particular hair
tear-stained face, mourning and holding a
oil is the best. So it must be good.
new born baby in her arms.”
In this example, the argument appeals to In this example the lawyer tries to win
the authority of an actor. But actor is an improper support for his client by an appeal to the feeling
authority for deciding whether the hair oil is of pity. So that the Jury will forgive his client.
good.
(ii) “Sir, I request you to pardon me. No doubt
(ii) I am sure that, this cold drink is a very I am guilty of copying in the examination,
good drink, as I heard the famous cricketer but you know that my father is no more
talk about it, in one advertisement. and my mother has been suffering from
In this example, the argument appeals to cancer since last two years. I being the
the authority of a cricketer. But cricketer is an eldest in the family, had to look after my
improper authority for deciding whether the cold sick mother and younger siblings. So I
drink is good. could not prepare for the examination.”
In this example the student tries to gain
Activity : 9
support, by an appeal to the feeling of pity for
How can you doubt it ? My friend said, himself, so that the teacher will forgive him.
the film is good.
Activity : 10
Why do you think that in the above
“Please do not dismiss me from job, I
example the fallacy of Argumentum ad
really need it. My Father is now bed-ridden. I
Verecundiam is committed? Explain.
am the only son and have to look after my old
......................................................................... parents.”
78
6. Argumentum ad Ignorantiam [Appeal (6) Fallacy of Petitio Principii [Begging the
to ignorance] Question]
Definition : The fallacy of argumentum ad Petitio Principii is a fallacy of proof
Ignorantiam occurs, when lack of knowledge or rather than inference. Here it should be noted
ignorance of the opponent is taken as evidence that the premise is not logically irrelevant to
to prove one’s own point of view. the truth of the conclusion but the premise is
In other words it is an error that is logically irrelevant to the purpose of proving or
committed, when it is argued that one’s establishing the conclusion.
proposition is true, simply on the basis that it has Petitio principii is popularly known
not been proved as false by the opponent or the as ‘Begging the Question’. The expression
opponent’s proposition is false simply because ‘begging the question’ makes it clear that which
the opponent has no evidence to prove it as true. is to be proved, is taken for granted.
Here ignorance of how to prove or E.g. To give charity to beggars is right because
disprove a proposition, clearly does not establish it is the duty to be charitable. Here premise
the truth or falsity of the proposition. This kind contains the conclusion. So the fallacy of Petitio
of argument is not a fallacious in the court of principii is committed.
Law because as per the guiding principle, court
assumes that person is innocent till he is proved It takes two sub-forms :
to be guilty.
1. Hysteron Proteron :
Examples
In Hysteron Proteron, there is direct
(i) Mr. Peter said, he is courageous because assumption. This fallacy is committed in a single
nobody ever told him, he is not. step of inference by use of synonym. That means
In this example there is an appeal to the reason given [i.e. the premise] merely repeats
ignorance. i.e. Just because the opponents the statement to be proved [i.e. conclusion] but
have no evidence to prove that ‘Peter is not in different words, having the same meaning.
courageous’, therefore Peter’s statement that ‘he Examples
is courageous’ is considered as true.
(i) This cloth is transparent
(ii) Nobody has so far proved that ghost exists. Because we can see through it.
Therefore ghosts do not exist.
In this example, the premise i.e. we can
In this example there is an appeal to see through the cloth repeats the conclusion i.e.
ignorance, i.e. Just because there is no evidence the cloth is transparent, in different words having
to prove that ‘ghost exists, therefore ghosts do the same meaning.
not exist is considered to be true.
(ii) The wind is invisible
Activity : 11 Because we can never see it.
Nobody has so far proved that the soul In this example, the premise i.e. we can
is mortal. Therefore the soul is immortal. never see wind repeats the conclusion i.e. the
Why do you think that in the above wind is invisible, in different words having the
fallacy of Argumentum ad Ignorantiam is same meaning.
committed? Explain.
.........................................................................
.........................................................................
79
Examples
Activity : 12
(i) Monica is famous, therefore she is in film
Mr. Raju is insane, for his behaviour is
industry.
that of a mad man.
Monica is in film industry, therefore she is
Why do you think that, in the above
famous.
example the fallacy of Hysteron Proteron is
committed? Explain. In this example, the premise i.e. Monica is
famous, therefore she is in film industry repeats
.........................................................................
itself as a conclusion i.e. Monica is in film
......................................................................... industry, therefore she is famous, but in a round
about manner.
2. Arguing in Circles.
(ii) Healthy mind implies healthy body, and
In fallacy of Arguing in Circles, or Vicious Healthy body implies healthy mind.
Circle, the premise that is assumed is not the
In this example, the premise i.e. Healthy
conclusion itself. But it is something whose
mind implies healthy body repeats itself as the
proof’s depends upon the conclusion.
conclusion i.e. Healthy body implies healthy
Here the subject of the premise becomes mind, But in a round about manner.
the predicate of the conclusion and vice versa.
Activity : 13
The logical form of this fallacy is : P is
Complete the vicious Circle.
true, because Q is true.
And Q is true, because P is true. Poverty illiteracy unemployment
Illiteracy
Summary
• Fallacy means an error in an argument.
• Fallacies are classified into two types formal and non-formal.
• Formal fallacy is committed, when a rule of Logic is violated
• Non-formal fallacy in committed due to misleading use of language.
• I. M. copi has classified non-formal fallacies as follows :
(1) Fallacy of Division
(2) Fallacy of Composition
(3) Fallacy of Accident
(4) Converse Fallacy of Accident
(5) Fallacy of Ignoratio Elenchi
(i) Argumentum ad Baculum
(ii) Argumentum ad Hominem
80
(iii) Argumentum ad Populum
(iv) Argumentum ad Verecundiam
(v) Argumentum ad Misericordiam
(vi) Argumentum ad Ignoratiam
(6) Fallacy of Potitio principii
(i) Hysteron Proteron
(ii) Arguing in Circles
Activity : 14
Give few examples of the experiences you had, where you came across some fallacies
committed in the arguments.
Exercises
Q. 1. Fill in the blanks with suitable words (7) When there is an appeal to ……………,
from those given in the brackets : the fallacy of argumentum ad Verecundiam
(1) Fallacy of …………… is committed, is committed.
when it is argued that what is true as a [A] Improper authority
general rule, is also true in a special case. [B] Emotional feeling of people
[A] Accident (8) When an argument wrongly proceeds
[B] Converse of accident from …………… of term, the fallacy of
(2) …………… fallacy is committed, when Composition is committed.
the rule of Logic is violated. [A] Collective use of term to distributive
[A] Non-formal [B] Formal use
81
Q. 2. State whether the following statements (3) Error done due to violation of any rule of
are true or false: logic.
(1) Argumentum ad Hominem occurs (4) Error done in the argument, where one
when one attempts to attack on personal wrongly proceeds from part to whole.
drawbacks and short comings of man. (5) Error done in an argument, where one
(2) In the fallacy of Petitio principii, what is to arrives at a general principles on the basis
be proved is taken for granted. of accidental cases.
(3) Converse fallacy of Accident is committed (6) Latin expression for the fallacy of
when it is argued that what is true of a ‘irrelevant conclusion’.
member of a group is also the of the whole (7) The error done in an argument, where one
group. threatens his opponent and forces him to
(4) The modern name for the fallacy of accept his statement as true.
argumentum ad Populum is ‘tu quoque’. (8) The fallacy of an argument against the
(5) Fallacy of argumentum ad Misericordiam man.
is committed when we appeal to threat. (9) Fallacy that is used as a last resort in the
(6) Formal fallacy is committed, when the court-room to save the client from being
conclusion is not relevant to the premise. punished by mercy petition.
(7) Fallacy means an error in an argument. (10) The error committed in an argument for
(8) In the fallacy of Petitio principii the the sale of products by the celebrities.
premise is logically irrelevant to the Q. 5. Explain the following :
purpose of proving or establishing the
conclusion. (1) Fallacy of Division
(9) Fallacy of Division is generally committed (2) Fallacy of Composition
in the court-room, as a last attempt to save (3) Fallacy of Accident
the client from being punished.
(4) Converse fallacy of Accident
(10) Argumentum ad Ignoratiam is not
fallacious in the court of Law. (5) Fallacy of argumentum ad Baculum
82
(4) We should never treat any human being as (16) “To defend oneself from injury is perfectly
a means. Therefore we should not hire a justified. Therefore a patient is justified in
coolie for lifting our heavy luggage. kicking a surgeon who is about to perform
(5) The novel is interesting because many an operation on him.
people read it and the novel is read by (17) A Girl to a friend says “If you do not come
many people because it is interesting. with me for the movie, I will not talk to
(6) It is meaningless to argue in favour of you.”
democracy, since even a famous cricketer (18) Soul is eternal as it never dies.
was against it. (19) I am sure our party will win this election
(7) Employee to his Boss says “Sir I appeal as the famous actor said so in his recent
you, not to dismiss me from my job. I meeting.
have to support my old parents and young (20) Soldiers are right in killing the enemy at
children. If I lose my job, my family will war. Therefore, we should not object to
have to starve to death. So please have pity soldier killing people.
on me.”
(21) Each student of this class is attentive.
(8) Mr. X is humiliating because he is Therefore this class on the whole is
degrading. attentive.
(9) A student is allowed to appear for (22) There is no evidence to prove that there is
supplementary examination, as she was life after death. Therefore there is no life
sick during terminal examination. So all after death.
the students must be allowed to appear for
supplementary examination. (23) ‘Accident caused by youngster’s driving’,
is commonly read in Newspapers. Hence
(10) These documents are authentic because no youngster should be allowed to drive.
they are factual.
(24) Sodium Chloride [table salt] may be safely
(11) The Union has voted for strike. As a eaten. Therefore its constituent elements,
member of the Union, you too must have Sodium and Chloride can also be eaten
voted for strike. safely.
(12) He cannot be successful home minister. (25) How can you believe the charge made
Since he could not even manage his own against the CEO of the company, when
family affairs. the person making the charges himself is
(13) This Airline service is the best in the a culprit?
world. Don’t you know that they have been (26) “Ladies and gentlemen of the jury, look
serving people, since last one decade? at this miserable man, in a wheelchair,
(14) We had this law for last forty years, but unable to use his legs. Could such a man
nobody talked against it. So this Law is really be guilty of embezzlement?”
correct. (27) “If you do not promote the sales, then you
(15) “Mam please assess my answer sheet will be dismissed from the job.”
again, there may be some error. I studied (28) “Artists are moody. Hemant is an artist.
very hard for weeks and my career Hence Hemant is moody.”
demands on getting a good grade. If you
give me a failing grade I’m ruined! Please
have pity on me.” v v v
83
Chapter 7 Application of Logic
The better you are at logic, the more likely you are to be the
master of your own life than its victim.
Logic is essentially the study of reasoning For example a student, who has passed S. S. C
or argumentation. We all use reason all the time with good marks, has to decide about his career
to draw inferences that are useful to us. Study before taking admission for science, commerce
of logic grooms us to construct good arguments or arts. His decision may get influenced by many
and to spot bad ones. This is a skill that is useful factors like – popular trend in society to become
in every field as well as in everyday life. Let say an engineer, parents desire of their child
us learn application of logic in some important becoming a doctor, pressure from friends, where
fields like – Law, Science, Computer science all friends are taking admission for commerce,
and everyday life. relatives saying no for taking arts, and his own
wish to become a singer. In such a situation
7. 1. APPLICATION OF LOGIC IN
one needs to think logically, by analysing the
EVERYDAY LIFE
situation, finding out various options available,
To comprehend is essentially to draw deciding the priorities, understanding one's
conclusions from an already accepted own interests, talents, abilities, and aptitude
logical system – Albert Einstein for a certain field. For this one can even seek
vocational guidance. And finally one arrives at a
Logic is useful in our everyday life in right decision. Logical thinking thus helps us
many ways. In our daily affairs we have to to take right decisions at right time, which in
make many decisions and decision making is turn can make us successful in all spheres of
not possible without logic. Every day we come life. And success in life gives us confidence in
across many situations, problems, or challenges our innate powers to think rationally.
that may be trivial or serious. For instance, simple
situations where a housewife has to choose a Logical thinking is analytical or inferential
grocery shop to buy quality products, or choose thinking. It has to be developed with proper
a juicer of a certain company from various guidance and training. Logic cultivates the
available brands in market, or an important and power to understand abstract concepts. With
challenging situation before a youngster, of maturity one improves and with practice one can
choosing a career or a life partner. strengthen these powers. This is the reason why
all competitive exams like – C. A, Law, UPSC,
Good or valid reasoning is necessary to take MPSC etc. have one paper of reasoning to test
correct decisions in such situations. Irrational students reasoning ability.
decisions, influenced by advertisements,
This does not, however, imply that without
emotions, biased opinions etc. are not useful.
84
formal training in logic one cannot reason
7.2 APPLICATION OF LOGIC IN LAW
logically. Logical reasoning in fact is an inbuilt
feature of human mind. Study of logic only Every legal analysis should begin at
makes one better or well – equipped to reason the point of reason, continue along a path
correctly than the person who has not studied of logic and arrive at a fundamentally
logic. fair result." (Sunrise Lumber V. Johnson,
Logic is useful in communication and Appeal No. 165)
conveying. One of the important purpose of Knowledge of principle of logic empowers
language is to communicate our thoughts, us to reason correctly by training us to differentiate
ideas, opinions, and feelings with other people. between good and bad reasoning. This is very
Knowledge of logic can make our communication important and more clearly demonstrated in
more precise and perfect, by enhancing our legal trials, than in any other field.
ability to express ideas clearly and concisely.
To make people understand what we wish to Evaluating and creating arguments is
convey. It is necessary that the subject matter is essential to the crafts of lawyering and judging.
expressed in logical order, there are no inherent It is important for practitioners as well as
inconsistencies and the important points are students of the law to understand the basic
highlighted with logical justification. This will principles of logic that are used regularly in
help us not only to convey our ideas, thoughts or legal reasoning and judicial decision making.
feelings precisely but also to convince people. This understanding includes. (1) Expertise in
using inductive reasoning e.g. the methods of
Knowledge of principles of logic enables analogy and simple enumeration – by which
us to evaluate and critically analyse others inferences are drawn on the basis of past
arguments. It also develops our ability to experience and empirical observation. "The
formulate argument rigorously. In our day to Rule of Law" – that like cases be decided alike
day life many arguments by people from various – is grounded logically in inductive reasoning.
fields attract our attention like – a salesman (2) Elementary understanding of deductive logic,
persuading us to buy product of a certain especially of argument forms called 'syllogism',
company, an advertisement telling us how a gives lawyers, judges, and students of the law a
particular product is good and should be preferred valuable tool for deciding whether an argument
over other similar products, friends / parents / in a legal opinion is valid or fallacious.
relatives advising us regarding an important
decision in life, a politician convincing us for To criticize, reserve, or overrule an
giving vote for him and his party. Knowledge administrative or judicial decision as
of rules of logic and fallacies empowers us to "arbitrary," "capricious," "unsupported
evaluate such arguments and decide if they by law "or" contrary to precedent" is to
are good or fallacious. Logic also helps us to say nothing more, but nothing less, than
formulate correct arguments and avoid fallacies that the decision is deficient in logic and
when we think, form opinions, reason, debate or reason.
argue with others. Thus logic helps us to refute The role of logic is significant in all the
others arguments and prove one's own argument three important aspects of legal system – making
easily. of laws, execution of laws and interpretation of
Logic is also useful in discussions, when laws.
the aim is to understand the topic of discussion The language used is very important while
and arrive at some common agreement. making legal laws. The laws should not be vague
knowledge of fallacies, definitions can help in or ambiguous. They ought to be very clear and
gaining better insight into the topic and arrive at precise. The precision of details is also necessary
mutual agreement. in the drafting of contracts, wills, trusts and other
85
legal documents. This is possible when the words (1) The first important step in scientific
used in laws are properly defined. Knowledge of method is – Formulation of hypothesis.
principles of logic is important and necessary for Though the role of creative imagination is
making laws and legal documents. significant in suggesting a hypothesis, it is
Execution of laws is the essential aspect not a result of wild, but a logical guess.
of legal system. The main function of judicial Deductive and inductive inferences like
system is to resolve disputes. It is necessary that simple enumeration, analogy may suggest
the judgement arrived at is definite and fair. The hypothesis to scientist.
entire process of legal trial is based on application (2) The suggested hypothesis should be a
of principles of logic. Knowledge of different good hypothesis. To decide whether it is
types of fallacies is very useful in legal trials. relevant, self – consistent, compatible
Knowledge of fallacies not only enables lawyers with other laws, knowledge of rules and
to detect errors in opponent's arguments, but it principles of logic is necessary.
also helps them to argue correctly and justify
one's own stand. Finally by applying principles (3) In order to verify the hypothesis, what
of logic, argumentation of lawyers is evaluated, are the relevant facts to be observed and
evidence before the court is weighed and a fair data to be collected, whether the evidence
judgement is arrived. collected is relevant and sufficient, what
experiment to be conducted, all these
For resolving disputes, sometimes, a legal decisions have basis in logical thinking.
system has to apply some law or a rule or a
principle to a set of facts so that some judgement (4) Most of the hypothesis are verified
is possible. One lawyer for instance, to defend indirectly in science by deducing
his client may claim that a specific rule applies consequences form the hypothesis.
to the facts whereas the opponent lawyer may Deductive reasoning is necessary for such
claim that the rule does not apply. In such deductive development of the hypothesis.
cases knowledge of logic is useful in correct
Our knowledge of logic further makes it
interpretation of the law or rule.
evident that, indirect verification commits the
7. 3 APPLICATION OF LOGIC IN fallacy of affirming the consequent. So the next
SCIENCE step is to prove the hypothesis by showing that
Science is defined as, 'A systematized no other hypothesis can explain the facts except
body of factual knowledge collected by the proposed hypothesis. As one connot possibly
means of scientific method.' Science is born know all alternate hypotheses, it is not possible
out of man's inherent curiosity to explore and to prove the hypothesis. Thus we logically come
understand the world around him. Man's thirst to the conclusion that scientific laws and theories
for knowledge is to know 'true' nature of facts. cannot be conclusively proved and scientific
Our understanding of facts, however, need not knowledge is probable.
be always correct. So there is a need to have a When any law or a theory is proved in
test to distinguish between correct and incorrect science, only the evidence in its support is not
explanations of facts. The explanations which are enough, the proof / the argument should be valid.
rational, logical and based on factual evidence Knowledge of logic helps in deciding validity of
are accepted as correct explanations in science. argument.
The scientific method (Hypothetico (5) Scientific laws explain facts by introducing
deductive method) clearly illustrates how different types of orders into facts like
scientific thinking follows logical thinking. – classificatory, causal, mathematical
Every stage in scientific method has its basis in and order introduced by theories. All
logic.
86
these orders are arrangement of facts as There are only two digits 0 and 1. One of the
per some plan which is based on logical reasons for this is human logic tends to be binary
thinking. Theories introduce order among – true or false, yes or no statements. Information
laws which fall within its scope. This is the which is in language is coded in binary digits
highest kind of order in science. It is also to feed it to the computer. After processing the
known as vertical organization in science. output given by computer is also in binary digits,
From theories laws can be deduced which which is displayed on the screen by converting it
in turn explain facts. This shows that into language.
science as a system is based on principles
of logic. A computer thus receives stores, understand
and manipulates information composed of only 0
Relation between scientific thinking and and 1. The manipulation of binary information is
logical thinking is one sided. Logic helps science done by logic circuits known as logic gates. The
but science cannot be useful in logic. Logical important logic operation which are frequently
thinking is wider than scientific thinking;rather performed in the design of digital system are –
scientific thinking is based on logical thinking. AND, OR, NOT, NAND, (NOT – AND), NOR
Technology which is application of scientific and EXCLUSIVE – OR. These logic gates
laws and theories is also based on logical are the basic building blocks of computer. A
consequences and predictions which are derived logic gate manipulates binary data in a logical
from scientific theories. way. The knowledge of logic gates is essential
to understand the important digital circuits
7. 4 APPLICATION OF LOGIC IN used in computers like – addition, subtraction,
COMPUTER SCIENCE multiplication. The input output relationship
Computer is the most significant invention of the binary variables for each gate can be
of the 20th century. Computers have influenced represented in a tabular form by a truth table
our life to great extent. They are used at almost which is essentially same as truth tables used in
every workplace and home. Computers have logic.
becomes almost indispensable in modern man's To solve any problem, programmer
life. Though computer appears to be superior to provides a method to the computer. It is in form of
man, it cannot think and reason like man. It can a procedure which is a series of steps in a logical
only perform as per the instructions given to it. sequence. This is called an algorithm. Algorithm
However what makes it a brilliant invention is is expressed in form of flow chart, which is
the fact that it is considerably faster, accurate, essentially a diagram that defines the procedure.
and consistent than man. It can do multiple A flow chart shows the order of operations and
tasks at one time and unlike man it can function the relationship between the sections of the
continuously for hours. programs. Flow charts are independent of a
Computers can perform certain tasks and particular computer or computer language.
solve problems by carrying out instructions There are some standard symbols which
given to it. A sequence of instructions describing are usually used in drawing flow chart like –
how to perform a certain task is called a program.
Such a program is in a language which computer Start / End
can understand. The language which computer
understands is called. 'machine language' Input / output
Knowledge of principles of logic is
necessary for making computer programs. Processing
Computer uses binary system for its operation.
Decision logic
87
The flow chart to calculate sum of two numbers, for instance, is as follows –
Step 1 : Input two numbers a & b Step 2 : Calculate sum = a + b
Step 3 : Print sum Step 4 : Stop
Flow chart –
Start
Input a, b
Sum = a + b
Print sum
Stop
Summary
• Logic trains us in valid reasoning. This ability to reason correctly is useful in every sphere of
life.
• In everyday life, logic empowers us to take correct decisions, which in turn leads to success
in life and develops confidence in rational thinking.
• Logic is useful in communication.
• Principles of logic enable us to critically evaluate others as well as one's own arguments.
• Role of logic is important in legal trial. Logic is useful in making of laws, execution of laws
and interpretation of laws.
• Scientific, method follows logical thinking. Every stage in scientific thinking has basis in
logic.
• Logical thinking is wider than scientific thinking.
88
Exercises
Q. 1. Fill in the blanks with suitable words in (3) Logic is not an inbuilt feature of human
the brackets. mind.
(1) Knowledge of …...…… can make our (4) Logic is not useful in communication and
communication more precise and perfect. conveying.
(Psychology / Logic) (5) Inductive inferences like simple
(2) Formal training is …...…… to reason enumeration, analogy may suggest
logically. (Necessary / Not necessary) hypothesis to scientist.
(3) Knowledge of principles of logic enables (6) Relation between scientific thinking and
us to evaluate and critically analyse others logical thinking is one sided.
…...…… (Arguments/ Emotions) (7) The language which computer understand
(4) Knowledge of …...…… develops our is called. 'artificial language'
ability to formulate valid arguments. (8) Logic gates are the basic building blocks
(Fallacies / Law) of computer.
(5) Hypothesis is a …...…… guess. (Wild /
Logical) Q. 3. Explain the following.
(6) Logical thinking is …...…… than scientific (1) Application of logic in law.
thinking. (Narrower / Wider) (2) Application of logic in computer science.
(7) A sequence of instruction describing (3) Role of logic in communication.
how to perform a certain task is called a (4) Importance of logic in everyday life.
…...…… (Program / Process)
(8) Computer uses …...…… system for its Q. 4. Answer the following questions.
operation. (Monadic / B inary) (1) Explain with illustration how logic is
useful in decision making.
Q. 2. State whether following statements are
true or false. (2) Explain with illustration application of
logic in science.
(1) Logical thinking helps us to take right
decision. (3) Explain role of logic in making and
execution of laws.
(2) Logic gives us confidence in our innate
powers to think rationally. (4) Explain how logic helps us to critically
evaluate arguments.
v v v
89
Glossary
90
normal circumstances is taken to be true under Non-formal fallacy : a fallacy which arises
special (or exceptional) circumstances. either when words are used ambiguously or
Fallacy of Composition : a non-formal fallacy when some relevant feature of the argument is
in which it is argued that a quality which is ignored.
possessed by a member (or members) is also Premise : in an argument, the proposition from
possessed by the group, or that quality which is which the conclusion is drawn.
possessed by a part (or parts) is also possessed Proposition : a statement which is either true
by the whole. or false
Fallacy of Division : a non-formal fallacy in Propositional connective : an expression which
which it is argued that what is true of a group connects propositions. The symbols for the five
is true of its members or that what is true of a propositional connectives are "~", ".", "v", ""
whole is true of its parts. and "º".
Fallacy of ignoratio elenchi : a group of Propositional constant : a symbol which stands
non-formal fallacies in which the argument is for a specific proposition.
irrelevant.
Propositional variable : a symbol which stands
Formal fallacy : a fallacy which arises due to for any proposition whatsoever.
the violation of a rule of logic.
Scientific induction : the process of establishing
Implicative function : the truth function which a general statement which is supported by both
is false if and only if the antecedent is true and direct and indirect evidence.
the consequent is false.
Simple proposition : a proposition which does
Implicative proposition : a compound not contain any other proposition as a component.
propositions which is formed by combining
any two propositions with the truth-functional Sound argument : a valid argument whose
connective "if.. then..." conclusion is a true proposition.
Inference : the process of reasoning in which Tautology : a truth-functional propositional
the conclusion is drawn from the evidence. form which is true under all truth possibilities of
its components.
Inductive arguments : an argument in which
the premises provide "some" evidence for the Truth-functional connective (operator) :
conclusion, but the evidence is not sufficient. another name for propositional connective.
Induction per simple enumeration : a Truth-functionally compound proposition :
generalization in which it is argued that what a compound proposition whose truth value is
is true of several instances of a kind is true determined by the truth value of its component
universally of that kind. proposition (or propositions).
Monadic connective (operator) : a proposition Truth-table : a tabular way of expressing
connective which operates on one proposition. the truth values of expressions containing
propositional connective.
Negation : the propositional connective "~".
Negative proposition : a compound proposition
obtained by denying a proposition.
91
Bibliography
‘amR>r
• ‘o. nw. aoJo - AmH$m[aH$ VH©$emñÌ
• ‘hmamîQ´> amÁ` ‘mÜ`{‘H$ d Cƒ ‘mÜ`{‘H$ {ejU ‘§S>i nwUo - B`ËVm 11 dr VH©$emñÌ
• ~r. Ama. Omoer VH©${dXçm ^mJ 1
• B©. Ama. ‘R>dmbo VH©${dXçm ^mJ 2
• Eg. ìhr. Hw$bH$Uu
• d. {d. AH$mobH$a Cƒ ‘mÜ`{‘H$ VH©$emñÌ B`ËVm 11 dr.
• b. Ho$. AmamdaH$a
qhXr
• Ho$XmaZmW {Vdmar - {ZJ‘Z VH©$emñÌ
• AemoH$Hw$‘ma d‘m© - gab {ZJ‘Z VH©$emñÌ
92
• पाठ्यपुस्तक मंडळाची
वैशिष्ट्यपूर्ण पाठ्येत्तर
प्रकाशने.
• नामवंत लेखक, कवी,
विचारवंत यांच्या
साहित्याचा समावेश.
• शालेय स्तरावर पूरक
वाचनासाठी उपयुक्त.