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

Similar documents
Semantics I, Rutgers University Week 3-1 Yimei Xiang September 17, Predicate logic

The Semantics of Questions Introductory remarks

Basics of conversational implicatures

Semantics and Generative Grammar. Quantificational DPs, Part 3: Covert Movement vs. Type Shifting 1

Exhaustive interpretations: what to say and what not to say

1 Classical scalar implicature

Homogeneity and Plurals: From the Strongest Meaning Hypothesis to Supervaluations

Spring 2018 Ling 620 Introduction to Semantics of Questions: Questions as Sets of Propositions (Hamblin 1973, Karttunen 1977)

Parasitic Scope (Barker 2007) Semantics Seminar 11/10/08

Karttunen Semantics. Last week. LING 147. Semantics of Questions Week 4 Yimei Xiang September 22, I. Intensionality

LIN1032 Formal Foundations for Linguistics

Hamblin Semantics & Focus

Propositional Logic. Yimei Xiang 11 February format strictly follow the laws and never skip any step.

A New Account for too and either 1

Presuppositions (introductory comments)

Spring 2017 Ling 620. An Introduction to the Semantics of Tense 1

Two sets of alternatives for numerals

Two Reconstruction Puzzles Yael Sharvit University of Connecticut

Introduction to Semantics. The Formalization of Meaning 1

CAS LX 522 Syntax I Fall 2000 October 10, 2000 Week 5: Case Theory and θ Theory. θ-theory continued

Unterspezifikation in der Semantik Scope Semantics in Lexicalized Tree Adjoining Grammars

Generalized Quantifiers Logical and Linguistic Aspects

Proseminar on Semantic Theory Fall 2010 Ling 720. Remko Scha (1981/1984): Distributive, Collective and Cumulative Quantification

A proof theoretical account of polarity items and monotonic inference.

564 Lecture 25 Nov. 23, Continuing note on presuppositional vs. nonpresuppositional dets.

Two Reconstruction Puzzles Yael Sharvit University of Connecticut

Introduction to Metalogic

Predicate in English. Predicates and Quantifiers. Predicate in Logic. Propositional Functions: Prelude. Propositional Function

LING 106. Knowledge of Meaning Lecture 3-1 Yimei Xiang Feb 6, Propositional logic

Generalized Quantifiers & Categorial Approaches & Intensionality

MAT2345 Discrete Math

Semantics and Generative Grammar. Quantificational DPs, Part 2: Quantificational DPs in Non-Subject Position and Pronominal Binding 1

A Little Deductive Logic

Logic. Readings: Coppock and Champollion textbook draft, Ch

Presupposition and Montague Grammar (Krahmer 1998, Ch. 5)

Semantics and Pragmatics of NLP

Two kinds of long-distance indefinites Bernhard Schwarz The University of Texas at Austin

Global Approach to Scalar Implicatures in DRT*

I thank the author of the examination paper on which sample paper is based. VH

Relational Reasoning in Natural Language

Semantics and Generative Grammar. The Semantics of Adjectival Modification 1. (1) Our Current Assumptions Regarding Adjectives and Common Ns

CSI30. Chapter 1. The Foundations: Logic and Proofs Nested Quantifiers

Economy and Embedded Exhaustification Danny Fox and Benjamin Spector

Introduction to Sets and Logic (MATH 1190)

Introduction to Semantics. Pronouns and Variable Assignments. We ve seen that implicatures are crucially related to context.

list readings of conjoined singular which -phrases

A Little Deductive Logic

Exhaustive interpretation of complex sentences

Ling 130 Notes: Syntax and Semantics of Propositional Logic

Propositional Logic Not Enough

An Alternative Semantics for English Aspectual Particles

1 The standard quantifiers in FOL

CS1021. Why logic? Logic about inference or argument. Start from assumptions or axioms. Make deductions according to rules of reasoning.

INTRODUCTION TO LOGIC 8 Identity and Definite Descriptions

3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations

Natural Logic Welcome to the Course!

(7) a. [ PP to John], Mary gave the book t [PP]. b. [ VP fix the car], I wonder whether she will t [VP].

INTRODUCTION TO LOGIC 8 Identity and Definite Descriptions

INTRODUCTION TO LOGIC. Propositional Logic. Examples of syntactic claims

A Review of the Essentials of Extensional Semantics 1

Predicates, Quantifiers and Nested Quantifiers

The Semantics of Definite DPs 1. b. Argument Position: (i) [ A politician ] arrived from Washington. (ii) Joe likes [ the politician ].

Semantics 2 Part 1: Relative Clauses and Variables

More about Quantification

SYMBOLIC LOGIC UNIT 10: SINGULAR SENTENCES

Seminar in Semantics: Gradation & Modality Winter 2014

Example. Logic. Logical Statements. Outline of logic topics. Logical Connectives. Logical Connectives

Grundlagenmodul Semantik All Exercises

Topic #3 Predicate Logic. Predicate Logic

a. Develop a fragment of English that contains quantificational NPs. b. Develop a translation base from that fragment to Politics+λ

Exhaustively as Cell Identification

Spring 2018 Ling 620 The Basics of Intensional Semantics, Part 1: The Motivation for Intensions and How to Formalize Them 1

Scalar Implicatures: Are There Any?

Predicate Calculus. Lila Kari. University of Waterloo. Predicate Calculus CS245, Logic and Computation 1 / 59

Pragmatic Meaning and Non-monotonic Reasoning: The Case of Exhaustive Interpretation

1 Zimmermann, Formal Semantics

Intensionality. 1. Intensional Propositional Logic (IntPL).

Spring 2017 Ling 620. The Semantics of Modals, Part 3: The Ordering Source 1

Lecture 7. Logic. Section1: Statement Logic.

Logic of Sentences (Propositional Logic) is interested only in true or false statements; does not go inside.

Lecture 9. Model theory. Consistency, independence, completeness, categoricity of axiom systems. Expanded with algebraic view.

Today s Lecture. ICS 6B Boolean Algebra & Logic. Predicates. Chapter 1: Section 1.3. Propositions. For Example. Socrates is Mortal

1 Propositional Logic

Proseminar on Semantic Theory Fall 2010 Ling 720 The Basics of Plurals: Part 1 1 The Meaning of Plural NPs and the Nature of Predication Over Plurals

SOME NOTES ON LOGIC AND QUANTIFIER RAISING

Truth, Subderivations and the Liar. Why Should I Care about the Liar Sentence? Uses of the Truth Concept - (i) Disquotation.

Logical Structures in Natural Language: First order Logic (FoL)

The Lambek-Grishin calculus for unary connectives

Semantics and Generative Grammar. Pronouns and Variable Assignments 1. We ve seen that implicatures are crucially related to context.

Introduction to Semantics. Common Nouns and Adjectives in Predicate Position 1

CSCI Homework Set 1 Due: September 11, 2018 at the beginning of class

Ch. 2: Phrase Structure Syntactic Structure (basic concepts) A tree diagram marks constituents hierarchically

Mat 243 Exam 1 Review

Predicate Logic Thursday, January 17, 2013 Chittu Tripathy Lecture 04

Singleton Indefinites (re. Schwarzschild 2000)

To every formula scheme there corresponds a property of R. This relationship helps one to understand the logic being studied.

Semantics and Generative Grammar. An Introduction to Intensional Semantics 1

Logic: First Order Logic

How to determine if a statement is true or false. Fuzzy logic deal with statements that are somewhat vague, such as: this paint is grey.

240 Metaphysics. Frege s Puzzle. Chapter 26

Transcription:

Yimei Xiang yxiang@fas.harvard.edu 15 October 2013 1 Review Negation in propositional logic, oppositions, term logic of Aristotle Presuppositions Projection and accommodation Three-valued logic External/internal negation, assertion operator A Presupposition-based account of neg-raising (NR) Implicatures Conventional implicatures Conversational maxims and conversational implicatures, SIs and Horn scale Exhaustification theory (EXH) SI-based account of NR Monotonicity NPIs DE, UE, NM Negation is a DE operator Monotonicity of determiners (e.g. every, some, three, no) Weak NPIs are licensed in DE environments NPI licensers Interveners Only John read any book. Strict NPIs are licensed in Anti-additive (AA) environments A function f is AA iff. f is DE, and [ f (X) f (Y ) f (X Y )] NOT [SOME( ) ( AA )] NOT [EVERY( ) ( DE, not AA )] Negated NR predicates (e.g. doesn t believe) Negated truth predicates (e.g. It is not the case that) 1

2 Preliminaries The following (a) sentences are ambiguous with respect to the hierarchical relation between operators (viz. negation, quantifiers). (1) a. Every boy saw some girl. i. Surface scope: x[b(x) y[g(y) S(x, y)]] ii. Inverse scope: y[g(y) x[b(x) S(x, y)]] b. John saw Mary. c. Every boy saw Mary. (2) a. John didn t read a book written by Gennaro. i. There is one book written by Gennaro that John didn t read. ii. John didn t read any book written by Gennaro. b. John didn t read Meaning and Grammar However, while having multiple operators, the following sentences (without considering any extra stress) are unambiguous. Why is that so? (3) a. John didn t read any book written by Gennaro. NEG >> any b. John didn t read some book written by Gennaro. some >> NEG Draw the tree-diagram for (1b) and (1c), identity the semantic type of each node. Keywords today: Generalized quantifiers and determiners Quantifier raising (QR) Positive polarity items (PPIs) 2

3 Generalized quantifiers and determiners Quantificational DPs (e.g. everything, something, every boy, some girl) differ from e type NPs/DPs (e.g. Mary) from many aspects: (see Heim & Kratzer 1998 pp. 143-143) - Law of contradiction (LC) (4) a. Mary is coming and Mary is not coming. is a contradiction b. Someone is coming and someone is not coming. isn t a contradiction - Law of Excluded Middle (LEM) (5) a. Mary is coming or Mary is not coming. is a tautology b. Everyone is coming or everyone is not coming. isn t a tautology - Monotonicity (6) a. Mary came yesterday morning. Mary came yesterday. b. At most one student came yesterday morning. At most one student came yesterday. Quantificational DPs are different from < e,t > type common nouns (e.g. student): student denotes a set of individuals that are students. everything, something and nothing are not sets of individuals. The semantic type of quantificational phrases: If quantificational subjects are not of type e, due to Montague (1973), subjects are not considered as the type-logical argument of the verb phrase. Rather, the verb phrase is the argument of the quantificational subject. Namely, quantificational subjects are second-order functions of type << e,t >,t >, referred as generalized quantifiers. (7) a. every boy: λ P. x[b(x) P(x)] b. some girl: λ P. x[g(x) P(x)] We will see later how this theory works with quantificational objects. In-class Exercise 1: Draw a tree-diagram for the following sentences (take no as a determiner): (8) a. Some student ran. b. No student ran. 3

The semantic type of determiners (e.g. every, some, no) Determiners combine with a noun phrase of type < e,t > to return a << e,t >,t >, and their type is therefore quite complex: << e,t >,<< e,t >,t >> (the type of functions that take a property, then take a second property, to return a proposition). (9) a. every = λq.λp x[q(x) P(x)] b. some = λq.λp. x[q(x) P(x)] c. no = λq.λp. x[q(x) P(x)] Discussion: How to interpret the determiner a? From the perspective of set theory, determiners can be understood as relations between sets. (10) a. R every = {< A,B > A B} b. R some = {< A,B > A B /0} c. R no = {< A,B > A B = /0} 4 Quantifier Raising (QR) When a sentence takes a quantificational DP as its object, there is a type-mismatch: (11) Bill admires everybody. admires: < e,< e,t >> everybody: << e,t >,t > admires everybody:? Quantifier Raising (QR): at LF, quantifiers can raise to adjoin to any propositional node, leaving behind a trace and introducing a lambda abstraction over the traces variable. 4

In-class Exercise 2: Draw the tree-diagrams for the following sentences. (12) a. Every boy saw some girl. b. John didn t read a book. Related readings: Heim & Kratzer (1998) Chapter 8. 5 Negation and Quantificational DPs Most quantifiers can take scope either below or above auxiliary negation. (13) John didn t read a book written by Gennaro. a. John read no book written by Gennaro. b. There were one book written by Gennaro that John didn t read. (14) John didn t attend more than two meetings. a. John attend no more than two meetings. b. There were more than two meetings from which John was absent. However, some quantificational DPs have to take scope over the auxiliary negation: (15) I didn t see someone. a. There is a person such that I didn t see it. some > not b. There is nobody that I saw. *not > some 6 Positive polarity items PPIs in the scope of clause-mate negation (or negative quantifiers or without) can only receive a wide scope reading. (16) a. John didn t call someone. *not > some b. No one called someone. *no one > some c. John came to the party without someone. *without > some The PPI some takes scope below the clause-mate auxiliary negation only when the negation has a metalinguistic use. (17) a. A: I heard John talked to someone at the party yesterday. 5

b. B: No, actually. John DIDN T talk to someone. Anti-licensers: clause-mate negation, negative quantifiers, without... The anti-licensing relation doesn t hold across sentence-boundaries. (18) a. It is not the case [that John called someone. not > [CP some b. I don t think [that John called someone. not > [CP some c. Nobody thinks [that he called someone. nobody > [CP some Licensers of weak NPIs Anti-licensers of PPIs (19) a. At most five boys called anyone/someone. b. I rarely get help from anyone/someone. c. Few boys talk to any/some girls. Generally, PPIs are anti-licensed is the local environment is AA. Such an anti-licensing relation can be salvaged by an intervening universal quantifiers (e.g. everyone, always) (20) a. John didn t give everyone something. not > every > some b. John doesn t always call someone. not > always > some PPIs do not occur in the immediate scope of a clause-mate anti-additive operator AA-OP (Szabolcsi 2004, simplified version) Related readings: Szabolcsi, Anna. 2004. Positive polarity negative polarity. Natural Language and Linguistic Theory 22:409-452. 6