Bar-Hillel and the Division of Labor in Language

Similar documents
Introduction to Pragmatics

Basics of conversational implicatures

It is not the case that ϕ. p = It is not the case that it is snowing = It is not. r = It is not the case that Mary will go to the party =

Philosophy of Science: Models in Science

COMP219: Artificial Intelligence. Lecture 19: Logic for KR

Indicative conditionals

cse541 LOGIC FOR COMPUTER SCIENCE

Learning Goals of CS245 Logic and Computation

Overview. Knowledge-Based Agents. Introduction. COMP219: Artificial Intelligence. Lecture 19: Logic for KR

Lecture 7. Logic. Section1: Statement Logic.

Generalized Quantifiers Logical and Linguistic Aspects

INTRODUCTION TO LOGIC. Propositional Logic. Examples of syntactic claims

Seminar in Semantics: Gradation & Modality Winter 2014

Presuppositions (introductory comments)

22c:145 Artificial Intelligence

Knowledge based Agents

COMP219: Artificial Intelligence. Lecture 19: Logic for KR

Natural Deduction for Propositional Logic

On the impediment of logical reasoning by non-logical inferential methods

(6) Some students who drank beer or wine were allowed to drive.

An Alternative Semantics for English Aspectual Particles

Exhaustive interpretations: what to say and what not to say

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

a. ~p : if p is T, then ~p is F, and vice versa

Two sets of alternatives for numerals

5. And. 5.1 The conjunction

Inference in Propositional Logic

Inquisitive semantics

Artificial Intelligence: Knowledge Representation and Reasoning Week 2 Assessment 1 - Answers

Homogeneity and Plurals: From the Strongest Meaning Hypothesis to Supervaluations

Description Logics. Foundations of Propositional Logic. franconi. Enrico Franconi

Global Approach to Scalar Implicatures in DRT*

Propositional Logic. Spring Propositional Logic Spring / 32

Propositional Logic. Testing, Quality Assurance, and Maintenance Winter Prof. Arie Gurfinkel

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

On the semantics and logic of declaratives and interrogatives

First-Degree Entailment

Breaking de Morgan s law in counterfactual antecedents

(1) You re allowed to draw at most three cards.

Introduction to Metalogic

Economy and Embedded Exhaustification Danny Fox and Benjamin Spector

5. And. 5.1 The conjunction

Logic for Computer Science - Week 2 The Syntax of Propositional Logic

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

KB Agents and Propositional Logic

Chapter 2: Introduction to Propositional Logic

UNIT-I: Propositional Logic

Semantics and Pragmatics of NLP

Logic Overview, I. and T T T T F F F T F F F F

Proseminar on Semantic Theory Fall 2013 Ling 720 First Order (Predicate) Logic: Syntax and Natural Deduction 1

cis32-ai lecture # 18 mon-3-apr-2006

Antecedents of counterfactuals violate de Morgan s law

Propositional Logic: Logical Agents (Part I)

Logic: Propositional Logic (Part I)

CHAPTER 2 INTRODUCTION TO CLASSICAL PROPOSITIONAL LOGIC

Contexts for Quantification

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

A Little Deductive Logic


Knowledge Representation. Propositional logic

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

TRUTH TABLES LOGIC (CONTINUED) Philosophical Methods

The Semantics of Questions Introductory remarks

Towards Tractable Inference for Resource-Bounded Agents

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

Focus in complex noun phrases

KLEENE LOGIC AND INFERENCE

A New Account for too and either 1

September 13, Cemela Summer School. Mathematics as language. Fact or Metaphor? John T. Baldwin. Framing the issues. structures and languages

Truth-Functional Logic

In general if we define on this set an operation of connotative product the result is not interpretable and may not make any sense.

Propositional Language - Semantics

Default Logic Autoepistemic Logic

Propositional Logic: Logical Agents (Part I)

CHAPTER 11. Introduction to Intuitionistic Logic

LIN1032 Formal Foundations for Linguistics

It rains now. (true) The followings are not propositions.

Modal Dependence Logic

Berlin, May 16 / 2003

Propositional Logic Arguments (5A) Young W. Lim 11/8/16

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

Logic. Readings: Coppock and Champollion textbook draft, Ch

Axioms as definitions: revisiting Hilbert

CSCI 5582 Artificial Intelligence. Today 9/28. Knowledge Representation. Lecture 9

Approaching the Logic of Conversational Implicatures

Modality: A Standard Analysis. Modality

cse371/mat371 LOGIC Professor Anita Wasilewska Fall 2018

Propositional Logic Arguments (5A) Young W. Lim 2/23/17

Epistemic Informativeness

Similarity: towards a unified account of scalar implicatures, free choice permission and presupposition projection

E-type interpretation without E-type pronoun: How Peirce s Graphs. capture the uniqueness implication of donkey sentences

Peter Hallman, University of Vienna

Syntactic Conditions for Antichain Property in CR-Prolog

Price: $25 (incl. T-Shirt, morning tea and lunch) Visit:

Lecture 4: Proposition, Connectives and Truth Tables

Dale Jacquette CONUNDRUMS OF CONDITIONALS IN CONTRAPOSITION

Knowledge representation DATA INFORMATION KNOWLEDGE WISDOM. Figure Relation ship between data, information knowledge and wisdom.

Propositional Logic. Jason Filippou UMCP. ason Filippou UMCP) Propositional Logic / 38

Epistemic Modals and Informational Consequence

Ling 130 Notes: Syntax and Semantics of Propositional Logic

Transcription:

Bar-Hillel and the Division of Labor in Language On the interaction of grammar, logic, and pragmatics Luka Crnič November 2, 2015 Language, Logic and Cognition Center http://scholars.huji.ac.il/llcc Luka Crnič, LLCC Bar-Hillel and Division of Labor Bar-Hillel Symposium 1 / 15

Bar-Hillel and the division of labor in language In his book Pragmatics of Natural Languages (Humanities Press, New York, 1971), Yehoshua Bar-Hillel convincingly demonstrated that the meanings of words, phrases and sentences in natural language can be quite context-dependent. Bar-Hillel, Yehoshua (1971). Pragmatics of Natural Languages. Humanities Press, New York. This context-dependence, and other points that Bar-Hillel made in that work, raise the question about the proper division of labor in (the study of) language and meaning: What are the proper domains of inquiry for syntax, semantics, logic, and pragmatics? Luka Crnič, LLCC Bar-Hillel and Division of Labor Bar-Hillel Symposium 2 / 15

Bar-Hillel and the division of labor in language The importance of this issue is equally forcefully made in Bar-Hillel s 1971 Linguistic Inquiry paper (in which he comes up with the now ubiquitous term pragmatic wastebasket ). Bar-Hillel, Yehoshua. (1971). Out of the pragmatic wastebasket. Linguistic Inquiry 2(3): 401 407. (Bar-Hillel, Out of the pragmatic wastebasket, p. 405) Luka Crnič, LLCC Bar-Hillel and Division of Labor Bar-Hillel Symposium 3 / 15

Following Bar-Hillel s dictum Since then, there has been a lively debate about many phenomena in natural language with regards to whether their properties should be captured in syntactic, semantic, or pragmatic theory, or by some combination of the three. These questions are still actively pursued also at the Hebrew University, for example, in the Language, Logic and Cognition Center, where Bar-Hillel s dictum and vision is adhered to in an interdisciplinary, formal study of natural language. Today, I plan to discuss one phenomenon and explore what the abovementioned fields logic, syntax, semantics, and pragmatics may contribute to our understanding of it: the interpretation of the logical word or in natural language. Luka Crnič, LLCC Bar-Hillel and Division of Labor Bar-Hillel Symposium 4 / 15

Disjunction in logic Disjunction in logic: At least one of the disjuncts is True! A B (A or B) T T T T T T F T T F F T F T T F F F F F Hypothesis no. 1 Disjunction in natural language = disjunction in logic! Luka Crnič, LLCC Bar-Hillel and Division of Labor Bar-Hillel Symposium 5 / 15

Disjunction in natural language (1) John talked to Mary or Sue. (2) Conveys: John didn t talk to both Mary and Sue. Disjunction in natural language: Exactly one of the disjuncts is True! Disjunction in logic: At least one of the disjuncts is True! A B ( A or EXCL B ) ( A or LOGIC B ) T T T F T T T T T F T T F T T F F T F T T F T T F F F F F F F F Hypothesis no. 2 Disjunction in natural language = exclusive disjunction! Luka Crnič, LLCC Bar-Hillel and Division of Labor Bar-Hillel Symposium 6 / 15

Puzzle: Negated disjunction (3) John didn t talk to Mary or Sue. (4) Conveys: John didn t talk to Mary & John didn t talk to Sue A B (A or EXCL B ) ( A or LOGIC B ) T T T T F T F T T T T F F T T F F T T F F T F F T T F F T T F F T F F F T F F F Hypothesis no. 3 Disjunction below negation = disjunction in logic! Disjunction elsewhere = exclusive disjunction! Luka Crnič, LLCC Bar-Hillel and Division of Labor Bar-Hillel Symposium 7 / 15

Puzzle: Disjunction below modals (5) John must talk to Mary or Sue. (6) Conveys: John must talk to Mary or Sue &JohncantalktoMary&JohncantalktoSue But neither meaning that we provided for or yields the desired free choice inference: (7) Logical disjunction variant: John must talk to at least one of Mary and Sue. (8) Exclusive disjunction variant: John must talk to exactly one of Mary and Sue. In fact, it is not obvious at all that we can cook up some meaning for or that would yield the desired free choice inference! So, we are at a dead end... Luka Crnič, LLCC Bar-Hillel and Division of Labor Bar-Hillel Symposium 8 / 15

Pragmatics to the rescue! (with some simplifications) Hypothesis no. 1 Disjunction in natural language = disjunction in logic! But our comprehension of disjunction is mediated by pragmatics: Maxim of Quantity (Grice 1975) If the speaker believes that an alternative sentence to a disjunctive sentence is true, and if that sentence is more informative than the disjunctive sentence, then the speaker should use that sentence. Disjunctive sentence (9) John talked to Mary or Sue. Alternative sentence (10) John talked to Mary and Sue. Luka Crnič, LLCC Bar-Hillel and Division of Labor Bar-Hillel Symposium 9 / 15

Pragmatics to the rescue! (with some simplifications) Hypothesis no. 1 Disjunction in natural language = disjunction in logic! But our comprehension of disjunction is mediated by pragmatics: Maxim of Quantity (Grice 1975) If the speaker believes that an alternative sentence to a disjunctive sentence is true, and if that sentence is more informative than the disjunctive sentence, then the speaker should use that sentence. Disjunctive sentence (11) John talked to Mary or Sue. Pragmatic inference (12) BELIEVE SP (John talked to Mary and Sue) We obtain the desired exclusive interpretation of or! X Luka Crnič, LLCC Bar-Hillel and Division of Labor Bar-Hillel Symposium 10 / 15

Negated disjunction Disjunctive sentence (13) John didn t talk to Mary or Sue. (= John didn t talk to Mary & John didn t talk to Sue) Alternative sentence (14) John didn t talk to Mary and Sue. Fact about logic (15) J. didn t talk to M. or S. is more informative than J. didn t talk to M. and S. Maxim of Quantity (Grice 1975) If the speaker believes that an alternative sentence to a disjunctive sentence is true, and if that sentence is more informative than the disjunctive sentence, then the speaker should use that sentence. Since the application of Maxim of Quantity is vacuous (the alternative is not more informative), we obtain the desired logical interpretation of or below negation! X Luka Crnič, LLCC Bar-Hillel and Division of Labor Bar-Hillel Symposium 11 / 15

Disjunction below modals Disjunctive sentence (16) John must talk to Mary or Sue. Alternative sentences (17) John must talk to Mary. (18) John must talk to Sue. (19) John must talk to Mary and Sue. Pragmatic inferences (20) BELIEVE SP (John must talk to Mary) (21) BELIEVE SP (John must talk to Sue) (22) BELIEVE SP (John must talk to Mary and Sue) Luka Crnič, LLCC Bar-Hillel and Division of Labor Bar-Hillel Symposium 12 / 15

Disjunction below modals Disjunctive sentence (23) John must talk to Mary or Sue. Pragmatic inferences (24) BELIEVE SP (John must talk to Mary) (25) BELIEVE SP (John must talk to Sue) (26) BELIEVE SP (John must talk to Mary and Sue) Pragmatic inferences together with the disjunctive sentence entail (27) John can talk to Mary. (28) John can talk to Sue. We obtain the desired free choice inference induced by or below modals! X Luka Crnič, LLCC Bar-Hillel and Division of Labor Bar-Hillel Symposium 13 / 15

Summary Contrary to initial appearances, a proper treatment of or in natural language does not require us to deviate from the standard logical analysis of or. In fact, a careful consideration of linguistic data suggests that it is impossible to come up with an empirically adequate syntactic-semantic characterization of or that would on its own yield correct inferences in simple, negated and modal sentences. We showed, with some simplifications, that adopting an intuitive pragmatic principle (Maxim of Quantity, Grice 1975) and the standard logical analysis of or delivers the desired results: we have derived the correct inferences induced by disjunction in simple sentences, in negated sentences, and below modals! (However, it may still be the case that our intuitive pragmatic principle could (or should) be put into a syntactico-semantic straitjacket (Bar-Hillel, Pragmatic wastebasket, p. 401). In fact, there may be good reasons to do so...) Luka Crnič, LLCC Bar-Hillel and Division of Labor Bar-Hillel Symposium 14 / 15

Wait a minute! We have seen that disjunction below negation receives a logical interpretation: A B (A or LOGIC B) T T F T T T T F F T T F F T F F T T F F T F F F But then the following discourse should not be felicitous: (29) John didn t talk to Mary OR Sue. He talked to both! In this case, or does appear to have an exclusive interpretation: A B (A or EXCL B) T T T T F T T F F T T F F T F F T T F F T F F F So, or may have an exclusive meaning in addition to its logical meaning after all! Or, perhaps more attractively, a version of the mechanism that derives its exclusive meaning may also apply below negation and, thus, be part of grammar. To be continued... Luka Crnič, LLCC Bar-Hillel and Division of Labor Bar-Hillel Symposium 15 / 15