Philosophy: Logic and Logical arguments

Slides:



Advertisements
Similar presentations
Philosophy 148 Chapter 3 (part 2).
Advertisements

-- in other words, logic is
Artificial Intelligence
Hypotheticals: The If/Then Form Hypothetical arguments are usually more obvious than categorical ones. A hypothetical argument has an “if/then” pattern.
Four Rules of Aristotelian Logic 1. Rule of Identity: A is A 2. Rule of Non-Contradiction: A is not (-A) 3. Rule of Excluded Middle: Either A or (-A)
Rules of Inferences Section 1.5. Definitions Argument: is a sequence of propositions (premises) that end with a proposition called conclusion. Valid Argument:
Higher / Int.2 Philosophy 5. ” All are lunatics, but he who can analyze his delusion is called a philosopher.” Ambrose Bierce “ Those who lack the courage.
Deductive Validity Truth preserving: The conclusion logically follows from the premises. It is logically impossible for the premises to be true and the.
2 Basic Types of Reasoning Deductive Deductive Inductive Inductive.
Philosophy 103 Linguistics 103 Yet, still, even further more, expanded, Introductory Logic: Critical Thinking Dr. Robert Barnard.
2 Basic Types of Reasoning Deductive Deductive Inductive Inductive.
Deductive Arguments and Inference Rules Terminology: Valid Argument: – truth of the premises guarantees the truth of the conclusion – It would be contradictory.
Analysis of Diagnostic Essay: The Deductive Argument English 102 Argumentation.
CS128 – Discrete Mathematics for Computer Science
Uses for Truth Tables Determine the truth conditions for any compound statementDetermine the truth conditions for any compound statement Determine whether.
Essential Deduction Techniques of Constructing Formal Expressions and Evaluating Attempts to Create Valid Arguments.
Logic. what is an argument? People argue all the time ― that is, they have arguments.  It is not often, however, that in the course of having an argument.
Essential Deduction Techniques of Constructing Formal Expressions Evaluating Attempts to Create Valid Arguments.
Phil 1: An Introduction to Philosophy
Discrete Mathematics and its Applications
1.5 Rules of Inference.
Section 2 Logic.
GLE Explore the concept of premises, including false premises. Intro to Logic.
Deduction, Proofs, and Inference Rules. Let’s Review What we Know Take a look at your handout and see if you have any questions You should know how to.
The Science of Good Reasons
Deductive Arguments.
Introduction to Philosophy Lecture 3 An introduction to Deductive arguments By David Kelsey.
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.
Chapter 3: MAKING SENSE OF ARGUMENTS
Chapter Four Proofs. 1. Argument Forms An argument form is a group of sentence forms such that all of its substitution instances are arguments.
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.
From Truth Tables to Rules of Inference Using the first four Rules of Inference Modus Ponens, Modus Tollens, Hypothetical Syllogism and Disjunctive Syllogism.
Philosophical Method  Logic: A Calculus For Good Reason  Clarification, Not Obfuscation  Distinctions and Disambiguation  Examples and Counterexamples.
The construction of a formal argument
PHIL 2525 Contemporary Moral Issues Lec 2 Arguments are among us…
Propositional Logic A symbolic representation of deductive inference. Use upper case letters to represent simple propositions. E.g. Friday class rocks.
Apologetics: Other Syllogisms Presented by Eric Douma.
6.6 Argument Forms and Fallacies
Fun with Deductive Reasoning
Syllogisms and Three Types of Hypothetical Syllogisms
Chapter 7 Evaluating Deductive Arguments II: Truth Functional Logic Invitation to Critical Thinking First Canadian Edition.
Symbolic Logic ⊃ ≡ · v ~ ∴. What is a logical argument? Logic is the science of reasoning, proof, thinking, or inference. Logic allows us to analyze a.
Higher / Int.2 Philosophy 12. Our Learning  Fallacy Reminder  Summary following Homework NAB  Class NAB.
Logic: The Language of Philosophy. What is Logic? Logic is the study of argumentation o In Philosophy, there are no right or wrong opinions, but there.
Today’s Topics Argument forms and rules (review)
1 Propositional Proofs 1. Problem 2 Deduction In deduction, the conclusion is true whenever the premises are true.  Premise: p Conclusion: (p ∨ q) 
CT214 – Logical Foundations of Computing Darren Doherty Rm. 311 Dept. of Information Technology NUI Galway
Sound Arguments and Derivations. Topics Sound Arguments Derivations Proofs –Inference rules –Deduction.
Deductive Reasoning. Inductive: premise offers support and evidenceInductive: premise offers support and evidence Deductive: premises offers proof that.
Formal logic The part of logic that deals with arguments with forms.
L = # of lines n = # of different simple propositions L = 2 n EXAMPLE: consider the statement, (A ⋅ B) ⊃ C A, B, C are three simple statements 2 3 L =
PHIL102 SUM2014, M-F12:00-1:00, SAV 264 Instructor: Benjamin Hole
Deductive reasoning.
Inductive / Deductive reasoning
Natural Deduction: Using simple valid argument forms –as demonstrated by truth-tables—as rules of inference. A rule of inference is a rule stating that.
Demonstrating the validity of an argument using syllogisms.
Win Every Argument Every Time
Overview Philosophy & logic.
7.1 Rules of Implication I Natural Deduction is a method for deriving the conclusion of valid arguments expressed in the symbolism of propositional logic.
Logical Forms.
CS 220: Discrete Structures and their Applications
Natural Deduction Hurley, Logic 7.1.
Phil2303 intro to logic.
Argumentation.
Propositional Logic 1) Introduction Copyright 2008, Scott Gray.
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:

Philosophy: Logic and Logical arguments 8.2 Forensics October 30, 2014

Objectives: SWBAT Identify the basic forms of logical argument Identify the basic pieces of a logical argument Construct logical arguments

Introduction to Logic Logic The science of correctness or incorrectness of reasoning, the study of the evaluation of arguments A STATEMENT is a declarative sentence, or a part of a sentence Either true or false The Winter Olympics are in Russia this year, but four years ago they were in Vancouver, Canada. A PROPOSITION is what is meant by the statement The idea it expresses

Basic Concepts An ARGUMENT PREMISES CONCLUSION Collection of statements or propositions, some of which are intended to provide support or evidence for others PREMISES Statements or propositions in an argument that are intended to provide support or evidence CONCLUSION Statement or proposition for which the premises provide support

Example arguments P1: If the President lies to Congress, then he should be impeached P2: The President lied to Congress C: Therefore, he should be impeached P1: If everything in the Bible is true, then the world was created in six days P2: The world was not created in six days C: Therefore, not everything in the Bible is true.

What makes a good argument? DEDUCTIVELY VALID Impossible for the conclusion to be false if the premises are true FACTUALLY CORRECT The premises are true A SOUND argument is one that is Deductively valid AND Factually correct

Modus Ponens Premises Conclusion Aristotle called this modus ponens: (a rule of inference – one of the most important rules) if you study then you succeed you study you succeed Premises Conclusion Aristotle called this modus ponens: if P then Q P Q Discussion #8

Argument Form Multiple modus ponens (MMP) Modus tollens (MT) Whether or not an argument is valid depends on its form Other valid forms Multiple modus ponens (MMP) if P then Q If Q the R P Therefore, R Modus tollens (MT) if P then Q Not Q Therefore, not P

Example arguments P1: If the President lies to Congress, then he should be impeached P2: he President lied to Congress C: Therefore, he should be impeached P1: If everything in the Bible is true, then the world was created in six days P2: The world was not created in six days C: Therefore, not everything in the Bible is true.

Common Valid Forms Hypothetical Syllogism (HS) if P then Q If Q then R Therefore, if P then R Disjunctive Syllogism (DS) Either P or Q Not P Therefore, Q Constructive Dilemma (CD) Either P or Q If P then R If Q then R Therefore, R

Invalid Forms If P then Q If P then Q Q Not P Therefore, P Therefore, not Q If Hillary Clinton is a Communist Spy, then she supports Obamacare She supports Obamacare Therefore, she is a communist spy If JFK jumped off the Eiffel Tower, Then he is dead He did not jump off the Eiffel Tower Therefore he is not dead

Evaluating Arguments Does the argument have a valid form? Are the premises true? If the answer is yes to both, then the argument is sound If the argument is sound then the conclusion is true

Philosophy: Evaluating Logical arguments 8.2 Forensics December 4, 2013

Objective Evaluating arguments and the use of logic in their construction

Evaluating Arguments Logical evaluation Does the argument have a valid form Are the premises true? If the answer to both questions is “yes,” then the argument is sound and its conclusion is true.

Evaluating Arguments If you think the conclusion is false The form must be invalid The premise must be false All acts of killing humans are morally wrong If all acts of killing humans are morally wrong then abortion is morally wrong Therefore abortion is always morally wrong

Evaluating Arguments You can’t get much out of an unsound argument An unsound argument can still have a true conclusion All hamsters are refrigerators All refrigerators are mammals All hamsters are mammals

Be clear – is the ARGUMENT faulty, or is the CONCLUSION false? Evaluating Arguments If God exists, then God created everything in the Universe If God created everything in the Universe then everything in the Universe is good If everything in the universe is good, then unnecessary pain and suffering does not exist Unnecessary pain and suffering does exist Therefore, God does not exist Be clear – is the ARGUMENT faulty, or is the CONCLUSION false?

The Purpose of Logical Rigor Why so serious? Most of the issues we will be discussing will be controversial We need to figure out WHY we disagree when we do Many of us have attitudes about ethics that are incongruous with one another

The Purpose of Logical Rigor All acts of killing humans is morally wrong If all acts of killing humans are morally wrong, then abortion is always morally wrong Therefore, abortion is always morally wrong But what about the death penalty?

The Purpose of Logical Rigor Refining the argument All acts of killing innocent humans are morally wrong If all acts of killing innocent…. Therefore, abortion is always morally wrong