Logic and Philosophy Alan Hausman PART ONE Sentential Logic Sentential Logic.

Slides:



Advertisements
Similar presentations
Formal Criteria for Evaluating Arguments
Advertisements

Truth Functional Logic
Types of Arguments Inductive Argument: An argument in which the truth of the premises is supposed to prove that the conclusion is probably true. Strong.
1 Valid and Invalid arguments. 2 Definition of Argument Sequence of statements: Statement 1; Statement 2; Therefore, Statement 3. Statements 1 and 2 are.
An overview Lecture prepared for MODULE-13 (Western Logic) BY- MINAKSHI PRAMANICK Guest Lecturer, Dept. Of Philosophy.
Chapter 1 Critical Thinking.
Debate. Inductive Reasoning When you start with a probable truth, and seek evidence to support it. Most scientific theories are inductive. Evidence is.
Deduction: the categorical syllogism - 1 Logic: evaluating deductive arguments - the syllogism 4 A 5th pattern of deductive argument –the categorical syllogism.
Philosophy 120 Symbolic Logic I H. Hamner Hill CSTL-CLA.SEMO.EDU/HHILL/PL120.
Deduction and Induction
For Friday, read chapter 2, sections 1-2 (pp ). As nongraded homework, do the problems on p. 19. Graded homework #1 is due at the beginning of class.
PHIL 120: Jan 8 Basic notions of logic
Proving the implications of the truth functional notions  How to prove claims that are the implications of the truth functional notions  Remember that.
BASIC CONCEPTS OF ARGUMENTS
Building Logical Arguments. Critical Thinking Skills Understand and use principles of scientific investigation Apply rules of formal and informal logic.
1 Arguments in Philosophy Introduction to Philosophy.
Basic Argumentation.
Chapter Six Sentential Logic Truth Trees. 1. The Sentential Logic Truth Tree Method People who developed the truth tree method: J. Hintikka— “model sets”
FALSE PREMISE.
Deductive versus Inductive Reasoning Consider the following two passages: Argument #1 Mr. Jones is a member of the Academy of Scholarly Fellows and only.
The Science of Good Reasons
Chapter Three Truth Tables 1. Computing Truth-Values We can use truth tables to determine the truth-value of any compound sentence containing one of.
Logic in Everyday Life.
Reasoning and Critical Thinking Validity and Soundness 1.
Question of the Day!  We shared a lot of examples of illogical arguments!  But how do you make a LOGICAL argument? What does your argument need? What.
DEDUCTIVE REASONING MOVES FROM A GENERALIZATION THAT IS TRUE OR SELF-EVIDENT TO A MORE SPECIFIC CONCLUSION DEDUCTIVE REASONING.
Chapter 3: MAKING SENSE OF ARGUMENTS
Debate Basics: The Logical Argument. Argument An argument is a set of claims presented in a logical form. An argument attempts to persuade an audience.
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
Chapter 3: Introduction to Logic. Logic Main goal: use logic to analyze arguments (claims) to see if they are valid or invalid. This is useful for math.
Critical Thinking. Critical thinkers use reasons to back up their claims. What is a claim? ◦ A claim is a statement that is either true or false. It must.
Chapter Five Conditional and Indirect Proofs. 1. Conditional Proofs A conditional proof is a proof in which we assume the truth of one of the premises.
The construction of a formal argument
Methods of Proof for Boolean Logic Chapter 5 Language, Proof and Logic.
Chapter Twelve Predicate Logic Truth Trees. 1. Introductory Remarks The trees for sentential logic give us decidability—there is a mechanical decision.
Sentence (syntactically Independent grammatical unit) QuestionCommandStatement “This is a class in logic.” “I enjoy logic.” “Today is Friday.”
Propositions and Arguments. What is a proposition? A proposition is a predicative sentence that only contains a subject and a predicate S is P.
MATHEMATICAL REASONING MATHEMATICAL REASONING. STATEMENT A SENTENCE EITHER TRUE OR FALSE BUT NOT BOTH A SENTENCE EITHER TRUE OR FALSE BUT NOT BOTH.
Higher / Int.2 Philosophy 12. Our Learning  Fallacy Reminder  Summary following Homework NAB  Class NAB.
© 2009 McGraw-Hill Higher Education. All rights reserved.1 Chapters1 & 2.
Chapter Ten Relational Predicate Logic. 1. Relational Predicates We now broaden our coverage of predicate logic to include relational predicates. This.
Chapter Eight Predicate Logic Semantics. 1. Interpretations in Predicate Logic An argument is valid in predicate logic iff there is no valuation on which.
THE NATURE OF ARGUMENT. THE MAIN CONCERN OF LOGIC Basically in logic we deal with ARGUMENTS. Mainly we deal with learning of the principles with which.
Do now Can you make sure that you have finished your Venn diagrams from last lesson. Can you name 5 famous mathematicians (including one that is still.
Chapter 7: Induction.
Types of Arguments Inductive Argument: An argument in which the truth of the premises is supposed to prove that the conclusion is probably true. Strong.
Deductive reasoning.
Day 5 N.O.MA.
a valid argument with true premises.
FALSE PREMISE.
Chapter 1: Good and Bad Reasoning
Inductive / Deductive reasoning
Win Every Argument Every Time
Chapter 3: Reality Assumptions
Chapter 3 Philosophy: Questions and theories
Introduction to Logic PHIL 240 Sections
Validity and Soundness
Inductive and Deductive Logic
TRUTH TABLES continued.
Making Sense of Arguments
Chapter 7: What is Argument?
CSNB234 ARTIFICIAL INTELLIGENCE
8C Truth Tables, 8D, 8E Implications 8F Valid Arguments
SUMMARY Logic and Reasoning.
TODAY’S OBJECTIVE: Standard: MM1G2
Propositional Logic 1) Introduction Copyright 2008, Scott Gray.
ID1050– Quantitative & Qualitative Reasoning
Evaluating Deductive Arguments
If there is any case in which true premises lead to a false conclusion, the argument is invalid. Therefore this argument is INVALID.
If there is any case in which true premises lead to a false conclusion, the argument is invalid. Therefore this argument is INVALID.
Presentation transcript:

Logic and Philosophy Alan Hausman PART ONE Sentential Logic Sentential Logic

Chapter One Introduction 1. The Elements of an Argument i) Identical twins often have different IQ test scores ii) Identical twins inherit the same genes iii) So environment must play some part in determining IQ

The first two statements give reasons for accepting the third. In logic, they are said to be the premises. The third statement is called the argument’s conclusion.

Premise Indicators Include “Because” “Since” “For” “The relevant data….” “In support of this…” “It has been observed that…”

Conclusion Indicators Include “Therefore” “Hence” “Consequently” “So” “It follows that…” “The result is…” “The implication is….”

2.Deduction and Induction A deductively valid argument is one in which if all of its premises are true, then its conclusion must be true.

Deduction and Induction, continued An invalid argument is an argument that is not valid.

Deduction and Induction, continued An inductive argument has a conclusion that goes beyond what is contained in its premises.

Deduction and Induction, continued Good inductive arguments are said to be inductively strong.

Deduction and Induction, continued The difference between inductive strength and deductive validity is that it is possible for the premises of a strong inductive argument to be true and yet the conclusion false.

Deduction and Induction, continued The basic idea behind inductive reason is that of learning by experience. We notice patterns, resemblances, or other kinds of regularities in our experience and project them onto other cases.

3. Deductive Argument Forms Any argument of the form 1. ________ or ……….. 2. It’s not the case that _________ Therefore, ………. is logically valid

Deductive Argument Forms, continued There are many valid argument forms. Any argument of the same form as a valid argument is itself valid.

4. Truth and Validity A deductively valid argument can have a false conclusion if one or more of its premises are false. An invalid argument can have both true premises and a true conclusion. BUT… A valid argument with true premises cannot have a false conclusion.

5. Soundness An argument can be valid but have one or more false premises. Such an argument is unsound. An argument will also be unsound if it is invalid.

6. Consistency A set of statements is inconsistent if not every member of it can possibly be true. If every member of a set of statements were possibly true, the set would be consistent.

Consistency, continued If we have a valid argument, then the set of statements that has as its members the premises and the negation of the conclusion must be inconsistent.

7. Concepts of Discovery and Justification When someone states that something is true, we need to ask two questions: 1. What factors led the person to think of this conclusion? 2. What reasons are offered for accepting it as true?

Discovery and Justification, continued Questions of type (1) are said to be in the context of discovery. Questions of type (2) are said to be in the context of justification.

8. The Plan of This Book Part One looks at sentential logic; the logic of sentences. Part Two covers predicate logic; this extends sentential logic to include elements of logic found within sentences. Sentential and predicate logic make up symbolic, or formal, logic.

Key Terms Argument Argument form Conclusion Consistent Deductively Valid Discovery Inconsistent Valid

Key Terms, continued Inductive argument Inductively strong argument Invalid argument Justification Premises Sound Unsound