9.1 Intro to Predicate Logic Practice with symbolizations. Today s Lecture 3/30/10

Size: px
Start display at page:

Download "9.1 Intro to Predicate Logic Practice with symbolizations. Today s Lecture 3/30/10"

Transcription

1 9.1 Intro to Predicate Logic Practice with symbolizations Today s Lecture 3/30/10

2 Announcements Tests back today Homework: --Ex 9.1 pgs Part C (1-25)

3 Predicate Logic Consider the argument: All humans are mortal. Socrates is human. So, Socrates is mortal.

4 Predicate Logic Consider the argument: All humans are mortal. Socrates is human. So, Socrates is mortal. This argument is intuitively valid: if the premises are true, then the conclusion must be true.

5 Predicate Logic Consider the argument: All humans are mortal. Socrates is human. So, Socrates is mortal. This argument is intuitively valid: if the premises are true, then the conclusion must be true. The premises and the conclusion are atomic statements, so we could symbolize the first premise by replacing it with H; the second premise we could replace with S; and the conclusion we could replace with M. Thus we would have H S! M

6 Predicate Logic When we go to construct a truth table, however, the symbolic argument H S! M comes out invalid. The bottom line is that in order to translate the just mentioned argument (and others like it) in a way that allows us to demonstrate its validity, we need to expand upon (and in some cases adjust) our current symbolic language.

7 Predicate Logic Put differently, given the current state of our symbolic language, there are some English sentences whose meaning we cannot capture when symbolized. We need to make our symbolic language more sophisticated so that we can symbolize these English statements so as to retain their meaning. Once we do this, we'll be in a position to show (e.g. via proofs) that arguments that consist in such statements are valid.

8 Predicate Logic We can call this more sophisticated symbolic language predicate logic or quantification. For the English statements we ll be working with claim that things (oftentimes a certain number of things) have attributes or properties.

9 Predicate Logic We can call this more sophisticated symbolic language predicate logic or quantification. For the English statements we ll be working with claim that things (oftentimes a certain number of things) have attributes or properties.

10 Predicate Logic We can call this more sophisticated symbolic language predicate logic or quantification. For the English statements we ll be working with claim that things (oftentimes a certain number of things) have attributes or properties. We will now begin learning how to symbolize these kinds of English statements.

11 Symbolizing Consider the statement: 'Gizmo is a cat'. It claims that a particular thing (Gizmo) has a certain property (being a cat).

12 Symbolizing Consider the statement: 'Gizmo is a cat'. It claims that a particular thing (Gizmo) has a certain property (being a cat). We'll have the lowercase g stand for the particular thing (or individual) Gizmo; and we'll have the capital letter C stand for "is a cat". Thus the English statement can be symbolized as follows: Cg

13 Symbolizing We will still make use of our logical operators. Consider the statement: Gizmo and Mrs. Nibbles are Cats". If we have the lowercase letter n to stand for Mrs. Nibbles, and have the capital letter C stand for "is a cat", we can symbolize the above English statement as: Cg Cn

14 Symbolizing Capital letters A through Z will be used to designate properties (e.g. being a cat, being a human, being mortal, being silly, etc). We will call capital letters that stand for properties (i.e. replace predicates in English sentences), predicate letters.

15 Symbolizing Capital letters A through Z will be used to designate properties (e.g. being a cat, being a human, being mortal, being silly, etc). We will call capital letters that stand for properties (i.e. replace predicates in English sentences), predicate letters. [Note: we can still use capital letters as replacements for English atomic sentences if need be. Here we are saying they can also be used to stand for properties].

16 Symbolizing Lowercase letters a through u will be used to stand for particular individual things (e.g. Gizmo, Mrs. Nibbles, Barak Obama, Mount Everest). Put differently a through u will replace any proper nouns (names) found in English sentences. We ll call a through u individual constants

17 Symbolizing Oftentimes an English statement will claim that things in general have a property (or properties) without specifying the name of the things. We'll need to somehow capture this fact in our symbolic translation.

18 Symbolizing Oftentimes an English statement will claim that things in general have a property (or properties) without specifying the name of the things. We'll need to somehow capture this fact in our symbolic translation. We ll do this by utilizing the lower case letters v through z (called individual variables). So we ll use individual variables (e.g. x) to talk (symbolically) about a non-named thing (or things); and we ll say of the variable that it has the property in question.

19 Symbolizing Consider the statement: Everything is human (Hx: x is human). We can view the statement as saying that the predicate 'is human' applies to every individual thing. As a first approach to symbolizing, we can say any one of the following:!! Every x is such that x is human!! For all x, x is human!! For any individual thing x, x is human.

20 Symbolizing Everything is human (Hx: x is human). As a first approach to symbolizing, we can say any one of the following:!! Every x is such that x is human!! For all x, x is human!! For any individual thing x, x is human. Logicians have a symbol, called a universal quantifier, to stand for the phrases: 'Every x is such that', 'for all x', 'for any individual thing x': it is (x). So we have: (x), x is human.

21 Symbolizing Everything is human (Hx: x is human). Somewhat symbolically: Every x is such that x is human Logicians have a symbol to stand for phrases like: 'Every x is such that : the phrase is (x). So we have: (x), x is human. Given our scheme of abbreviation, we are ready to translate our statement in full: (x)hx

22 Symbolizing Univ. Affirmative Consider the Universal Affirmative (All S are P) statement: All humans are mortal (Hx: x is human; Mx: x is mortal). This can be viewed as saying: the predicate 'is mortal' applies to every individual thing that is human.

23 Symbolizing --Univ. Affirmative All humans are mortal (Hx: x is human; Mx: x is mortal). This can be viewed as saying: the predicate 'is mortal' applies to every individual thing that is human. Notice how we can't view this as saying every x is such that x is mortal: (x)mx That would be to view the statement as saying everything is mortal. But the statement says that everything that is human is mortal.

24 Symbolizing --Univ. Affirmative All humans are mortal (Hx: x is human; Mx: x is mortal). In order to capture the meaning of the English statement in symbols, we need to note the fact that the statement is equivalent to a certain conditional. (Note Well: every universal statement, affirmative or negative, will be symbolized using the ") We could view the statement as saying: every x is such that, if x is human, then x is mortal.

25 Symbolizing --Univ. Affirmative All humans are mortal (Hx: x is human; Mx: x is mortal). Every x is such that, if x is human, then x is mortal. Given our scheme of abbreviation, we are now ready to symbolize in full: (x)(x is human " x is mortal) (x)(hx " Mx)

26 Symbolizing --Univ. Affirmative Some stylistic variants of the Universal Affirmative, as illustrated by the statement: all humans are mortal. -- Every human is mortal -- Each human is mortal -- Humans are mortal -- A thing is human only if it is mortal * -- Only mortals are humans * All are (x)(hx " Mx)

27 Symbolizing --Univ. Affirmative A noteworthy stylistic variant of : all humans are mortal, is: A thing is human only if it is mortal. Don t let the A trip you up; the statement makes a claim about all things. Consider a slightly more concrete example: A dog is a mammal. This statement makes a claim about all dogs.

28 Symbolizing --Univ. Affirmative Another noteworthy stylistic variant of: All humans are mortal, is: Only mortals are humans. All is not synonymous with Only ; that s why the order of the terms mortal and human are reversed.

29 Symbolizing --Univ. Affirmative More on the term only (a slightly more concrete example). All dogs are mammals and Only dogs are mammals are not equivalent. The former is true. The latter however, is false. Surely there are other things besides dogs that are mammals. This shows that all and only are not synonymous.

30 Symbolizing --Univ. Affirmative Back to the (humans/mortal) example: a way to read and translate a statement with the term only as a Univ. Affirmative. Only mortals are humans could read as: Nothing besides mortals are humans. That is, if anything is not mortal, then it s not human. By contraposition we can say: if anything is human, then it is mortal. As we have seen (c.f. pg. 423), this latter conditional can be symbolized as: (x)(hx " Mx)

31 Symbolizing Univ. Negative Consider the Univ. Negative Statement (No S are P): No trees are animals (Tx: x is a tree; Ax: x is an animal) Because this is universal statement (all trees are such that they are not animals), it will be symbolized utilizing (x) and the ". As we will see, we will also utilize the ~ We can view the statement as saying: for all x, if x is a tree, then x is not an animal. Thus we have: (x) (Tx " ~Ax)

32 Symbolizing Particular Type Statements Consider: Something is mortal (Mx: x is mortal.) We can view this as saying: the predicate 'is mortal' applies to at least one thing (i.e. something). As a first approach at symbolizing, we can say:!! Some x is such that x is mortal!! There is an x such that x is mortal!! There exists an x such that x is mortal

33 Symbolizing Particular Type Statements Consider: Something is mortal (Mx: x is mortal.)!! Some x is such that x is mortal!! There is an x such that x is mortal!! There exists an x such that x is mortal Logicians have a symbol, called an existential quantifier, to stand for the phrases that end in such that : the symbol is (#x). Thus we have (#x), x is mortal.

34 Symbolizing Particular Type Statements Consider: Something is mortal (Mx: x is mortal.)!! Some x is such that x is mortal!! There is an x such that x is mortal!! There exists an x such that x is mortal Thus we have (#x) x is mortal. Given our scheme of abbreviation, we are ready to translate our English statement in full: (#x)mx

35 Symbolizing -- Particular Affirmative Consider the following Particular Affirmative statement (Some S are P): Some dogs are pugs (Dx: x is a dog; Px: x is a pug). This can be viewed as saying: The property of being a pug (the predicate 'is a pug') applies to at least one thing that is a dog. To be even more precise we can say: there's at least one thing that is both a dog and a pug.

36 Symbolizing -- Particular Affirmative Some dogs are pugs (Dx: x is a dog; Px: x is a pug). There's at least one thing that is both a dog and a pug. Thus as a first approach at symbolizing: There is an x such that, x is a dog and x is a pug With our scheme of abbreviation, we can symbolize as: (#x)(dx Px)

37 Symbolizing -- Particular Affirmative Some stylistic variants of Particular Affirmatives as illustrated by the statement: Some dogs are pugs (Dx: x is a dog; Px: x is a pug). --At least one dog is a pug -- There are dogs that are pugs --Something is both a dog and a pug --There exits a dog that is a pug All symbolized as: (#x)(dx Px)

38 Symbolizing -- Particular Affirmative Note that Particular Affirmatives should symbolized using the (#x) and the. See pg. 425 for an argument on why the is used and not the " when symbolizing Particular Affirmatives. (Basically since there s a possible state of affairs that makes the statement (#x)(dx " Px) true but doesn t make the other statement (#x)(dx Px) true, that shows that both statements don t mean the same thing).

39 Symbolizing Particular Negative Consider the Particular Negative statement (Some S are not P): Some dogs are not pugs (Dx: x is a dog; Px: x is a pug). We can view this as: there s at least one thing that is dog but is not a pug. A first approach at symbolizing will look like: There is at least one x such that x is a dog but x is not a pug

40 Symbolizing Particular Negative Some dogs are not pugs (Dx: x is a dog; Px: x is a pug). A first approach at symbolizing will look like: There is at least one x such that x is a dog but x is not a pug. Given our scheme of abbreviation: (#x)(dx ~Px)

41 Some Problems Ex 9.1 pgs Part C (1-25 All):

42 # 1 No Zoroastrians are Muslims

43 # 1 No Zoroastrians are Muslims (Universal Affirmative)

44 # 1 No Zoroastrians are Muslims (Universal Affirmative) Every x is such that if x is a Zoroastrian, then x is not a Muslim

45 # 1 No Zoroastrians are Muslims (Universal Affirmative) Every x is such that if x is a Zoroastrian, then x is not a Muslim (x)(zx " ~Mx)

46 # 2 All Kangaroos are Marsupials

47 # 2 All Kangaroos are Marsupials (Univ. Affirmative)

48 # 2 All Kangaroos are Marsupials (Univ. Affirmative) Every x is such that if x is a Kangaroo, then x is a Marsupial

49 # 2 All Kangaroos are Marsupials (Univ. Affirmative) Every x is such that if x is a Kangaroo, then x is a Marsupial (x)(kx " Mx)

50 #3 Peter Abelard is a logician, but Jacob Boehme is not

51 #3 Peter Abelard is a logician, but Jacob Boehme is not Only talking about particular individual things (proper (nouns) i.e. names are given), so need for variables in our symbolizations.

52 #3 Peter Abelard is a logician, but Jacob Boehme is not Only talking about particular individual things (proper (nouns) i.e. names are given), so need for variables in our symbolizations. [Don't let the x in the scheme trip you up. To be precise, we need the x beside the L to let us know that L is a predicate letter and not a statement letter (i.e. a letter standing for an entire atomic statement)]

53 #3 Peter Abelard is a logician, but Jacob Boehme is not Only talking about particular individual things (proper (nouns) i.e. names are given), so need for variables in our symbolizations. [Don't let the x in the scheme trip you up. To be precise, we need the x beside the L to let us know that L is a predicate letter and not a statement letter (i.e. a letter standing for an entire atomic statement)] La ~Lb

54 #4 Not every Marsupial is a Kangaroo

55 #4 Not every Marsupial is a Kangaroo (Negation of a Univ. Affirmative; can be a Particular Negative)

56 #4 Not every Marsupial is a Kangaroo (Negation of a Univ. Affirmative; can be a Particular Negative) It's not the case that every x is such that, if x is a Marsupial, then x is a kangaroo.

57 #4 Not every Marsupial is a Kangaroo (Negation of a Univ. Affirmative; can be a Particular Negative) It's not the case that every x is such that, if x is a Marsupial, then x is a kangaroo. ~(x)(mx " Kx) or (#x)(mx ~Kx)

58 #5 Nothing is right

59 #5 Nothing is right (Resembles a Univ. Negative)

60 #5 Nothing is right (Resembles a Univ. Negative) Everything is such that it is not right

61 #5 Nothing is right (Resembles a Univ. Negative) Everything is such that it is not right Every x is such that x is not right

62 #5 Nothing is right (Resembles a Univ. Negative) Everything (or all things) are such that they are not right Every x is such that x is not right (x)~rx

63 #6 Not everything is right

64 #6 Not everything is right It's not the case that all things are right.

65 #6 Not everything is right It's not the case that all things are right. It's not the case that every x is such that x is right

66 #6 Not everything is right It's not the case that all things are right. It's not the case that every x is such that x is right ~(x)rx or (#x)~rx

67 #7 Something is right

68 #7 Something is right There exists at least one thing that is right

69 #7 Something is right There exists at least one thing that is right There exists at least one x such that x is right

70 #7 Something is right There exists at least one thing that is right There exists at least one x such that x is right (#x)rx

71 #8 Something is not right There exists at least one thing that is not right There exists at least one x such that x is not right. (#x)~rx or ~(x)rx

72 #9 Only dogs are animals (Recall that while this is a Univ. Affirmative, the term 'only' is not synonymous with 'all'; thus this is not saying 'all dogs are animals'. Rather it's saying 'all animals are dogs ). (x)(ax " Dx)

73 #10 At least one mortal is human (Particular Affirmative) There exists at least one x such that x is mortal and x is human (#x)(mx Hx)

Transition to Quantified Predicate Logic

Transition to Quantified Predicate Logic Transition to Quantified Predicate Logic Predicates You may remember (but of course you do!) during the first class period, I introduced the notion of validity with an argument much like (with the same

More information

10.3 Universal and Existential Quantifiers

10.3 Universal and Existential Quantifiers M10_COPI1396_13_SE_C10.QXD 10/22/07 8:42 AM Page 441 10.3 Universal and Existential Quantifiers 441 and Wx, and so on. We call these propositional functions simple predicates, to distinguish them from

More information

A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS

A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS 0. Logic, Probability, and Formal Structure Logic is often divided into two distinct areas, inductive logic and deductive logic. Inductive logic is concerned

More information

16. Universal derivation

16. Universal derivation 16. Universal derivation 16.1 An example: the Meno In one of Plato s dialogues, the Meno, Socrates uses questions and prompts to direct a young slave boy to see that if we want to make a square that has

More information

Complications for Categorical Syllogisms. PHIL 121: Methods of Reasoning February 27, 2013 Instructor:Karin Howe Binghamton University

Complications for Categorical Syllogisms. PHIL 121: Methods of Reasoning February 27, 2013 Instructor:Karin Howe Binghamton University Complications for Categorical Syllogisms PHIL 121: Methods of Reasoning February 27, 2013 Instructor:Karin Howe Binghamton University Overall Plan First, I will present some problematic propositions and

More information

Workbook Unit 17: Negated Categorical Propositions

Workbook Unit 17: Negated Categorical Propositions Workbook Unit 17: Negated Categorical Propositions Overview 1 1. Reminder 2 2. Negated Categorical Propositions 2 2.1. Negation of Proposition A: Not all Ss are P 3 2.2. Negation of Proposition E: It is

More information

Today s Lecture 1/28/10

Today s Lecture 1/28/10 Chapter 7.1! Symbolizing English Arguments! 5 Important Logical Operators!The Main Logical Operator Today s Lecture 1/28/10 Quiz State from memory (closed book and notes) the five famous valid forms and

More information

Definite Descriptions: From Symbolic Logic to Metaphysics. The previous president of the United States is left handed.

Definite Descriptions: From Symbolic Logic to Metaphysics. The previous president of the United States is left handed. Definite Descriptions: From Symbolic Logic to Metaphysics Recall that we have been translating definite descriptions the same way we would translate names, i.e., with constants (lower case letters towards

More information

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

PHI Introduction Lecture 4. An Overview of the Two Branches of Logic PHI 103 - Introduction Lecture 4 An Overview of the wo Branches of Logic he wo Branches of Logic Argument - at least two statements where one provides logical support for the other. I. Deduction - a conclusion

More information

10.7 Asyllogistic Inference

10.7 Asyllogistic Inference M10_COPI1396_13_SE_C10.QXD 10/22/07 8:42 AM Page 468 468 CHAPTER 10 Quantification Theory 8. None but the brave deserve the fair. Every soldier is brave. Therefore none but soldiers deserve the fair. (Dx:

More information

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

Announcements. CS243: Discrete Structures. First Order Logic, Rules of Inference. Review of Last Lecture. Translating English into First-Order Logic Announcements CS243: Discrete Structures First Order Logic, Rules of Inference Işıl Dillig Homework 1 is due now Homework 2 is handed out today Homework 2 is due next Tuesday Işıl Dillig, CS243: Discrete

More information

(Refer Slide Time 03:00)

(Refer Slide Time 03:00) Artificial Intelligence Prof. Anupam Basu Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Lecture - 15 Resolution in FOPL In the last lecture we had discussed about

More information

What are Truth-Tables and What Are They For?

What are Truth-Tables and What Are They For? PY114: Work Obscenely Hard Week 9 (Meeting 7) 30 November, 2010 What are Truth-Tables and What Are They For? 0. Business Matters: The last marked homework of term will be due on Monday, 6 December, at

More information

Essential Logic Ronald C. Pine

Essential Logic Ronald C. Pine Essential Logic Ronald C. Pine Chapter 11: Other Logical Tools Syllogisms and Quantification Introduction A persistent theme of this book has been the interpretation of logic as a set of practical tools.

More information

Revisiting the Socrates Example

Revisiting the Socrates Example Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments Rules of Inference for Quantified Statements Building Arguments for Quantified

More information

Chapter 6, Tutorial 1 Predicate Logic Introduction

Chapter 6, Tutorial 1 Predicate Logic Introduction Chapter 6, Tutorial 1 Predicate Logic Introduction In this chapter, we extend our formal language beyond sentence letters and connectives. And even beyond predicates and names. Just one small wrinkle,

More information

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

A Primer on Logic Part 1: Preliminaries and Vocabulary. Jason Zarri. 1. An Easy $10.00? a 3 c 2. (i) (ii) (iii) (iv) A Primer on Logic Part 1: Preliminaries and Vocabulary Jason Zarri 1. An Easy $10.00? Suppose someone were to bet you $10.00 that you would fail a seemingly simple test of your reasoning skills. Feeling

More information

Study Guides. Chapter 1 - Basic Training

Study Guides. Chapter 1 - Basic Training Study Guides Chapter 1 - Basic Training Argument: A group of propositions is an argument when one or more of the propositions in the group is/are used to give evidence (or if you like, reasons, or grounds)

More information

1 Clarion Logic Notes Chapter 4

1 Clarion Logic Notes Chapter 4 1 Clarion Logic Notes Chapter 4 Summary Notes These are summary notes so that you can really listen in class and not spend the entire time copying notes. These notes will not substitute for reading the

More information

Philosophical Logic. LECTURE SEVEN MICHAELMAS 2017 Dr Maarten Steenhagen

Philosophical Logic. LECTURE SEVEN MICHAELMAS 2017 Dr Maarten Steenhagen Philosophical Logic LECTURE SEVEN MICHAELMAS 2017 Dr Maarten Steenhagen ms2416@cam.ac.uk Last week Lecture 1: Necessity, Analyticity, and the A Priori Lecture 2: Reference, Description, and Rigid Designation

More information

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

Pastor-teacher Don Hargrove Faith Bible Church   September 8, 2011 Pastor-teacher Don Hargrove Faith Bible Church http://www.fbcweb.org/doctrines.html September 8, 2011 Building Mental Muscle & Growing the Mind through Logic Exercises: Lesson 4a The Three Acts of the

More information

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

Philosophy 1100: Introduction to Ethics. Critical Thinking Lecture 1. Background Material for the Exercise on Validity Philosophy 1100: Introduction to Ethics Critical Thinking Lecture 1 Background Material for the Exercise on Validity Reasons, Arguments, and the Concept of Validity 1. The Concept of Validity Consider

More information

SYLLOGISTIC LOGIC CATEGORICAL PROPOSITIONS

SYLLOGISTIC LOGIC CATEGORICAL PROPOSITIONS Prof. C. Byrne Dept. of Philosophy SYLLOGISTIC LOGIC Syllogistic logic is the original form in which formal logic was developed; hence it is sometimes also referred to as Aristotelian logic after Aristotle,

More information

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

Announcements. CS311H: Discrete Mathematics. First Order Logic, Rules of Inference. Satisfiability, Validity in FOL. Example. Announcements CS311H: Discrete Mathematics First Order Logic, Rules of Inference Instructor: Işıl Dillig Homework 1 is due now! Homework 2 is handed out today Homework 2 is due next Wednesday Instructor:

More information

Facts and Free Logic. R. M. Sainsbury

Facts and Free Logic. R. M. Sainsbury R. M. Sainsbury 119 Facts are structures which are the case, and they are what true sentences affirm. It is a fact that Fido barks. It is easy to list some of its components, Fido and the property of barking.

More information

Facts and Free Logic R. M. Sainsbury

Facts and Free Logic R. M. Sainsbury Facts and Free Logic R. M. Sainsbury Facts are structures which are the case, and they are what true sentences affirm. It is a fact that Fido barks. It is easy to list some of its components, Fido and

More information

Comments on Truth at A World for Modal Propositions

Comments on Truth at A World for Modal Propositions Comments on Truth at A World for Modal Propositions Christopher Menzel Texas A&M University March 16, 2008 Since Arthur Prior first made us aware of the issue, a lot of philosophical thought has gone into

More information

Haberdashers Aske s Boys School

Haberdashers Aske s Boys School 1 Haberdashers Aske s Boys School Occasional Papers Series in the Humanities Occasional Paper Number Sixteen Are All Humans Persons? Ashna Ahmad Haberdashers Aske s Girls School March 2018 2 Haberdashers

More information

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

Deduction. Of all the modes of reasoning, deductive arguments have the strongest relationship between the premises Deduction Deductive arguments, deduction, deductive logic all means the same thing. They are different ways of referring to the same style of reasoning Deduction is just one mode of reasoning, but it is

More information

Ayer on the criterion of verifiability

Ayer on the criterion of verifiability Ayer on the criterion of verifiability November 19, 2004 1 The critique of metaphysics............................. 1 2 Observation statements............................... 2 3 In principle verifiability...............................

More information

Chapters 21, 22: The Language of QL ("Quantifier Logic")

Chapters 21, 22: The Language of QL (Quantifier Logic) Chapters 21, 22: The Language of QL ("Quantifier Logic") Motivation: (1) Fido is a cat. (2) All cats are scary. Valid argument! (3) Fido is scary. In PL: Let P = Fido is a cat. Q = All cats are scary.

More information

BASIC CONCEPTS OF LOGIC

BASIC CONCEPTS OF LOGIC 1 BASIC CONCEPTS OF LOGIC 1. What is Logic?... 2 2. Inferences and Arguments... 2 3. Deductive Logic versus Inductive Logic... 5 4. Statements versus Propositions... 6 5. Form versus Content... 7 6. Preliminary

More information

Class 33: Quine and Ontological Commitment Fisher 59-69

Class 33: Quine and Ontological Commitment Fisher 59-69 Philosophy 240: Symbolic Logic Fall 2008 Mondays, Wednesdays, Fridays: 9am - 9:50am Hamilton College Russell Marcus rmarcus1@hamilton.edu Re HW: Don t copy from key, please! Quine and Quantification I.

More information

SOME RADICAL CONSEQUENCES OF GEACH'S LOGICAL THEORIES

SOME RADICAL CONSEQUENCES OF GEACH'S LOGICAL THEORIES SOME RADICAL CONSEQUENCES OF GEACH'S LOGICAL THEORIES By james CAIN ETER Geach's views of relative identity, together with his Paccount of proper names and quantifiers, 1 while presenting what I believe

More information

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 9 First Order Logic In the last class, we had seen we have studied

More information

Verificationism. PHIL September 27, 2011

Verificationism. PHIL September 27, 2011 Verificationism PHIL 83104 September 27, 2011 1. The critique of metaphysics... 1 2. Observation statements... 2 3. In principle verifiability... 3 4. Strong verifiability... 3 4.1. Conclusive verifiability

More information

Venn Diagrams and Categorical Syllogisms. Unit 5

Venn Diagrams and Categorical Syllogisms. Unit 5 Venn Diagrams and Categorical Syllogisms Unit 5 John Venn 1834 1923 English logician and philosopher noted for introducing the Venn diagram Used in set theory, probability, logic, statistics, and computer

More information

Overview of Today s Lecture

Overview of Today s Lecture Branden Fitelson Philosophy 12A Notes 1 Overview of Today s Lecture Music: Robin Trower, Daydream (King Biscuit Flower Hour concert, 1977) Administrative Stuff (lots of it) Course Website/Syllabus [i.e.,

More information

CHAPTER 10 VENN DIAGRAMS

CHAPTER 10 VENN DIAGRAMS HATER 10 VENN DAGRAM NTRODUTON n the nineteenth-century, John Venn developed a technique for determining whether a categorical syllogism is valid or invalid. Although the method he constructed relied on

More information

Deduction by Daniel Bonevac. Chapter 1 Basic Concepts of Logic

Deduction by Daniel Bonevac. Chapter 1 Basic Concepts of Logic Deduction by Daniel Bonevac Chapter 1 Basic Concepts of Logic Logic defined Logic is the study of correct reasoning. Informal logic is the attempt to represent correct reasoning using the natural language

More information

BASIC CONCEPTS OF LOGIC

BASIC CONCEPTS OF LOGIC BASIC CONCEPTS OF LOGIC 1. What is Logic?...2 2. Inferences and Arguments...2 3. Deductive Logic versus Inductive Logic...5 4. Statements versus Propositions...6 5. Form versus Content...7 6. Preliminary

More information

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

Logic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to: Sentential Logic Semantics Contents: Truth-Value Assignments and Truth-Functions Truth-Value Assignments Truth-Functions Introduction to the TruthLab Truth-Definition Logical Notions Truth-Trees Studying

More information

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

Recall. Validity: If the premises are true the conclusion must be true. Soundness. Valid; and. Premises are true Recall Validity: If the premises are true the conclusion must be true Soundness Valid; and Premises are true Validity In order to determine if an argument is valid, we must evaluate all of the sets of

More information

Tautological Necessity and Tautological Validity With Quantifiers

Tautological Necessity and Tautological Validity With Quantifiers Some sentences containing quantifiers are truth table necessary. Tautological Necessity and Tautological Validity With Quantifiers Mark Criley IWU 25 October 2017 That is, they are forced to be true just

More information

Quantificational logic and empty names

Quantificational logic and empty names Quantificational logic and empty names Andrew Bacon 26th of March 2013 1 A Puzzle For Classical Quantificational Theory Empty Names: Consider the sentence 1. There is something identical to Pegasus On

More information

What Is a Normative Ethical Theory? Keith Burgess-Jackson 26 December 2017

What Is a Normative Ethical Theory? Keith Burgess-Jackson 26 December 2017 What Is a Normative Ethical Theory? Keith Burgess-Jackson 26 December 2017 A normative ethical theory is a statement of necessary and sufficient conditions for moral rightness. 1 It purports to tell us

More information

In this section you will learn three basic aspects of logic. When you are done, you will understand the following:

In this section you will learn three basic aspects of logic. When you are done, you will understand the following: Basic Principles of Deductive Logic Part One: In this section you will learn three basic aspects of logic. When you are done, you will understand the following: Mental Act Simple Apprehension Judgment

More information

Hartley Slater BACK TO ARISTOTLE!

Hartley Slater BACK TO ARISTOTLE! Logic and Logical Philosophy Volume 21 (2011), 275 283 DOI: 10.12775/LLP.2011.017 Hartley Slater BACK TO ARISTOTLE! Abstract. There were already confusions in the Middle Ages with the reading of Aristotle

More information

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

A. Problem set #3 it has been posted and is due Tuesday, 15 November 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

More information

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

PHILOSOPHY OF LOGIC AND LANGUAGE OVERVIEW LOGICAL CONSTANTS WEEK 5: MODEL-THEORETIC CONSEQUENCE JONNY MCINTOSH PHILOSOPHY OF LOGIC AND LANGUAGE WEEK 5: MODEL-THEORETIC CONSEQUENCE JONNY MCINTOSH OVERVIEW Last week, I discussed various strands of thought about the concept of LOGICAL CONSEQUENCE, introducing Tarski's

More information

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.

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. PHILOSOPHY 102 INTRODUCTION TO LOGIC PRACTICE EXAM 1 W# Section (10 or 11) 1. True or False (5 points) Directions: Circle the letter next to the best answer. 1. T F All true statements are valid. 2. T

More information

A Defence of Kantian Synthetic-Analytic Distinction

A Defence of Kantian Synthetic-Analytic Distinction A Defence of Kantian Synthetic-Analytic Distinction Abstract: Science is organized knowledge. Wisdom is organized life. Immanuel Kant Dr. Rajkumar Modak Associate Professor Department of Philosophy Sidho-Kanho-Birsha

More information

Introduction Symbolic Logic

Introduction Symbolic Logic An Introduction to Symbolic Logic Copyright 2006 by Terence Parsons all rights reserved CONTENTS Chapter One Sentential Logic with 'if' and 'not' 1 SYMBOLIC NOTATION 2 MEANINGS OF THE SYMBOLIC NOTATION

More information

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

What would count as Ibn Sīnā (11th century Persia) having first order logic? 1 2 What would count as Ibn Sīnā (11th century Persia) having first order logic? Wilfrid Hodges Herons Brook, Sticklepath, Okehampton March 2012 http://wilfridhodges.co.uk Ibn Sina, 980 1037 3 4 Ibn Sīnā

More information

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

To better understand VALIDITY, we now turn to the topic of logical form. LOGIC GUIDE 2 To better understand VALIDITY, we now turn to the topic of logical form. LOGICAL FORM The logical form of a statement or argument is the skeleton, or structure. If you retain only the words

More information

Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE

Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE Section 1. A Mediate Inference is a proposition that depends for proof upon two or more other propositions, so connected together by one or

More information

On Truth At Jeffrey C. King Rutgers University

On Truth At Jeffrey C. King Rutgers University On Truth At Jeffrey C. King Rutgers University I. Introduction A. At least some propositions exist contingently (Fine 1977, 1985) B. Given this, motivations for a notion of truth on which propositions

More information

15. Russell on definite descriptions

15. Russell on definite descriptions 15. Russell on definite descriptions Martín Abreu Zavaleta July 30, 2015 Russell was another top logician and philosopher of his time. Like Frege, Russell got interested in denotational expressions as

More information

Logic I, Fall 2009 Final Exam

Logic I, Fall 2009 Final Exam 24.241 Logic I, Fall 2009 Final Exam You may not use any notes, handouts, or other material during the exam. All cell phones must be turned off. Please read all instructions carefully. Good luck with the

More information

Exposition of Symbolic Logic with Kalish-Montague derivations

Exposition of Symbolic Logic with Kalish-Montague derivations An Exposition of Symbolic Logic with Kalish-Montague derivations Copyright 2006-13 by Terence Parsons all rights reserved Aug 2013 Preface The system of logic used here is essentially that of Kalish &

More information

7.1. Unit. Terms and Propositions. Nature of propositions. Types of proposition. Classification of propositions

7.1. Unit. Terms and Propositions. Nature of propositions. Types of proposition. Classification of propositions Unit 7.1 Terms and Propositions Nature of propositions A proposition is a unit of reasoning or logical thinking. Both premises and conclusion of reasoning are propositions. Since propositions are so important,

More information

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

! Introduction to the Class! Some Introductory Concepts. Today s Lecture 1/19/10 ! Introduction to the Class! Some Introductory Concepts Today s Lecture 1/19/10 Philosophy 230! Introduction to Formal Logic! Ticket # 13823 Adding the Class See me after class to be put on a waiting list.

More information

Suppressed premises in real life. Philosophy and Logic Section 4.3 & Some Exercises

Suppressed premises in real life. Philosophy and Logic Section 4.3 & Some Exercises Suppressed premises in real life Philosophy and Logic Section 4.3 & Some Exercises Analyzing inferences: finale Suppressed premises: from mechanical solutions to elegant ones Practicing on some real-life

More information

Selections from Aristotle s Prior Analytics 41a21 41b5

Selections from Aristotle s Prior Analytics 41a21 41b5 Lesson Seventeen The Conditional Syllogism Selections from Aristotle s Prior Analytics 41a21 41b5 It is clear then that the ostensive syllogisms are effected by means of the aforesaid figures; these considerations

More information

Class 33 - November 13 Philosophy Friday #6: Quine and Ontological Commitment Fisher 59-69; Quine, On What There Is

Class 33 - November 13 Philosophy Friday #6: Quine and Ontological Commitment Fisher 59-69; Quine, On What There Is Philosophy 240: Symbolic Logic Fall 2009 Mondays, Wednesdays, Fridays: 9am - 9:50am Hamilton College Russell Marcus rmarcus1@hamilton.edu I. The riddle of non-being Two basic philosophical questions are:

More information

Identity and Plurals

Identity and Plurals Identity and Plurals Paul Hovda February 6, 2006 Abstract We challenge a principle connecting identity with plural expressions, one that has been assumed or ignored in most recent philosophical discussions

More information

Homework: read in the book pgs and do "You Try It" (to use Submit); Read for lecture. C. Anthony Anderson

Homework: read in the book pgs and do You Try It (to use Submit); Read for lecture. C. Anthony Anderson Philosophy 183 Page 1 09 / 26 / 08 Friday, September 26, 2008 9:59 AM Homework: read in the book pgs. 1-10 and do "You Try It" (to use Submit); Read 19-29 for lecture. C. Anthony Anderson (caanders@philosophy.ucsb.edu)

More information

Logic Appendix: More detailed instruction in deductive logic

Logic Appendix: More detailed instruction in deductive logic Logic Appendix: More detailed instruction in deductive logic Standardizing and Diagramming In Reason and the Balance we have taken the approach of using a simple outline to standardize short arguments,

More information

1. Introduction Formal deductive logic Overview

1. Introduction Formal deductive logic Overview 1. Introduction 1.1. Formal deductive logic 1.1.0. Overview In this course we will study reasoning, but we will study only certain aspects of reasoning and study them only from one perspective. The special

More information

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

1. Introduction. Against GMR: The Incredulous Stare (Lewis 1986: 133 5). Lecture 3 Modal Realism II James Openshaw 1. Introduction Against GMR: The Incredulous Stare (Lewis 1986: 133 5). Whatever else is true of them, today s views aim not to provoke the incredulous stare.

More information

The way we convince people is generally to refer to sufficiently many things that they already know are correct.

The way we convince people is generally to refer to sufficiently many things that they already know are correct. Theorem A Theorem is a valid deduction. One of the key activities in higher mathematics is identifying whether or not a deduction is actually a theorem and then trying to convince other people that you

More information

INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments

INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments Volker Halbach Pure logic is the ruin of the spirit. Antoine de Saint-Exupéry The Logic Manual The Logic Manual The Logic Manual The Logic Manual

More information

Russell: On Denoting

Russell: On Denoting Russell: On Denoting DENOTING PHRASES Russell includes all kinds of quantified subject phrases ( a man, every man, some man etc.) but his main interest is in definite descriptions: the present King of

More information

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

Ling 98a: The Meaning of Negation (Week 1) Yimei Xiang yxiang@fas.harvard.edu 17 September 2013 1 What is negation? Negation in two-valued propositional logic Based on your understanding, select out the metaphors that best describe the meaning

More information

PHI 1500: Major Issues in Philosophy

PHI 1500: Major Issues in Philosophy PHI 1500: Major Issues in Philosophy Session 3 September 9 th, 2015 All About Arguments (Part II) 1 A common theme linking many fallacies is that they make unwarranted assumptions. An assumption is a claim

More information

Baronett, Logic (4th ed.) Chapter Guide

Baronett, Logic (4th ed.) Chapter Guide Chapter 6: Categorical Syllogisms Baronett, Logic (4th ed.) Chapter Guide A. Standard-form Categorical Syllogisms A categorical syllogism is an argument containing three categorical propositions: two premises

More information

ON THE DEVOLVEMENT OF OBLIGATION. Robert J. FOGELIN

ON THE DEVOLVEMENT OF OBLIGATION. Robert J. FOGELIN ON THE DEVOLVEMENT OF OBLIGATION Robert J. FOGELIN In his critical study of Marcus Singer's Generalization in Ethics, George Nakhnildan offers a clear formulation of Singer's Generalization Principle GP),

More information

Prior on an insolubilium of Jean Buridan

Prior on an insolubilium of Jean Buridan Synthese (2012) 188:487 498 DOI 10.1007/s11229-011-9940-6 Prior on an insolubilium of Jean Buridan Sara L. Uckelman Received: 13 April 2011 / Accepted: 13 April 2011 / Published online: 17 May 2011 The

More information

Based on the translation by E. M. Edghill, with minor emendations by Daniel Kolak.

Based on the translation by E. M. Edghill, with minor emendations by Daniel Kolak. On Interpretation By Aristotle Based on the translation by E. M. Edghill, with minor emendations by Daniel Kolak. First we must define the terms 'noun' and 'verb', then the terms 'denial' and 'affirmation',

More information

Nominalism III: Austere Nominalism 1. Philosophy 125 Day 7: Overview. Nominalism IV: Austere Nominalism 2

Nominalism III: Austere Nominalism 1. Philosophy 125 Day 7: Overview. Nominalism IV: Austere Nominalism 2 Branden Fitelson Philosophy 125 Lecture 1 Philosophy 125 Day 7: Overview Administrative Stuff First Paper Topics and Study Questions will be announced Thursday (9/18) All section locations are now (finally!)

More information

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

Exercise Sets. KS Philosophical Logic: Modality, Conditionals Vagueness. Dirk Kindermann University of Graz July 2014 Exercise Sets KS Philosophical Logic: Modality, Conditionals Vagueness Dirk Kindermann University of Graz July 2014 1 Exercise Set 1 Propositional and Predicate Logic 1. Use Definition 1.1 (Handout I Propositional

More information

Intro. First-Order Necessity and Validity. First Order Attention. First Order Attention

Intro. First-Order Necessity and Validity. First Order Attention. First Order Attention Intro Mark Criley IWU 10/23/2015 We have added some new pieces to our language: Quantifiers and variables. These new pieces are going to add a new layer of NPEC: Necessity, Possibility, Equivalence, Consequence.

More information

Logic for Robotics: Defeasible Reasoning and Non-monotonicity

Logic for Robotics: Defeasible Reasoning and Non-monotonicity Logic for Robotics: Defeasible Reasoning and Non-monotonicity The Plan I. Explain and argue for the role of nonmonotonic logic in robotics and II. Briefly introduce some non-monotonic logics III. Fun,

More information

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

MATH1061/MATH7861 Discrete Mathematics Semester 2, Lecture 5 Valid and Invalid Arguments. Learning Goals MAH1061/MAH7861 Discrete Mathematics Semester 2, 2016 Learning Goals 1. Understand the meaning of necessary and sufficient conditions (carried over from Wednesday). 2. Understand the difference between

More information

A Guide to FOL Proof Rules ( for Worksheet 6)

A Guide to FOL Proof Rules ( for Worksheet 6) A Guide to FOL Proof Rules ( for Worksheet 6) This lesson sheet will be a good deal like last class s. This time, I ll be running through the proof rules relevant to FOL. Of course, when you re doing any

More information

Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing February, 2018

Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing February, 2018 Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing February, 2018 Alice E. Fischer... 1/28 1 Examples and Varieties Order of Quantifiers and Negations 2 3 Universal Existential 4 Universal Modus

More information

UC Berkeley, Philosophy 142, Spring 2016

UC Berkeley, Philosophy 142, Spring 2016 Logical Consequence UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Intuitive characterizations of consequence Modal: It is necessary (or apriori) that, if the premises are true, the conclusion

More information

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

6: DEDUCTIVE LOGIC. Chapter 17: Deductive validity and invalidity Ben Bayer Drafted April 25, 2010 Revised August 23, 2010 6: DEDUCTIVE LOGIC Chapter 17: Deductive validity and invalidity Ben Bayer Drafted April 25, 2010 Revised August 23, 2010 Deduction vs. induction reviewed In chapter 14, we spent a fair amount of time

More information

5.6.1 Formal validity in categorical deductive arguments

5.6.1 Formal validity in categorical deductive arguments Deductive arguments are commonly used in various kinds of academic writing. In order to be able to perform a critique of deductive arguments, we will need to understand their basic structure. As will be

More information

Argument Mapping. Table of Contents. By James Wallace Gray 2/13/2012

Argument Mapping. Table of Contents. By James Wallace Gray 2/13/2012 Argument Mapping By James Wallace Gray 2/13/2012 Table of Contents Argument Mapping...1 Introduction...2 Chapter 1: Examples of argument maps...2 Chapter 2: The difference between multiple arguments and

More information

INTERMEDIATE LOGIC Glossary of key terms

INTERMEDIATE LOGIC Glossary of key terms 1 GLOSSARY INTERMEDIATE LOGIC BY JAMES B. NANCE INTERMEDIATE LOGIC Glossary of key terms This glossary includes terms that are defined in the text in the lesson and on the page noted. It does not include

More information

LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010

LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010 LOGIC ANTHONY KAPOLKA FYF 101-9/3/2010 LIBERALLY EDUCATED PEOPLE......RESPECT RIGOR NOT SO MUCH FOR ITS OWN SAKE BUT AS A WAY OF SEEKING TRUTH. LOGIC PUZZLE COOPER IS MURDERED. 3 SUSPECTS: SMITH, JONES,

More information

What is a logical argument? What is deductive reasoning? Fundamentals of Academic Writing

What is a logical argument? What is deductive reasoning? Fundamentals of Academic Writing What is a logical argument? What is deductive reasoning? Fundamentals of Academic Writing Logical relations Deductive logic Claims to provide conclusive support for the truth of a conclusion Inductive

More information

Syllogism. Exam Importance Exam Importance. CAT Very Important IBPS/Bank PO Very Important. XAT Very Important BANK Clerk Very Important

Syllogism. Exam Importance Exam Importance. CAT Very Important IBPS/Bank PO Very Important. XAT Very Important BANK Clerk Very Important 1 About Disha publication One of the leading publishers in India, Disha Publication provides books and study materials for schools and various competitive exams being continuously held across the country.

More information

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 10 Inference in First Order Logic I had introduced first order

More information

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

Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments 1 Agenda 1. What is an Argument? 2. Evaluating Arguments 3. Validity 4. Soundness 5. Persuasive Arguments 6.

More information

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

Philosophy 1100: Introduction to Ethics. Critical Thinking Lecture 2. Background Material for the Exercise on Inference Indicators Philosophy 1100: Introduction to Ethics Critical Thinking Lecture 2 Background Material for the Exercise on Inference Indicators Inference-Indicators and the Logical Structure of an Argument 1. The Idea

More information

Worksheet Exercise 1.1. Logic Questions

Worksheet Exercise 1.1. Logic Questions Worksheet Exercise 1.1. Logic Questions Date Study questions. These questions do not have easy answers. (But that doesn't mean that they have no answers.) Just think about these issues. There is no particular

More information

Part II: How to Evaluate Deductive Arguments

Part II: How to Evaluate Deductive Arguments Part II: How to Evaluate Deductive Arguments Week 4: Propositional Logic and Truth Tables Lecture 4.1: Introduction to deductive logic Deductive arguments = presented as being valid, and successful only

More information

Announcements The Logic of Quantifiers Logical Truth & Consequence in Full Fol. Outline. Overview The Big Picture. William Starr

Announcements The Logic of Quantifiers Logical Truth & Consequence in Full Fol. Outline. Overview The Big Picture. William Starr Announcements 10.27 The Logic of Quantifiers Logical Truth & Consequence in Full Fol William Starr 1 Hang tight on the midterm We ll get it back to you as soon as we can 2 Grades for returned HW will be

More information