Ancient Philosophy Handout #1: Logic Overview

Size: px
Start display at page:

Download "Ancient Philosophy Handout #1: Logic Overview"

Transcription

1 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 P Q Negated Conjunction not both P and Q B. Basic Syllogistic Forms Mode Ponendo Ponens Ponendo Tollens Tollendo Ponens Common Modus Ponens Conjuctive Syllogism Disjunctive Syllogism P Q P Q P Q ~P Q Example If the fight against al-qaeda in Iraq meets all the criteria of the Just-War Theory, then there is no moral objection to fighting it. It does meet those criteria. So, there s no moral objection to fighting it. He cannot have passed every test and still failed the course. He did pass every test. So, he did not fail the course He either passed the placement examination or he took logic at another school before coming here. He did not take logic at another school. So, he passed the placement examination.

2 2 Mode Tollendo Tollens Common Modus Tollens ~Q ~P Example If my theory is correct, then these two chemicals should turn yellow when mixed. They do not turn yellow when mixed. So, my theory is not correct. C. Other Argument Forms Common Chain Argument Constructive Dilemma Destructive Dilemma Q R P R R S P R Q S P S ~Q ~S ~P ~P] Example 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. (St. Thomas More:) If I swear that the Act of Succession in declaring the King head of the Church in England is legal, I will be guilty of perjury & lose my soul. If I swear that the Act is illegal, I will be charged with treason & lose my life. I have only two choices: swearing that the Act is legal or swearing that it is illegal. [In fact, he found a third alternative.] So, either I will lose my soul or I will lose my life. (Plato in the Republic:) 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. So, Homer does not speak the truth.

3 3 II. Aristotelian Logic A. Proposition types Type Universal Affirmative All S are P Asp Particular Affirmative Some S are P Isp Particular Negative Some S are not P Osp Universal Negative No S are P Esp B. Opposition & Conversion 1. Contradictory Opposition: The members of a contradictory pair have opposite truth-value (one must be true; the other must be false) All S are P & Some S are not P No S are P & Some S are P (Asp & Osp) (Esp & Isp) 2. Contrary Opposition: Universal propositions are contrary to one another. They cannot both be true. All S are P & No S are P (Asp & Esp) 3. Conversion: Conversion is the interchange of subject & predicate. It is valid for E & I propositions and for A propositions when the predicate is a definition. No S are P. So, No P are S. (Esp. Eps) Some S are P. So, Some P are S. (Isp. Ips) All S are P (defn). So, All P are S. (Asp (defn). Αps)

4 4 C. Concepts necessary to distinguishing Categorical Syllogisms The names of terms major term minor term middle term The names of premises major premise minor premise The mood of a syllogism The figure of a syllogism 1st Figure 2nd Figure 3rd Figure Definition Isp Osp Omp Osp the predicate of the conclusion p p p the subject of the conclusion s s s the term which occurs in both premises, but not in the conclusion the premise containing the predicate of the conclusion (the major term) the premise containing the subject of the conclusion (the minor term) the list of the forms of proposition in this order: major minor conclusion the specification of now the middle term is related to the end terms the figure in which the middle term is subject of one end term & predicated of the other the figure in which the middle term is predicated of both end terms the figure in which the middle term is subject of both end terms m m m Omp AII EIO OAO 1 2 3

5 5 D. Valid Syllogistic Forms Premise Pair (at least one Universal; at least one Affirmative) 1st Figure (Univ. Major; Aff. Minor; Any Conclusion) 2nd Figure (Univ. Major; Any Minor; Neg. Conclusion) 3rd Figure (Any Major; Aff. Minor; Part. Concl.) AA Asm Asp EA Asm Esp Asm Esp AE Apm Esm Esp AI Ims IA Imp Isp EI Ims AO Apm Osm OA Omp

6 6 1st Figure Schema Example Barbara Amb Adm Adb All wars that inflict more harm than good are unjust. All nuclear wars inflict more harm than good. So, all nuclear wars are unjust. Celarent Darii Ferio Emb Adm Edb No military action whose harmful effects cannot be controlled is morally permissible. All military uses of biological weapons are military actions whose harmful effects cannot be controlled. So, no military uses of biological weapons are morally permissible. All wars that inflict more harm than good are unjust. Some wars in defense of a good cause inflict more harm than good. So, some wars in defense of a good cause are unjust. No military actions that intentionally kill the innocent are just. Some US military actions in WWII intentionally kill[ed] the innocent. So, some US military actions in WWII were not just.

7 7 2nd Figure Schema Example Cesare Asm Esp No computers are capable of common sense. All human beings are capable of common sense. So, no human beings are computers. Camestres Festino Baroco Apm Esm Esp Apm Osm All persons are capable of language use. No computers are capable of language use. So, no computers are persons. No punishments that are not essential to the fight against crime are justified. Some contemporary executions are punishments not essential to the fight against crime. So, some contemporary executions are not justified. All animals have the power of sensation. Some living things do not have the power of sensation. So, some living things are not animals.

8 8 3rd Figure Schema Example Darapti All lemons are sour. All lemons are fruits. Some fruits are sour. Disamis Datisi Felapton Bocardo Ferison Imp Ims Omp Ims Some human beings do stupid things. All human beings are rational. So, some rational beings do stupid things. All human beings are rational. Some human beings do stupid things. So, some beings that do stupid things are rational beings. No lemons are sweet. All lemons are fruits. So, some fruits are not sweet. Some citrus fruits are not sweet. All citrus fruits are fruit. So, some fruits are not sweet. No living beings capable of local motion are plants. Some living beings capable of local motion are onecelled organisms. So, some one-celled organisms are not plants.

SYLLOGISTIC LOGIC CATEGORICAL PROPOSITIONS

SYLLOGISTIC 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 information

6.5 Exposition of the Fifteen Valid Forms of the Categorical Syllogism

6.5 Exposition of the Fifteen Valid Forms of the Categorical Syllogism M06_COPI1396_13_SE_C06.QXD 10/16/07 9:17 PM Page 255 6.5 Exposition of the Fifteen Valid Forms of the Categorical Syllogism 255 7. All supporters of popular government are democrats, so all supporters

More information

MCQ IN TRADITIONAL LOGIC. 1. Logic is the science of A) Thought. B) Beauty. C) Mind. D) Goodness

MCQ 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 information

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

PHIL 115: Philosophical Anthropology. I. Propositional Forms (in Stoic Logic) Lecture #4: Stoic Logic HIL 115: hilosophical Anthropology Lecture #4: Stoic Logic Arguments from the Euthyphro: Meletus Argument (according to Socrates) [3a-b] Argument: Socrates is a maker of gods; so, Socrates corrupts the

More information

Syllogisms in Aristotle and Boethius

Syllogisms in Aristotle and Boethius Syllogisms in Aristotle and Boethius Can BAŞKENT ILLC, UvA June 23, 2006 Categorical Syllogism in Aristotle Definitions Figures of Categorical Syllogism Hypothetical Syllogism in Aristotle Hints in Texts

More information

logic, symbolic logic, traditional

logic, symbolic logic, traditional Hughes, R. I. G. The Structure and Interpretation of Quantum Mechanics. Cambridge, MA: Harvard University Press, 1989. Kripke, Saul. Is There a Problem about Substitutional Quantification? In Truth and

More information

The Form of Inference

The Form of Inference ._- -------"""'-=~~~-- The Form of Inference BERNARD LONERGAN M R. JOSEPH'S thorough Introduction to Logic consistently opposes the idea of reduction. In convincing analysis are set forth the three or

More information

Study Guides. Chapter 1 - Basic Training

Study 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 information

Ibn Sīnā on Logical Analysis. Wilfrid Hodges and Amirouche Moktefi

Ibn Sīnā on Logical Analysis. Wilfrid Hodges and Amirouche Moktefi Ibn Sīnā on Logical Analysis Wilfrid Hodges and Amirouche Moktefi Draft January 2013 2 Contents 1 Ibn Sīnā himself 5 1.1 Life................................. 5 1.2 Colleagues and students.....................

More information

Revisiting the Socrates Example

Revisiting 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 information

Selections from Aristotle s Prior Analytics 41a21 41b5

Selections 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 information

LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010

LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010 LOGIC ANTHONY KAPOLKA FYF 101-9/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 information

Unit. Categorical Syllogism. What is a syllogism? Types of Syllogism

Unit. 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 information

Logic Appendix: More detailed instruction in deductive logic

Logic 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 information

Aristotle s Theory of the Assertoric Syllogism

Aristotle s Theory of the Assertoric Syllogism Aristotle s Theory of the Assertoric Syllogism Stephen Read June 19, 2017 Abstract Although the theory of the assertoric syllogism was Aristotle s great invention, one which dominated logical theory for

More information

PHILOSOPHY 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) 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 information

The Birth of Logic in Ancient Greek.

The Birth of Logic in Ancient Greek. Modulo CLIL Titolo del modulo: Autore: Massimo Mora Lingua: Inglese Materia: Filosofia The Birth of Logic in Ancient Greek. Contenuti: Aristotelian theory of logic, the difference between truth, falsehood

More information

GENERAL NOTES ON THIS CLASS

GENERAL 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 information

Venn Diagrams and Categorical Syllogisms. Unit 5

Venn Diagrams and Categorical Syllogisms. Unit 5 Venn Diagrams and Categorical Syllogisms Unit 5 John Venn 1834 1923 English logician and philosopher noted for introducing the Venn diagram Used in set theory, probability, logic, statistics, and computer

More information

Unit 7.3. Contraries E. Contradictories. Sub-contraries

Unit 7.3. Contraries E. Contradictories. Sub-contraries What is opposition of Unit 7.3 Square of Opposition Four categorical propositions A, E, I and O are related and at the same time different from each other. The relation among them is explained by a diagram

More information

Essence and Necessity, and the Aristotelian Modal Syllogistic: A Historical and Analytical Study

Essence and Necessity, and the Aristotelian Modal Syllogistic: A Historical and Analytical Study Marquette University e-publications@marquette Dissertations (2009 -) Dissertations, Theses, and Professional Projects Essence and Necessity, and the Aristotelian Modal Syllogistic: A Historical and Analytical

More information

Logic, by Gordon H. Clark. A Review & Essay Rough Draft. We could solve * in the following way: 3x = 15 x = 5. Copyright 2005, 2011 by Vern Crisler

Logic, by Gordon H. Clark. A Review & Essay Rough Draft. We could solve * in the following way: 3x = 15 x = 5. Copyright 2005, 2011 by Vern Crisler Logic, by Gordon H. Clark. A Review & Essay Rough Draft Copyright 2005, 2011 by Vern Crisler A. Preliminary Note: This review was originally written for the Clark List at: http://groups.yahoo.com/group/ghclark

More information

CHAPTER THREE Philosophical Argument

CHAPTER 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 information

Philosophy 1100: Ethics

Philosophy 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 information

IS THE SYLLOGISTIC A LOGIC? it is not a theory or formal ontology, a system concerned with general features of the

IS THE SYLLOGISTIC A LOGIC? it is not a theory or formal ontology, a system concerned with general features of the IS THE SYLLOGISTIC A LOGIC? Much of the last fifty years of scholarship on Aristotle s syllogistic suggests a conceptual framework under which the syllogistic is a logic, a system of inferential reasoning,

More information

Logic: A Brief Introduction. Ronald L. Hall, Stetson University

Logic: 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 information

Baronett, Logic (4th ed.) Chapter Guide

Baronett, Logic (4th ed.) Chapter Guide Chapter 6: Categorical Syllogisms Baronett, Logic (4th ed.) Chapter Guide A. Standard-form Categorical Syllogisms A categorical syllogism is an argument containing three categorical propositions: two premises

More information

Philosophy of Logic. A tree of logic. 1. Traditional Logic. A. Basic Logic. 2. Orthodox Modern Logic. Chap2 Brief History of Logic

Philosophy of Logic. A tree of logic. 1. Traditional Logic. A. Basic Logic. 2. Orthodox Modern Logic. Chap2 Brief History of Logic Chap2 Brief History of Logic Philosophy of Logic qjshao@fudan.edu.cn I. II. A Map of Logic Logic in Western III. Logic in Ancient India IV. Logic in Ancient China V. The status of Logic in contemporary

More information

Unit 4. Reason as a way of knowing. Tuesday, March 4, 14

Unit 4. Reason as a way of knowing. Tuesday, March 4, 14 Unit 4 Reason as a way of knowing I. Reasoning At its core, reasoning is using what is known as building blocks to create new knowledge I use the words logic and reasoning interchangeably. Technically,

More information

5.6.1 Formal validity in categorical deductive arguments

5.6.1 Formal validity in categorical deductive arguments Deductive arguments are commonly used in various kinds of academic writing. In order to be able to perform a critique of deductive arguments, we will need to understand their basic structure. As will be

More information

Chapter 1. What is Philosophy? Thinking Philosophically About Life

Chapter 1. What is Philosophy? Thinking Philosophically About Life Chapter 1 What is Philosophy? Thinking Philosophically About Life Why Study Philosophy? Defining Philosophy Studying philosophy in a serious and reflective way will change you as a person Philosophy Is

More information

Chapter 1. Introduction. 1.1 Deductive and Plausible Reasoning Strong Syllogism

Chapter 1. Introduction. 1.1 Deductive and Plausible Reasoning Strong Syllogism Contents 1 Introduction 3 1.1 Deductive and Plausible Reasoning................... 3 1.1.1 Strong Syllogism......................... 3 1.1.2 Weak Syllogism.......................... 4 1.1.3 Transitivity

More information

7. Some recent rulings of the Supreme Court were politically motivated decisions that flouted the entire history of U.S. legal practice.

7. Some recent rulings of the Supreme Court were politically motivated decisions that flouted the entire history of U.S. legal practice. M05_COPI1396_13_SE_C05.QXD 10/12/07 9:00 PM Page 193 5.5 The Traditional Square of Opposition 193 EXERCISES Name the quality and quantity of each of the following propositions, and state whether their

More information

What 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. 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 information

Overview of Today s Lecture

Overview 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 information

Lecture 17:Inference Michael Fourman

Lecture 17:Inference Michael Fourman Lecture 17:Inference Michael Fourman 2 Is this a valid argument? Assumptions: If the races are fixed or the gambling houses are crooked, then the tourist trade will decline. If the tourist trade declines

More information

What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece

What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece Outline of this Talk 1. What is the nature of logic? Some history

More information

Semantic Entailment and Natural Deduction

Semantic 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 information

In view of the fact that IN CLASS LOGIC EXERCISES

In 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 information

Suppressed premises in real life. Philosophy and Logic Section 4.3 & Some Exercises

Suppressed premises in real life. Philosophy and Logic Section 4.3 & Some Exercises Suppressed premises in real life Philosophy and Logic Section 4.3 & Some Exercises Analyzing inferences: finale Suppressed premises: from mechanical solutions to elegant ones Practicing on some real-life

More information

Appendix: The Logic Behind the Inferential Test

Appendix: The Logic Behind the Inferential Test Appendix: The Logic Behind the Inferential Test In the Introduction, I stated that the basic underlying problem with forensic doctors is so easy to understand that even a twelve-year-old could understand

More information

Categorical Logic Handout Logic: Spring Sound: Any valid argument with true premises.

Categorical Logic Handout Logic: Spring Sound: Any valid argument with true premises. Categorical Logic Handout Logic: Spring 2017 Deductive argument: An argument whose premises are claimed to provide conclusive grounds for the truth of its conclusion. Validity: A characteristic of any

More information

Informalizing Formal Logic

Informalizing Formal Logic Informalizing Formal Logic Antonis Kakas Department of Computer Science, University of Cyprus, Cyprus antonis@ucy.ac.cy Abstract. This paper discusses how the basic notions of formal logic can be expressed

More information

Artificial 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 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 information

Chapter 8 - Sentential Truth Tables and Argument Forms

Chapter 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 truth-value of a given truth-functional compound proposition depends

More information

What would count as Ibn Sīnā (11th century Persia) having first order logic?

What 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 information

Chapter 9- Sentential Proofs

Chapter 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 truth-functional arguments.

More information

Also, in Argument #1 (Lecture 11, Slide 11), the inference from steps 2 and 3 to 4 is stated as:

Also, 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 information

Tutorial A03: Patterns of Valid Arguments By: Jonathan Chan

Tutorial 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 information

Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE

Logic: 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 information

INTERMEDIATE LOGIC Glossary of key terms

INTERMEDIATE 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 information

Criticizing Arguments

Criticizing 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 information

Section 3.5. Symbolic Arguments. Copyright 2013, 2010, 2007, Pearson, Education, Inc.

Section 3.5. Symbolic Arguments. Copyright 2013, 2010, 2007, Pearson, Education, Inc. Section 3.5 Symbolic Arguments What You Will Learn Symbolic arguments Standard forms of arguments 3.5-2 Symbolic Arguments A symbolic argument consists of a set of premises and a conclusion. It is called

More information

4.1 A problem with semantic demonstrations of validity

4.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 information

HANDBOOK (New or substantially modified material appears in boxes.)

HANDBOOK (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 information

Reconciling Greek mathematics and Greek logic - Galen s question and Ibn Sina s answer

Reconciling Greek mathematics and Greek logic - Galen s question and Ibn Sina s answer 1 3 Reconciling Greek mathematics and Greek logic - Galen s question and Ibn Sina s answer Wilfrid Hodges Herons Brook, Sticklepath, Okehampton November 2011 http://wilfridhodges.co.uk We have sometimes

More information

The basic form of a syllogism By Timo Schmitz, Philosopher

The basic form of a syllogism By Timo Schmitz, Philosopher The basic form of a syllogism By Timo Schmitz, Philosopher In my article What is logic? (02 April 2017), I pointed out that an apophantic sentence is always a proposition. To find out whether the formal

More information

Logic: Deductive and Inductive by Carveth Read M.A. Questions

Logic: Deductive and Inductive by Carveth Read M.A. Questions Questions I. Terms, Etc. 1. What is a Term? Explain and illustrate the chief divisions of Terms. What is meant by the Connotation of a Term? Illustrate. [S] 2. The connotation and denotation of terms vary

More information

Indeterminate Propositions in Prior Analytics I.41

Indeterminate Propositions in Prior Analytics I.41 2. Korrektur/pdf - mentis - PLA/12 / Rhema 16.09.09 / Seite: 165 Indeterminate Propositions in Prior Analytics I.41 Marko Malink, Humboldt-Universität zu Berlin In Analytica Priora I.41 stellt Aristoteles

More information

Logic Book Part 1! by Skylar Ruloff!

Logic 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 information

HOW TO ANALYZE AN ARGUMENT

HOW 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 information

Announcements. CS243: Discrete Structures. First Order Logic, Rules of Inference. Review of Last Lecture. Translating English into First-Order Logic

Announcements. CS243: Discrete Structures. First Order Logic, Rules of Inference. Review of Last Lecture. Translating English into First-Order 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 information

Section 3.5. Symbolic Arguments. Copyright 2013, 2010, 2007, Pearson, Education, Inc.

Section 3.5. Symbolic Arguments. Copyright 2013, 2010, 2007, Pearson, Education, Inc. Section 3.5 Symbolic Arguments INB able of Contents Date opic Page # July 28, 2014 Section 3.5 Examples 84 July 28, 2014 Section 3.5 Notes 85 July 28, 2014 Section 3.6 Examples 86 July 28, 2014 Section

More information

CRITICAL THINKING (CT) MODEL PART 1 GENERAL CONCEPTS

CRITICAL THINKING (CT) MODEL PART 1 GENERAL CONCEPTS Fall 2001 ENGLISH 20 Professor Tanaka CRITICAL THINKING (CT) MODEL PART 1 GENERAL CONCEPTS In this first handout, I would like to simply give you the basic outlines of our critical thinking model

More information

The antecendent always a expresses a sufficient condition for the consequent

The 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 information

Chapter 3: More Deductive Reasoning (Symbolic Logic)

Chapter 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 information

Philosophy exit exam (Logic: 1-10; Ancient: 11-20; Modern: 21-30; Ethics: 31-40; M&E: 41-50)

Philosophy exit exam (Logic: 1-10; Ancient: 11-20; Modern: 21-30; Ethics: 31-40; M&E: 41-50) Philosophy exit exam (Logic: 1-10; Ancient: 11-20; Modern: 21-30; Ethics: 31-40; M&E: 41-50) 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 information

Chapter 2. Moral Reasoning. Chapter Overview. Learning Objectives. Teaching Suggestions

Chapter 2. Moral Reasoning. Chapter Overview. Learning Objectives. Teaching Suggestions Chapter 2 Moral Reasoning Chapter Overview This chapter provides students with the tools necessary for analyzing and constructing moral arguments. It also builds on Chapter 1 by encouraging students to

More information

Anthony P. Andres. The Place of Conversion in Aristotelian Logic. Anthony P. Andres

Anthony P. Andres. The Place of Conversion in Aristotelian Logic. Anthony P. Andres [ Loyola Book Comp., run.tex: 0 AQR Vol. W rev. 0, 17 Jun 2009 ] [The Aquinas Review Vol. W rev. 0: 1 The Place of Conversion in Aristotelian Logic From at least the time of John of St. Thomas, scholastic

More information

Exercise 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 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 information

Deductive Forms: Elementary Logic By R.A. Neidorf READ ONLINE

Deductive 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 information

In this section you will learn three basic aspects of logic. When you are done, you will understand the following:

In this section you will learn three basic aspects of logic. When you are done, you will understand the following: Basic Principles of Deductive Logic Part One: In this section you will learn three basic aspects of logic. When you are done, you will understand the following: Mental Act Simple Apprehension Judgment

More information

PHIL2642 CRITICAL THINKING USYD NOTES PART 1: LECTURE NOTES

PHIL2642 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 information

Part II: How to Evaluate Deductive Arguments

Part 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 information

Thinking and Reasoning

Thinking and Reasoning Syllogistic Reasoning Thinking and Reasoning Syllogistic Reasoning Erol ÖZÇELİK The other key type of deductive reasoning is syllogistic reasoning, which is based on the use of syllogisms. Syllogisms are

More information

PHI 1500: Major Issues in Philosophy

PHI 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 information

Lecture 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 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 information

b) 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.

b) 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 information

Module 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur

Module 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

Recall. 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 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 information

Based on the translation by E. M. Edghill, with minor emendations by Daniel Kolak.

Based 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 information

In Defense of The Wide-Scope Instrumental Principle. Simon Rippon

In Defense of The Wide-Scope Instrumental Principle. Simon Rippon In Defense of The Wide-Scope Instrumental Principle Simon Rippon Suppose that people always have reason to take the means to the ends that they intend. 1 Then it would appear that people s intentions to

More information

Handout 1: Arguments -- the basics because, since, given that, for because Given that Since for Because

Handout 1: Arguments -- the basics because, since, given that, for because Given that Since for Because Handout 1: Arguments -- the basics It is useful to think of an argument as a list of sentences.[1] The last sentence is the conclusion, and the other sentences are the premises. Thus: (1) No professors

More information

Lecturer: Xavier Parent. Imperative logic and its problems. by Joerg Hansen. Imperative logic and its problems 1 / 16

Lecturer: Xavier Parent. Imperative logic and its problems. by Joerg Hansen. Imperative logic and its problems 1 / 16 Lecturer: Xavier Parent by Joerg Hansen 1 / 16 Topic of the lecture Handbook chapter ", by J. Hansen Imperative logic close to deontic logic, albeit different Complements the big historical chapter in

More information

The Problem of Major Premise in Buddhist Logic

The Problem of Major Premise in Buddhist Logic The Problem of Major Premise in Buddhist Logic TANG Mingjun The Institute of Philosophy Shanghai Academy of Social Sciences Shanghai, P.R. China Abstract: This paper is a preliminary inquiry into the main

More information

Courses providing assessment data PHL 202. Semester/Year

Courses providing assessment data PHL 202. Semester/Year 1 Department/Program 2012-2016 Assessment Plan Department: Philosophy Directions: For each department/program student learning outcome, the department will provide an assessment plan, giving detailed information

More information

Unit 4. Reason as a way of knowing

Unit 4. Reason as a way of knowing Unit 4 Reason as a way of knowing Zendo The Master will present two Koans - one that follows the rule and one that does not. Teams will take turns presenting their own koans to the master to see if they

More information

Reply to Bronstein, Leunissen, and Beere

Reply to Bronstein, Leunissen, and Beere Philosophy and Phenomenological Research Philosophy and Phenomenological Research Vol. XC No. 3, May 2015 doi: 10.1111/phpr.12181 2015 Philosophy and Phenomenological Research, LLC Reply to Bronstein,

More information

John Buridan. Summulae de Dialectica IX Sophismata

John Buridan. Summulae de Dialectica IX Sophismata John Buridan John Buridan (c. 1295 c. 1359) was born in Picardy (France). He was educated in Paris and taught there. He wrote a number of works focusing on exposition and discussion of issues in Aristotle

More information

Announcements. CS311H: Discrete Mathematics. First Order Logic, Rules of Inference. Satisfiability, Validity in FOL. Example.

Announcements. CS311H: Discrete Mathematics. First Order Logic, Rules of Inference. Satisfiability, Validity in FOL. Example. Announcements CS311H: Discrete Mathematics First Order Logic, Rules of Inference Instructor: Işıl Dillig Homework 1 is due now! Homework 2 is handed out today Homework 2 is due next Wednesday Instructor:

More information

Logic Dictionary Keith Burgess-Jackson 12 August 2017

Logic Dictionary Keith Burgess-Jackson 12 August 2017 Logic Dictionary Keith Burgess-Jackson 12 August 2017 addition (Add). In propositional logic, a rule of inference (i.e., an elementary valid argument form) in which (1) the conclusion is a disjunction

More information

1. To arrive at the truth we have to reason correctly. 2. Logic is the study of correct reasoning. B. DEDUCTIVE AND INDUCTIVE ARGUMENTS

1. To arrive at the truth we have to reason correctly. 2. Logic is the study of correct reasoning. B. DEDUCTIVE AND INDUCTIVE ARGUMENTS I. LOGIC AND ARGUMENTATION 1 A. LOGIC 1. To arrive at the truth we have to reason correctly. 2. Logic is the study of correct reasoning. 3. It doesn t attempt to determine how people in fact reason. 4.

More information

1 Clarion Logic Notes Chapter 4

1 Clarion Logic Notes Chapter 4 1 Clarion Logic Notes Chapter 4 Summary Notes These are summary notes so that you can really listen in class and not spend the entire time copying notes. These notes will not substitute for reading the

More information

Practice Test Three Fall True or False True = A, False = B

Practice Test Three Fall True or False True = A, False = B Practice Test Three Fall 2015 True or False True = A, False = B 1. The inclusive "or" means "A or B or both A and B." 2. The conclusion contains both the major term and the middle term. 3. "If, then" statements

More information

PLEASE DO NOT WRITE ON THIS QUIZ

PLEASE DO NOT WRITE ON THIS QUIZ PLEASE DO NOT WRITE ON THIS QUIZ Critical Thinking: Quiz 4 Chapter Three: Argument Evaluation Section I. Indicate whether the following claims (1-10) are either true (A) or false (B). 1. If an arguer precedes

More information

PHI Introduction Lecture 4. An Overview of the Two Branches of Logic

PHI Introduction Lecture 4. An Overview of the Two Branches of Logic PHI 103 - Introduction Lecture 4 An Overview of the wo Branches of Logic he wo Branches of Logic Argument - at least two statements where one provides logical support for the other. I. Deduction - a conclusion

More information

Directions: For Problems 1-10, determine whether the given statement is either True (A) or False (B).

Directions: For Problems 1-10, determine whether the given statement is either True (A) or False (B). Critical Thinking Exam 2: Chapter 3 PLEASE DO NOT WRITE ON THIS EXAM. Directions: For Problems 1-10, determine whether the given statement is either True (A) or False (B). 1. Valid arguments never have

More information

An alternative understanding of interpretations: Incompatibility Semantics

An alternative understanding of interpretations: Incompatibility Semantics An alternative understanding of interpretations: Incompatibility Semantics 1. In traditional (truth-theoretic) semantics, interpretations serve to specify when statements are true and when they are false.

More information

How Gödelian Ontological Arguments Fail

How Gödelian Ontological Arguments Fail How Gödelian Ontological Arguments Fail Matthew W. Parker Abstract. Ontological arguments like those of Gödel (1995) and Pruss (2009; 2012) rely on premises that initially seem plausible, but on closer

More information

9 Methods of Deduction

9 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 information