PHIL 115: Philosophical Anthropology. I. Propositional Forms (in Stoic Logic) Lecture #4: Stoic Logic


 Damian Norton
 4 years ago
 Views:
Transcription
1 HIL 115: hilosophical Anthropology Lecture #4: Stoic Logic Arguments from the Euthyphro: Meletus Argument (according to Socrates) [3ab] Argument: Socrates is a maker of gods; so, Socrates corrupts the youth. Two ways to state the connection: Stoic Logic: If Socrates is a maker of gods, then Socrates corrupts the youth Aristotelian Logic: The difference Anyone who is a maker of gods corrupts the youth Stoic logic is based on the logical connections if then either or not both and Aristotelian logic is based on the logical connections All Some None 2 Overview 3 4 Classification of ropositions Four Basic Modes (Forms) of Argument Modus onens Modus Tollens Disjunctive Conjunctive Two More Complex Argument Forms Chain Arguments Dilemmas I. ropositional Forms (in Stoic Logic) Kinds of roposition Simple (atomic) Socrates is a maker of gods. Any son who prosecutes his father is impious. Compound (in which two simple propositions are connected) Euthyphro is at court and Socrates is at court. If Socrates is a maker of gods, then Socrates corrupts the youth. Either Socrates is prosecuting a case or he is defending in one. Socrates is not both a maker of gods and a disbeliever in gods. 5 Some are trivial Compound ropositions I e.g., Euthyphro is at court and Socrates is at court. not expressing any logical connection between the two propositions not the basis for syllogistic inference simplifiable: each conjunct is true and, symbolized (! ) Some are clearly logical connectives e.g., If Socrates is a maker of gods, then Socrates corrupts the youth. expressing a logical connection between two propositions the basis for syllogistic inference knowing that one is true (or false) sometimes allows one to infer the truth (or falsity) of the other if symbolized: ( " ) 6
2 Compound ropositions II What about or and notboth? Symbolized or ( # ) not both ( $ ) or ~(! ) They are like and The order does not matter These two are the same: Either Socrates is prosecuting a case or he is defending in one Either Socrates is defending in a case or he is prosecuting one. They are like if From the truth of the whole and the truth (or falsity) of the right one of the parts, one can infer the truth (or falsity) of the other e.g., Either Socrates is prosecuting a case or he is defending in one.» He is not prosecuting a case.» So, he must be defending in one. Socrates is not both a maker of gods and a disbeliever in gods.» He is a maker of gods.» So, he is not a disbeliever in the gods. 7 Three Basic Logical Relations Name Form Symbolization Names of arts Hypothetical (Conditional) if then ( ) or ( ) Antecedent & Consequent Disjunction or ( ) Disjuncts Denial of a Conjunction not both and ( ) or ~( ) Conjuncts 8 Logical Symbols for Stoic Logic 9 10 not p ~p if p then q p " q p or q p #q II. The Basic Stoic Forms p and q not both p and q p! q p $ q or ~ (p! q) therefore % Stoic s 11 Four Basic Stoic Modes of Inference 12 A discourse in which, certain things being stated, something other than what is stated follows of necessity from their being so Aristotle Stoic s begin with [i.e., have as premises] two propositions a compound proposition stating a logical relation between two propositions (if, or, notboth) & the assertion or denial of one of the component propositions end with [i.e., have as a conclusion] the assertion or denial of the other of the component propositions Mode Names Modus ponens Modus tollens Disjunctive Conjunctive remise If p then q If p then q Either p or q Not both p!and q remise p not q not p p Conclusion q not p q not q
3 s of the Four Basic Stoic Modes of Inference 13 Hypothetical s: Recognizing Modus onens 14 Mode Modus onens Modus Tollens Disjunctive Conjunctive If Socrates is a maker of gods, then Socrates corrupts the youth. Socrates is a maker of gods. So, Socrates corrupts the youth. If Socrates were corrupting the youth of Athens, then their relatives would be in court to testify against him. But their relatives are not here. So, Socrates is not corrupting the youth of Athens. Either Socrates is prosecuting a case or he is defending in one. He is not prosecuting a case. So, he must be defending in one. Socrates is not both a maker of gods and a disbeliever in gods. He is a maker of gods. So, he is not a disbeliever in the gods. The key to M. ponens is matching the antecedent of the conditional and detaching the consequent, not the absence of the negation sign These are all Modus ponens ( ) ( ) ( ) ( ) These are not Modus ponens (& neither is valid) ( ) ( ) Hypothetical s: Recognizing Modus Tollens 15 Disjunctive s: Recognizing Disjunctive s 16 The key to M. ponens is mismatching the consequent of the conditional and then (as a conclusion) contradicting the antecedent, not the presence of the negation sign. These are all Modus tollens ( ) These are not Modus tollens ( ) ( ) ( ) ( ) ( ) (valid, but not M. tollens) The key to Disjunctive is contradicting either disjunct, not the presence of the negation sign. Also, drawing the correct conclusion. These are all Disjunctive s ( ) ( ) ( ) ( ) These are not Disjunctive s (& neither is valid) ( ) ( ) Conjunctive s: Recognizing Conjunctive s The key to Conjunctive is affirming either conjunct, not the absence of the negation sign. Also, drawing the correct conclusion. These are all Disjunctive s ( ) ( ) ( ) ( ~ ) These are not Disjunctive s (& neither is valid) ( ) ( ) 17 Distinguishing Conditional from Arguments An argument connects a premise & a conclusion: Socrates is a maker of gods. So, Socrates corrupts the youth. Analysis remise: Socrates is a maker of gods Conclusion: Socrates corrupts the youth. Here both the premise & the conclusion are asserted. A conditional (or hypothetical) statement connects an antecedent & a consequent: If Socrates is a maker of gods, then Socrates corrupts the youth. Analysis Antecedent: Socrates is a maker of gods Consequent: Socrates corrupts the youth. Here neither the antecedent nor the consequent is asserted. It only asserts a logical connection between the two. Or, what else would be true if the antecedent were. Conditionals are useful because we often want to state a consequence of a proposition before we know whether the proposition is true. E.g., in scientific work we may not know whether a theory is true The best way to find out is to draw some predictions (consequences) from it and see whether the predictions correspond with experimental or observational results. 18
4 Disjunctive s: Two Meanings of or Is this valid? 1. Either Socrates is prosecuting a case or he is defending in one. 2. Socrates is defending in a case. 3. So, Socrates is not prosecuting a case. That depends how we understand the word or. It has two senses:  An inclusive sense: at least one, one or both E.g., (Speaking about someone who got into a very selective college) Either he had very high test scores or he had very good letters of recommendation from his teachers. Such a person, the speaker says, must have had at least one, but there s no reason to think that a student could not have had both.  An exclusive sense: one, but not both E.g., Either resident Obama will win November s election or Governor Romney will. They cannot both win.  Some arguments that are invalid on the inclusive sense are valid on the exclusive sense. 19 Symbolization of Or The Symbols Inclusive or! ( ) Exclusive or! ( )" or" (( ) ()) The Choice First, note that both senses of or include the connection ( ). So, any time one has two statements connected by an or one should write at least that. Second, one should only add ( ) if there is a particular reason to do so The most common particular reasons would be An explicit statement of the speaker to the effect that not both Background knowledge that justifies this» as in the election example above Charity» If the validity of an argument requires that the speaker mean not both, one might note that rather than just say that the argument is invalid. 20 Necessary & Sufficient Conditions Conditional statements can express two kinds of condition: Necessary conditions E.g., It is a necessary condition of being resident of the United States that one be at least 35 years of age. For N is a necessary condition of, write ( N). Sufficient conditions E.g., It is a sufficient condition of being elected resident of the United States that one receive a majority of votes in the Electoral College. Sometimes conditionals state only relative necessity: If this paper is combustible, then it will catch fire when I put this match to it (provided there is oxygen in the room, &c.). For S is the sufficient condition of, write (S ). III. The Complex Stoic Forms Chain Arguments 23 Chain Arguments 24 If guns are outlawed, only outlaws will have guns. If only outlaws have guns, our country will be a more dangerous place to live. So, if guns are outlawed, our country will be a more dangerous place to live. Form G O O D G D limitation This form of argument only gets us from one conditional to another. If, Meletus, you agree that Euthyphro is wise in these matters, then you should consider me, too, to have the right beliefs. If you consider me to have the right beliefs, they you should not bring me to trial. So, if you agree that Euthyphro is wise in these matters, then you should not bring me to trial. Form E I I ~B E ~B limitation This form of argument only gets us from one conditional to another.
5 Logical Dilemma: An The Logic of Dilemmas The text: If, Meletus, you agree that Euthyphro is wise in these matters; [then you should] consider me, too, to have the right beliefs, and do not bring me to trial. If he prosecutes his father, he will anger his family If you do not think so, If he does not prosecute, he will anger the gods then [you should] prosecute that teacher of mine, and not me. In the colloquial sense, being in a dilemma means being in a situation each one of which is bad (i.e., each one of which has bad consequences). Euthyphro might feel that he is in such a dilemma Extraction of the logical form if you agree with Euthyphro, In the logical sense, a dilemma is an argument with three premises: two conditionals, & a disjunction asserting that then you should not prosecute me (his student). one of the antecedents is true, or if you disagree with Euthyphro, one of the consequents is false then you should not prosecute me (his student) [rather, you should first prosecute him (the teacher). a conclusion asserting that the corresponding consequent is true, or the corresponding antecedent is false Either you agree with Euthyphro or you disagree with him So, you should not prosecute me E.g., the above thoughts from Euthyphro, plus Either he prosecutes or he does not So, he will anger his family or he will anger the gods Simplified Dilemmas Kinds of Dilemma The dilemma as just stated If Euthyphro prosecutes his father, he will anger his family If he does not prosecute, he will anger the gods Conditionals > Disjunction Either he prosecutes or he does not So, he will anger his family or he will anger the gods There are four kinds of dilemma: Simplified If Euthyphro prosecutes his father, he will anger his family Not Convergent ( ) (R S) Convergent ( ) (R ) ( 䏕 R) Complex Constructive Concl.: ( 䏕 S) Simple Constructive Concl.: () ( 䏕 ~S) Complex Destructive Concl.: ( 䏕 ~R) If he does not prosecute, he will anger the gods Convergent ( ) ( S) Either he prosecutes or he does not So, he will anger someone Simple Destructive Concl.: 29 of a Complex Constructive Dilemma George Will on Evel Knievel s attempt to make a 1500foot jump across Snake River Canyon (from the Washington ost): If the jump is not as risky as it is advertised to be it is a fraud. If, as seems probable, it does involve a serious risk of Knievel s life, it is obscene. Symbolization: Explicit (~R F) (R O) Implicit ( R 䏕 ~R) (F 䏕 O) 30 of a Simple Constructive Dilemma Caliph Omar (according to legend) after the conquest of Cairo on whether the books at the library of Alexandria should be preserved If what is written in them agrees with the Koran, they are not required; if it disagrees, they are not desired. Destroy them [X] therefore. Symbolization: Explicit (A ~ R) (~A ~ D) X Implicit (~ R X) (~ D X) ( A 䏕 ~A)
6 : lato on poets (Republic iii, 391c e) If Homer speaks the truth then the heroes are the sons of the gods and if he speaks the truth then they did many wicked things. But either they are not the sons of gods or they did not to many wicked things. of a Simple Destructive Dilemma Form: (T S) (T W) (~S ~W) 31 The historical situation St. Thomas More s Dilemma In 1534, Henry VIII had arliament declare him Supreme Head of the Church in England and demanded of some of his subjects that they state whether they accepted this law. In May, 1535, Thomas Cromwell visited More in prison to demand his opinion of the new statutes. Thomas More s Dilemma (in both logical & colloquial senses) If I say that I disagree with the law, then I will be beheaded (for treason). If I say that I agree with the law, then I will be sent to Hell (for perjury). When I m asked, either I will say that I agree with the law or say that I disagree with it. So, either I will be beheaded or I will be sent to Hell. 32 So, Homer does not speak the truth. ~T Two Ways of Responding to a Dilemma 33 assing through the horns of the dilemma : More s attempt to avoid his dilemma by refusal to say anything (i.e., neither speaking the truth nor telling a lie) The soundness of a dilemma depends on the disjunction being exhaustive. assing through is a challenge to the truth (exhaustiveness) of the disjunction; i.e., (( ) R) rather than ( ). Taking the dilemma by the horns : John Stuart Mill s response to arguments like Omar s: however true [a given opinion] may be, if it is not fully, frequently, & fearlessly discussed, it will be held as a dead dogma, not as a living truth, &c. (On Liberty) The soundness of a dilemma depends on the hypotheticals being true. Taking by the horns is a challenge to the truth of one of the hypotheticals. Rebutting the dilemma (see next slide)
Ancient Philosophy Handout #1: Logic Overview
Ancient Philosophy Handout #1: Logic Overview I. Stoic Logic A. Proposition types Affirmative P P Negative not P ~P Conjunction P and Q P Q Hypothetical (or Conditional) if P, then Q Disjunction P or Q
More informationLogic Appendix: More detailed instruction in deductive logic
Logic Appendix: More detailed instruction in deductive logic Standardizing and Diagramming In Reason and the Balance we have taken the approach of using a simple outline to standardize short arguments,
More informationSelections from Aristotle s Prior Analytics 41a21 41b5
Lesson Seventeen The Conditional Syllogism Selections from Aristotle s Prior Analytics 41a21 41b5 It is clear then that the ostensive syllogisms are effected by means of the aforesaid figures; these considerations
More informationINTERMEDIATE LOGIC Glossary of key terms
1 GLOSSARY INTERMEDIATE LOGIC BY JAMES B. NANCE INTERMEDIATE LOGIC Glossary of key terms This glossary includes terms that are defined in the text in the lesson and on the page noted. It does not include
More informationArtificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering
Artificial Intelligence: Valid Arguments and Proof Systems Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 02 Lecture  03 So in the last
More informationChapter 9 Sentential Proofs
Logic: A Brief Introduction Ronald L. Hall, Stetson University Chapter 9 Sentential roofs 9.1 Introduction So far we have introduced three ways of assessing the validity of truthfunctional arguments.
More informationRevisiting the Socrates Example
Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments Rules of Inference for Quantified Statements Building Arguments for Quantified
More informationAlso, in Argument #1 (Lecture 11, Slide 11), the inference from steps 2 and 3 to 4 is stated as:
by SALVATORE  5 September 2009, 10:44 PM I`m having difficulty understanding what steps to take in applying valid argument forms to do a proof. What determines which given premises one should select to
More informationChapter 8  Sentential Truth Tables and Argument Forms
Logic: A Brief Introduction Ronald L. Hall Stetson University Chapter 8  Sentential ruth ables and Argument orms 8.1 Introduction he truthvalue of a given truthfunctional compound proposition depends
More informationSemantic Entailment and Natural Deduction
Semantic Entailment and Natural Deduction Alice Gao Lecture 6, September 26, 2017 Entailment 1/55 Learning goals Semantic entailment Define semantic entailment. Explain subtleties of semantic entailment.
More informationMCQ IN TRADITIONAL LOGIC. 1. Logic is the science of A) Thought. B) Beauty. C) Mind. D) Goodness
MCQ IN TRADITIONAL LOGIC FOR PRIVATE REGISTRATION TO BA PHILOSOPHY PROGRAMME 1. Logic is the science of. A) Thought B) Beauty C) Mind D) Goodness 2. Aesthetics is the science of .
More informationStudy Guides. Chapter 1  Basic Training
Study Guides Chapter 1  Basic Training Argument: A group of propositions is an argument when one or more of the propositions in the group is/are used to give evidence (or if you like, reasons, or grounds)
More informationCriticizing Arguments
Kareem Khalifa Criticizing Arguments 1 Criticizing Arguments Kareem Khalifa Department of Philosophy Middlebury College Written August, 2012 Table of Contents Introduction... 1 Step 1: Initial Evaluation
More informationWhat are TruthTables and What Are They For?
PY114: Work Obscenely Hard Week 9 (Meeting 7) 30 November, 2010 What are TruthTables and What Are They For? 0. Business Matters: The last marked homework of term will be due on Monday, 6 December, at
More informationPHI 1500: Major Issues in Philosophy
PHI 1500: Major Issues in Philosophy Session 3 September 9 th, 2015 All About Arguments (Part II) 1 A common theme linking many fallacies is that they make unwarranted assumptions. An assumption is a claim
More informationPHIL2642 CRITICAL THINKING USYD NOTES PART 1: LECTURE NOTES
PHIL2642 CRITICAL THINKING USYD NOTES PART 1: LECTURE NOTES LECTURE CONTENTS LECTURE 1: CLAIMS, EXPLAINATIONS AND ARGUMENTS LECTURE 2: CONDITIONS AND DEDUCTION LECTURE 3: MORE DEDUCTION LECTURE 4: MEANING
More informationTo better understand VALIDITY, we now turn to the topic of logical form.
LOGIC GUIDE 2 To better understand VALIDITY, we now turn to the topic of logical form. LOGICAL FORM The logical form of a statement or argument is the skeleton, or structure. If you retain only the words
More informationConditionals II: no truth conditions?
Conditionals II: no truth conditions? UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Arguments for the material conditional analysis As Edgington [1] notes, there are some powerful reasons
More informationOverview of Today s Lecture
Branden Fitelson Philosophy 12A Notes 1 Overview of Today s Lecture Music: Robin Trower, Daydream (King Biscuit Flower Hour concert, 1977) Administrative Stuff (lots of it) Course Website/Syllabus [i.e.,
More informationThere are two common forms of deductively valid conditional argument: modus ponens and modus tollens.
INTRODUCTION TO LOGICAL THINKING Lecture 6: Two types of argument and their role in science: Deduction and induction 1. Deductive arguments Arguments that claim to provide logically conclusive grounds
More informationPhilosophy 1100: Ethics
Philosophy 1100: Ethics Topic 1  Course Introduction: 1. What is Philosophy? 2. What is Ethics? 3. Logic a. Truth b. Arguments c. Validity d. Soundness What is Philosophy? The Three Fundamental Questions
More informationb) The meaning of "child" would need to be taken in the sense of age, as most people would find the idea of a young child going to jail as wrong.
Explanation for Question 1 in Quiz 8 by Norva Lo  Tuesday, 18 September 2012, 9:39 AM The following is the solution for Question 1 in Quiz 8: (a) Which term in the argument is being equivocated. (b) What
More informationA. Problem set #3 it has been posted and is due Tuesday, 15 November
Lecture 9: Propositional Logic I Philosophy 130 1 & 3 November 2016 O Rourke & Gibson I. Administrative A. Problem set #3 it has been posted and is due Tuesday, 15 November B. I am working on the group
More informationBased on the translation by E. M. Edghill, with minor emendations by Daniel Kolak.
On Interpretation By Aristotle Based on the translation by E. M. Edghill, with minor emendations by Daniel Kolak. First we must define the terms 'noun' and 'verb', then the terms 'denial' and 'affirmation',
More information9 Methods of Deduction
M09_COPI1396_13_SE_C09.QXD 10/19/07 3:46 AM Page 372 9 Methods of Deduction 9.1 Formal Proof of Validity 9.2 The Elementary Valid Argument Forms 9.3 Formal Proofs of Validity Exhibited 9.4 Constructing
More informationCHAPTER THREE Philosophical Argument
CHAPTER THREE Philosophical Argument General Overview: As our students often attest, we all live in a complex world filled with demanding issues and bewildering challenges. In order to determine those
More informationPHILOSOPHY 102 INTRODUCTION TO LOGIC PRACTICE EXAM 1. W# Section (10 or 11) 4. T F The statements that compose a disjunction are called conjuncts.
PHILOSOPHY 102 INTRODUCTION TO LOGIC PRACTICE EXAM 1 W# Section (10 or 11) 1. True or False (5 points) Directions: Circle the letter next to the best answer. 1. T F All true statements are valid. 2. T
More informationWhat is an argument? PHIL 110. Is this an argument? Is this an argument? What about this? And what about this?
What is an argument? PHIL 110 Lecture on Chapter 3 of How to think about weird things An argument is a collection of two or more claims, one of which is the conclusion and the rest of which are the premises.
More informationSession 10 INDUCTIVE REASONONING IN THE SCIENCES & EVERYDAY LIFE( PART 1)
UGRC 150 CRITICAL THINKING & PRACTICAL REASONING Session 10 INDUCTIVE REASONONING IN THE SCIENCES & EVERYDAY LIFE( PART 1) Lecturer: Dr. Mohammed Majeed, Dept. of Philosophy & Classics, UG Contact Information:
More informationIn view of the fact that IN CLASS LOGIC EXERCISES
IN CLASS LOGIC EXERCISES Instructions: Determine whether the following are propositions. If some are not propositions, see if they can be rewritten as propositions. (1) I have a very refined sense of smell.
More informationHANDBOOK (New or substantially modified material appears in boxes.)
1 HANDBOOK (New or substantially modified material appears in boxes.) I. ARGUMENT RECOGNITION Important Concepts An argument is a unit of reasoning that attempts to prove that a certain idea is true by
More information4.1 A problem with semantic demonstrations of validity
4. Proofs 4.1 A problem with semantic demonstrations of validity Given that we can test an argument for validity, it might seem that we have a fully developed system to study arguments. However, there
More informationLOGIC ANTHONY KAPOLKA FYF 1019/3/2010
LOGIC ANTHONY KAPOLKA FYF 1019/3/2010 LIBERALLY EDUCATED PEOPLE......RESPECT RIGOR NOT SO MUCH FOR ITS OWN SAKE BUT AS A WAY OF SEEKING TRUTH. LOGIC PUZZLE COOPER IS MURDERED. 3 SUSPECTS: SMITH, JONES,
More informationOn Interpretation. Section 1. Aristotle Translated by E. M. Edghill. Part 1
On Interpretation Aristotle Translated by E. M. Edghill Section 1 Part 1 First we must define the terms noun and verb, then the terms denial and affirmation, then proposition and sentence. Spoken words
More informationGENERAL NOTES ON THIS CLASS
PRACTICAL LOGIC Bryan Rennie GENERAL NOTES ON THE CLASS EXPLANATION OF GRADES AND POINTS, ETC. SAMPLE QUIZZES SCHEDULE OF CLASSES THE SIX RULES OF SYLLOGISMS (and corresponding fallacies) SYMBOLS USED
More informationChapter 3: More Deductive Reasoning (Symbolic Logic)
Chapter 3: More Deductive Reasoning (Symbolic Logic) There's no easy way to say this, the material you're about to learn in this chapter can be pretty hard for some students. Other students, on the other
More informationPART III  Symbolic Logic Chapter 7  Sentential Propositions
Logic: A Brief Introduction Ronald L. Hall, Stetson University 7.1 Introduction PART III  Symbolic Logic Chapter 7  Sentential Propositions What has been made abundantly clear in the previous discussion
More informationLogic for Computer Science  Week 1 Introduction to Informal Logic
Logic for Computer Science  Week 1 Introduction to Informal Logic Ștefan Ciobâcă November 30, 2017 1 Propositions A proposition is a statement that can be true or false. Propositions are sometimes called
More informationAn alternative understanding of interpretations: Incompatibility Semantics
An alternative understanding of interpretations: Incompatibility Semantics 1. In traditional (truththeoretic) semantics, interpretations serve to specify when statements are true and when they are false.
More informationLogic: A Brief Introduction
Logic: A Brief Introduction Ronald L. Hall, Stetson University PART III  Symbolic Logic Chapter 7  Sentential Propositions 7.1 Introduction What has been made abundantly clear in the previous discussion
More informationLecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments
Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments 1 Agenda 1. What is an Argument? 2. Evaluating Arguments 3. Validity 4. Soundness 5. Persuasive Arguments 6.
More informationThe antecendent always a expresses a sufficient condition for the consequent
Critical Thinking Lecture Four October 5, 2012 Chapter 3 Deductive Argument Patterns Diagramming Arguments Deductive Argument Patterns  There are some common patterns shared by many deductive arguments
More informationMODUS PONENS AND MODUS TOLLENS: THEIR VALIDITY/INVALIDITY IN NATURAL LANGUAGE ARGUMENTS
STUDIES IN LOGIC, GRAMMAR AND RHETORIC 50(63) 2017 DOI: 10.1515/slgr20170028 YongSok Ri Kim Il Sung University Pyongyang the Democratic People s Republic of Korea MODUS PONENS AND MODUS TOLLENS: THEIR
More informationLogic: Deductive and Inductive by Carveth Read M.A. CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE
CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE Section 1. A Mediate Inference is a proposition that depends for proof upon two or more other propositions, so connected together by one or
More informationRecall. Validity: If the premises are true the conclusion must be true. Soundness. Valid; and. Premises are true
Recall Validity: If the premises are true the conclusion must be true Soundness Valid; and Premises are true Validity In order to determine if an argument is valid, we must evaluate all of the sets of
More informationTutorial A03: Patterns of Valid Arguments By: Jonathan Chan
A03.1 Introduction Tutorial A03: Patterns of Valid Arguments By: With valid arguments, it is impossible to have a false conclusion if the premises are all true. Obviously valid arguments play a very important
More information7.1. Unit. Terms and Propositions. Nature of propositions. Types of proposition. Classification of propositions
Unit 7.1 Terms and Propositions Nature of propositions A proposition is a unit of reasoning or logical thinking. Both premises and conclusion of reasoning are propositions. Since propositions are so important,
More informationUnit. Categorical Syllogism. What is a syllogism? Types of Syllogism
Unit 8 Categorical yllogism What is a syllogism? Inference or reasoning is the process of passing from one or more propositions to another with some justification. This inference when expressed in language
More informationThe Little Logic Book Hardy, Ratzsch, Konyndyk De Young and Mellema The Calvin College Press, 2013
The Little Logic Book Hardy, Ratzsch, Konyndyk De Young and Mellema The Calvin College Press, 2013 Exercises for The Little Logic Book may be downloaded by the instructor as Word documents and then modified
More informationHANDBOOK. IV. Argument Construction Determine the Ultimate Conclusion Construct the Chain of Reasoning Communicate the Argument 13
1 HANDBOOK TABLE OF CONTENTS I. Argument Recognition 2 II. Argument Analysis 3 1. Identify Important Ideas 3 2. Identify Argumentative Role of These Ideas 4 3. Identify Inferences 5 4. Reconstruct the
More informationIntroduction to Philosophy
Introduction to Philosophy Philosophy 110W Russell Marcus Hamilton College, Fall 2013 Class 1  Introduction to Introduction to Philosophy My name is Russell. My office is 202 College Hill Road, Room 210.
More informationIn a previous lecture, we used Aristotle s syllogisms to emphasize the
The Flow of Argument Lecture 9 In a previous lecture, we used Aristotle s syllogisms to emphasize the central concept of validity. Visualizing syllogisms in terms of threecircle Venn diagrams gave us
More informationBasic Concepts and Skills!
Basic Concepts and Skills! Critical Thinking tests rationales,! i.e., reasons connected to conclusions by justifying or explaining principles! Why do CT?! Answer: Opinions without logical or evidential
More informationLogic: A Brief Introduction. Ronald L. Hall, Stetson University
Logic: A Brief Introduction Ronald L. Hall, Stetson University 2012 CONTENTS Part I Critical Thinking Chapter 1 Basic Training 1.1 Introduction 1.2 Logic, Propositions and Arguments 1.3 Deduction and Induction
More informationHOW TO ANALYZE AN ARGUMENT
What does it mean to provide an argument for a statement? To provide an argument for a statement is an activity we carry out both in our everyday lives and within the sciences. We provide arguments for
More informationThe Appeal to Reason. Introductory Logic pt. 1
The Appeal to Reason Introductory Logic pt. 1 Argument vs. Argumentation The difference is important as demonstrated by these famous philosophers. The Origins of Logic: (highlights) Aristotle (385322
More informationToday s Lecture 1/28/10
Chapter 7.1! Symbolizing English Arguments! 5 Important Logical Operators!The Main Logical Operator Today s Lecture 1/28/10 Quiz State from memory (closed book and notes) the five famous valid forms and
More informationWhat is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 PanHellenic Logic Symposium Athens, Greece
What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 PanHellenic Logic Symposium Athens, Greece Outline of this Talk 1. What is the nature of logic? Some history
More informationFull file at
Chapter 1 What is Philosophy? Summary Chapter 1 introduces students to main issues and branches of philosophy. The chapter begins with a basic definition of philosophy. Philosophy is an activity, and addresses
More informationBefore the Court House
Euthyphro Before the Court House Socrates: the charges Corrupting the young Introducing new gods Euthyphro Prosecuting his father for murder Relative or a stranger? Makes no difference: pollution (miasma)
More informationExercise Sets. KS Philosophical Logic: Modality, Conditionals Vagueness. Dirk Kindermann University of Graz July 2014
Exercise Sets KS Philosophical Logic: Modality, Conditionals Vagueness Dirk Kindermann University of Graz July 2014 1 Exercise Set 1 Propositional and Predicate Logic 1. Use Definition 1.1 (Handout I Propositional
More informationPhilosophy 1100: Introduction to Ethics. Critical Thinking Lecture 1. Background Material for the Exercise on Validity
Philosophy 1100: Introduction to Ethics Critical Thinking Lecture 1 Background Material for the Exercise on Validity Reasons, Arguments, and the Concept of Validity 1. The Concept of Validity Consider
More informationILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS
ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS 1. ACTS OF USING LANGUAGE Illocutionary logic is the logic of speech acts, or language acts. Systems of illocutionary logic have both an ontological,
More informationLogic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to:
Sentential Logic Semantics Contents: TruthValue Assignments and TruthFunctions TruthValue Assignments TruthFunctions Introduction to the TruthLab TruthDefinition Logical Notions TruthTrees Studying
More informationRelevance. Premises are relevant to the conclusion when the truth of the premises provide some evidence that the conclusion is true
Relevance Premises are relevant to the conclusion when the truth of the premises provide some evidence that the conclusion is true Premises are irrelevant when they do not 1 Non Sequitur Latin for it does
More informationLing 98a: The Meaning of Negation (Week 1)
Yimei Xiang yxiang@fas.harvard.edu 17 September 2013 1 What is negation? Negation in twovalued propositional logic Based on your understanding, select out the metaphors that best describe the meaning
More informationL4: Reasoning. Dani Navarro
L4: Reasoning Dani Navarro Deductive reasoning Inductive reasoning Informal reasoning WE talk of man* being the rational animal; and the traditional intellectualist philosophy has always made a great point
More informationWhat would count as Ibn Sīnā (11th century Persia) having first order logic?
1 2 What would count as Ibn Sīnā (11th century Persia) having first order logic? Wilfrid Hodges Herons Brook, Sticklepath, Okehampton March 2012 http://wilfridhodges.co.uk Ibn Sina, 980 1037 3 4 Ibn Sīnā
More informationAnnouncements. CS243: Discrete Structures. First Order Logic, Rules of Inference. Review of Last Lecture. Translating English into FirstOrder Logic
Announcements CS243: Discrete Structures First Order Logic, Rules of Inference Işıl Dillig Homework 1 is due now Homework 2 is handed out today Homework 2 is due next Tuesday Işıl Dillig, CS243: Discrete
More information1.6 Validity and Truth
M01_COPI1396_13_SE_C01.QXD 10/10/07 9:48 PM Page 30 30 CHAPTER 1 Basic Logical Concepts deductive arguments about probabilities themselves, in which the probability of a certain combination of events is
More informationA Note on StraightThinking
A Note on StraightThinking A supplementary note for the 2nd Annual JTS/CGST Public Ethics Lecture March 5, 2002(b), adj. 2009:03:05 G.E.M. of TKI Arguments & Appeals In arguments, people try to persuade
More informationMATH1061/MATH7861 Discrete Mathematics Semester 2, Lecture 5 Valid and Invalid Arguments. Learning Goals
MAH1061/MAH7861 Discrete Mathematics Semester 2, 2016 Learning Goals 1. Understand the meaning of necessary and sufficient conditions (carried over from Wednesday). 2. Understand the difference between
More informationLogic Book Part 1! by Skylar Ruloff!
Logic Book Part 1 by Skylar Ruloff Contents Introduction 3 I Validity and Soundness 4 II Argument Forms 10 III Counterexamples and Categorical Statements 15 IV Strength and Cogency 21 2 Introduction This
More informationCourses providing assessment data PHL 202. Semester/Year
1 Department/Program 20122016 Assessment Plan Department: Philosophy Directions: For each department/program student learning outcome, the department will provide an assessment plan, giving detailed information
More informationDeduction. Of all the modes of reasoning, deductive arguments have the strongest relationship between the premises
Deduction Deductive arguments, deduction, deductive logic all means the same thing. They are different ways of referring to the same style of reasoning Deduction is just one mode of reasoning, but it is
More informationDeductive Forms: Elementary Logic By R.A. Neidorf READ ONLINE
Deductive Forms: Elementary Logic By R.A. Neidorf READ ONLINE If you are searching for a book Deductive Forms: Elementary Logic by R.A. Neidorf in pdf format, in that case you come on to the correct website.
More informationThe Philosopher s World Cup
The Philosopher s World Cup Monty Python & the Flying Circus http://www.youtube.com/watch?v=92vv3qgagck&feature=related What is an argument? http://www.youtube.com/watch?v=kqfkti6gn9y What is an argument?
More informationPhilosophy 12 Study Guide #4 Ch. 2, Sections IV.iii VI
Philosophy 12 Study Guide #4 Ch. 2, Sections IV.iii VI Precising definition Theoretical definition Persuasive definition Syntactic definition Operational definition 1. Are questions about defining a phrase
More informationDenying the antecedent and conditional perfection again
University of Windsor Scholarship at UWindsor OSSA Conference Archive OSSA 10 May 22nd, 9:00 AM  May 25th, 5:00 PM Denying the antecedent and conditional perfection again Andrei Moldovan University of
More informationSymbolic Logic. 8.1 Modern Logic and Its Symbolic Language
M08_COPI1396_13_SE_C08.QXD 10/16/07 9:19 PM Page 315 Symbolic Logic 8 8.1 Modern Logic and Its Symbolic Language 8.2 The Symbols for Conjunction, Negation, and Disjunction 8.3 Conditional Statements and
More informationCritical Thinking is:
Logic: Day 1 Critical Thinking is: Thinking clearly and following rules of logic and rationality It s not being argumentative just for the sake of arguing Academics disagree about which departments do
More informationChapter 3: Basic Propositional Logic. Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling;
Chapter 3: Basic Propositional Logic Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling; cling@csd.uwo.ca The Ultimate Goals Accepting premises (as true), is the conclusion (always) true?
More informationA BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS
A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS 0. Logic, Probability, and Formal Structure Logic is often divided into two distinct areas, inductive logic and deductive logic. Inductive logic is concerned
More informationPhilosophy exit exam (Logic: 110; Ancient: 1120; Modern: 2130; Ethics: 3140; M&E: 4150)
Philosophy exit exam (Logic: 110; Ancient: 1120; Modern: 2130; Ethics: 3140; M&E: 4150) 1. An argument is valid if and only if: a. Both premises are true and the conclusion is true as well b. It is
More informationLesson Plans 12: Argument and Piety in the Euthyphro e Civic Knowledge Project: Winning Words
1 Lesson Plans 12: Argument and Piety in the Euthyphro e Civic Knowledge Project: Winning Words Time: 1 hour Abstract: Students will read the Euthyphro, examine Socrates s argumentation, and discuss the
More informationWhat is a logical argument? What is deductive reasoning? Fundamentals of Academic Writing
What is a logical argument? What is deductive reasoning? Fundamentals of Academic Writing Logical relations Deductive logic Claims to provide conclusive support for the truth of a conclusion Inductive
More informationA Critique of Friedman s Critics Lawrence A. Boland
Revised final draft A Critique of Friedman s Critics Milton Friedman s essay The methodology of positive economics [1953] is considered authoritative by almost every textbook writer who wishes to discuss
More information5.3 The Four Kinds of Categorical Propositions
M05_COI1396_13_E_C05.QXD 11/13/07 8:39 AM age 182 182 CHATER 5 Categorical ropositions Categorical propositions are the fundamental elements, the building blocks of argument, in the classical account of
More informationSYLLOGISTIC LOGIC CATEGORICAL PROPOSITIONS
Prof. C. Byrne Dept. of Philosophy SYLLOGISTIC LOGIC Syllogistic logic is the original form in which formal logic was developed; hence it is sometimes also referred to as Aristotelian logic after Aristotle,
More informationMerricks on the existence of human organisms
Merricks on the existence of human organisms Cian Dorr August 24, 2002 Merricks s Overdetermination Argument against the existence of baseballs depends essentially on the following premise: BB Whenever
More informationPart II: How to Evaluate Deductive Arguments
Part II: How to Evaluate Deductive Arguments Week 4: Propositional Logic and Truth Tables Lecture 4.1: Introduction to deductive logic Deductive arguments = presented as being valid, and successful only
More informationDurham Research Online
Durham Research Online Deposited in DRO: 20 October 2016 Version of attached le: Published Version Peerreview status of attached le: Not peerreviewed Citation for published item: Uckelman, Sara L. (2016)
More informationEthics and Science. Obstacles to search for truth. Ethics: Basic Concepts 1
So far (from class and course pack) Moral dilemmas: e.g., euthanasia (class), Churchill decision in World War 2 Ethics ultimately concerned with how to live well. One part of that involves choice of actions
More informationPitt State Pathway (Undergraduate Course Numbers through 699)
Please check only one: Pitt State Pathway (Undergraduate Course Numbers through 699) Course is currently a General Education course Course is listed in the current catalog, but is NOT a General Education
More informationTime by J. M. E. McTaggart. Chapter 33 of The Nature of Existence
Time by J. M. E. McTaggart Chapter 33 of The Nature of Existence McTaggart s Destructive Argument Thesis: Time is unreal. Outline (P1) There is no time without change. (P2) There is no change without an
More informationPhilosophy 220. Truth Functional Properties Expressed in terms of Consistency
Philosophy 220 Truth Functional Properties Expressed in terms of Consistency The concepts of truthfunctional logic: Truthfunctional: Truth Falsity Indeterminacy Entailment Validity Equivalence Consistency
More informationA R G U M E N T S I N A C T I O N
ARGUMENTS IN ACTION Descriptions: creates a textual/verbal account of what something is, was, or could be (shape, size, colour, etc.) Used to give you or your audience a mental picture of the world around
More informationThe Ontological Argument
The Ontological Argument Saint Anselm offers a very unique and interesting argument for the existence of God. It is an a priori argument. That is, it is an argument or proof that one might give independent
More informationInstructor s Manual 1
Instructor s Manual 1 PREFACE This instructor s manual will help instructors prepare to teach logic using the 14th edition of Irving M. Copi, Carl Cohen, and Kenneth McMahon s Introduction to Logic. The
More informationModule 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur
Module 5 Knowledge Representation and Logic (Propositional Logic) Lesson 12 Propositional Logic inference rules 5.5 Rules of Inference Here are some examples of sound rules of inference. Each can be shown
More information