Please turn off all cell phones! Presentation: "Good Arguments" This is Introductory Logic PHI 120 Get a syllabus online, if you don't already have one http://sweb.uky.edu/~rsand1/phi120/ Homework for Next Lecture • Allen/Hand, The Logic Primer (“a text of minimal chattiness”) – Pay special attention to: • Section 1.1, p. 1-2 – study definitions: argument, validity, soundness • Section 1.2: p. 3-5 – Study concepts: formal language, vocabulary, connectives (p. 4-5), metavariable • Section 1.3: read p. 10-15 – Exercise 1.3: 1-25 MW 10:00 am - 10:50 am CB 118 • 001 M 3:00 pm - 3:50 pm • 002 M 9:00 am - 9:50 am • 003 M 11:00 am - 11:50 am • 004 M 12:00 pm - 12:50 pm • 005 M 1:00 pm - 1:50 pm • 006 M 2:00 pm - 2:50 pm • 007 F 9:00 am - 9:50 am • 008 F 10:00 am - 10:50 am • 009 F 11:00 am - 11:50 am MW 1:00 pm - 1:50 pm BioSci 107 • 010 F 12:00 pm - 12:50 pm • 011 F 1:00 pm - 1:50 pm • 012 F 2:00 pm - 2:50 pm • 013 M 8:00 am - 8:50 am • 014 W 8:00 am - 8:50 am • 015 W 9:00 am - 9:50 am • 016 W 10:00 am - 10:50 am • 017 W 11:00 am - 11:50 am • 018 W 12:00 pm - 12:50 pm Memorize your section number! Good Arguments The Criteria A Good Argument (p.25) (A) Given the premises, the conclusion follows with either deductive validity or inductive strength. and (B) The premises are true.” A Good Argument (A) Inferential connection – Deductive validity or – Inductive strength Either or, but not both (B) True premise(s) – Empirical statements vs. – Non-empirical statements Good Arguments (A) Inferential Connection ─ the way the conclusion follows from premises ─ Inferential Connection: 2 Kinds “the way the conclusion follows” A. Validity: Deductive arguments – Necessary connection between premises and conclusion • Inferential Connection is one of certainty B. Strength: Inductive Arguments – Unnecessary or contingent connection • Inferential connection is one of probability Inferential Connection: 2 Kinds A. Validity: Deductive arguments – Necessary connection between premises and conclusion • Inferential Connection is one of certainty There are 80 women and 20Arguments men in this room. I am B. Strength: Inductive going to pick a person at random. So I would likely –select Unnecessary a woman. or contingent connection • Inferential connection is one of probability Inferential Connection B. Inductive Arguments: conclusion follows with some degree of probability Three sorts: – Generalizations – Causal arguments – Analogies Inferential Connection B. Inductive Arguments: conclusion follows with some degree of probability Three sorts: – Generalizations – Causal arguments – Analogies Conclusion • might be true • might be false Inference • stronger • weaker Inferential Connection: 2 Kinds A. Validity: Deductive arguments you are connection a man or a woman. Sincepremises you are not a –Either Necessary between and man, it follows that you are a woman. conclusion integer is either even or odd. The integer 2 –AnConclusion follows with certainty is not odd. So it is even. Either P or Q Since not P Q follows Either P or Q Not Q So P Logical Form Deductive Arguments Logical Form • Valid form, e.g., Barbara All A are B All B are C -------------All A are C All cats are carnivores. All carnivores are predators. -------------------------------------All cats are predators. • This is a valid argument form. – There is a necessary connection between A and C – Hence, this is a deductively valid argument Logical Form • Other valid forms: Modus Ponens (or "->E rule") If A, then B A -------------B If a person is a man, then he cannot give birth. The person is a man. ---------------------------------------------------------------Thus he cannot give birth. The conclusion is necessarily true, given the premises. Logical Form • Other valid forms: Modus Tollens If A, then B not B -------------not A If a person is a man, then he cannot give birth. This person can give birth, though. ---------------------------------------------------------------Hence she is not a man. The conclusion is necessarily true, given the premises. Logical Form • Other valid forms: Disjunctive Syllogism (or "vE rule") Either A or B not A -------------B An integer is either even or odd. The integer 3 is not even. -------------------------------------Therefore the integer 3 is odd. The conclusion is necessarily true, given the premises. Logical Form errors in reasoning other • Formal Fallacies than false premises. – No necessary connection between premises and conclusion Fallacy of “Undistributed Middle” All A are B All C are B -------------All C are A All cats are carnivores. All dogs are carnivores. -------------------------------------All dogs are cats. Not a Valid Argument Logical Form • Valid Argument Valid Form Form of Barbara All A are B All B are C -------------All A are C Form of Modus Ponens (->E) If A, then B A -------------B • Invalid Argument Invalid Form Form of Undistributed Middle All A are B All C are B -------------All C are A Form of Denying the Antecedent If A, then B not A -------------not B Good Arguments (B) True premise(s) A Good Argument • “One in which (A) given the premises, the conclusion follows from them either with deductive validity or inductive strength, and (B) the premises are true.” (p.25) STOP! Validity and Strength concern arguments Truth and Falsity concern statements Good Arguments TRUTH Statements (p.40) 1. empirical statements ─ truth verifiable in principle by experience • assertions of statistical probability – • statements of historical fact – • “45% of Kentuckians over 50 years of age smoke or ingest tobacco” “Caesar crossed the Rubicon in 49 B.C.” statements of observation – “The far side of the moon never receives direct light from the sun.” Statements (p.40) 2. non-empirical statements ─ truth in principle not verifiable by experience • mathematical formulas – • Statements of identity – • “25 times 5 equals 100” “A rose is a rose.” Definitions – “A foot is the measure of twelve inches.” Sound Deductive Arguments Study This Concept At Home Validity versus Soundness A Good Argument • “One in which (A) given the premises, the conclusion follows from them either with deductive validity or inductive strength, and (B) the premises are true.” (p.25) A good deductive argument is a sound argument. – question: what kind of statement is this? • Empirical? or • Non-empirical? Validity versus Soundness arguments are valid, • PropertiesAllofsound deductive arguments but not all valid arguments are sound. – Valid Argument: An argument whose conclusion follows necessarily from given premises – Sound Argument: A valid argument whose premises are all true. • Validity ≠ soundness Summary • Good arguments have two criteria 1. The manner by which the conclusion follows from given premises • Deductively valid – Sound Argument = valid + all true premises • Invalid – Inductively strong – Inductively weak 2. True premise(s) • Empirical vs. non-empirical statements • Truth vs. Validity/Strength – Arguments are neither true nor false Homework for Next Lecture • Allen/Hand, The Logic Primer (“a text of minimal chattiness”) – Pay special attention to: • Section 1.1, p. 1-2 – study definitions: argument, validity, soundness • Section 1.2: p. 3-5 – Study concepts: formal language, vocabulary, connectives (p. 4-5), metavariable • Section 1.3: read p. 10-15 – Exercise 1.3: 1-25