SlideShare a Scribd company logo
Principles of Logics
Dr. Akhlas Ahmed
IBT, City Campus
Jan 28th
, 2017
Lecture # 2
• The etymology of word logic!
• Greek word
• Logos…
• Sometimes translated as sentence,
discourse, reason, rule and ratio.
• These translations are not enough to help us
understand the more specialized meaning of
"logic" as it is used today.
• What is logic?
• Logic is the study of the principles of
correct reasoning. (a rough definition)
• Logic…a new definition
• Logic is not the psychology of reasoning.
• According to this definition, logic is concerned
with the principles of correct reasoning.
• Studying the correct principles of reasoning is not
the same as studying the psychology of reasoning.
• Logic is the former discipline that tells us how we
ought to reason if we want to reason correctly.
• Whether people actually follow these rules of
correct reasoning is an empirical matter,
something that is not the concern of logic.
• Psychology…
• The psychology of reasoning is an empirical
science.
• It tells us about the actual reasoning habits of
people, including their mistakes.
• A psychologist studying reasoning might be
interested in how people's ability to reason varies
with age. But such empirical facts are of no
concern to the logic.
• The principles of logic…
• What are these principles of reasoning that
are part of logic?
• There are many such principles, but the
main (not the only) thing that we study in
logic are principles governing the validity of
arguments - whether certain conclusions
follow from some given assumptions.
• The principles of logic…
• Look at the arguments…
• Example # 1:
• If Tom is a philosopher, then Tom is
poor.
• Tom is a philosopher.
• Therefore, Tom is poor.
• Your opinion about argument?
• The principles of logic…
• Look at the arguments…
• Example # 2:
• If K>10, then K>2.
• K>10.
• Therefore, K>2.
• Your opinion about argument?
• The principles of logic…
• Look at the arguments…
• Example # 3:
• If Tarragona is in Europe, then
Tarragona is not in China.
• Tarragona is in Europe.
Therefore, Tarragona is not in China.
• Your opinion about argument?
• Findings from the examples…
• In all three examples, these arguments are
obviously good arguments.
• Their conclusions follow from the
assumptions. If the assumptions of the
argument are true, the conclusion of the
argument must also be true.
• A logician will tell us that they are all cases
of a particular form of argument known as
"modus ponens":
• If P, then Q. P. Therefore, Q.
• Conclusion…
• Logic is not just concerned with the
validity of arguments.
• Logic also studies consistency, and
logical truths, and properties of
logical systems such as completeness
and soundness.
• Rules of reasoning in logic…
• Modus ponens might be used to illustrate two
features about the rules of reasoning in logic.
• First feature is its topic-neutrality. As the four
examples suggest, modus ponens can be used in
reasoning about diverse topics. This is true of all
the principles of reasoning in logic.
• The laws of biology might be true only of living
creatures, and the laws of economics are only
applicable to collections of agents that engage in
financial transactions.
• But the principles of logic are universal principles
which are more general than biology and
economics.
• Famous definition of logic…
• According to famous logician Alfred Tarski
(1901-1983)…
• From his famous book ‘Introduction to logic and
to the methodology of deductive sciences, Dover,
page xi.’
• [Logic is] ... the name of a discipline which
analyzes the meaning of the concepts common to
all the sciences, and establishes the general laws
governing the concepts.
• Famous definition of logic…
• According to famous logician Gottolob
Frege (1848-1925)…
• From his 1956 paper "The Thought : A
Logical Inquiry" in Mind Vol. 65
• [Logic is] ...To discover truths is the task of
all sciences; it falls to logic to discern the
laws of truth. ... I assign to logic the task of
discovering the laws of truth, not of
assertion or thought.
• Concept of Necessity in Logic…
• Logic is different from the empirical sciences like
physics, chemistry or biology.
• Logic truths donot depend on any particular
accidental features of the world.
• The principles of logic are derived using reasoning
only, and their validity doesnot depend on any
contingent features of the world.
• Example, logic tells that any statement of the form
"If P then P." is necessarily true. This is a
principle of the second kind that logician study.
This principle tells us that a statement such as "if it
is raining, then it is raining" must be true. We can
easily see that this is indeed the case, whether or
not it is actually raining. Furthermore, even if the
laws of physics or weather patterns were to
change, this statement will remain true.
• Concept of Necessity in Logic…
• The scientific truths are contingent.
• Physics and the other empirical sciences
investigate the way the world actually is
• Physicists might tell us that no signal can travel
faster than the speed of light, but if the laws of
physics have been different, then perhaps this
would not have been true.
• Similarly, biologists might study how dolphins
communicate with each other, but if the course of
evolution had been different, then perhaps
dolphins might not have existed.
• So the theories in the empirical sciences are
contingent in the sense that they could have been
otherwise.
• What is logic?
• Logic is the study of valid reasoning.
• That is, logic tries to establish criteria to
decide whether some piece of reasoning is
valid or invalid.
• OK, so then what do we mean by ‘valid
reasoning’?
• Reasoning…
• A piece of reasoning consists of a sequence
of statements, some of which are claimed to
follow from previous ones. That is, some are
claimed to be inferred from others.
• Example: “Either the housemaid or the butler
killed Mr. X. However, if the housemaid
would have done it, the alarm would have
gone off, and the alarm did not go off.
Therefore, the butler did it.”
• Valid Reasoning…
• While in every piece of reasoning certain
statements are claimed to follow from others, this
may in fact not be the case.
• Example: “If I win the lottery, then I’m happy.
However, I did not win the lottery. Therefore, I am
not happy.”
• A piece of reasoning is valid if the statements that
are claimed to follow from previous ones do
indeed follow from those. Otherwise, the
reasoning is said to be invalid.
• Sound Reasoning…
• Not all valid reasoning is good reasoning.
• Example: “If I win the lottery, then I’ll be
poor. So, since I did win the lottery, I am
poor.”
• This piece of reasoning is valid, but not very
good, since it assumed an absurd claim (‘If I
win the lottery, I’ll be poor.’ Huh??)
• Sound reasoning is valid reasoning based on
acceptable assumptions.
• Truth and Implication…
• Logic studies the validity of reasoning.
• Logic does not study soundness.
• Therefore, logic alone cannot tell us whether
an argument is good. Hence, logic alone is
not a guide to truth.
• Instead, logic can tell us, assuming certain
things to be true, what else will be true as
well. Thus, logic is a guide to implication.
• Arguments, Premises and Conclusion
• In logic, pieces of reasoning are analyzed using
the notion of an argument
• An argument consists of any number of premises,
and one conclusion
• Again, in logic, we are merely interested in
whether the conclusion follows from the premises:
we are not interested in whether those premises
are true or acceptable.
Quiz # 2 (28.1.2017)
Q2. How is science different
from logic?
Assignment # 2 (28.1.2017)
Q1. Suppose we find out that people
reason better when they are not under
stress. Should this be counted as a
principle of logic?
Q2. How is mathematics different from
logic?
Exercise #1
• Suppose we find out that people reason better when they
are not under stress. Should this be counted as a principle
of logic?
• No, this is a fact about how people actually reason, and not
about what the correct principles of reasoning are.
• How is science different from logic?
• Science does involve logic, since we need logic to test our
theories and check whether they are consistent. But for a
theory to be a scientific one, it must either describe actual
empirical facts about the world or the laws of nature in our
universe. This is not the case with logic.
• How is mathematics different from logic?
• The relationship between mathematics and logic is rather
complicated philosophical issue. To give a very short
answer, the content of mathematics is restricted to abstract
objects like numbers, functions, triangles, etc. But the
principles and laws of logic are very general and are not
restricted to such concepts.

More Related Content

PPTX
Introduction to Logic
PPTX
Natural Law Theory
PPTX
Introduction to Jurisprudence
PPTX
NATURAL LAW
PPTX
Fallacies
PPT
Hierarchy of courts
PPTX
Meaning and defination jurisprudence
PPTX
Division of logic
Introduction to Logic
Natural Law Theory
Introduction to Jurisprudence
NATURAL LAW
Fallacies
Hierarchy of courts
Meaning and defination jurisprudence
Division of logic

What's hot (20)

PPTX
Crpc sec 160
PDF
PDF
Jurisprudence introduction .
PPTX
Kinds of law
PPTX
Jurisprudence its meaning, nature and scope
PPTX
Introduction to Jurisprudence
PDF
Analytical Positivism And H. L. A. Hart S Concept Of Law
PPTX
PPTX
Rules of statutory Interpretation
DOCX
Principles of criminal liability
PPTX
Jurisprudence ch.01 introduction
PPTX
Article 20
PPTX
Theory of Jural Relations HOHFELD.pptx
PPTX
Injuria sine Damnum or Damnum sine Injuria.pptx
PPTX
Judicial activism
PPTX
Truth vs. Validity
DOC
Chapter 1 jurisprudence
PPTX
Administrative law 2nd lecture
PPT
Strict Liability
PPTX
Analytical legal positivism
Crpc sec 160
Jurisprudence introduction .
Kinds of law
Jurisprudence its meaning, nature and scope
Introduction to Jurisprudence
Analytical Positivism And H. L. A. Hart S Concept Of Law
Rules of statutory Interpretation
Principles of criminal liability
Jurisprudence ch.01 introduction
Article 20
Theory of Jural Relations HOHFELD.pptx
Injuria sine Damnum or Damnum sine Injuria.pptx
Judicial activism
Truth vs. Validity
Chapter 1 jurisprudence
Administrative law 2nd lecture
Strict Liability
Analytical legal positivism
Ad

Viewers also liked (16)

PPT
Lecture # 2 principles of logics
PPT
Lecture # 3 (03.02.2017) @ ibt a logical theory
PPT
Lecture # 4 (11.02.2017) philosphical view about logic
PPTX
Logic 101 lecture 2
PPTX
Logic and truth
PPTX
Logic 101 lecture 1
PPTX
Solving problems by inductive reasoning
PPT
Intro to logic
PPT
Ancient greece i
PPT
Lecture # 5 (18.02.2017) @ ibt thinking minds
PPT
Clear concepts of syllogism & key rules
PPTX
Phenomenological Research
PPTX
Theory of knowledge
PPT
Logic introduction
PPTX
Theory of knowledge
PDF
SlideShare 101
Lecture # 2 principles of logics
Lecture # 3 (03.02.2017) @ ibt a logical theory
Lecture # 4 (11.02.2017) philosphical view about logic
Logic 101 lecture 2
Logic and truth
Logic 101 lecture 1
Solving problems by inductive reasoning
Intro to logic
Ancient greece i
Lecture # 5 (18.02.2017) @ ibt thinking minds
Clear concepts of syllogism & key rules
Phenomenological Research
Theory of knowledge
Logic introduction
Theory of knowledge
SlideShare 101
Ad

Similar to Lecture # 2 (28.01.2017) @ ibt principle of logic (20)

PPTX
Introduction to philosophy session 2.pptx
PPTX
This ppt is about philosophy of logic...
PPTX
Philosophy I Philosophy Philosophy (1) (1).pptx
PPTX
Introduction to Philosophy - Definition & Nature.pptx
PPTX
Lecture 2 2nd sem PHILOSOPHY
PPTX
INTROD. TO PHILOSOPHY UPDATE 2021.pptxsdd
PPTX
2. The goals of critical thinking including sentences arguments milgram etc.pptx
PPTX
LOGIC - Seminar In Problem Solving
PDF
Da vinci presentation ontology epistemology Dr Rica VIljoen
PPTX
Logic 1-6.pptx
PDF
Introduction to logical reasoning
PDF
2013 03-28 uea talk
PPT
theory.ppt
PPTX
Logic and Philosophy Logic and Philosoph
PPT
God-Gold-Glory!
PPTX
Logic and cretical thinking__________.pptx
PPTX
Logic and Critical thinking Short Notes.pptx
PPTX
Explanation in science (philosophy of science)
PDF
Process theory
PPTX
slides 2 problem of pholosophy. to discover areas of philosophy to scientific...
Introduction to philosophy session 2.pptx
This ppt is about philosophy of logic...
Philosophy I Philosophy Philosophy (1) (1).pptx
Introduction to Philosophy - Definition & Nature.pptx
Lecture 2 2nd sem PHILOSOPHY
INTROD. TO PHILOSOPHY UPDATE 2021.pptxsdd
2. The goals of critical thinking including sentences arguments milgram etc.pptx
LOGIC - Seminar In Problem Solving
Da vinci presentation ontology epistemology Dr Rica VIljoen
Logic 1-6.pptx
Introduction to logical reasoning
2013 03-28 uea talk
theory.ppt
Logic and Philosophy Logic and Philosoph
God-Gold-Glory!
Logic and cretical thinking__________.pptx
Logic and Critical thinking Short Notes.pptx
Explanation in science (philosophy of science)
Process theory
slides 2 problem of pholosophy. to discover areas of philosophy to scientific...

More from Dynamic Research Centre & institute (20)

PPTX
Talks1 @ NILAT(05.10.2023) Orientation to Research.pptx
PDF
CV Synopsis Prof. Dr. Akhlas Ahmed
DOCX
Profile Dr. Akhlas Ahmed (March 6th 2021)
PPTX
Workplace Communication in Organization
DOCX
Course Outlines for Strategic Marketing Fall-2018-19
PPT
Lecture # 5 nilat (jan 2nd 2018)
PPT
Lecture # 3 nilat (dec 6th 2017)
PPT
Lecture # 2 nilat (nov 22nd 2017)
PPT
Lecture # 1 nilat (nov 15th 2017)
PPT
5th Lecture Market Analysis of Strategic Marketing
PPT
1st lecture strategic marketing
Talks1 @ NILAT(05.10.2023) Orientation to Research.pptx
CV Synopsis Prof. Dr. Akhlas Ahmed
Profile Dr. Akhlas Ahmed (March 6th 2021)
Workplace Communication in Organization
Course Outlines for Strategic Marketing Fall-2018-19
Lecture # 5 nilat (jan 2nd 2018)
Lecture # 3 nilat (dec 6th 2017)
Lecture # 2 nilat (nov 22nd 2017)
Lecture # 1 nilat (nov 15th 2017)
5th Lecture Market Analysis of Strategic Marketing
1st lecture strategic marketing

Recently uploaded (20)

PDF
Business model innovation report 2022.pdf
PDF
MSPs in 10 Words - Created by US MSP Network
PPTX
HR Introduction Slide (1).pptx on hr intro
PDF
BsN 7th Sem Course GridNNNNNNNN CCN.pdf
PDF
SIMNET Inc – 2023’s Most Trusted IT Services & Solution Provider
PDF
Types of control:Qualitative vs Quantitative
PPT
Chapter four Project-Preparation material
PDF
Reconciliation AND MEMORANDUM RECONCILATION
PPTX
job Avenue by vinith.pptxvnbvnvnvbnvbnbmnbmbh
PDF
20250805_A. Stotz All Weather Strategy - Performance review July 2025.pdf
PPTX
Belch_12e_PPT_Ch18_Accessible_university.pptx
DOCX
unit 2 cost accounting- Tender and Quotation & Reconciliation Statement
PDF
How to Get Business Funding for Small Business Fast
PPTX
Probability Distribution, binomial distribution, poisson distribution
PDF
IFRS Notes in your pocket for study all the time
PPTX
CkgxkgxydkydyldylydlydyldlyddolydyoyyU2.pptx
PPTX
5 Stages of group development guide.pptx
PDF
DOC-20250806-WA0002._20250806_112011_0000.pdf
PDF
WRN_Investor_Presentation_August 2025.pdf
PDF
Elevate Cleaning Efficiency Using Tallfly Hair Remover Roller Factory Expertise
Business model innovation report 2022.pdf
MSPs in 10 Words - Created by US MSP Network
HR Introduction Slide (1).pptx on hr intro
BsN 7th Sem Course GridNNNNNNNN CCN.pdf
SIMNET Inc – 2023’s Most Trusted IT Services & Solution Provider
Types of control:Qualitative vs Quantitative
Chapter four Project-Preparation material
Reconciliation AND MEMORANDUM RECONCILATION
job Avenue by vinith.pptxvnbvnvnvbnvbnbmnbmbh
20250805_A. Stotz All Weather Strategy - Performance review July 2025.pdf
Belch_12e_PPT_Ch18_Accessible_university.pptx
unit 2 cost accounting- Tender and Quotation & Reconciliation Statement
How to Get Business Funding for Small Business Fast
Probability Distribution, binomial distribution, poisson distribution
IFRS Notes in your pocket for study all the time
CkgxkgxydkydyldylydlydyldlyddolydyoyyU2.pptx
5 Stages of group development guide.pptx
DOC-20250806-WA0002._20250806_112011_0000.pdf
WRN_Investor_Presentation_August 2025.pdf
Elevate Cleaning Efficiency Using Tallfly Hair Remover Roller Factory Expertise

Lecture # 2 (28.01.2017) @ ibt principle of logic

  • 1. Principles of Logics Dr. Akhlas Ahmed IBT, City Campus Jan 28th , 2017 Lecture # 2
  • 2. • The etymology of word logic! • Greek word • Logos… • Sometimes translated as sentence, discourse, reason, rule and ratio. • These translations are not enough to help us understand the more specialized meaning of "logic" as it is used today.
  • 3. • What is logic? • Logic is the study of the principles of correct reasoning. (a rough definition)
  • 4. • Logic…a new definition • Logic is not the psychology of reasoning. • According to this definition, logic is concerned with the principles of correct reasoning. • Studying the correct principles of reasoning is not the same as studying the psychology of reasoning. • Logic is the former discipline that tells us how we ought to reason if we want to reason correctly. • Whether people actually follow these rules of correct reasoning is an empirical matter, something that is not the concern of logic.
  • 5. • Psychology… • The psychology of reasoning is an empirical science. • It tells us about the actual reasoning habits of people, including their mistakes. • A psychologist studying reasoning might be interested in how people's ability to reason varies with age. But such empirical facts are of no concern to the logic.
  • 6. • The principles of logic… • What are these principles of reasoning that are part of logic? • There are many such principles, but the main (not the only) thing that we study in logic are principles governing the validity of arguments - whether certain conclusions follow from some given assumptions.
  • 7. • The principles of logic… • Look at the arguments… • Example # 1: • If Tom is a philosopher, then Tom is poor. • Tom is a philosopher. • Therefore, Tom is poor. • Your opinion about argument?
  • 8. • The principles of logic… • Look at the arguments… • Example # 2: • If K>10, then K>2. • K>10. • Therefore, K>2. • Your opinion about argument?
  • 9. • The principles of logic… • Look at the arguments… • Example # 3: • If Tarragona is in Europe, then Tarragona is not in China. • Tarragona is in Europe. Therefore, Tarragona is not in China. • Your opinion about argument?
  • 10. • Findings from the examples… • In all three examples, these arguments are obviously good arguments. • Their conclusions follow from the assumptions. If the assumptions of the argument are true, the conclusion of the argument must also be true. • A logician will tell us that they are all cases of a particular form of argument known as "modus ponens": • If P, then Q. P. Therefore, Q.
  • 11. • Conclusion… • Logic is not just concerned with the validity of arguments. • Logic also studies consistency, and logical truths, and properties of logical systems such as completeness and soundness.
  • 12. • Rules of reasoning in logic… • Modus ponens might be used to illustrate two features about the rules of reasoning in logic. • First feature is its topic-neutrality. As the four examples suggest, modus ponens can be used in reasoning about diverse topics. This is true of all the principles of reasoning in logic. • The laws of biology might be true only of living creatures, and the laws of economics are only applicable to collections of agents that engage in financial transactions. • But the principles of logic are universal principles which are more general than biology and economics.
  • 13. • Famous definition of logic… • According to famous logician Alfred Tarski (1901-1983)… • From his famous book ‘Introduction to logic and to the methodology of deductive sciences, Dover, page xi.’ • [Logic is] ... the name of a discipline which analyzes the meaning of the concepts common to all the sciences, and establishes the general laws governing the concepts.
  • 14. • Famous definition of logic… • According to famous logician Gottolob Frege (1848-1925)… • From his 1956 paper "The Thought : A Logical Inquiry" in Mind Vol. 65 • [Logic is] ...To discover truths is the task of all sciences; it falls to logic to discern the laws of truth. ... I assign to logic the task of discovering the laws of truth, not of assertion or thought.
  • 15. • Concept of Necessity in Logic… • Logic is different from the empirical sciences like physics, chemistry or biology. • Logic truths donot depend on any particular accidental features of the world. • The principles of logic are derived using reasoning only, and their validity doesnot depend on any contingent features of the world. • Example, logic tells that any statement of the form "If P then P." is necessarily true. This is a principle of the second kind that logician study. This principle tells us that a statement such as "if it is raining, then it is raining" must be true. We can easily see that this is indeed the case, whether or not it is actually raining. Furthermore, even if the laws of physics or weather patterns were to change, this statement will remain true.
  • 16. • Concept of Necessity in Logic… • The scientific truths are contingent. • Physics and the other empirical sciences investigate the way the world actually is • Physicists might tell us that no signal can travel faster than the speed of light, but if the laws of physics have been different, then perhaps this would not have been true. • Similarly, biologists might study how dolphins communicate with each other, but if the course of evolution had been different, then perhaps dolphins might not have existed. • So the theories in the empirical sciences are contingent in the sense that they could have been otherwise.
  • 17. • What is logic? • Logic is the study of valid reasoning. • That is, logic tries to establish criteria to decide whether some piece of reasoning is valid or invalid. • OK, so then what do we mean by ‘valid reasoning’?
  • 18. • Reasoning… • A piece of reasoning consists of a sequence of statements, some of which are claimed to follow from previous ones. That is, some are claimed to be inferred from others. • Example: “Either the housemaid or the butler killed Mr. X. However, if the housemaid would have done it, the alarm would have gone off, and the alarm did not go off. Therefore, the butler did it.”
  • 19. • Valid Reasoning… • While in every piece of reasoning certain statements are claimed to follow from others, this may in fact not be the case. • Example: “If I win the lottery, then I’m happy. However, I did not win the lottery. Therefore, I am not happy.” • A piece of reasoning is valid if the statements that are claimed to follow from previous ones do indeed follow from those. Otherwise, the reasoning is said to be invalid.
  • 20. • Sound Reasoning… • Not all valid reasoning is good reasoning. • Example: “If I win the lottery, then I’ll be poor. So, since I did win the lottery, I am poor.” • This piece of reasoning is valid, but not very good, since it assumed an absurd claim (‘If I win the lottery, I’ll be poor.’ Huh??) • Sound reasoning is valid reasoning based on acceptable assumptions.
  • 21. • Truth and Implication… • Logic studies the validity of reasoning. • Logic does not study soundness. • Therefore, logic alone cannot tell us whether an argument is good. Hence, logic alone is not a guide to truth. • Instead, logic can tell us, assuming certain things to be true, what else will be true as well. Thus, logic is a guide to implication.
  • 22. • Arguments, Premises and Conclusion • In logic, pieces of reasoning are analyzed using the notion of an argument • An argument consists of any number of premises, and one conclusion • Again, in logic, we are merely interested in whether the conclusion follows from the premises: we are not interested in whether those premises are true or acceptable.
  • 23. Quiz # 2 (28.1.2017) Q2. How is science different from logic?
  • 24. Assignment # 2 (28.1.2017) Q1. Suppose we find out that people reason better when they are not under stress. Should this be counted as a principle of logic? Q2. How is mathematics different from logic?
  • 25. Exercise #1 • Suppose we find out that people reason better when they are not under stress. Should this be counted as a principle of logic? • No, this is a fact about how people actually reason, and not about what the correct principles of reasoning are. • How is science different from logic? • Science does involve logic, since we need logic to test our theories and check whether they are consistent. But for a theory to be a scientific one, it must either describe actual empirical facts about the world or the laws of nature in our universe. This is not the case with logic. • How is mathematics different from logic? • The relationship between mathematics and logic is rather complicated philosophical issue. To give a very short answer, the content of mathematics is restricted to abstract objects like numbers, functions, triangles, etc. But the principles and laws of logic are very general and are not restricted to such concepts.