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

Similar documents
What are Truth-Tables and What Are They For?

Logic Appendix: More detailed instruction in deductive logic

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

2. Refutations can be stronger or weaker.

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

An Introduction to. Formal Logic. Second edition. Peter Smith, February 27, 2019

INTERMEDIATE LOGIC Glossary of key terms

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

Part II: How to Evaluate Deductive Arguments

Today s Lecture 1/28/10

UC Berkeley, Philosophy 142, Spring 2016

Chapter 8 - Sentential Truth Tables and Argument Forms

Logic: A Brief Introduction

CHAPTER 1 A PROPOSITIONAL THEORY OF ASSERTIVE ILLOCUTIONARY ARGUMENTS OCTOBER 2017

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

Logic Book Part 1! by Skylar Ruloff!

PART III - Symbolic Logic Chapter 7 - Sentential Propositions

Semantic Entailment and Natural Deduction

Illustrating Deduction. A Didactic Sequence for Secondary School

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

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

PHI 1500: Major Issues in Philosophy

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

A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS

Logic for Computer Science - Week 1 Introduction to Informal Logic

Basic Concepts and Skills!

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

Reductio ad Absurdum, Modulation, and Logical Forms. Miguel López-Astorga 1

Study Guides. Chapter 1 - Basic Training

ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS

Lecture 1: Validity & Soundness

LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010

1 Clarion Logic Notes Chapter 4

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

Logicola Truth Evaluation Exercises

Comments on Truth at A World for Modal Propositions

Philosophy 220. Truth Functional Properties Expressed in terms of Consistency

SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question.

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

(Refer Slide Time 03:00)

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

From Necessary Truth to Necessary Existence

Chapter 3: Basic Propositional Logic. Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling;

SYLLOGISTIC LOGIC CATEGORICAL PROPOSITIONS

Logic: The Science that Evaluates Arguments

Prior, Berkeley, and the Barcan Formula. James Levine Trinity College, Dublin

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

Courses providing assessment data PHL 202. Semester/Year

Sensitivity hasn t got a Heterogeneity Problem - a Reply to Melchior

Scott Soames: Understanding Truth

Lecture 3. I argued in the previous lecture for a relationist solution to Frege's puzzle, one which

Does Deduction really rest on a more secure epistemological footing than Induction?

1. Introduction. Against GMR: The Incredulous Stare (Lewis 1986: 133 5).

Is the law of excluded middle a law of logic?

An alternative understanding of interpretations: Incompatibility Semantics

A romp through the foothills of logic Session 3

MATH1061/MATH7861 Discrete Mathematics Semester 2, Lecture 5 Valid and Invalid Arguments. Learning Goals

Testing semantic sequents with truth tables

LGCS 199DR: Independent Study in Pragmatics

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

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

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

Chapter 9- Sentential Proofs

ROBERT STALNAKER PRESUPPOSITIONS

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

Revisiting the Socrates Example

Ling 98a: The Meaning of Negation (Week 1)

2.1 Review. 2.2 Inference and justifications

Criteria of Identity

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

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

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.

Generic truth and mixed conjunctions: some alternatives

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

What is an Argument? Validity vs. Soundess of Arguments

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

1. Lukasiewicz s Logic

A Romp through the Foothills of Logic: Session 2

Day 3. Wednesday May 23, Learn the basic building blocks of proofs (specifically, direct proofs)

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

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

Overview of Today s Lecture

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

Circumscribing Inconsistency

Is Epistemic Probability Pascalian?

[3.] Bertrand Russell. 1

A Judgmental Formulation of Modal Logic

KRISHNA KANTA HANDIQUI STATE OPEN UNIVERSITY Patgaon, Ranigate, Guwahati SEMESTER: 1 PHILOSOPHY PAPER : 1 LOGIC: 1 BLOCK: 2

RUSSELL, NEGATIVE FACTS, AND ONTOLOGY* L. NATHAN OAKLANDERt SILVANO MIRACCHI

Norva Y S Lo Produced by Norva Y S Lo Edited by Andrew Brennan

9 Methods of Deduction

Workbook Unit 3: Symbolizations

This is an electronic version of a paper Journal of Philosophical Logic 43: , 2014.

1/19/2011. Concept. Analysis

5.6.1 Formal validity in categorical deductive arguments

The Relationship between the Truth Value of Premises and the Truth Value of Conclusions in Deductive Arguments

THE LARGER LOGICAL PICTURE

Verificationism. PHIL September 27, 2011

Semantic defectiveness and the liar

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

Transcription:

Lecture 9: Propositional Logic I Philosophy 130 1 & 3 November 2016 O Rourke & Gibson I. Administrative A. Problem set #3 it has been posted and is due Tuesday, 15 November B. I am working on the group papers right now and should have them ready to return to you on Thursday C. Bias readings D. Questions? II. Logic and Form A. What is logic? 1. Logic as a subject matter is the study of logics, understood as models of acceptable inference patterns 2. These models have various characteristics: a. They focus on distinguishing patterns of acceptable reasoning (or argument) from patterns that are not acceptable, relative to a specification of elements that are the focus of the logic they make sense out of what follows when these elements are in play b. The model will provide systematic standards for determining when a piece of reasoning is acceptable, e.g., when it is valid, if deductive. c. These rules will involve the content of the elements but reduce the rest of the content to formal schema i. The goal is to create a model that is as general as possible The content of the elements can be specified functionally, e.g., conjunction in propositional logic 1

i Bottom line: the emphasis is on form over content (9.1) B. What is form? 1. Form is contrasted with content, and is understood at the level of propositions a. The content of a proposition is what that proposition is about, and it typically involves things (concrete or abstract) and their properties b. The form of a proposition is the structured way in which the content elements are related, and it is closely associated with the syntax of the sentence (or sentences) used to express the proposition 2. The form of a complex proposition (i.e., a proposition that comprises other constituent propositions) is indicated by the elements in its expression that organize the constituent propositions along with its syntactical structure 3. One can access the form by replacing all of the propositional expressions (i.e., all of the parts of the sentence that individually have truth values) with symbols; what elements remain of the original expression and the way they structure the symbols constitute the form of the proposition III. Propositional Logic A. Propositional Form (9.2) 1. Propositions are chunks of meaning that can be evaluated for truth and falsity they are claims a. They can be simple (e.g., It is cold outside ), in which case there is only one part of the proposition that has a truth value b. Or they can be complex (e.g., It is cold outside and it is windy also ), in which case there is more than one part that has a truth value c. It isn t always clear whether you are dealing with a simple proposition or a complex one; nor is it always clear what the character is of a complex proposition 2

2. One way to get at the form of a proposition is to replace the parts that are true or false with variable symbols, e.g., p, q, r a. This can be done at different levels any sentence at all, no matter how complex, can be replaced by p b. You can also dig down into the sub-structure of a sentence, if it is made up of parts that are themselves sentences. When doing this, be sure to leave in the connecting terms (e.g., and, or, not, if then ), and don t fiddle with the overall order c. Be sure to replace different propositions with different variables; that is, do not use the same variable to represent different propositions d. So It is cold outside would become p and It is cold outside and it is windy also would become p and q. 3. One can also go in the other direction: given a propositional form, one can replace the variables with propositional expressions a. Here again, one need not take a propositional variable to stand for a simple proposition; thus, one could replace the variable p with a complex proposition since, after all, the complex proposition does itself express a single truth value b. Further, going in this direction one can replace different propositional variables with the same proposition i. So p and q can be It is cold outside and it is cold outside Compare: x + y = 4, where x = y = 2. 4. Together, you get the following rule: Different variables may be replaced with the same proposition, but different propositions may not be replaced with the same variable (p. 116) 5. Examples: Write out three propositional forms for the following sentences: a. Trump is in the race, and Cruz is in the race, and Kasich is in the race. b. He s lucky and he s good or he s good. (9.3, 9.4) 3

B. Validity, Invalidity, and Propositional Form 1. An argument form is valid if and only if it has no substitution instances in which the premises are all true and the conclusion is false (120) 2. "An argument is valid if it is an instance of a valid argument form (120) a. Thus, all arguments that are instances of a valid argument form are valid. b. This is so because all arguments that are instances of valid argument forms are arguments that cannot have false conclusions if their premises are all true. 3. Not all valid arguments are valid by virtue of their logical form. For example, P1: The ball is red all over. C: Therefore, the ball isn t blue. 4. Thus: Valid arguments Instances of valid argument forms 5. Examples a. Donald owns a tower in New York and a palace in Atlantic City. Therefore, Donald owns a palace in Atlantic City. b. Donald owns a tower in New York. Therefore, Donald owns a tower in New York and a casino in Las Vegas. c. Donald owns a tower in New York. Therefore, Donald owns a tower in New York and Donald owns a tower in New York. (9.5, 9.6) 4

C. Propositional Connectives 1. These are devices, often terms, that can be used to build more complex propositions out of simpler ones. We consider several of these. 2. Conjunction Conjunction -- & and, but, moreover, hence, therefore, etc. conjoins two propositions; the complex proposition is true just in case both of the conjoined propositions are true propositional conjunction vs. non-propositional conjunction it isn t always clear which of these you re dealing with a. Examples: i. A Catholic priest married John and Mary. The winning presidential candidate rarely loses both New York and California. 3. Disjunction Disjunction v or others? disjoins two propositions; the complex proposition is true just in case at least one of the disjoined propositions is true inclusive disjunction from exclusive disjunction, where the latter is the soup or salad or; in here, we will interpret disjunction inclusively see handout 5

4. Negation Negation ~ not, un-, it is not the case that, etc. operates on a single proposition and negates it, where the complex proposition is true just in case the negated proposition is false not can operate at different locations in a sentence it can also be involved in a sentence in a way that is not expressible in propositional logic a. Method for identifying non-propositional negation: i. You can get at whether you are dealing with propositional negation by taking the negation term out and then tacking It is not the case that onto the front of the proposition If the result means the same as the original, it is propositional negation; otherwise, it is not b. Examples of non-propositional negation: i. It might not be cold tomorrow. I believe that I won t finish this lecture on time. 5. Conditional (9.7, 9.8) Conditional if then is the primary counterpart; also, provided and only if see handout operates on two propositions, where the complex proposition is true just in case the antecedent (the if part) is false or the consequence (the then part) is true this can be defended (a) by equivalence argument (see handout) or (b) by truth tables There are different types of conditionals in English: indicative, subjunctive, conditional imperatives, conditional questions, conditional promises, etc.; we focus on indicative conditionals here it can also be involved in a sentence in a way that is not expressible in propositional logic 6