Deontic Modality in Natural Language

Similar documents
Hedging Your Ifs and Vice Versa

Deliberative Modality under Epistemic Uncertainty

Five Problems for Quantificational Semantics for Deontic and Bouletic Modality

How do pessimistic agents save miners? A STIT based approach

March 2, 2007 Menéndez-Benito. Quick Introduction to the Semantics of Modals 1

The Puzzles of Deontic Logic

Subjective Ought. 1 For example, the literature on wide-scope obligations is at least partly based on assumptions

Intensional semantics: worlds, modals, conditionals

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

Deriving indirectness and questioning entailment for epistemic must 1

Is a Possible-Worlds Semantics of Modality Possible? A Problem for Kratzer s Semantics

TEMPORAL AND CIRCUMSTANTIAL DEPENDENCE IN COUNTERFACTUAL MODALS. DORIT ABUSCH Department of Lingusitics Cornell University

Update Semantics for Weak Necessity Modals

Modality: A Standard Analysis. Modality

Spring 2017 Ling 620. The Semantics of Modals, Part 2: The Modal Base 1

Philosophy 4310: Conditionals Spring 2017

Epistemic Modals and Informational Consequence

Discrete Mathematics Exam File Spring Exam #1

Relational semantics and domain semantics for epistemic modals

Intensionality. 1. Intensional Propositional Logic (IntPL).

Seminar in Semantics: Gradation & Modality Winter 2014

Must... stay... strong!

Remarks on Kratzer s Ordering- Premise Semantics of Modalities and Conditionals. Norry Ogata Osaka University. Contents

Deontic and Epistemic Modals in Suppositional [Inquisitive] Semantics

Dynamic Thoughts on Ifs and Oughts

Propositional Logic Review

Lecture 7. Logic. Section1: Statement Logic.

Indicative conditionals

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

An Invitation to Modal Logic: Lecture 1

Mathematics 114L Spring 2018 D.A. Martin. Mathematical Logic

FORMAL PROOFS DONU ARAPURA

n logical not (negation) n logical or (disjunction) n logical and (conjunction) n logical exclusive or n logical implication (conditional)

The Semantics of Conditional Modality

Philosophy 244: Modal Logic Preliminaries

Today. Next week. Today (cont d) Motivation - Why Modal Logic? Introduction. Ariel Jarovsky and Eyal Altshuler 8/11/07, 15/11/07

PHIL 50 - Introduction to Logic

INTRODUCTION TO LOGIC. Propositional Logic. Examples of syntactic claims

Spring 2018 Ling 620 The Semantics of Modals, Part 1: Basics of the Quantificational Analysis, and the Appearance of Ambiguity 1

Unit 6 Logic Math 116

Deontic Logic and Meta-Ethics

AI Programming CS S-09 Knowledge Representation

Introduction to Metalogic

Evidence Sensitivity in Weak Necessity Deontic Modals *

KB Agents and Propositional Logic

Modal Logics. Most applications of modal logic require a refined version of basic modal logic.

CS 2336 Discrete Mathematics

Principles of Knowledge Representation and Reasoning

Presuppositions (introductory comments)

Introduction to Metalogic 1

At the center of our treatment of modality is the idea that modal operators effect quantification over possible worlds.

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

On Indicative and Subjunctive Conditionals

Singleton Indefinites (re. Schwarzschild 2000)

Notes on Modal Logic

Grading Modal Judgment

Wondering What Might Be

Basics of conversational implicatures

Systems of modal logic

Indicative Scorekeeping

A Little Deductive Logic

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

Handout Lecture 1: Standard Deontic Logic

1 Completeness Theorem for First Order Logic

PROBABILISTIC LOGIC. J. Webster (ed.), Wiley Encyclopedia of Electrical and Electronics Engineering Copyright c 1999 John Wiley & Sons, Inc.

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

Fuzzy and Rough Sets Part I

Introducing Proof 1. hsn.uk.net. Contents

Chapter 1, Part I: Propositional Logic. With Question/Answer Animations

Antecedents of counterfactuals violate de Morgan s law

McTaggart s Argument for the Unreality of Time:

CS 2740 Knowledge Representation. Lecture 4. Propositional logic. CS 2740 Knowledge Representation. Administration

Modal Logic. Introductory Lecture. Eric Pacuit. University of Maryland, College Park ai.stanford.edu/ epacuit. January 31, 2012.

Discrete Structures of Computer Science Propositional Logic I

Kripke on Frege on Sense and Reference. David Chalmers

Logical Agent & Propositional Logic

CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS

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

Propositional Languages

COMP219: Artificial Intelligence. Lecture 19: Logic for KR

Appendix A. Table A1 Comparison of schemes

(An)Thony S. Gillies. Chicago Philosophy of Language/Semantics Workshop

about conditionals. It is a good example of what might be called systematic ordinary

A Little Deductive Logic

Modality in Language

Conditional preferences and practical conditionals

Two sets of alternatives for numerals

Modal Subordination in Type Theoretic Dynamic Logic

15414/614 Optional Lecture 1: Propositional Logic

C. Modal Propositional Logic (MPL)

Module 7 D and Equivalent Systems

Towards Tractable Inference for Resource-Bounded Agents

PREFERENCE SEMANTICS FOR DEONTIC LOGIC PART I SIMPLE MODELS LOU GOBLE

Outline. A Uniform Theory of Conditionals Stalnaker and Beyond. Stalnaker (1975) Uniform Theory of Conditionals and Response to Direct Argument

ON STALNAKER S INDICATIVE CONDITIONALS

Towards A Multi-Agent Subset Space Logic

COMP219: Artificial Intelligence. Lecture 19: Logic for KR

Propositional logic. First order logic. Alexander Clark. Autumn 2014

Maximal Introspection of Agents

A Philosophical Introduction to Formal Logic

Transcription:

Deontic Modality in Natural Language The Obligatory Guide Kai von Fintel Anthony S. Gillies MIT and Rutgers Association for Symbolic Logic 2011 Spring Meeting Session on Logic and Linguistics April 21, 2011

Overview A Quick Tour of Deontic Modality in Natural Language Challenges and Complications

Part I A quick tour

Different Concerns Deontic logic Philosophy/Cognitive Science AI Economics Natural language semantics

Natural Language Semantics Composition (internal, external) Semantics & Pragmatics Cross-linguistic Diachronic Is understaffed

Modal Meanings expressivism dynamic meanings static truth-conditional semantics

Context-Dependency (1) [Father to Son]: a. You may leave the table. b. You have to take out the garbage. c. You ought to call your grandma.

(2) [Grad school handbook]: a. You may take up to two undergraduate courses in other fields. b. You have to finish your thesis within 5 years. c. You ought to form your dissertation committee in your fourth year.

epistemic Given all those wet umbrellas, it has to be raining. deontic According to the hospital regulations, visitors have to leave by six pm. bouletic According to my wishes as your father, you have to go to bed in ten minutes. circumstantial Excuse me. Given the current state of my nose, I have to sneeze. teleological Given the choices of modes of transportation and their speeds, to get home in time, you have to take a taxi.

Kratzer s schema Modals are sensitive to two contextual parameters: a modal base, determining a set of possible worlds an ordering source, inducing an ordering on the worlds in the modal base Modals quantify over the best worlds given those two parameters.

Necessity have to φ MB = MB φ Note: modal takes a sentence as its argument (prejacent)

Contingency/Iterability have to φ w,mb = MB(w) φ Why? Iteration, uncertainty: (3) You might have to leave at 10 (I don t know what the dorm rules say exactly).

Factual Background have to φ w,mb,best = BEST (w)(mb(w)) φ

Or: Ordering have to φ w,mb,best = w f (w): ( w MB(w): w BEST,w w ) φ (w )

Ordering via Sets of Propositions Kratzer thinks of BEST (w) as a set of propositions {p BEST (w) : p(w )} {p BEST (w) : p(w )} w BEST,w w

Personal Modalities (4) There have to be 50 chairs in the living room by 5pm. (5) John has to put 50 chairs in the living room by 5pm. (6) [To the babysitter:] John has to be in bed by 7:30pm.

Epistemics under Deontics? (7) The evidence ought to point in Miller s direction. (8) Miller ought to be the prime suspect. (9) It had better be still possible that Miller did it. (10) #Miller ought to have to be the murderer.

Part II Challenges and Complications

Four topics Strong vs Weak Necessity Professor Procrastinate Iffy Oughts The Miners

A Cross-Linguistic Puzzle (11) everyone ought to wash their hands (12) Tout le monde everybody devrait must/cond ought = must/have to + counterfactual se REFL laver wash [von Fintel & Iatridou: How to say ought in Foreign ] les the mains hands

The Best of the Best must/have to φ BEST (w)(mb(w)) φ ought φ BEST 2 (w)(best 1 (w)(mb(w))) φ

Professor Procrastinate (13) Procrastinate ought to accept and write. (14) Procrastinate ought to accept.

Alternatives Jackson (1985), anticipated by Sloman (1970): deontic modals evaluate alternatives to the prejacent Jackson s version: ought φ wrt a comparison set C says that the way φ would happen (given the factual background) is preferred over the way that any of the alternatives would happen

(15) #Procrastinate ought to accept and write, but he ought not to accept.

Be careful about context shifts!

Iffy Oughts (16) If that tourist was mugged, we have to help him.

Wide-spread consensus in deontic logic: the if-clause modifies the factual background of the dyadic deontic operator. McNamara s complaint: a bit of a puzzle about why this apparent composite of a conditional and a deontic operator is actually some sort of primitive idiom involving a modal notion (SEP 2006)

Kratzer s Thesis The history of the conditional is the story of a syntactic mistake. There is no two-place if... then connective in the logical forms of natural languages. If-clauses are devices for restricting the domains of various operators. (Kratzer Conditionals, 1986)

Restricting Deontics if φ, have to ψ w,mb,best = have to ψ w,mb+,best where MB + = λw.mb(w) φ

(17) If φ, have to φ.

Zvolenszky s Complaint outlandish sentences like those under (18) come out true. (18) a. If teenagers drink then teenagers must drink. b. If I file my taxes, then I must file my taxes. c. If children don t eat spinach then children shouldn t eat spinach.

The Flipside (19) a. If The Dalai Lama is mad, then he should be mad. b. If Yogi Bear works then he has to work c. If Bart Simpson listens to Bartók, then he must do so.

Two Desiderata 1 Explain the reading under which if φ, must φ makes a contingent claim 2 Explain why we do not perceive the tautological reading

Bare Conditionals (20) If this dog is approached, he bites. (21) If John was here on time, he left Cambridge at noon. Kratzer: covert operator restricted by if-clause covert frequency adverb in (20) ( always ) covert epistemic necessity modal in (21) ( must )

Predicted Ambiguity if-clause restricting (covert) epistemic modal under which the deontic modal is embedded if-clause restricting the deontic modal directly

(22) If Caspar vacuums on Saturday, then Chris has to cook dinner on Sunday. [Sarah Moss] (23) If Caspar vacuums on Saturday, then Chris must have to cook dinner on Sunday.

But Why No Tautology? Two ideas: when there is a contingent reading for a sentence, we do not perceive a non-contingent reading, even if the grammar generates it modals that employ an ordering source presuppose/implicate that the prejacent is not already trivial wrt the factual background (i.e. there are prejacent and non-prejacent worlds in the factual background)

(24) If he s here, he s here. (25) A man s gotta do what a man s gotta do.

Finally: The Miners

Kolodny & MacFarlane 2010 Ten miners are trapped either in shaft A or in shaft B, but we do not know which. Flood waters threaten to flood the shafts. We have enough sandbags to block one shaft, but not both. If we block one shaft, all the water will go into the other shaft, killing any miners inside it. If we block neither shaft, both shafts will fill halfway with water, and just one miner, the lowest in the shaft, will be killed.

We should block neither shaft. at the same time: If the miners are in shaft A, we should block A. If the miners are in shaft B, we should block B.

Kolodny & MacFarlane: give up on modus ponens!

(26) We should block neither shaft. A Semantic Puzzle

The Ordering of Worlds AA,BB < AN,BN < AB,BA

Recent Attempts Nate Charlow (2011 ms) Fabrizio Cariani, Stefan Kaufmann & Magdalena Schwager (2011 ms)

Charlow Charlow: the Miners Puzzle only arises with weak necessity modals (27) a. They re in A or B. b. If they re in A, we must [have to] block A. c. If they re in B, we must [have to] block B. d. We may block neither shaft.

Coarsen the Ordering Repurposing von Fintel & Iatridou, Charlow derives a coarsening of the original order: AA,BB < AN,BN < AB,BA AA,BB,AN,BN < AB,BA possibilities where we do nothing (and nine are saved) are ranked as highly as those where we block the correct shaft (and all ten are saved)

Two Problems for Charlow Gets not (ought (A or B)), but we want ought (not (A or B)) Not restricted to weak necessity

Cariani, Kaufmann & Schwager A decision problem partitions the modal base All the worlds in a partition stand and fall together for ordering

Partitioning and Reordering AN BN < < AB BB AA BA

A Third Way Modal propositions in the ordering source Rank worlds according to the expected value (# of miners saved) cf. epistemics embedded under deontics

More Performative deontic modals Imperatives Free choice Inquisitive semantics and deontics