Deductive Arguments.

Slides:



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

-- in other words, logic is
Truth Functional Logic
Hypotheticals: The If/Then Form Hypothetical arguments are usually more obvious than categorical ones. A hypothetical argument has an “if/then” pattern.
Rules of Inferences Section 1.5. Definitions Argument: is a sequence of propositions (premises) that end with a proposition called conclusion. Valid Argument:
1 Section 1.5 Rules of Inference. 2 Definitions Theorem: a statement that can be shown to be true Proof: demonstration of truth of theorem –consists of.
Common logical forms Study the following four arguments.
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.
Euler’s circles Some A are not B. All B are C. Some A are not C. Algorithm = a method of solution guaranteed to give the right answer.
Chapter 22: Common Propositional Argument Forms. Introductory Remarks (p. 220) This chapter introduces some of the most commonly used deductive argument.
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.
Muhammad Arief download dari
2 Basic Types of Reasoning Deductive Deductive Inductive Inductive.
CS128 – Discrete Mathematics for Computer Science
This is Introductory Logic PHI 120 Get a syllabus online, if you don't already have one Presentation: "Good Arguments"
Uses for Truth Tables Determine the truth conditions for any compound statementDetermine the truth conditions for any compound statement Determine whether.
Logic 3 Tautological Implications and Tautological Equivalences
Essential Deduction Techniques of Constructing Formal Expressions and Evaluating Attempts to Create Valid Arguments.
Essential Deduction Techniques of Constructing Formal Expressions Evaluating Attempts to Create Valid Arguments.
Copyright © Peter Cappello Logical Inferences Goals for propositional logic 1.Introduce notion of a valid argument & rules of inference. 2.Use inference.
Reasoning
Critical Thinking: A User’s Manual
3.6 Analyzing Arguments with Truth Tables
Reason and Argument Chapter 6 (2/3). A symbol for the exclusive ‘or’ We will use ұ for the exclusive ‘or’ Strictly speaking, this connective is not necessary.
Logical Arguments. Strength 1.A useless argument is one in which the truth of the premisses has no effect at all on the truth of the conclusion. 2.A weak.
Deduction, Validity, Soundness Lecture II – 01/25/11.
Deductive versus Inductive Reasoning Consider the following two passages: Argument #1 Mr. Jones is a member of the Academy of Scholarly Fellows and only.
Reasoning Top-down biases symbolic distance effects semantic congruity effects Formal logic syllogisms conditional reasoning.
The Science of Good Reasons
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.
1 DISJUNCTIVE AND HYPOTHETICAL SYLLOGISMS DISJUNCTIVE PROPOSITIONS: E.G EITHER WHALES ARE MAMMALS OR THEY ARE VERY LARGE FISH. DISJUNCTS: WHALES ARE MAMMALS.(P)
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.
Philosophy: Logic and Logical arguments
Philosophical Method  Logic: A Calculus For Good Reason  Clarification, Not Obfuscation  Distinctions and Disambiguation  Examples and Counterexamples.
The construction of a formal argument
Deductive vs. Inductive Arguments
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
DEDUCTIVE ARGUMENTS The aim of this tutorial is to help you learn to recognize, analyze, and evaluate deductive arguments.
Fun with Deductive Reasoning
Syllogisms and Three Types of Hypothetical Syllogisms
Hypothetical Syllogism If/Then Statements. Parts Major Premise: Two-part statement: – 1) "if," statement, known as the antecedent; – 2) consequent Minor.
Chapter 7 Evaluating Deductive Arguments II: Truth Functional Logic Invitation to Critical Thinking First Canadian Edition.
Arguments Arguments: premises provide grounds for the truth of the conclusion Two different ways a conclusion may be supported by premises. Deductive Arguments.
Mathematics for Comter I Lecture 2: Logic (1) Basic definitions Logical operators Translating English sentences.
Symbolic Logic ⊃ ≡ · v ~ ∴. What is a logical argument? Logic is the science of reasoning, proof, thinking, or inference. Logic allows us to analyze a.
MATHEMATICAL REASONING MATHEMATICAL REASONING. STATEMENT A SENTENCE EITHER TRUE OR FALSE BUT NOT BOTH A SENTENCE EITHER TRUE OR FALSE BUT NOT BOTH.
Invitation to Critical Thinking Chapter 7 Lecture Notes Chapter 7.
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.
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 =
Presented by: Tutorial Services The Math Center
Deductive reasoning.
Chapter 3 Basic Logical Concepts (Please read book.)
Deductive Arguments.
Relevance Premises are relevant to the conclusion when the truth of the premises provide some evidence that the conclusion is true Premises are irrelevant.
Disjunctive Syllogism
6.1 Symbols and Translation
CS201: Data Structures and Discrete Mathematics I
Logical Forms.
CS 220: Discrete Structures and their Applications
Concise Guide to Critical Thinking
8C Truth Tables, 8D, 8E Implications 8F Valid Arguments
Intermediate Level Conditionals.
Arguments in Sentential Logic
CS201: Data Structures and Discrete Mathematics I
Presentation transcript:

Deductive Arguments

A deductive argument is one whose premises are claimed to provide conclusive grounds for the truth of its conclusion.

If a deductive argument is valid, it is impossible for its premises to be true without its conclusion also being true.

Example 1 Everything made of copper conducts electricity. [P] This wire is made of copper. [P] Therefore, this wire will conduct electricity. [C]

Example 2 If Joe signed the contract, then the contract is binding. [P] If the contract is binding, then Joe owes Jed $100. [P] Therefore, if Joe signed the contract, Joe owes Jed $100. [C]

Take Note… Remember that the validity of an argument has nothing to do with whether its premises are factual or true.

Take Note… Validity has to do with the nature of the connection between premises and conclusion.

Example 3 All green cheese smells like daisies. [P] The moon is made of green cheese. [P] Therefore, the moon smells like daisies. [C]

Deductive Argument Forms Disjunctive Syllogisms Hypothetical Syllogisms Categorical Syllogisms

1. Disjunctive Syllogism Contains a compound, disjunctive (alternative) premise asserting the truth of at least one of its alternatives, and a premise that asserts the falsity of one of those alternatives.

Disjunctive Proposition Either A or B is true. A and B are called the disjuncts or alternatives.

Disjunctive Syllogism Either A or B is true. A is not true. (or B is not true.) Therefore B is true. (or A is true.)

Example Either the next Olympics will be held in Atlanta or in Athens. It won't be held in Athens. It will be held in Atlanta.

2. Hypothetical Syllogism Contains one or more compound, hypothetical (or conditional) propositions, affirming that if one of its components (the antecedent) is true then the other (the consequent) is also true.

Hypothetical Proposition If A, then B. A is called the antecedent. B is called the consequent.

2.A. Pure Hypothetical Syllogism Contains conditional propositions only. If A is true, then B is true. If B is true, then C is true. Therefore, if A is true, then C is true.

Example If I win the lotto, then I will have money. If I have money, then I can pay my debts. Therefore, if I win the lotto, then I can pay my debts.

2.B. Mixed Hypothetical Syllogism Contains both a conditional premise and a categorical premise. Subdivided into two types: modus ponens and modus tollens.

If A is true, then B is true. A is true. Therefore B is true. 2.B.i. Modus Ponens If A is true, then B is true. A is true. Therefore B is true. From Latin ponere, “to affirm.”

Example If today is Tuesday, then the garbage truck will arrive. Today is Tuesday. Therefore the garbage truck will arrive.

If A is true, then B is true. B is not true. Therefore A is not true. 2.B.ii. Modus Tollens If A is true, then B is true. B is not true. Therefore A is not true. From Latin tollere, “to deny.”

Example If the dog detects an intruder, then the dog will bark. The dog did not bark. Therefore the dog did not detect an intruder.

3. Categorical Syllogism Contains two premises (a major and a minor premise) and a conclusion, all of which are in the form of categorical propositions.

Categorical Syllogism All A are B. All C are A. Therefore all C are B. There are 15 valid forms of the categorical syllogism.

Example All men are patriots. All boxers are men. Therefore all boxers are patriots.

Three Formal Fallacies Caveat Three Formal Fallacies

Fallacies are errors in reasoning Fallacies are errors in reasoning. Formal fallacies are errors in the structure of an argument.

1. Affirming a Disjunct Either A or B is true. A is true. Therefore B is not true. The truth of one disjunct does not mean that the other is false. Both of the disjuncts may be true.

Example Either he will buy the drinks or she will make the popcorn. Therefore she will not make the popcorn.

2. Affirming the Consequent If A, then B. B. Therefore A. The conditional statement “If A, then B” claims that if A happens, B follows. It does not claim that if B happened, A preceded it.

Example If Francis Bacon wrote Hamlet, then he was a great writer. Francis Bacon was a great writer. Therefore he wrote Hamlet.

3. Denying the Antecedent If A, then B. Not A. Therefore not B. The conditional statement “If A, then B” claims that if A happens, B follows. It does not claim that if A does not happen, B will not happen.

Example If it rains, then the school grounds will be wet. The school grounds are wet. Therefore it rained.