Argument Diagramming Part I

Slides:



Advertisements
Similar presentations
Part 2 Module 3 Arguments and deductive reasoning Logic is a formal study of the process of reasoning, or using common sense. Deductive reasoning involves.
Advertisements

Hypotheticals: The If/Then Form Hypothetical arguments are usually more obvious than categorical ones. A hypothetical argument has an “if/then” pattern.
Chapter Two Symbolizing in Sentential Logic This chapter is a preliminary to the project of building a model of validity for sentential arguments. We.
04 March 2009Instructor: Tasneem Darwish1 University of Palestine Faculty of Applied Engineering and Urban Planning Software Engineering Department Introduction.
1 Introduction to Abstract Mathematics Valid AND Invalid Arguments 2.3 Instructor: Hayk Melikya
An Introduction to Propositional Logic Translations: Ordinary Language to Propositional Form.
John Rosson Thursday February 15, 2007 Survey of Mathematical Ideas Math 100 Chapter 3, Logic.
Logic programming ( Handbook of Logic in Artificial Intelligence, Vol) by D. M. Gabbay, C. Hogger, J.A. Robinson. 1.
Copyright © Cengage Learning. All rights reserved. CHAPTER 2 THE LOGIC OF COMPOUND STATEMENTS THE LOGIC OF COMPOUND STATEMENTS.
2.2 Conditional Statements. Goals Identify statements which are conditional Identify the antecedent and consequent of a conditional statement Negate conditional.
DEDUCTIVE REASONING: PROPOSITIONAL LOGIC Purposes: To analyze complex claims and deductive argument forms To determine what arguments are valid or not.
Today’s Topics n Symbolizing conditionals and bi-conditionals n Other complex symbolizations. n Unless.
Syllabus Every Week: 2 Hourly Exams +Final - as noted on Syllabus
Propositional Logic. Negation Given a proposition p, negation of p is the ‘not’ of p.
An Introduction to Propositional Logic Translations: Ordinary Language to Propositional Form.
Today’s Topics n Review Logical Implication & Truth Table Tests for Validity n Truth Value Analysis n Short Form Validity Tests n Consistency and validity.
From Chapter 4 Formal Specification using Z David Lightfoot
PHIL 120: Jan 8 Basic notions of logic
Let remember from the previous lesson what is Knowledge representation
BASIC CONCEPTS OF ARGUMENTS
EE1J2 – Discrete Maths Lecture 5 Analysis of arguments (continued) More example proofs Formalisation of arguments in natural language Proof by contradiction.
Adapted from Discrete Math
Propositions and Truth Tables
Chapter 3 Section 4 – Slide 1 Copyright © 2009 Pearson Education, Inc. AND.
Chapter 2 – Fundamentals of Logic. Outline Basic Connectives and Truth Tables Logical Equivalence: The Laws of Logic Ligical Implication: Rules of Inference.
Chapter 8 Logic DP Studies. Content A Propositions B Compound propositions C Truth tables and logical equivalence D Implication and equivalence E Converse,
Discrete Mathematics and Its Applications
Chapter 1: Lecture Notes What Is an Argument? (and What is Not?)
Logic and Philosophy Alan Hausman PART ONE Sentential Logic Sentential Logic.
0 Validity & Invalidity (Exercises) December 23, 2005.
Review I Rosen , 3.1 Know your definitions!
COMMONWEALTH OF AUSTRALIA Copyright Regulations 1969 WARNING This material has been reproduced and communicated to you by or on behalf of Monash University.
FALSE PREMISE.
Chapter 1 Section 1.2 Symbolic Logic. Sentences vs Statements A truth value is one of two words either true (T) or false (F). A statement is a particular.
The Science of Good Reasons
Determining Validity and Invalidity in Deductive Arguments PHIL 121: Methods of Reasoning February 6, 2013 Instructor:Karin Howe Binghamton University.
Lecture 4. CONDITIONAL STATEMENTS: Consider the statement: "If you earn an A in Math, then I'll buy you a computer." This statement is made up of two.
LOGIC Lesson 2.1. What is an on-the-spot Quiz  This quiz is defined by me.  While I’m having my lectures, you have to be alert.  Because there are.
Argument Diagramming Part II PHIL 121: Methods of Reasoning February 1, 2013 Instructor:Karin Howe Binghamton University.
1 Introduction to Computational Linguistics Eleni Miltsakaki AUTH Spring 2006-Lecture 8.
Chapter 3: Semantics PHIL 121: Methods of Reasoning March 13, 2013 Instructor:Karin Howe Binghamton University.
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.
0 Validity & Invalidity (Exercises) All dogs have two heads. 2. All tigers are dogs. ___________________________________ 3. All tigers have two.
Breaking Down An Arguments Into Propositions
Propositional Logic. Propositions Any statement that is either True (T) or False (F) is a proposition Propositional variables: a variable that can assume.
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.
LECTURE 19 THE COSMOLOGICAL ARGUMENT CONTINUED. THE QUANTUM MECHANICAL OBJECTION DEPENDS UPON A PARTICULAR INTERPRETATION WE MIGHT REASONABLY SUSPEND.
Propositional Logic Symbolic logic If A, then B A  B Capital letters stand for simple sentences A simple sentence is an affirmative single statement “It’s.
CS6133 Software Specification and Verification
Chapter 2 Logic 2.1 Statements 2.2 The Negation of a Statement 2.3 The Disjunction and Conjunction of Statements 2.4 The Implication 2.5 More on Implications.
Sentence (syntactically Independent grammatical unit) QuestionCommandStatement “This is a class in logic.” “I enjoy logic.” “Today is Friday.”
Mathematics for Comter I Lecture 2: Logic (1) Basic definitions Logical operators Translating English sentences.
Copyright 2008, Scott Gray1 Propositional Logic 2) The Formal Language.
Chapter 4: Derivations PHIL 121: Methods of Reasoning April 10, 2013 Instructor:Karin Howe Binghamton University.
Discrete Mathematics Lecture # 4. Conditional Statements or Implication  If p and q are statement variables, the conditional of q by p is “If p then.
CS104 The Foundations: Logic and Proof 1. 2 What is Discrete Structure?  Discrete Objects  Separated from each other (Opposite of continuous)  e.g.,
2. The Logic of Compound Statements Summary
Conditional Statements
CSNB 143 Discrete Mathematical Structures
Today’s Topics Symbolizing conditionals and bi-conditionals
FALSE PREMISE.
Logic programming ( Handbook of Logic in Artificial Intelligence, Vol) by D. M. Gabbay, C. Hogger, J.A. Robinson .
A Crash Course in Logic : Introduction to Philosophy
Chapter 1 The Foundations: Logic and Proof, Sets, and Functions
Copyright © Cengage Learning. All rights reserved.
Propositional Logic.
Discrete Mathematics Lecture 2: Propositional Logic
TRUTH TABLES.
Arguments in Sentential Logic
Subderivations.
Presentation transcript:

Argument Diagramming Part I PHIL 121: Methods of Reasoning January 30, 2013 Instructor:Karin Howe Binghamton University

Some important definitions statement (or proposition) argument conclusion premises

Statement (or proposition) A statement is a sentence that is either true or false. Examples: I like cats. Papa John's makes better pizza. If today is Wednesday, then tomorrow is Thursday. You may have either an apple or an orange for a snack.

Sentences that are not statements Shut the door! Is the door open? Ouch! Important Final Note! - Statements are true or false. It makes no sense to say "The statement (premise) is valid," or "The statement (premise) is sound." The terms valid and sound refer ONLY to arguments. (we will cover validity and soundness in the next lecture)

Types of Statements Conditionals Form: if A then B Example: If you like apples then you also like bananas. A part = antecedent; B part = consequent Conjunctions Form: A and B Example: I like apples and bananas. A part = left conjunct; B part = right conjunct Disjunctions Form: A or B Example: I like either apples or bananas for breakfast. A part = left disjunct; B part = right disjunct

Types of Statements, con't. Biconditionals Form: A if and only if B Example: I like apples if and only if I like bananas. Negations Form: not A Example: I don't like apples. Universal statements Form: All A are B Example: All apes like bananas. Existential statements Form: Some A are B Some apes like bananas.

Rewriting conditional statements in standard form If Marvin stays, then Nancy leaves. Nancy leaves if Marvin stays. The statement following the word 'if' is the antecedent; accordingly, the statement that follows the word 'if' is placed before the statement following the word 'then' (which is the consequent). The statement is then said to be in "standard form."

Conditionals are tricksy fellas… Necessary Conditions – P is a necessary condition for Q – Rewritten as: If Q, then P – Mnemonic: neceSSary conditions come second Sufficient Conditions P is a sufficient condition for Q Rewritten as: If P, then Q Mnemonic: suFFicient conditions come first "only if" P only if Q "unless" P unless Q Rewritten as: If not Q, then P

Some Examples 1. The Heat makes it to the playoffs only if the Hawks lose to the Cavs. 2. Your having a quiz average over 90 is a sufficient condition for being excused from the final. 3. The settlement of the west could only take place if the Indian barrier were removed. 4. Hannah could save her company if only the president would promote her. 5. Aquinas thought that the fact that the intellect is under the control of the will is a necessary condition for the existence of intellectual virtues. 6. “Now we shall have duck eggs, unless it is a drake.”

Arguments An argument is a set of statements, one of which (the conclusion) supposedly follows from the others (the premises). Arguments are attempts to prove the truth of a claim (the conclusion) on the basis of other claims (the premises). Arguments are attempts to convince you of something; namely to convince you to accept a conclusion based on your acceptance of the premises.

Types of Argument Structures: Convergent Argument

Types of Argument Structures: Linked Argument

Types of Argument Structures: Chain Argument

Putting it all together … complex arguments

Comparing Linked Arguments and Chain Arguments If I study hard for the first exam then I'll get an A on the exam. If I get an A on the first exam, then I'll get an A on all of the rest of the exams. If I get an A on all of the exams then I'll get an A in the course. Therefore, If I study hard for the first exam then I'll get an A in the course.

Syntax vs. Semantics What do we mean by the syntax of an argument diagram? The rules for the formation of grammatical sentences in a language. What do we mean by the semantics of an argument diagram? The meaning, or an interpretation of the meaning, of a word, sign, sentence, etc.

Diagramming Arguments A Quick How-to Guide

Steps 1 and 2: Finding Premise and Conclusion Indicators Premise Indicators: since however but (at the beginning of a sentence) and (at the beginning of a sentence) for Conclusion Indicators therefore thus hence so consequently it follows (that) which goes to show (that)

Identifying premises and conclusions Step 3: Identify the conclusion and subconclusion(s), if there are any Step 4: Identify the explicit premises Step 5: Identify any implicit premises, subconclusions or conclusion Conventions: Label your explicit premises as follows: P1, P2, P3, etc. Label subconclusions as SC1, SC2, etc. Label your conclusion as C Label any implied premises as IP1, IP2, etc. and any implied subconclusions or conclusions as ISC or IC, respectively

Step 6: Break the argument down into separate statements A word of caution: There are some statements you can, and should break, and others which you should not break! Statements you should break: Sentences that contain both a premise and a subconclusion or conclusion, joined by either a premise indicator or a conclusion indicator Example: Therefore, you should study hard, since you want an A in this class. Example: Since you want an A in this class, you should study hard. "And" statements (conjunctions) Statements you should never break: "Or" statements (disjunctions) "If then" statements (conditionals) "If and only if" statements (biconditionals) "Not" statements (negations)

Step 7: Rewrite the statements as complete independent statements Remove (or incorporate) parentheticals Remove any premise or conclusion indicators Standardize concepts Replace pronouns with their referents wherever possible. Rewrite conditionals in "standard form."

Step 8: Diagram the Argument Finally!! Let's practice!  Lab exercises p. 13 Lab exercises p. 14 Lab exercises p. 15 Lab exercises p. 16 Lab exercises p. 17 Lab exercises p. 20 Lab exercises p. 21