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

Size: px
Start display at page:

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

Transcription

1 Yimei Xiang 17 September What is negation? Negation in two-valued propositional logic Based on your understanding, select out the metaphors that best describe the meaning of negation. (1) a. Eraser b. Pressure-lowering drug c. Mirror d. Prison e. Protester f. No-parking sign In natural languages, negation can be very complex. Negation might be composed with a non-propositional constituent. Tautologies in the propositional logic are not always true in natural languages. It is difficult to identify which part of a negative sentence is actually denied.... 1

2 2 Why do we talk about negation? A brief review: propositional logic Connectives and their meanings Table 1: Connectives in propositional logic Connectives Compose proposition with connectives Translation negation p (the negation of p) it is not the case that p conjunction (p q) (conjunction of p and q) p and q disjunction (p q) (disjunction of p and q) p and/or q implication (p q) (implication of p and q) if p, then q equivalence (p q) (equivalence of p and q) p if and only if (iff.) q Syntax of propositional logic: Grouping: negation >> conjunction/disjunction >> implication/equivalence Semantics of propositional logic: Truth tables Table 2: Truth tables p q p p q p q p q p q Logical equivalence: V(p) = V(q) Tautologies, contradictions, contingencies Indirect reasoning (Deduction ad absurdum) 2

3 3 Understanding oppositions 3.1 Warm Up Give an answer that differs from both Mary s and John s. Make sure that your answer cannot be simultaneously true with either of their answers. Case 1: Mary: Edwin likes semantics. John: Edwin dislikes semantics. You: Case 2: Mary: It is raining John: It isn t raining You: 3.2 LNC and LEM in propositional logic Laws toward a formal definition of contradiction and contrariety: LNC (Law of Non-Contradiction): No statement can be true simultaneously with its negation. (2) (φ φ) LEM (Law of Excluded Middle): Every statement is either true or has a true negation. (3) φ φ Defining contrary and contradictory oppositions with laws: (4) a. Contrary opposition only needs to obey LNC: b. Contradictory opposition is governed by LNC as well as LEM: i. A corresponding affirmation and denial cannot both be true, by LNC; ii. But neither can they both be false, by LEM. Question: Consider, as for the negation in propositional logic, is it a contradictory operator, or a contrary one? 3

4 In-class Exercise 1: For signs in each of the following pictures, are they contrary or contradictory to each other? Why? Many things that are said to be contradictory in daily conversations are actually contrary in logic. It is very likely to find an alternative beyond the existing options, although such an alternative can be very... tough. 4

5 In-class Exercise 2: All the following formulas are tautologies in the two-valued propositional logic. The validity of which is debatable in natural languages? (5) a. (φ φ) b. φ φ (6) a. φ φ b. φ φ 3.3 Some tricky cases Case 3: Mary: Harry s daughter is smart. John: Harry s daughter is not smart. You: Case 4: Mary: Edwin likes mushroom. John: Edwin doesn t like mushroom. You: Case 5: Mary: Bob is an old man. John: Bob isn t an old man. Mary and John s mother: Bob is NOT an old man, he is your FAther! Some expressions which appear to be contradictories may in fact be contraries. Mary s and John s statements can be simultaneously denied when: Case 3: The subject fails to refer. (Presupposition failure) Case 4: Negation is read as a contrary operator which takes a narrow scope. (i) It is not the case that Edwin likes mushroom. (Mushroom is not a kind of food that Edwin likes.) (ii) Edwin does not-like mushroom. (Mushroom is a kind a food that Edwin dislikes.) Case 5: Negation applies to the speech-act: metalinguistic negation 5

6 Case 6: Mary: John believes his daughter will pick him up. John: John doesn t believe his daughter will pick him up. You: 4 Term logic of Aristotle 4.1 Basic concepts A proposition consists of two terms, a subject (S) and a predicate (P). A given P can be either affirmed or denied of a given S. There are two negations, and neither of them is propositional. Predicate denial (contradictory negation): S is not P It s a mode of predication, a way of combining subjects with predicates. E.g. Socrates is not ill. (i.e., Socrates [is not] ill) (Predicate) term negation (contrary negation): S is not-p It only says the predicate term is negative. E.g. Socrates is not-ill. (i.e., Socrates is [not ill]) When the given S doesn t actually exist (e.g. Case 3), Both S is P and S is not-p are False (since nothing positive or negative can be truly affirmed of a non-existent subject). Both S is not P and S is not not-p are True. E.g. since there doesn t exist a king of the United States in the actual world, in Aristotle s term logic, (6a-b) are False, and (6c-d) are True: (7) a. The king of the United States is bald. b. The kind of the United States is not-bald. c. The king of the United States is not bald. d. The kind of the United States is not not-bald. 4.2 Square of oppositions (AEIO) Three types of oppositions: (8) for two propositions/statements p and q, they are a. Contradictories iff they cannot both be true and cannot both be false. b. Contraries iff they can both be false, but cannot both be true. c. Subcontraries iff they can both be true, but cannot both be false. 6

7 Appendix: square of opposition for quantificational items ( More about oppositions in term logic ( Homework 1: Write a short paragraph to describe how the term logic of Aristotle addresses the following two issues: (i) the issues of non-existent subject; (ii) the issue of scope ambiguity. 5 Presuppositions, multi-valued logic and the A-operator Negations in the term logic of Aristotle are not propositional. If we follow the classic view and assume that negation is a propositional operator, how to address the tricky cases above? 5.1 What is a presupposition? The given subjects in (8) triggers an existential inference. In normal conversations, this existential inference is taken for granted (namely, part of the background). (9) a. John s daughter will come. b. John s daughter won t come. Existential inference (John has a daughter.) a presupposition Possessive phrase (John s daughter) a presupposition trigger A presupposition of S is a condition that must be met for S to be true or false. (10) S p is defined iff. V (p) = 1 Other presupposition triggers (following a traditional view): Verbs: stop, regret, know, discover, etc. Adverbials: again, too, etc. 7

8 Definite determiners: the Contrastive focus Cleft sentences Gender features (11) a. John has stopped drinking wine for breakfast. b. John used to drink wine for breakfast. (12) a. Mary bakes cookies again. b. Mary has baked cookies before. (13) a. The student is smart. b. There is an unique student in the context. (14) a. JOHN broke the computer. b. Someone broke the computer. (15) a. It was John who broke the computer. b. Someone broke the computer. (16) a. She is cleaver! b. The person pointed at is a female. 5.2 Presupposition projection If φ presupposes p, the presupposition p is inherited by φ, if φ, then ψ, perhaps φ and φ?. (17) a. John s daughter is coming. b. John s daughter is not coming. c. If John s daughter is coming, then we will have a party tonight. d. Perhaps John s daughter is coming. e. Is John s daughter coming? Presupposition: John has a daughter. In those cases, presupposition is projected. the most reliable diagnostic! In-class Exercise 3: Identify whether the presupposition of φ is projected in each of the following complex sentences or not. (φ: John s daughter is coming.) (18) a. If the train arrives on time, then John s daughter is coming. b. If John has a daughter, then his daughter is coming. c. Either John s daughter is coming, or John doesn t have a daughter. 8

9 In-class Exercise 4: It has been argued that John believes φ has an inference that John is opinionated about φ. Identify whether this inference is projected in each of the following sentences. (19) a. Bill doesn t believe that Sue is here. b. If Bill thinks that Sue is here, he will come. c. Perhaps Bill thinks that Sue is here. d. Does Bill think that Sue is here? Distinguish presuppositions from entailments and implicatures: (20) a. Lee kissed Jenny. b. Lee touched Jenny. (21) a. Mary has one child. b. Mary has exactly one child. (22) a. Girl: I m sorry. Let s break up. b. Boy: Who is he? For two statements p and q, p entails q (if p is true, then q is true). p q p presupposes q (q is backgrounded and taken for granted by p) p q p conventionally or conversationally implicates q (q follows from the interaction of the truth conditions of p together with either linguistic conventions on the proper use of p or general principles of conversational exchange). In-class Exercise 5: In each of the following examples, the a sentence presupposes and/or entail the other sentences. Specify which a sentence is a presupposition, which is a simple entailment, and which is both an entailment and a presupposition. (23) a. That John was assaulted scared Mary. b. Mary is animate. c. John was assaulted. d. That John was assaulted caused fear in Mary. (24) a. That John was assaulted didn t scare Mary. b. Mary is animate. c. John was assaulted. d. That John was assaulted didn t cause fear in Mary. 9

10 Homework 2: The picture below is used as an illustration of presupposition in the following web page: ( html) Consider, is it proper to regard the conversation as an illustration of presupposition? (i.e. should we consider vote for and vote again as presupposition triggers?) Why or why not? (Hint: This question is very tricky. You need to consider both the definition of presupposition and relevant diagnostics.) (20) A: Are you going to vote for or against the meeting? B: (What makes you think I m going to the meeting?) 5.3 Presupposition accommodation A presupposition of a sentence must normally be part of the common ground of the utterance context (the shared knowledge of the interlocutors) in order for the sentence to be felicitous. This process of an addressee assuming that a presupposition is true (even in the absence of explicit information that it is), is called presupposition accommodation. If the presupposition is not properly accommodated (namely, the truth of the presupposition is not satisfied in the CG), then we say there is a presupposition failure. (25) a. # John s daughter is coming, and John doesn t have a daughter. b. # If John s daughter is coming, then we will have a party tonight. Although John doesn t have a daughter. A pragmatic approach (Heim 1983, a.o.) A semantic approach (three-valued logic): If one of a sentence s presuppositions is not True, then the sentence is neither True nor False, but has a third truth value #. (Strawson) (26) p is a presupposition of φ (viz. φ p ) iff whenever p is not True, φ is #. φ p p 1 1 or 0 0 # Appendix: representative three-valued logical systems (Gamut 1 section 5.5.2) 10

11 5.4 Presuppositions and negation Presuppositions project under negation φ p φ p # # However, in the following sentence, the presuppositions from the negative clause isn t true. Why this sentence is still felicitous? (27) John s daughter is not coming, since John doesn t have a daughter. - Local accommodation - Negation applies to an operator (assertion operator A) that has a meaning akin to it is the case that/ it is true that.... (28) a. It is not the case that John s daughter is coming, since John doesn t have a daughter. b. It is not the case that John has a daughter and his daughter is coming, since he doesn t have a daughter. φ p Aφ p Aφ p # 0 1 Some characteristic properties of A (Beaver and Krahmer 2001): (29) a. If φ presupposes p, then Aφ p is equivalent with Aφ Ap. b. Aφ is equivalent with φ, if φ is defined. 11

Presuppositions (Ch. 6, pp )

Presuppositions (Ch. 6, pp ) (1) John left work early again Presuppositions (Ch. 6, pp. 349-365) We take for granted that John has left work early before. Linguistic presupposition occurs when the utterance of a sentence tells the

More information

Topics in Linguistic Theory: Propositional Attitudes

Topics in Linguistic Theory: Propositional Attitudes MIT OpenCourseWare http://ocw.mit.edu 24.910 Topics in Linguistic Theory: Propositional Attitudes Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.

More information

10. Presuppositions Introduction The Phenomenon Tests for presuppositions

10. Presuppositions Introduction The Phenomenon Tests for presuppositions 10. Presuppositions 10.1 Introduction 10.1.1 The Phenomenon We have encountered the notion of presupposition when we talked about the semantics of the definite article. According to the famous treatment

More information

Presupposition: Introduction

Presupposition: Introduction Presupposition: Introduction Sources: Levinson 1983 (Pragmatics) Kadmon 2001 (Formal Pragmatics) 481: Presupposition--Introduction 1 Levinson 1983 Examples of Presupposition (see handout) Properties of

More information

LGCS 199DR: Independent Study in Pragmatics

LGCS 199DR: Independent Study in Pragmatics LGCS 99DR: Independent Study in Pragmatics Jesse Harris & Meredith Landman September 0, 203 Last class, we discussed the difference between semantics and pragmatics: Semantics The study of the literal

More information

Pragmatic Presupposition

Pragmatic Presupposition Pragmatic Presupposition Read: Stalnaker 1974 481: Pragmatic Presupposition 1 Presupposition vs. Assertion The Queen of England is bald. I presuppose that England has a unique queen, and assert that she

More information

Semantic Entailment and Natural Deduction

Semantic Entailment and Natural Deduction Semantic Entailment and Natural Deduction Alice Gao Lecture 6, September 26, 2017 Entailment 1/55 Learning goals Semantic entailment Define semantic entailment. Explain subtleties of semantic entailment.

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

Lecture 9: Presuppositions

Lecture 9: Presuppositions Barbara H. Partee, MGU April 30, 2009 p. 1 Lecture 9: Presuppositions 1. The projection problem for presuppositions.... 1 2. Heim s analysis: Context-change potential as explanation for presupposition

More information

Mandy Simons Carnegie Mellon University June 2010

Mandy Simons Carnegie Mellon University June 2010 Presupposing Mandy Simons Carnegie Mellon University June 2010 1. Introduction: The intuitive notion of presupposition The basic linguistic phenomenon of presupposition is commonplace and intuitive, little

More information

Cohen 2004: Existential Generics Shay Hucklebridge LING 720

Cohen 2004: Existential Generics Shay Hucklebridge LING 720 Cohen 2004: Existential Generics Shay Hucklebridge LING 720 I Empirical claims about -Generics In this paper, Cohen describes a number of cases where generics appear to receive a quasi-existential interpretation

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

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

On Interpretation. Section 1. Aristotle Translated by E. M. Edghill. Part 1

On Interpretation. Section 1. Aristotle Translated by E. M. Edghill. Part 1 On Interpretation Aristotle Translated by E. M. Edghill Section 1 Part 1 First we must define the terms noun and verb, then the terms denial and affirmation, then proposition and sentence. Spoken words

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

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

TWO VERSIONS OF HUME S LAW

TWO VERSIONS OF HUME S LAW DISCUSSION NOTE BY CAMPBELL BROWN JOURNAL OF ETHICS & SOCIAL PHILOSOPHY DISCUSSION NOTE MAY 2015 URL: WWW.JESP.ORG COPYRIGHT CAMPBELL BROWN 2015 Two Versions of Hume s Law MORAL CONCLUSIONS CANNOT VALIDLY

More information

Towards a Solution to the Proviso Problem

Towards a Solution to the Proviso Problem 1. Presupposition Towards a Solution to the Proviso Problem Julia Zinova, Moscow State University A sentence A presupposes a proposition p if p must be true in order for A to have a truth value. Presuppositions

More information

Logic for Computer Science - Week 1 Introduction to Informal Logic

Logic for Computer Science - Week 1 Introduction to Informal Logic Logic for Computer Science - Week 1 Introduction to Informal Logic Ștefan Ciobâcă November 30, 2017 1 Propositions A proposition is a statement that can be true or false. Propositions are sometimes called

More information

The projection problem of presuppositions

The projection problem of presuppositions The projection problem of presuppositions Clemens Mayr Precedence in semantics, EGG school, Lagodekhi mayr@zas.gwz-berlin.de July 25, 2016 1 Presuppositional vs. truth-conditional meaning components 1.1

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

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

An Introduction to. Formal Logic. Second edition. Peter Smith, February 27, 2019 An Introduction to Formal Logic Second edition Peter Smith February 27, 2019 Peter Smith 2018. Not for re-posting or re-circulation. Comments and corrections please to ps218 at cam dot ac dot uk 1 What

More information

The main plank of Professor Simons thoroughly pragmatic account of presupposition

The main plank of Professor Simons thoroughly pragmatic account of presupposition Presupposition Projection vs. Scope Ambiguity: Comments on Professor Simons Paper Graeme Forbes The main plank of Professor Simons thoroughly pragmatic account of presupposition is (SA) that an utterance

More information

On Conceivability and Existence in Linguistic Interpretation

On Conceivability and Existence in Linguistic Interpretation On Conceivability and Existence in Linguistic Interpretation Salvatore Pistoia-Reda (B) Leibniz-Zentrum Allgemeine Sprachwissenschaft (ZAS), Berlin, Germany pistoia.reda@zas.gwz-berlin.de Abstract. This

More information

Quantifiers: Their Semantic Type (Part 3) Heim and Kratzer Chapter 6

Quantifiers: Their Semantic Type (Part 3) Heim and Kratzer Chapter 6 Quantifiers: Their Semantic Type (Part 3) Heim and Kratzer Chapter 6 1 6.7 Presuppositional quantifier phrases 2 6.7.1 Both and neither (1a) Neither cat has stripes. (1b) Both cats have stripes. (1a) and

More information

91. Presupposition. Denial, projection, cancellation, satisfaction, accommodation: the five stages of presupposition theory.

91. Presupposition. Denial, projection, cancellation, satisfaction, accommodation: the five stages of presupposition theory. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 91. Presupposition 1. Introduction 2. Projection 3. Cancellability 4. Theories of presupposition 5. Current issues in presupposition theory 6.

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

Phil 435: Philosophy of Language. P. F. Strawson: On Referring

Phil 435: Philosophy of Language. P. F. Strawson: On Referring Phil 435: Philosophy of Language [Handout 10] Professor JeeLoo Liu P. F. Strawson: On Referring Strawson s Main Goal: To show that Russell's theory of definite descriptions ("the so-and-so") has some fundamental

More information

Slovenian (Rivero, 2001) a.janez se oblaci.

Slovenian (Rivero, 2001) a.janez se oblaci. Slovenian (Rivero, 2001) a.janez se oblaci. John dresses himself. (reflexive/reciprocal) b. Ta knjiga se lahkobere. This book reads easily. (middle/passive) c. Veja se je zlomila. The branch broke. (inchoative/anticausative)

More information

Lecture 1. Yasutada Sudo 12 January 2018

Lecture 1. Yasutada Sudo 12 January 2018 Lecture 1 Yasutada Sudo 12 January 2018 (more precisely, ) is a kind of inference that sentences of natural languages may have. Some representative examples: (1) a.. presupposition: Guillaume used to smoke.

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 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

SAVING RELATIVISM FROM ITS SAVIOUR

SAVING RELATIVISM FROM ITS SAVIOUR CRÍTICA, Revista Hispanoamericana de Filosofía Vol. XXXI, No. 91 (abril 1999): 91 103 SAVING RELATIVISM FROM ITS SAVIOUR MAX KÖLBEL Doctoral Programme in Cognitive Science Universität Hamburg In his paper

More information

3. Negations Not: contradicting content Contradictory propositions Overview Connectives

3. Negations Not: contradicting content Contradictory propositions Overview Connectives 3. Negations 3.1. Not: contradicting content 3.1.0. Overview In this chapter, we direct our attention to negation, the second of the logical forms we will consider. 3.1.1. Connectives Negation is a way

More information

Lexical Alternatives as a Source of Pragmatic Presuppositions

Lexical Alternatives as a Source of Pragmatic Presuppositions In SALT XII, Brendan Jackson, ed. CLC Publications, Ithaca NY. 2002. Lexical Alternatives as a Source of Pragmatic Presuppositions Dorit Abusch Cornell University 1. Introduction This paper is about the

More information

Millian responses to Frege s puzzle

Millian responses to Frege s puzzle Millian responses to Frege s puzzle phil 93914 Jeff Speaks February 28, 2008 1 Two kinds of Millian................................. 1 2 Conciliatory Millianism............................... 2 2.1 Hidden

More information

What is a counterexample?

What is a counterexample? Lorentz Center 4 March 2013 What is a counterexample? Jan-Willem Romeijn, University of Groningen Joint work with Eric Pacuit, University of Maryland Paul Pedersen, Max Plank Institute Berlin Co-authors

More information

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

MCQ IN TRADITIONAL LOGIC. 1. Logic is the science of A) Thought. B) Beauty. C) Mind. D) Goodness MCQ IN TRADITIONAL LOGIC FOR PRIVATE REGISTRATION TO BA PHILOSOPHY PROGRAMME 1. Logic is the science of-----------. A) Thought B) Beauty C) Mind D) Goodness 2. Aesthetics is the science of ------------.

More information

Theories of propositions

Theories of propositions Theories of propositions phil 93515 Jeff Speaks January 16, 2007 1 Commitment to propositions.......................... 1 2 A Fregean theory of reference.......................... 2 3 Three theories of

More information

A Linguistic Interlude

A Linguistic Interlude A Linguistic Interlude How do current approaches to natural logic deal with notions such as Presupposition Entailment Conventional and conversational implicatures? The logic of complement constructions

More information

INFERENCES LING106 KNOWLEDGE OF MEANING DOROTHY AHN SECTION 2 [2/12/2016]

INFERENCES LING106 KNOWLEDGE OF MEANING DOROTHY AHN SECTION 2 [2/12/2016] INFERENCES LING106 KNOWLEDGE OF MEANING DOROTHY AHN SECTION 2 [2/12/2016] WHAT DOES SEMANTICS DO FOR US? What does knowing meaning do for us? INFERENCES! ENTAILMENTS IMPLICATURES PRESUPPOSITIONS ENTAILMENT

More information

Satisfied or Exhaustified An Ambiguity Account of the Proviso Problem

Satisfied or Exhaustified An Ambiguity Account of the Proviso Problem Satisfied or Exhaustified An Ambiguity Account of the Proviso Problem Clemens Mayr 1 and Jacopo Romoli 2 1 ZAS 2 Ulster University The presuppositions inherited from the consequent of a conditional or

More information

On the Aristotelian Square of Opposition

On the Aristotelian Square of Opposition On the Aristotelian Square of Opposition Dag Westerståhl Göteborg University Abstract A common misunderstanding is that there is something logically amiss with the classical square of opposition, and that

More information

Presupposition projection: Global accommodation, local accommodation, and scope ambiguities

Presupposition projection: Global accommodation, local accommodation, and scope ambiguities Presupposition projection: Global accommodation, local accommodation, and scope ambiguities Raj Singh August 3, 2015 Abstract It is commonly assumed that there is a default preference for the presuppositions

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

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

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 Scopal Theory of Presupposition I

A Scopal Theory of Presupposition I A Scopal Theory of Presupposition I Graeme Forbes 1. triggers and inheritance A presupposition, for the purposes of this paper, is a kind of entailment: a statement, or proposition, p, presupposes a proposition

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

Presupposition: An (un)common attitude?

Presupposition: An (un)common attitude? Presupposition: An (un)common attitude? Abstract In this paper I argue that presupposition should be thought of as a propositional attitude. I will separate questions on truth from questions of presupposition

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

ZHANG Yan-qiu, CHEN Qiang. Changchun University, Changchun, China

ZHANG Yan-qiu, CHEN Qiang. Changchun University, Changchun, China US-China Foreign Language, February 2015, Vol. 13, No. 2, 109-114 doi:10.17265/1539-8080/2015.02.004 D DAVID PUBLISHING Presupposition: How Discourse Coherence Is Conducted ZHANG Yan-qiu, CHEN Qiang Changchun

More information

PHILOSOPHICAL PROBLEMS & THE ANALYSIS OF LANGUAGE

PHILOSOPHICAL PROBLEMS & THE ANALYSIS OF LANGUAGE PHILOSOPHICAL PROBLEMS & THE ANALYSIS OF LANGUAGE Now, it is a defect of [natural] languages that expressions are possible within them, which, in their grammatical form, seemingly determined to designate

More information

Vagueness and supervaluations

Vagueness and supervaluations Vagueness and supervaluations UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Supervaluations We saw two problems with the three-valued approach: 1. sharp boundaries 2. counterintuitive consequences

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

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

Scott Soames: Understanding Truth

Scott Soames: Understanding Truth Philosophy and Phenomenological Research Vol. LXV, No. 2, September 2002 Scott Soames: Understanding Truth MAlTHEW MCGRATH Texas A & M University Scott Soames has written a valuable book. It is unmatched

More information

A presupposition is a precondition of a sentence such that the sentences cannot be

A presupposition is a precondition of a sentence such that the sentences cannot be 948 words (limit of 1,000) Uli Sauerland Center for General Linguistics Schuetzenstr. 18 10117 Berlin Germany +49-30-20192570 uli@alum.mit.edu PRESUPPOSITION A presupposition is a precondition of a sentence

More information

An alternative understanding of interpretations: Incompatibility Semantics

An alternative understanding of interpretations: Incompatibility Semantics An alternative understanding of interpretations: Incompatibility Semantics 1. In traditional (truth-theoretic) semantics, interpretations serve to specify when statements are true and when they are false.

More information

Semantic Foundations for Deductive Methods

Semantic Foundations for Deductive Methods Semantic Foundations for Deductive Methods delineating the scope of deductive reason Roger Bishop Jones Abstract. The scope of deductive reason is considered. First a connection is discussed between the

More information

In Defense of Truth functional Theory of Indicative Conditionals. Ching Hui Su Postdoctoral Fellow Institution of European and American Studies,

In Defense of Truth functional Theory of Indicative Conditionals. Ching Hui Su Postdoctoral Fellow Institution of European and American Studies, In Defense of Truth functional Theory of Indicative Conditionals Ching Hui Su Postdoctoral Fellow Institution of European and American Studies, Academia Sinica, Taiwan SELLC 2010 Outline Truth functional

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

Broad on Theological Arguments. I. The Ontological Argument

Broad on Theological Arguments. I. The Ontological Argument Broad on God Broad on Theological Arguments I. The Ontological Argument Sample Ontological Argument: Suppose that God is the most perfect or most excellent being. Consider two things: (1)An entity that

More information

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

Artificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering Artificial Intelligence: Valid Arguments and Proof Systems Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 02 Lecture - 03 So in the last

More information

Informalizing Formal Logic

Informalizing Formal Logic Informalizing Formal Logic Antonis Kakas Department of Computer Science, University of Cyprus, Cyprus antonis@ucy.ac.cy Abstract. This paper discusses how the basic notions of formal logic can be expressed

More information

God of the gaps: a neglected reply to God s stone problem

God of the gaps: a neglected reply to God s stone problem God of the gaps: a neglected reply to God s stone problem Jc Beall & A. J. Cotnoir January 1, 2017 Traditional monotheism has long faced logical puzzles (omniscience, omnipotence, and more) [10, 11, 13,

More information

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

Day 3. Wednesday May 23, Learn the basic building blocks of proofs (specifically, direct proofs) Day 3 Wednesday May 23, 2012 Objectives: Learn the basics of Propositional Logic Learn the basic building blocks of proofs (specifically, direct proofs) 1 Propositional Logic Today we introduce the concepts

More information

Factivity and Presuppositions David Schueler University of Minnesota, Twin Cities LSA Annual Meeting 2013

Factivity and Presuppositions David Schueler University of Minnesota, Twin Cities LSA Annual Meeting 2013 Factivity and Presuppositions David Schueler University of Minnesota, Twin Cities LSA Annual Meeting 2013 1 Introduction Factive predicates are generally taken as one of the canonical classes of presupposition

More information

Presupposition Projection and At-issueness

Presupposition Projection and At-issueness Presupposition Projection and At-issueness Edgar Onea Jingyang Xue XPRAG 2011 03. Juni 2011 Courant Research Center Text Structures University of Göttingen This project is funded by the German Initiative

More information

The distinction between truth-functional and non-truth-functional logical and linguistic

The distinction between truth-functional and non-truth-functional logical and linguistic FORMAL CRITERIA OF NON-TRUTH-FUNCTIONALITY Dale Jacquette The Pennsylvania State University 1. Truth-Functional Meaning The distinction between truth-functional and non-truth-functional logical and linguistic

More information

G. H. von Wright Deontic Logic

G. H. von Wright Deontic Logic G. H. von Wright Deontic Logic Kian Mintz-Woo University of Amsterdam January 9, 2009 January 9, 2009 Logic of Norms 2010 1/17 INTRODUCTION In von Wright s 1951 formulation, deontic logic is intended to

More information

Courses providing assessment data PHL 202. Semester/Year

Courses providing assessment data PHL 202. Semester/Year 1 Department/Program 2012-2016 Assessment Plan Department: Philosophy Directions: For each department/program student learning outcome, the department will provide an assessment plan, giving detailed information

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

From Necessary Truth to Necessary Existence

From Necessary Truth to Necessary Existence Prequel for Section 4.2 of Defending the Correspondence Theory Published by PJP VII, 1 From Necessary Truth to Necessary Existence Abstract I introduce new details in an argument for necessarily existing

More information

ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS

ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS 1. ACTS OF USING LANGUAGE Illocutionary logic is the logic of speech acts, or language acts. Systems of illocutionary logic have both an ontological,

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

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

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

Is the law of excluded middle a law of logic?

Is the law of excluded middle a law of logic? Is the law of excluded middle a law of logic? Introduction I will conclude that the intuitionist s attempt to rule out the law of excluded middle as a law of logic fails. They do so by appealing to harmony

More information

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

Reductio ad Absurdum, Modulation, and Logical Forms. Miguel López-Astorga 1 International Journal of Philosophy and Theology June 25, Vol. 3, No., pp. 59-65 ISSN: 2333-575 (Print), 2333-5769 (Online) Copyright The Author(s). All Rights Reserved. Published by American Research

More information

Embedded Attitudes *

Embedded Attitudes * Embedded Attitudes * Kyle Blumberg and Ben Holguín September 2018 Abstract This paper presents a puzzle involving embedded attitude reports. We resolve the puzzle by arguing that attitude verbs take restricted

More information

A set of puzzles about names in belief reports

A set of puzzles about names in belief reports A set of puzzles about names in belief reports Line Mikkelsen Spring 2003 1 Introduction In this paper I discuss a set of puzzles arising from belief reports containing proper names. In section 2 I present

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

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

Semantics and Pragmatics of NLP DRT: Constructing LFs and Presuppositions

Semantics and Pragmatics of NLP DRT: Constructing LFs and Presuppositions Semantics and Pragmatics of NLP DRT: Constructing LFs and Presuppositions School of Informatics Universit of Edinburgh Outline Constructing DRSs 1 Constructing DRSs for Discourse 2 Building DRSs with Lambdas:

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

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

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

Module 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur Module 5 Knowledge Representation and Logic (Propositional Logic) Lesson 12 Propositional Logic inference rules 5.5 Rules of Inference Here are some examples of sound rules of inference. Each can be shown

More information

356 THE MONIST all Cretans were liars. It can be put more simply in the form: if a man makes the statement I am lying, is he lying or not? If he is, t

356 THE MONIST all Cretans were liars. It can be put more simply in the form: if a man makes the statement I am lying, is he lying or not? If he is, t 356 THE MONIST all Cretans were liars. It can be put more simply in the form: if a man makes the statement I am lying, is he lying or not? If he is, that is what he said he was doing, so he is speaking

More information

Exhaustification over Questions in Japanese

Exhaustification over Questions in Japanese Exhaustification over Questions in Japanese Yurie Hara JSPS/Kyoto University Kin 3 Round Table Meetings Yurie Hara (JSPS/Kyoto University) Exhaustification over Questions in Japanese July 7th, 2006 1 /

More information

THE LARGER LOGICAL PICTURE

THE LARGER LOGICAL PICTURE THE LARGER LOGICAL PICTURE 1. ILLOCUTIONARY ACTS In this paper, I am concerned to articulate a conceptual framework which accommodates speech acts, or language acts, as well as logical theories. I will

More information

Aristotle on the Principle of Contradiction :

Aristotle on the Principle of Contradiction : Aristotle on the Principle of Contradiction : Book Gamma of the Metaphysics Robert L. Latta Having argued that there is a science which studies being as being, Aristotle goes on to inquire, at the beginning

More information

Understanding Belief Reports. David Braun. In this paper, I defend a well-known theory of belief reports from an important objection.

Understanding Belief Reports. David Braun. In this paper, I defend a well-known theory of belief reports from an important objection. Appeared in Philosophical Review 105 (1998), pp. 555-595. Understanding Belief Reports David Braun In this paper, I defend a well-known theory of belief reports from an important objection. The theory

More information

SQUIB: a note on the analysis of too as a discourse marker

SQUIB: a note on the analysis of too as a discourse marker THOMAS, Guillaume. Squib: A note on the analysis of too as a discourse marker. Revista LinguíStica / Revista do Programa de Pós- -Graduação em Linguística da Universidade Federal do Rio de Janeiro. Volume

More information

Quine: Quantifiers and Propositional Attitudes

Quine: Quantifiers and Propositional Attitudes Quine: Quantifiers and Propositional Attitudes Ambiguity of Belief (and other) Constructions Belief and other propositional attitude constructions, according to Quine, are ambiguous. The ambiguity can

More information

Presupposition Projection and Anaphora in Quantified Sentences

Presupposition Projection and Anaphora in Quantified Sentences 1 Introduction Presupposition Projection and Anaphora in Quantified Sentences Yasutada Sudo December 17, 2012 Quantified sentences constitute a recalcitrant problem for theories of presupposition projection,

More information

Existence, Identity, and Empty Names

Existence, Identity, and Empty Names Existence, Identity, and Empty Names Takashi Iida 1 In a number of papers 1 and a forthcoming book 2, Alex Orenstein has argued against the modern logical orthodoxy starting from Frege. According to Orenstein,

More information

Rosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples

Rosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples Rosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples Section 1.1 Propositional Logic Page references correspond to locations of Extra Examples icons in the textbook. p.2, icon at

More information

Presupposed ignorance and exhaustification: how scalar implicatures and presuppositions interact

Presupposed ignorance and exhaustification: how scalar implicatures and presuppositions interact Linguist and Philos (2017) 40:473 517 DOI 10.1007/s10988-017-9208-9 Presupposed ignorance and exhaustification: how scalar implicatures and presuppositions interact Benjamin Spector 1 Yasutada Sudo 2 Published

More information