Introduction to Logic

Similar documents
Introduction to Logic

Philosophy 1100: Ethics

Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments

PHI 1500: Major Issues in Philosophy

Selections from Aristotle s Prior Analytics 41a21 41b5

Overview of Today s Lecture

Criticizing Arguments

Logic Book Part 1! by Skylar Ruloff!

Philosophy 1100: Introduction to Ethics. Critical Thinking Lecture 1. Background Material for the Exercise on Validity

Lecture 1: Validity & Soundness

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.

Argumentation Module: Philosophy Lesson 7 What do we mean by argument? (Two meanings for the word.) A quarrel or a dispute, expressing a difference

Relevance. Premises are relevant to the conclusion when the truth of the premises provide some evidence that the conclusion is true

LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010

A short introduction to formal logic

Tutorial A03: Patterns of Valid Arguments By: Jonathan Chan

Basic Concepts and Skills!

Exercise Sets. KS Philosophical Logic: Modality, Conditionals Vagueness. Dirk Kindermann University of Graz July 2014

Mr Vibrating: Yes I did. Man: You didn t Mr Vibrating: I did! Man: You didn t! Mr Vibrating: I m telling you I did! Man: You did not!!

4.1 A problem with semantic demonstrations of validity

A Primer on Logic Part 1: Preliminaries and Vocabulary. Jason Zarri. 1. An Easy $10.00? a 3 c 2. (i) (ii) (iii) (iv)

Recall. Validity: If the premises are true the conclusion must be true. Soundness. Valid; and. Premises are true

HOW TO ANALYZE AN ARGUMENT

Chapter 3: More Deductive Reasoning (Symbolic Logic)

Pastor-teacher Don Hargrove Faith Bible Church September 8, 2011

The antecendent always a expresses a sufficient condition for the consequent

PHILOSOPHER S TOOL KIT 1. ARGUMENTS PROFESSOR JULIE YOO 1.1 DEDUCTIVE VS INDUCTIVE ARGUMENTS

Skim the Article to Find its Conclusion and Get a Sense of its Structure

L4: Reasoning. Dani Navarro

The cosmological argument (continued)

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

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

Chapter 1. What is Philosophy? Thinking Philosophically About Life

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

A. Problem set #3 it has been posted and is due Tuesday, 15 November

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

Thinking and Reasoning

CHAPTER THREE Philosophical Argument

Philosophy Introduction to Philosophy Jeff Speaks What is philosophy?

Logic Appendix: More detailed instruction in deductive logic

Academic argument does not mean conflict or competition; an argument is a set of reasons which support, or lead to, a conclusion.

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.

ELEMENTS OF LOGIC. 1.1 What is Logic? Arguments and Propositions

Between the Actual and the Trivial World

A R G U M E N T S I N A C T I O N

Appendix: The Logic Behind the Inferential Test

Comments on Truth at A World for Modal Propositions

Chapter 2 Analyzing Arguments

PHILOSOPHY OF LOGIC AND LANGUAGE OVERVIEW LOGICAL CONSTANTS WEEK 5: MODEL-THEORETIC CONSEQUENCE JONNY MCINTOSH

There are two common forms of deductively valid conditional argument: modus ponens and modus tollens.

Test Item File. Full file at

ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS

16. Universal derivation

Conditionals II: no truth conditions?

To better understand VALIDITY, we now turn to the topic of logical form.

What is an argument? PHIL 110. Is this an argument? Is this an argument? What about this? And what about this?

A Brief Introduction to Key Terms

Introduction to Analyzing and Evaluating Arguments

The Little Logic Book Hardy, Ratzsch, Konyndyk De Young and Mellema The Calvin College Press, 2013

Introduction to Philosophy

INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments

PHIL2642 CRITICAL THINKING USYD NOTES PART 1: LECTURE NOTES

Logic. A Primer with Addendum

Example Arguments ID1050 Quantitative & Qualitative Reasoning

Chapter 1 - Basic Training

What we want to know is: why might one adopt this fatalistic attitude in response to reflection on the existence of truths about the future?

How Gödelian Ontological Arguments Fail

There are a number of writing problems that occur frequently enough to deserve special mention here:

Philosophical Arguments

How to Write a Philosophy Paper

Study Guides. Chapter 1 - Basic Training

Full file at

2013 Pearson Education, Inc. All rights reserved. 1

1.5 Deductive and Inductive Arguments

HANDBOOK. IV. Argument Construction Determine the Ultimate Conclusion Construct the Chain of Reasoning Communicate the Argument 13

Introducing Our New Faculty

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

Logic for Computer Science - Week 1 Introduction to Informal Logic

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

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

Chapter 8 - Sentential Truth Tables and Argument Forms

Introduction to Logic. Instructor: Jason Sheley

Deduction by Daniel Bonevac. Chapter 1 Basic Concepts of Logic

Richard L. W. Clarke, Notes REASONING

PHILOSOPHY ESSAY ADVICE

Lecture 17:Inference Michael Fourman

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

T. Parent. I shall explain these steps in turn. Let s consider the following passage to illustrate the process:

Introduction to Philosophy Crito. Instructor: Jason Sheley

Logic -type questions

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

Conditionals IV: Is Modus Ponens Valid?

Early Russell on Philosophical Grammar

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

1/19/2011. Concept. Analysis

Fatalism and Truth at a Time Chad Marxen

5.6.1 Formal validity in categorical deductive arguments

Lecture 2.1 INTRO TO LOGIC/ ARGUMENTS. Recognize an argument when you see one (in media, articles, people s claims).

The Ontological Argument for the existence of God. Pedro M. Guimarães Ferreira S.J. PUC-Rio Boston College, July 13th. 2011

UBC - OKANAGAN. COURSE OUTLINE Summer 2013 PHILOSOPHY BIOMEDICAL ETHICS

Transcription:

University of Notre Dame Spring, 2017

Arguments Philosophy has two main methods for trying to answer questions: analysis and arguments Logic is the the study of arguments An argument is a set of sentences, one of which is trying to be proven. The sentence to be proven is called the conclusion The claims in an argument which are not the conclusion are called premises

Good and Bad Arguments Once you have a set of sentences in which premises try to establish a conclusion, you have an argument. Then what? In philosophy, we are not just concerned with arguments, but with good arguments. What makes an argument good or bad? Consider the following: (1) Notre Dame is in Indiana (2) Indiana is in the midwest (C) Notre Dame is good at basketball.

(1) Notre Dame is in Indiana (2) Indiana is in the midwest (C) Notre Dame is good at basketball. Why is this a bad argument? (1) is true. (2) is true. (C) is true...usually and at the moment. So what is the problem? The issue is not with one of the statements, but with how the argument moves from the premises to the conclusion. The premises have nothing to do with whether or not the conclusion is true. Some years, sadly, both premises are true and the conclusion is false. If an argument is such that all its premises could be true and its conclusion false we call it invalid. Conversely, if it is impossible for all the premises of an argument to be true and the conclusion false (i.e. the premises guarantee the conclusion) we call it valid.

(1) Tom Brady plays for the Patriots. (2) The Patriots are all cheaters. (C) Tom Brady is a cheater. Valid (1) Julio Jones doesn t play for the Patriots. (2) The Patriots are all cheaters. (C) Julio Jones isn t a cheater. Invalid

(1) If Frodo destroys the ring Sauron will die. (2) Sauron died. (C) Frodo destroyed the ring. Invalid (1) If Frodo blows up the Death Star, Voldemort will die. (2) Frodo blew up the Death Star. (C) Voldemort died. Valid

Modal vs. Formal Validity Is the following argument valid? (1) Leslie is from Indiana (C) Leslie is a hoosier. Strictly speaking, it is not possible for the premise to be true and the conclusion false, so it is valid by the above standard (call this modal validity) However one would only know the validity if one also knew the fact that people from Indiana are called hoosiers

Modal vs. Formal Validity An argument is formally valid if it would be valid for any interpretation of the non-logical words (nouns, adjectives, etc.) (1) Leslie is from Indiana (C) Leslie is a hoosier. While modally valid, this argument is not formally valid, because hoosier could be a term for people from Illinois However, we can make it formally valid by filling in the missing assumption.

Modal vs. Formal Validity (1) Leslie is from Indiana (2) People from Indiana are hoosiers. (C) Leslie is a hoosier. Formally valid arguments, like this one, show their assumptions. While we will strictly evaluate for validity, it is worth trying for formal validity when formulating an argument.

Other Evaluations Logic is concerned entirely with the reasoning of arguments. This means logicians only evaluate validity and invalidity. As philosophers, there are more ways we can evaluate arguments, but we should always start with evaluating validity. One other thing we are concerned with is whether or not the premises are true. However, it does us no good to merely know the truth of the premises and conclusion. Consider: (1) The sun is bigger than the moon.true (2) Milk comes from cows. True (C) Tigers are carnivorous. True Is this argument helpful in any way? Why not? Arguments are supposed to move Introduction you to from Logic things you know

Soundness We only care about the truth of the premises if we already know that the argument is valid. If an argument is valid and its premises are true, then we call the argument sound. Notice that a sound argument will always have a true conclusion. This is precisely why sound arguments are useful.

An argument is sound if and only if it is valid and the premises are true. (1) Tom Brady plays for the Patriots. True (2) The Patriots are all cheaters. False (C) Tom Brady is a cheater. Valid Unsound (1) Julio Jones doesn t play for the Patriots. (2) The Patriots are all cheaters. (C) Julio Jones isn t a cheater. Invalid Unsound

An argument is sound if and only if it is valid and the premises are true. (1) Meryl Streep criticized Trump. True (2) Trump tweets negative comments about anyone who criticizes him. True (C) Trump tweeted negative comments about Meryl Streep. Valid SoundTrue (1) You showed up to class today. True (2) If you showed up to class today, you got an A on the quiz. False (C) You got an A on the quiz. Valid True? Unsound

to Anbe argument true andisthe sound conclusion if and only false. if it is valid and the premises are true. There are many other ways one could evaluate an argument. The last one we will look at is a bit subjective, but still can be important for certain purposes. Consider the following argument: (1) If atheists belief that there is no God is true, then there is no God. True (2) Atheists belief that there is no God is true. Maybe (C) There is no God. Valid Sound? Suppose this is a sound argument; is it then a good argument? Why might someone be unsatisfied with it? Let us call an argument informative if and only if the premises are more plausible than the conclusion.

An argument is sound if and only if it is valid and the premises are true. An argument is informative if and only if its premises are more plausible than its conclusion. Evaluate the following for validity, soundness, and informativeness. If it is invalid, show that it is invalid: (1) All men are mortal. (2) Socrates is a man. (C) Socrates is mortal. Valid Sound Informative

An argument is sound if and only if it is valid and the premises are true. An argument is informative if and only if its premises are more plausible than its conclusion. Evaluate the following for validity, soundness, and informativeness. If it is invalid, show that it is invalid: (1) Everyone who shows up to class gets an A. (2) Johnny got an A. (C) Johnny showed up to class. Invalid Unsound

An argument is sound if and only if it is valid and the premises are true. An argument is informative if and only if its premises are more plausible than its conclusion. Evaluate the following for validity, soundness, and informativeness. If it is invalid, show that it is invalid: (1) Some Students have false beliefs. (2) I am a student who has false beliefs. (C) I have false beliefs. Valid Sound Uninformative

An argument is sound if and only if it is valid and the premises are true. An argument is informative if and only if its premises are more plausible than its conclusion. Evaluate the following for validity, soundness, and informativeness. If it is invalid, show that it is invalid: (1) Snow is white. (2) Snow is cold. (C) Today is Tuesday. Invalid

An argument is sound if and only if it is valid and the premises are true. An argument is informative if and only if its premises are more plausible than its conclusion. Evaluate the following for validity, soundness, and informativeness. If it is invalid, show that it is invalid: (1) All men are mortal. (C) All men are mortal. Valid Sound Uninformative

An argument is sound if and only if it is valid and the premises are true. An argument is informative if and only if its premises are more plausible than its conclusion. Evaluate the following for validity, soundness, and informativeness. If it is invalid, show that it is invalid: (1) All gingers have souls. (2) Some students are not gingers. (C) Some students do not have souls. Invalid

An argument is sound if and only if it is valid and the premises are true. An argument is informative if and only if its premises are more plausible than its conclusion. Evaluate the following for validity, soundness, and informativeness. If it is invalid, show that it is invalid: (1) No one should judge someone who is a part of a different culture. (2) None of us was a part of Nazi culture. (C) None of us should judge the Nazis. Valid Unsound

An argument is sound if and only if it is valid and the premises are true. An argument is informative if and only if its premises are more plausible than its conclusion. Evaluate the following for validity, soundness, and informativeness. If it is invalid, show that it is invalid: (1) If the mind could exist without the body, then a person could survive death. (2) The mind can exist without the body. (C) A person can survive death. Valid Sound? Informative

Important Arguments Certain types of argument recur often enough that they deserve special attention. The ones we will focus on for this class are those involving if-then statements. If-then statements occur often in philosophy both because they can be used to express causal or other connections, and because they are connected with/can be supplied by necessary and sufficient conditions, which we have seen can be used to analyze concepts. If P then Q = P is sufficient for Q = P Q P only if Q (If Q then P) = P is necessary for Q = P Q P iff Q = P is necessary and sufficient for Q = P Q

The 4 forms Antecedent Consequent There are 4 and only 4 ways one can argue using an if-then statement Affirm (1) If P then Q (2) P (C) Q Modus Ponens (1) If P then Q (2) Q (C) P Affirming the Consequent Deny (1) If P then Q (2) Not P (C) Not Q Denying the Antecedent (1) If P then Q (2) Not Q (C) Not P Modus Tollens

Is the following argument Modus Ponens, Modus Tollens, Affirming the Consequent, or Denying the Antecedent? Is it valid? (1) If the Cubs won the world series, then the curse is broken. (2) The Cubs won the word series. (C) The curse is broken. Modus Ponens (1) If it rains, the sidewalks will be wet. (2) It did not rain. (C) The sidewalks are not wet. Denying the Antecedent

Is the following argument Modus Ponens, Modus Tollens, Affirming the Consequent, or Denying the Antecedent? Is it valid? (1) If a student goes to Notre Dame, then they are Catholic. (2) Pope Francis does not go to Notre Dame. (C) Pope Francis is not Catholic. Denying the Antecedent (1) If the government tracks where you are, they are invading your privacy. (2) The government is invading your privacy. (C) The government tracks where you are. Affirming the Consequent

Is the following argument Modus Ponens, Modus Tollens, Affirming the Consequent, or Denying the Antecedent? Is it valid? (1) If something is a table, then it has a flat surface. (2) The chair does not have a flat surface. (C) The chair is not a table. Modus Tollens (1) If this argument is not Modus Ponens, then it is Modus Tollens. (2) This argument is not Modus Tollens. (C) This argument is Modus Ponens. Modus Tollens

Formalization Outside of a philosophy classroom you will rarely encounter arguments in explicit premise-conclusion form. Instead, you are much more likely to come across them as paragraphs following no rigorous structure. So why do philosophers bother to state them in this way? CLARITY! when arguments are stated in premise-conclusion form it is much easier to evaluate whether or not they are valid. Furthermore, if an argument is valid but rests on a false assumption, it is much easier to point out the false assumption if one can point to an explicit premise which is false.

Consider the following argument: Notre Dame should invite Trump to speak at commencement because like it or not he is the President and they always invite newly-elected Presidents to speak. We can formalize this argument: (1) Notre Dame always invites newly elected Presidents to speak at commencement. (2) Donald Trump is the newly elected President. (3) If Notre Dame has always done something, then they should always do it. False (C) Therefore, Notre Dame should invite Donald Trump to speak at commencement. InvalidValidUnsound

Formalizing When turning paragraphs into explicit arguments there are a few things to keep in mind: Figure out what is actually being argued the conclusion isn t always the last sentence of the paragraph Eliminate unnecessary information Paragraphs will often include other information not relevant to the argument at hand Simplify the premises as much as possible Try to make arguments valid; be as charitable as possible when interpreting people. If there is an assumption that is needed to make an argument valid fill it in, but mark it as something you added.

Turn the following argument into explicit premise-conclusion form: Every person has a right to life. So the fetus has a right to life. Not doubt the mother has a right to decide what shall happen in and to her body; everyone would grant that. But surely a person s right to life is stronger and more stringent than the mother s right to decide what happens in and to her body, and so outweighs it. So the fetus may not be killed; an abortion may not be performed.

Turn the following argument into explicit premise-conclusion form: The development of a human being from conception through birth into childhood is continuous; to draw a line, to choose a point in this development and say before this point the thing is not a person, after this point it is a person is to make an arbitrary choice, a choice for which in the nature of things no good reason can be given. Therefore, the fetus is, or should be treated like, a person from the moment of conception.