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

Criticizing Arguments

Selections from Aristotle s Prior Analytics 41a21 41b5

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

Overview of Today s Lecture

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.

Chapter 1. What is Philosophy? Thinking Philosophically About Life

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

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

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

Logic Book Part 1! by Skylar Ruloff!

HOW TO ANALYZE AN ARGUMENT

Tutorial A03: Patterns of Valid Arguments By: Jonathan Chan

A short introduction to formal logic

Chapter 3: More Deductive Reasoning (Symbolic Logic)

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

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

The cosmological argument (continued)

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

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

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

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

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

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

Introduction to Analyzing and Evaluating Arguments

Introduction to Philosophy

Philosophy Introduction to Philosophy Jeff Speaks What is philosophy?

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

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

L4: Reasoning. Dani Navarro

Basic Concepts and Skills!

Chapter 2 Analyzing Arguments

Introducing Our New Faculty

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

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

Full file at

Test Item File. Full file at

Tutorial A02: Validity and Soundness By: Jonathan Chan

LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010

16. Universal derivation

CHAPTER THREE Philosophical Argument

Logic Appendix: More detailed instruction in deductive logic

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

Thinking and Reasoning

Logic -type questions

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

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

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

PHIL2642 CRITICAL THINKING USYD NOTES PART 1: LECTURE NOTES

Logic. A Primer with Addendum

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

INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments

Chapter 1 - Basic Training

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

Example Arguments ID1050 Quantitative & Qualitative Reasoning

How to Write a Philosophy Paper

Philosophical Arguments

Between the Actual and the Trivial World

The antecendent always a expresses a sufficient condition for the consequent

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

2013 Pearson Education, Inc. All rights reserved. 1

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

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

Chapter 8 - Sentential Truth Tables and Argument Forms

Richard L. W. Clarke, Notes REASONING

PHILOSOPHY ESSAY ADVICE

Lecture 17:Inference Michael Fourman

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

Portfolio Project. Phil 251A Logic Fall Due: Friday, December 7

A Brief Introduction to Key Terms

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

Conditionals II: no truth conditions?

Appendix: The Logic Behind the Inferential Test

INDUCTION. All inductive reasoning is based on an assumption called the UNIFORMITY OF NATURE.

1/19/2011. Concept. Analysis

Study Guides. Chapter 1 - Basic Training

I would like to summarize and expand upon some of the important material presented on those web pages and in the textbook.

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?

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

Instructor s Manual 1

Revisiting the Socrates Example

PHI 1500: Major Issues in Philosophy

Philosophy 1100: Introduction to Ethics. Critical Thinking Lecture 2. Background Material for the Exercise on Inference Indicators

Comments on Truth at A World for Modal Propositions

Reply to Robert Koons

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

2016 Philosophy. Higher. Finalised Marking Instructions

Intro Viewed from a certain angle, philosophy is about what, if anything, we ought to believe.

Philosophical Methods Revised: August, 2018

Logic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to:

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

Transcription:

University of Notre Dame Fall, 2015

Arguments Philosophy is difficult. If questions are easy to decide, they usually don t end up in philosophy The easiest way to proceed on difficult questions is to formulate and evaluate various arguments Logic is the the study of arguments An argument is a set of sentences, one of which is trying to be proven. The setnence 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 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 football.

(1) Notre Dame is in Indiana (2) Indiana is in the midwest (C) Notre Dame is good at football. Why is this a bad argument? (1) is true. (2) is true. (C) is true...usually. 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.

to be true and the conclusion false. (1) Tom Brady plays for the Patriots. (2) The Patriots are all cheaters. (C) Tom Brady is a cheater. Valid (1) Russell Wilson doesn t play for the Patriots. (2) The Patriots are all cheaters. (C) Russell Wilson isn t a cheater. Invalid

to be true and the conclusion false. (1) If Frodo destroys the ring Sauron will die. (2) Sauron died. (C) Frodo destroyed the ring. Invalid (1) If Harry blows up the Death Star, Sauron will die. (2) Harry blew up the Death Star. (C) Sauron died. Valid

Other Evaluations to be true and the conclusion false. 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 to be true and the conclusion false. 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.

to be true and the conclusion false. 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) Russell Wilson doesn t play for the Patriots. (2) The Patriots are all cheaters. (C) Russell Wilson isn t a cheater. Invalid Unsound

to be true and the conclusion false. An argument is sound if and only if it is valid and the premises are true. (1) Everett Golson plays for Florida State. True (2) No Florida State player plays for Notre Dame. True (C) Everett Golson does not play for Notre Dame. True Valid Sound (1) Notre Dame plays Georgia Tech this year. True (2) Georgia Tech is in the Big 12. False (C) Notre Dame plays a team in the Big 12 this year. 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.

to be true and the conclusion false. 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

to be true and the conclusion false. 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

to be true and the conclusion false. 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

to be true and the conclusion false. 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

to be true and the conclusion false. 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

to be true and the conclusion false. 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

to be true and the conclusion false. 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

to be true and the conclusion false. 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 a student plagiarizes a paper, they will get a 0 on that paper. (2) Last semester a student plagiarized a paper. (C) Last semester a student got a 0 on a paper. 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 Notre Dame goes undefeated, they will win the playoffs. (2) Notre Dame will go undefeated. (C) Notre Dame will win the playoffs. 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.

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.