Hypothetical Syllogisms 1



Similar documents
def: An axiom is a statement that is assumed to be true, or in the case of a mathematical system, is used to specify the system.

Likewise, we have contradictions: formulas that can only be false, e.g. (p p).

1.2 Forms and Validity

CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs

DISCRETE MATH: LECTURE 3

Rules of Inference Friday, January 18, 2013 Chittu Tripathy Lecture 05

Beyond Propositional Logic Lukasiewicz s System

Lecture 2: Moral Reasoning & Evaluating Ethical Theories

DEDUCTIVE & INDUCTIVE REASONING

Phil 2302 Intro to Logic. Introduction to Induction i

INTRODUCTION TO LOGIC

Deductive versus Inductive Reasoning

Predicate logic Proofs Artificial intelligence. Predicate logic. SET07106 Mathematics for Software Engineering

Syllogisms and Fallacies 101

Kant s deontological ethics

Handout #1: Mathematical Reasoning

WELCOME TO GOD S FAMILY

LOGIC AND SETS CLAST MATHEMATICS COMPETENCIES

Slippery Slopes and Vagueness

Predicate Logic. Example: All men are mortal. Socrates is a man. Socrates is mortal.

Math 3000 Section 003 Intro to Abstract Math Homework 2

How s Your Love Life? (A Superlative Witness You Belong to Jesus) 1 John 3:11-18

CHAPTER 2. Logic. 1. Logic Definitions. Notation: Variables are used to represent propositions. The most common variables used are p, q, and r.

God is Love. 1 John 4:7-11

CATECHISM (adopted 2008) FOR CUMBERLAND PRESBYTERIAN CONFESSION OF FAITH

Invalidity in Predicate Logic

Development of a computer system to support knowledge acquisition of basic logical forms using fairy tale "Alice in Wonderland"

1/9. Locke 1: Critique of Innate Ideas

Philosophy 120: Introductory Logic Summer 2007

Logic in general. Inference rules and theorem proving

How To Proofread

Phil 1010, Practice Final Exam George Rainbolt s Section, Fall 2008

PHILOSOPHY 101: CRITICAL THINKING

Examination paper for MA0301 Elementær diskret matematikk

Cosmological Arguments for the Existence of God S. Clarke

The Reaffirmation of Baptismal Faith Including the Use of Water

Who is Satan Today? Knowing & Understanding Our Enemy Ken Birks, Pastor/Teacher

Atheism. Richland Creek Community Church

What Is Induction and Why Study It?

Mathematical Induction

Boolean Design of Patterns

What Is Circular Reasoning?

Truth Focus Statements for the Twelve Healing Code Categories

Philosophical argument

Who Is Your Defense Attorney? 1 John 2:1-2. The text for this sermon, the theme of which is, Who Is Your Defense

Introduction to Logic: Argumentation and Interpretation. Vysoká škola mezinárodních a veřejných vztahů PhDr. Peter Jan Kosmály, Ph.D

Logic Appendix. Section 1 Truth Tables CONJUNCTION EXAMPLE 1

Lighting the Advent Wreath

Divine command theory

The History of Logic. Aristotle ( BC) invented logic.

Peter: I think it's ridiculous. Almost as ridiculous as believing in the Tooth Fairy, or the Easter Bunny, or Santa Claus.

Predicate Logic. For example, consider the following argument:

KJV. King James Bible Study Correspondence Course An Outreach of Highway Evangelistic Ministries 5311 Windridge lane ~ Lockhart, Florida ~ USA

II CORINTHIANS 5:11-21

THE LAW OF SPIRIT OF LIFE HAS SET ME FREE!

21. What was the original sin? A. It was Adam and Eve=s sin of pride and disobedience to God=s law. 22. When did you receive a share in God=s life

Chapter 5: Fallacies. 23 February 2015

3. Mathematical Induction

Propositional Logic. A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not both.

Lecture Notes in Discrete Mathematics. Marcel B. Finan Arkansas Tech University c All Rights Reserved

8 THE TWISTED THINKING OF LOGICAL FALLACIES (CHAPTER 5)

WALKING AFTER THE SPIRIT A Study on Romans 8:5-13. by Dr. Jack L. Arnold

Logical Fallacies in Attacks Against the Bible: Eleven Examples

FOUNDATIONS OF FORGIVENESS LESSON #1 I. GOD S FORGIVENESS IS

True Worship. Douglas L. Crook

CSL105: Discrete Mathematical Structures. Ragesh Jaiswal, CSE, IIT Delhi

Solutions Q1, Q3, Q4.(a), Q5, Q6 to INTLOGS16 Test 1

What Good Things Can We Do With the Tongue?

Inductive Reasoning Page 1 of 7. Inductive Reasoning

PRAYER SERVICE FOR THE YEAR OF MERCY

Society tells us otherwise. Our broke family and friends tell us otherwise.

A FAMILY GUIDE TO SAVING FOR COLLEGE

Main Point: Jesus is the one who is faithful. Main Application: Remember that Jesus is faithful even when we are not.

WHERE IS The GOSPEL?

WHERE DO OUR MORALS COME FROM? Moral relativism and self-interest theory

Read this syllabus very carefully. If there are any reasons why you cannot comply with what I am requiring, then talk with me about this at once.

A. Arguments are made up of statements, which can be either true or false. Which of the following are statements?

Life Insurance Buyer's Guide

What is the Church? Matthew 16:18

The Cathedral of the Immaculate Conception

LESSON TITLE: The Great Commandment. THEME: Love is the fulfillment of the Law. SCRIPTURE: Mark 12:28-34 CHILDREN S DEVOTIONS FOR THE WEEK OF:

The Mathematics of GIS. Wolfgang Kainz

Borrowing Money Standard 7 Assessment

{ Put Your Armor On! }

God Hears and Answers"" 7/10/11 1 John 5:13-15

Arguments and Dialogues

How to Get Your Prayers Answered. By Dr. Roger Sapp

The Disciple Driven Church

Chapter 1. Use the following to answer questions 1-5: In the questions below determine whether the proposition is TRUE or FALSE

Understanding Regulation U

WRITING PROOFS. Christopher Heil Georgia Institute of Technology

CONTEMPORARY MORAL PROBLEMS LECTURE 9 ABORTION PART 1 THE MAIN ISSUE. Is abortion morally permissible? Let us avoid:

Faith is the Victory In Overcoming Sin

plain talk about life insurance The right life insurance can have an enormous effect on your life and the lives of those you love.

A simple solution to the hardest logic puzzle ever

P1. All of the students will understand validity P2. You are one of the students C. You will understand validity

Transcription:

Phil 2302 Intro to Logic Dr. Naugle Hypothetical Syllogisms 1 Compound syllogisms are composed of different kinds of sentences in their premises and conclusions (not just categorical propositions, statements or sentences). Compound syllogisms are more familiar and are more often used than categorical syllogisms, and the rules of their uses are much easier to grasp. There are several kinds of compound syllogisms including hypothetical, disjunctive, conjunctive, dilemmas, and sorites. Today, hypothetical syllogisms (and a little symbolic logic as well). I. Hypothetical Syllogisms A. Definition A hypothetical syllogism is built around a hypothetical statement which takes the form: "IF... THEN." Hypothetical syllogisms are not entirely hypothetical, but one of its premises is. Three hypothetical statements would not lead to any conclusion! "IF... THEN." "IF... THEN." Therefore, "IF... THEN." Rather, this kind of syllogism must be constructed of a conditional major premise, and an unconditional minor premise leading to an unconditional conclusion. 1. A conditional major premise. 2. An unconditional minor premise. 3. An unconditional conclusion. Rather than having three terms as categorical syllogisms do, a hypothetical syllogism has only two terms. Instead of talking about subjects and predicates, here we will be talking about antecedents and consequents. * The antecedent is the "IF" part of the statement. It states the condition under which the "THEN" part is true. 1 NB: This material is taken from several logic texts authored by N. Geisler, H. Kahane, and others. I make no claim to originality in this material.

* The consequent is the "THEN" part, the consequence of or what follows from the antecedent if the "IF" part is true. All the minor premise has to do is say that the "IF" part "is" (modus ponens) or the "THEN" part "is not" (modus tollens). Either way, the conclusion is valid. IF (antecedent; first term)... then (consequent; second term). B. MODUS PONENS: Affirming the Antecedent 1. Definition The first way to get a valid conclusion from a hypothetical or conditional premise is to affirm the antecedent, which in Latin is called modus ponens (lit. way of affirmation). That is, the minor or second premise will assert that the antecedent or "if" is not just a speculation, but a reality. And if the "if" is true, then the "then" has to follow, and that becomes the conclusion. In symbolic logic (which simply uses symbols instead of words to indicate relations), the sideways horseshoe indicates and "if,... then" relation. If P, then Q P Therefore, Q P... Q P Q 2. Examples of valid modus ponens syllogisms (see fallacies below): 1. If you can put an argument into symbolic logic that looks like this (P), then you have a modus ponens argument (Q). 2. You can put an argument into symbolic logic that looks like this (P). 3. Therefore, you have a modus ponens argument (Q)! 1. If Jesus Christ arose from the dead (P), then he is the Son of God (Q). 2. Jesus Christ arose from the dead (P). 3. Therefore He is the Son of God (Q). 1. If a contingent being exists (P), then a necessary being must exist as its cause (Q). 2. A contingent being exists (P). 3. Therefore, a necessary being must exist as its cause (Q).

1. If there is design in the universe (d), then there must have been a Designer (D) 2. There is design in the universe (d). 3. Therefore, there must have been a designer (D). 2. I am Chinese. 3. Therefore, I am human. C. MODUS TOLLENS: Denying the Consequent 1. Definition: The other valid form of the hypothetical syllogism is to deny that the consequent is true. Modus ponens in Latin means "the way of affirmation," and, correspondingly, modus tollens in Latin means to "the way of negation" Hence, the hypothetical modus tollens syllogistic arguments are those which deny the consequent of a hypothetical statement, thereby negating the antecedent as well. If there is a real connection between the antecedent and the consequent (the "if" and the "then,"), and the consequent is false, then the antecedent must be false also. Denying the consequent also involves the denial of the antecedent as well. So modus tollens is the reverse of modus ponens. If the antecedent were true, then so would the consequent (that's what modus ponens said!). If P, then Q Not Q Therefore, not P. P... Q ~ Q ~ P 1. If anyone is born of God, then he loves his brothers. 2. Adolph does not love his brothers. 3. Therefore, Adolph is not born of God. 1. If the president acts forcefully, he will gain in the polls. 2. He is not gaining in the polls. 3. Therefore, the president is not acting forcefully. 1. If the national debt is paid off with inflated money, then borrowers will benefit and lenders will be harmed. 2. Borrowers are not benefited, and lenders are not harmed. 3. Therefore, the national debt is not being paid off with inflated money.

1. If a world government is established, wars will cease. 2. Wars are not ceasing. 3. Therefore, a world government is not being established. 1. If I have cash, I will loan you money. 2. I am not loaning you money. 3. Therefore, I do not have cash. 2. I am not human. 3. Therefore, I am not Chinese. II. Fallacies of the Hypothetical Syllogism A valid hypothetical syllogism either denies the consequent (modus tollensm.t.d.c.) or affirms the antecedent (modus ponens-m.p.a.a.) of the major premise; it does not deny the antecedent or affirm the consequent. A. Denying the Antecedent: That a particular condition is not fulfilled is not any proof that the consequent has not occurred since some other condition with which the consequent may be connected may be the cause of its fulfillment. 1. If abortion is murder, then it is wrong. 2. But abortion isn't murder. 3. Therefore, it is not wrong. 1. If Tom is late for work, then he will not attend the meeting. 2. Tom is not late for work. 3. Therefore, Tom will attend the meeting. 2. I am not Chinese. 3. Therefore, I am not human. 1. If my name is Archibald, I am male. 2. My name is not Archibald. 3. Therefore, I am not male. 1. If Hawaii is ready for statehood, then Alaska is ready for statehood. 2. Hawaii is not ready for statehood. 3. Therefore, Alaska is not ready for statehood.

B. Affirming the Consequent: The connection of a consequent with a condition (or antecedent) does not preclude the possibility that there are other conditions upon which the same consequent may follow. To affirm the consequent is no guarantee that the specified condition produced it. The fact that the consequent may have occurred is no proof or guarantee of that particular condition or antecedent. 1. If a member of the House of Commons is declared bankrupt, he loses his seat. 2. He has lost his seat. 3. Therefore, he is declared bankrupt. 1. If reincarnation is true, then past life regression therapy will work. 2. Past life regression therapy works. 3. Therefore, reincarnation is true. 1. If Reagan is still president, then a liar is in the White House. 2. A liar is in the White House. 3. Therefore, Reagan is president. 2. I am human 3. Therefore, I am Chinese 1. If my name is Archibald, I am male. 2. I am male 3. Therefore, my name is Archibald. 1. If Hawaii is ready for statehood, then Alaska is ready for statehood. 2. Alaska is ready for statehood. 3. Therefore, Hawaii is ready for statehood. Conclusion: When you spot a conditional argument, you can test its validity very easily. First, make sure you know what the conditional or major premise is. Second, see whether the minor premise affirms or denies the antecedent or consequent in the major premise. If it affirms the antecedent or denies the consequent, a conclusion can be drawn and it is valid. Otherwise not.