Lecture 1: Validity & Soundness

Similar documents
Tutorial A02: Validity and Soundness By: Jonathan Chan

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

Introduction to Logic

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

Introduction to Logic

PHILOSOPHY ESSAY ADVICE

Introduction to Philosophy

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

Philosophy Introduction to Philosophy Jeff Speaks What is philosophy?

Example Arguments ID1050 Quantitative & Qualitative Reasoning

Deduction by Daniel Bonevac. Chapter 1 Basic Concepts of Logic

Introduction to Philosophy

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

Logic Appendix: More detailed instruction in deductive logic

2. Refutations can be stronger or weaker.

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

C. Exam #1 comments on difficult spots; if you have questions about this, please let me know. D. Discussion of extra credit opportunities

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

Deduction. Of all the modes of reasoning, deductive arguments have the strongest relationship between the premises

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

Logic for Computer Science - Week 1 Introduction to Informal Logic

In a previous lecture, we used Aristotle s syllogisms to emphasize the

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

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

Helpful Hints for doing Philosophy Papers (Spring 2000)

Overview of Today s Lecture

The Appeal to Reason. Introductory Logic pt. 1

2013 Pearson Education, Inc. All rights reserved. 1

Philosophical Arguments

A Brief History of Thinking about Thinking Thomas Lombardo

Introduction Symbolic Logic

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

! Introduction to the Class! Some Introductory Concepts. Today s Lecture 1/19/10

THINKING ANIMALS AND EPISTEMOLOGY

A Brief Introduction to Key Terms

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.

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

Predicate logic. Miguel Palomino Dpto. Sistemas Informáticos y Computación (UCM) Madrid Spain

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

In view of the fact that IN CLASS LOGIC EXERCISES

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

Am I free? Freedom vs. Fate

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

Lecture 6 Keynes s Concept of Probability

Introduction to Logic. Instructor: Jason Sheley

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

Criticizing Arguments

Logic. A Primer with Addendum

Selections from Aristotle s Prior Analytics 41a21 41b5

The paradox we re discussing today is not a single argument, but a family of arguments. Here are some examples of this sort of argument:

Part 2 Module 4: Categorical Syllogisms

Basic Concepts and Skills!

Broad on Theological Arguments. I. The Ontological Argument

2016 Philosophy. Higher. Finalised Marking Instructions

Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion

Proofs of Non-existence

Chapter 2 Analyzing Arguments

IDHEF Chapter 2 Why Should Anyone Believe Anything At All?

Philosophical Methods Revised: August, 2018

Reconstructing Arguments 1. Reconstructing Arguments 3. Reconstructing Arguments 2. HW #4 is due on Thursday Longer than usual (and on ch.

6: DEDUCTIVE LOGIC. Chapter 17: Deductive validity and invalidity Ben Bayer Drafted April 25, 2010 Revised August 23, 2010

Russell s Problems of Philosophy

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

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

Lecture 4: Deductive Validity

Artificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering

1. What is Philosophy?

God has a mind- Romans 11:34 "who has known the mind of the Lord

Richard L. W. Clarke, Notes REASONING

Summer Preparation Work

Is the Existence of the Best Possible World Logically Impossible?

Handout 2 Argument Terminology

A short introduction to formal logic

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

On Priest on nonmonotonic and inductive logic

Logic Book Part 1! by Skylar Ruloff!

A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS

5.6.1 Formal validity in categorical deductive arguments

!Validity!Soundness. Today s Lecture 1//21/10

Worksheet Exercise 1.1. Logic Questions

EXERCISES: (from

Critical Thinking 5.7 Validity in inductive, conductive, and abductive arguments

The paradox we re discussing today is not a single argument, but a family of arguments. Here s an example of this sort of argument:!

Comments on Truth at A World for Modal Propositions

1 Philosophy Philosophy of science Science

Etchemendy, Tarski, and Logical Consequence 1 Jared Bates, University of Missouri Southwest Philosophy Review 15 (1999):

WHY SHOULD ANYONE BELIEVE ANYTHING AT ALL?

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

A s a contracts professional, from

C. Problem set #1 due today, now, on the desk. B. More of an art than a science the key things are: 4.

Ayer and Quine on the a priori

Lecture 1 The Concept of Inductive Probability

Time, Self and Mind (ATS1835) Introduc;on to Philosophy B Semester 2, Dr Ron Gallagher Week 5: Can Machines Think?

Bayesian Probability

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

As noted, a deductive argument is intended to provide logically conclusive support for its conclusion. We have certainty with deductive arguments in

BASIC CONCEPTS OF LOGIC

In essence, Swinburne's argument is as follows:

Logic and Thought Experiments. 9th September Carnegie Mellon University. Introduction to Philosophy. Evaluating Arguments. Thought Experiments

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

Transcription:

Lecture 1: Validity & Soundness 1

Goals Today Introduce one of our central topics: validity and soundness, and its connection to one of our primary course goals, namely: learning how to evaluate arguments Go over logistical and practical information about course, including: the various course requirements how to use the texts and other course resources suggestions for good study habits in the course 2

Two Dimensions of Evaluation So one of our primary goals in this course is to learn to evaluate arguments. In contradistinction from other courses which might help you learn how to evaluate arguments, here we use a set of formal tools which are applicable, more or less, to all subject matters. These tools speak to two different dimensions or facets of the evaluation of arguments, which in this tradition we call validity and soundness. Roughly, the idea is: validity is concerned with the relationship between the premises and the conclusion, whereas soundness is concerned with the truth of each. 3

Some Motivating Examples To see this difference, let s look at a couple of bad arguments. Argument 1: P1) If it rained all last night, then the sidewalks will be wet in the morning. P2) The sidewalks are wet this morning. C) Therefore, it rained all last night. Now, P1) seems in general true. Further, we can easily imagine situations in which both P2) and C) would be true. However, this is nonetheless a bad argument: for the premises could be true and yet the conclusion could be false. Imagine another night in which it didn t rain but the lawn sprinklers were on. 4

Some Motivating Examples What I want to draw attention to is that the way in which Argument 1 was bad is different from the way in which Argument 2 is bad. Argument 2. P1) The governor of California lives in the state capital. P2) The capital of California is Santa Cruz. C) Therefore, the governor of California lives in Santa Cruz. If we try to think about the reason that this argument is bad, we see that it pertains to P2): this premise is simply false! And it seems plausible that good arguments should have only true premises. 5

Two Features of Good Arguments So as these examples illustrate, good arguments should be such that: a) the premises of the argument are true b) the truth of the premises guarantees the truth of the conclusion. The first bad argument had a) but not b). The second bad argument had b) but not a). Good arguments should have both a) and b). Obviously, good arguments should have other features too: for instance, when possible, they should be short and easy to understand. Obviously, inductive arguments are important. But in this part of logic, we focus on a) and b). 6

Validity: A Definition Let s say that an argument is valid if the truth of the premises guarantees the truth of the conclusion. This definition of the word valid differs in a number of different ways from our ordinary usage, but it is standard in logic. E.g., on this definition, doesn t make sense to say that your feelings aren t valid. What s the sense of the word guarantee? Well, one explication it is this: whenever the premises are all true, then the conclusion is true. 7

Two more examples The definition: an argument is valid if the truth of the premises guarantees the truth of the conclusion; that is: whenever the premises are all true, then the conclusion is true. Argument 3: P1) Barry is a lawyer. P2) All lawyers can talk. C) Therefore, Barry can talk. Argument 4: P1) Aristotle is smart. C) Therefore, Aristotle is a philosopher. Looks like Argument 3 is valid (.... strange, but valid). However, Argument 4 is invalid: there s lots of smart people who aren t philosophers. 8

Abstract form of the argument So validity and invalidity seem to have to do with the abstract form of the argument. Consider again argument 5: Argument 3: P1) Barry is a lawyer. P2) All lawyers can talk. C) Therefore, Barry can talk. It kind of looks like this has the following form: Argument 3 : P1) b is L. P2) All L s are T s. C), Therefore, b is T. Consider other possible ways of filling in b, L, and T. All of these instances are such that if the premises are true, then conclusion is too. 9

Abstract form of the argument So validity and invalidity seem to have to do with the abstract form of the argument. Consider again argument 4: Argument 4: P1) Aristotle is smart. C) Therefore, Aristotle is a philosopher. It kind of looks like this has the following form: Argument 4 : P1) a is S. C) Therefore, a is P. This argument has some true instances (take S=P). But in general, not all of its instances are such that if the premises are true, then the conclusion is true (take S=smart, P=philosopher, and a=einstein). 10

Validity (Again) & A Presupposition An argument is valid if the truth of the premises guarantees the truth of the conclusion; that is: whenever the premises are all true, then the conclusion is true. So how do you tell whether an argument is valid? Well, you try to identify its abstract or underlying form or structure, and then you ask: for all possible ways of filling in the blanks in this structure, if the premises are true, then the conclusion is true. Big presupposition: natural language statements have some nearunique abstract form. As we will see, there s good reason to think that in general this presupposition is false. But it s a helpful idealization to make, and we ll learn more about its limitations as we go on. 11

How to study validity? We just said: So how do you tell whether an argument is valid? Well, you try to identify it s abstract or underlying form or structure, and then you ask: for all possible ways of filling in the blanks in this structure, if the premises are true, then the conclusion is true. So we will proceed in studying validity by studying these abstract or underlying forms and the formal relations which obtain between them. Part of the goal will be to develop a series of reliable mechanical tests for seeing whether an argument is valid. Again, the end goal in all this is to put us in a better position to evaluate arguments. 12

Soundness and Validity. An argument is valid if the truth of the premises guarantees the truth of the conclusion; that is: whenever the premises are all true, then the conclusion is true. Let s say that an argument is sound if it is valid, and if all the premises are true. From definition, it follows then that the conclusion of a sound argument is true. But there are valid but unsound arguments, i.e.: Argument 2. P1) The governor of California lives in the state capital. P2) The capital of California is Santa Cruz. C) Therefore, the governor of California lives in Santa Cruz. 13

The Four Possibilities Argument 1. P1) If it rained all last night, then the sidewalks will be wet in the morning. P2) The sidewalks are wet this morning. C) Therefore, it rained all last night. all premises true: Argument 2. P1) The governor of California lives in the state capital. P2) The capital of California is Santa Cruz. C) Therefore, the governor of California lives in Santa Cruz valid: argument 3* not all premises true: argument 2 Argument 3*: P1) The chief justice is a lawyer. P2) All lawyers can talk. C) Therefore, the chief justice can talk. invalid: Argument 4*: P1) Fido is smart. C) Therefore, Fido is a philosopher. 14 argument 1 argument 4*

How do we study truth? So on this way of putting it, validity is something different from the truth of the premises. So if another feature of good arguments is the truth of premises, then we should also study this. It s not as if logic has some unique access to the truth in the way in which other disciplines do not. Rather, the idea is that truth is part of the subject-matter of logic, in the way that plants are part of the subject-matter of biology. Logic studies truth by studying the way in which the truth of a sentence depends on the truth of its parts. This is the topic for next time. 15

Ω 16