Five Problems for Quantificational Semantics for Deontic and Bouletic Modality

Size: px
Start display at page:

Download "Five Problems for Quantificational Semantics for Deontic and Bouletic Modality"

Transcription

1 Five Problems for Quantificational Semantics for Deontic and Bouletic Modality The five problems: February 19, 2014 (1) Gradability of deontic modals and desire verb (2) Deontic and bouletic modals are not upward monotonic (3) Fine-grained interactions with probability (4) Deontic and bouletic comparatives (5) Deontic conflicts These are problems which arise for any quantificational semantics for expressions of desire, needs, and requirements. Lassiter distinguishes between two such types of quantificational semantics: Ideal-Worlds Semantics and Best-Available-Worlds Semantics. In Ideal-Worlds Semantics, context determines a set of accessible worlds, and then we quantify over this set using,, and. Let Deo be a function from worlds w and contexts c to the set of deontically accessible worlds from w in c and Boul be its bouletic counterpart. Then, (6) a. You ought to do your homework M,w = 1 if and only if: w Deo(c)(w) : You do your homework M,w = 1 b. You may have a piece of candy M,w = 1 if and only if: w Deo(c)(w) : You have a piece of candy M,w = 1 c. I want to go to Disneyland M,w = 1 if and only if: w Boul(c)(w) : I go to Disneyland M,w = 1 Recall from Kratzer (1991) that conditionals raise a problem for Ideal-World Semantics. (7) a. Charlie does not steal. b. If Charlie steals, he is punished. Taking if to denote the material conditional, (7b) is vacuously true since the antecedent will be false in all deontically accessible worlds. One way to solve this is to let Deo and Boul be functions from worlds w and contexts c to preference orders, rather than sets. Conditionals can then be treated by having the antecedent function as a restrictor on the modal ordering. For example, (8) If φ then ought ψ M,w h = ought ψ M,w h, where a. For all w, hw is the relevant deontic ordering on worlds. b. For all w, h (w) = df h(w) {w φ M,w,g,c = 1}. c. R A is the restriction of the binary order R to the set A. In general, semantics for deontic and bouletic modals in which they are interpreted as universal or existential quantifiers with restrictions are Best-Available-Worlds semantics. 1 Problem 1: Gradability of deontic modals and desire verb Deontic modals and desire verbs can occur with degree modification. (9) Ought: A war between Great Britain and the US ought very much to be deprecated. 1

2 (10) Should: I don t think he [UFC fighter Phil Davis] should be compared to Rosholt as much as he should be to Houston Alexander. (11) Require: The members of a literary group are required to have a blazer, more than they are required to have ever actually read the book. (12) Want: I am an American and I want very much to travel to Cuba. (13) Need: But really s need to be timely more than they need to be amazing. (14) Good: It is better for children to grow up in the countryside than in the big city. The data in (9)-(14) are problematic for a quantificational theory because quantifiers are not gradable, nor do they make reference to degrees or binary orders. We saw a related problem in von Fintel and Iatridou (2008): ought and should are weaker than must and have to. (15) a. You ought to wash your hands, but I guess I can t say you have to. b. # You have to wash your hands, but I guess I can t say you ought to. Kratzer s theory does not allow for such a distinction, but we saw that von Fintel and Iatridou can handle it by adding a second ordering source. However, von Fintel and Iatridou s account cannot explain the fact that ought and should participate in neg-raising while must and have to do not, as pointed out by Horn (1989). In this respect, ought and should pattern with most and relative-standard adjectives, while must and have to pattern with universal quantifiers and maximum-standard adjectives. (16) Ought, should, most and relative-standard adjectives a. I don t think you ought to leave. I think you ought to stay. b. I don t think most of my friends would like this music. I think most of my friends would dislike this music. c. I don t think Mary is happy. I think Mary is unhappy. (17) Must, have to, universal quantifiers, and maximum-standard adjectives. a. I don t think Sam must wash the dishes. I think Sam must not wash the dishes. b. I don t think Mary ate all the cookies. I think that Mary ate none of the cookies. c. I don t think the glass is full. I think the glass is empty. 2 Problem 2: Deontic and bouletic modals are not upward monotonic. (18) An operator O is upward monotonic iff df [φ ψ] = [O(φ) O(ψ)]. Both and are upward monotonic, which has the consequence that the following inferences involving conjunction and disjunction are valid. (19) Conjunction a. x[p (x) Q(x)] = x[p (x)] b. x[p (x) Q(x)] = x[p (x)] (20) Disjunction a. x[p (x)] = x[p (x) Q(x)] b. x[p (x)] = x[p (x) Q(x)] This predicts, correctly, that the following inferences are valid. 2

3 (21) a. A friend of mine lives in Houston and has a cat. So, a friend of mine lives in Houston. b. Everybody knows bill and everybody hates Fred. So, everybody knows Bill. (22) a. Some employee is in Atlanta. So, some employee is in Atlanta or Pittsburgh. b. All of the boys are in Atlanta. So, all of the boys are in Atlanta or Pittsburgh. There is a third valid inference, which holds only for the universal quantifier. (23) a. x[p (x)] x[q(x)] = x[p (x) Q(x)] b. Everybody has a cat, and everybody has a dog. So, everybody has a cat and a dog. For many deontic and bouletic modals D, these inferences are not valid. 2.1 Professor Procrastinate (D(φ ψ) = D(φ)) Jackson and Pargetter (1986): Prof. Procrastinate is invited to review a book on which he is the only fully qualified specialist on the planet. Procrastinate s notable flaw, however, is his inability to bring projects to completion. In particular, if Procrastinate accepts to review the book, it is extremely likely that he will not end up writing the review. In the eyes of the editor, and of the whole scientific community, this is the worst possible outcome. If Procrastinate declines, someone else will write the review someone less qualified than him, but more reliable. In this situation, it seems reasonable to judge (24a) true, but not (24b) false. (24) a. Prof. Procrastinate ought to accept and write the review. b. Prof. Procrastinate ought to accept. 2.2 Ross Paradox (D(φ) = D(φ ψ)) Ross (1944): (25) a. The boss wants you to go to Atlanta. So, the boss wants you to go to Atlanta or Boston. b. Mary needs to work harder. So, Mary needs to work harder or quit her job. c. We are required to drive less than 70mph. So, we are required to drive less than 70mph or more than 100mph. d. You should wash the dishes. So, you should wash the dishes or break them. It might seem plausible to rule these inferences out via Grice s Maxim of Quantity. But there are situations that suggest pragmatics are not at play here, including downward-entailing contexts and certain retractions (Cariani 2013). (26) a. I doubt that Lynn ought to either wear a tie or a scarf. In fact, I m reasonably certain she ought to wear a scarf. b. # I doubt that everyone is either Italian or French. In fact, I m reasonably certain that everyone is Italian. (27) a. Sam: According to the rules, you have to follow suit or play the king of trumps. Joan: No, the rules quite explicitly say you ought to follow suit, no matter what. Sam: I guess what I said was wrong. b. Sam: Everyone followed suit or played the king of trumps. Joan: Nobody had the king of trumps. Everyone followed suit. Sam: # I guess what I said was wrong. 3

4 2.3 Chicken (D(φ) D(ψ) = D(φ ψ)) Jackson (1985): Attila and Genghis are driving their chariots towards each other. If neither swerves, there will be a collision; if both swerve, there will be a worse collision (in a different place, of course); but if one swerves and the other does not, there will be no collision. Moreover if one swerves, the other will not because neither wants a collision. Unfortunately, it is also true to an even greater extent that neither wants to be chicken; as a result what actually happens is that neither swerves and there is a collision. In this situation, all of the following are intuitively true. (28) a. Attila ought to swerve. b. Genghis ought to swerve. c. It s not the case that Attila and Genghis ought to both swerve. 3 Fine-grained interactions with probability The problems in the last section seem to be related to probability. For example, Prof. Procrastinate ought to accept is false, even though in the best possible world he accepts and writes the review, because there is a high probability that if he accepts, he will not write the review. Consider a case of a doctor who must choose whether to treat a patient with medicine A or medicine B. A has a small chance of producing a cure and a larger chance of killing the patient. B will save the patient s life, although it will leave him slightly debilitated. The intuitive answer is that the doctor should choose B, since A is very risky. However, standard quantificational semantics says the doctor should choose A since every possible world is dominated by one in which the doctor gives the patient medicine A (and the patient lives). Or consider the Miner s Paradox. Kolodny and 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 lowsest in the shaft, will be killed. We take it as obvious that the outcome of our deliberation should be (29) We ought to block neither shaft. Still, in deliberating about what to do, it seems natural to accept (30) If the miners are in shaft A, we ought to block shaft A. (31) If the miners are in shaft B, we ought to block shaft B. We also accept (32) Either the miners are in shaft A or they are in shaft B. But (30), (31), and (32) seem to entail (33) Either we ought to block shaft A or we ought to block shaft B. 4

5 And this is incompatible with (29). So we have a paradox. A Best-Available-Worlds Semantics gives us the truth of (30) and (31), since the antecedent of the if clause restricts us to worlds where the miners are in shaft A (30) or shaft B (31). However, it cannot give us (29) because in the unrestricted order, all worlds where we block neither shaft (and nine miners are saved) are strictly dominated by wolds in which we block one of the shafts (and ten miners are saved). Note that what we intuitively ought to do is not what we do in the best possible worlds. It is sub-optimal, but safe. Kolodny and MacFarlane try to salvage the quantificational semantics with what they call serious information-dependence. (34) A deontic selection function d is seriously information-dependent iff for some information states i 1, i 2 i 1, there is a world w i 2 such that w d(i 1 ) but w d(i 2 ). In other words, gaining information can reverse the deontic orderings between pairs of worlds. This makes it possible for all of (29)-(33) logically compatible. However, there are problems with this approach, as pointed out by Charlow (2013): i. Kolodny and MacFarlane cannot explain why (29) is intuitively true, they only show that it can be made consistent with (30)-(33). In principle, their fix allows information to affect the deontic ordering in any arbitrary way. ii. iii. Serious information-dependence means allowing information gain to reverse preferences among fullyspecified states of affairs. Charlow writes, If a possibility has enough (with respect to other possibilities in a set p) good-making features, then it does not cease having enough good-making features with respect to a contraction of p. Kolodny and MacFarlane justify serious information-dependence based on the intuition that a world in which both shafts are left open may be more ideal than one in which shaft A is closed relative to a less informed state, but less ideal relative to a more informed state. However, the intuition is actually about the ideality of propositions, not worlds. Worlds are fully-specified states of affairs. The ideality of a world in which both shafts are left open as compared to one where shaft A is closed depends on whether or not the miners are in shaft A, not on our information state. But intuitively, the ideality of the propositions to leave both shafts open or close shaft A does depend on our information state.s 4 Deontic and bouletic comparatives We can modify Kratzer s theory to make it resemble a degree semantics by identifying the degrees with equivalence classes of propositions under Kratzer s order. (35) s g(w) = {(p, q) w q w p : w g(w) w } The order over propositions in (35) is derived from the order over worlds. (36) g(w) = {(w, w ) {p : p g(w) w p} {q : q g(w) w q}} The reduction of s g(w) to equivalence classes is a partially ordered (transitive, reflexive, antisymmetric) set of degrees. The fact that Kratzer defines the order using the subset relation means that any two propositions that violate a disjoin set of norms will not be deontically or bouletically comparable. Image the ordering source g(w) gives two norms and the modal base contains two worlds (among others) as follows. (37) Two norms in g(w) a. Norm 1: There is no trespassing. 5

6 b. Norm 2: There is no murder. (38) Two worlds (among others) in the modal base a. w 1, where someone trespasses but no one commits murder b. w 2, where someone commits murder but no one trespasses Since w 1 violates Norm 1 but not Norm 2 and w 2 violates Norm 2 but not Norm 1, the two are deontically incomparable (neither w 1 g(w) w 2 nor w 2 g(w) w 1 ). If the modal base is rich enough and the propositions in the ordering source are logically independent, then Kratzer s theory predicts that neither (39a) nor (39b) will have a truth value. (39) a. It is better to trespass than it is to murder. b. It is better to murder than it is to trespass. It is also impossible to make any quantitative comparisons using Kratzer s theory. Kratzer s s g(w) is a pre-order. A Kratzer-structure K defined using this relation gives a very weak scale. For example, these structures are too weak to make sense of statements such as the following. (40) φ is much better than ψ. No matter how small the difference between the goodness of φ and ψ must be for φ to count as much better, there will be an admissible measure function for which the difference between φ and ψ fails to exceed this threshold. 5 Deontic conflicts Suppose you have promised to pick up your sister from the airport and you have promised to attend a concert with your friend. Now you learn that your sister is arriving during the concert. You have a deontic conflict. You ought to fulfill your promises, so you ought to pick up your sister from the airport and you ought to attend the concert. But you can t do both. On standard quantificational theories, such conflicts cannot exist. Suppose that ought A is true iff some world satisfying A is better than any world satisfying not A. Assume that A and B are incompatible. Thus, all worlds that satisfy B satisfy not A. Assume that it ought to be the case that A. Then some world satisfying A is better than any world satisfying B. But then it is not the cause that ought B. Either it ought to be the case that A or it ought to be the case that B or the two are incomparable. Kratzer s theory avoids this problem, but has a different one. When you make a promise, it is added to your ordering source g(w). When there is an inconsistency in the ordering source, there is no contradiction. However, it is still not possible for ought φ and ought ψ to be true if φ and ψ are inconsistent, since it is not the case that in all the undominated worlds it s the case that φ or in all the undominated worlds it s the case that ψ. (41) a. It s not the case that you should pick up your sister. w BEST(f(w))(g(w)) : w φ b. It s not the case that you should go to your friend s concert. w BEST(f(w))(g(w)) : w ψ This is the wrong prediction. What we want to say is that you should pick up your sister and you should go to your friend s concert. 6

7 References Cariani, F. (2013). Ought and resolution semantics. Noûs, 47(3): Charlow, N. (2013). What we know and what to do. Synthese, 190(12): Horn, L. (1989). A natural history of negation. University of Chicago Press, Chicago, Ill. Jackson, F. (1985). On the semantics of logic and obligation. Mind, 94(374): Jackson, F. and Pargetter, R. (1986). Oughts, options, and actualism. Philosophical Review, 9(2): Kolodny, N. and MacFarlane, J. (2010). Ifs and oughts. The Journal of Philosophy, 107(3): Kratzer, A. (1991). The representation of focus. In Stechow, A. v. and Wunderlich, D., editors, Semantics: An international handbook of contemporary research, pages Walter de Gruyter, Berlin. Ross, A. (1944). Imperatives and logic. Philosophy of Science, 11(1): von Fintel, K. and Iatridou, S. (2008). How to say ought in foreign: The composition of weak necessity modals. In Gueron, J. and Lecarme, J., editors, Time and Modality, pages Springer. 7

The Puzzles of Deontic Logic

The Puzzles of Deontic Logic The Puzzles of Deontic Logic 04.09.12 William Starr Phil 6710 / Ling 6634 Spring 2012 For now, we won t place any constraints on R Notation: R(w) := {w R(w, w )} Models M = R, W, v A model says what the

More information

Seminar in Semantics: Gradation & Modality Winter 2014

Seminar in Semantics: Gradation & Modality Winter 2014 1 Subject matter Seminar in Semantics: Gradation & Modality Winter 2014 Dan Lassiter 1/8/14 Handout: Basic Modal Logic and Kratzer (1977) [M]odality is the linguistic phenomenon whereby grammar allows

More information

Deontic Modality in Natural Language

Deontic Modality in Natural Language 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,

More information

Basics of conversational implicatures

Basics of conversational implicatures Semantics I, Rutgers University Week 12 Yimei Xiang November 19, 2018 1. Implication relations Basics of conversational implicatures Implication relations are inferential relations between sentences. A

More information

Homogeneity and Plurals: From the Strongest Meaning Hypothesis to Supervaluations

Homogeneity and Plurals: From the Strongest Meaning Hypothesis to Supervaluations Homogeneity and Plurals: From the Strongest Meaning Hypothesis to Supervaluations Benjamin Spector IJN, Paris (CNRS-EHESS-ENS) Sinn und Bedeutung 18 Sept 11 13, 2013 1 / 40 The problem (1) Peter solved

More information

How do pessimistic agents save miners? A STIT based approach

How do pessimistic agents save miners? A STIT based approach How do pessimistic agents save miners? A STIT based approach Xin Sun 1, Zohreh Baniasadi 2, Shuwen Zhou 3 1,2 Faculty of Science, Technology and Communication, University of Luxembourg, 3 School of computer

More information

Kratzer on Modality in Natural Language

Kratzer on Modality in Natural Language Kratzer on Modality in Natural Language 1 Modal Logic General Propositional modal logic: Syntax: 02.06.12 William Starr Phil 6710 / Ling 6634 Spring 2012 Atomic formulas: P, Q, R,..., Connecties:,,,,,,

More information

Predicates, Quantifiers and Nested Quantifiers

Predicates, Quantifiers and Nested Quantifiers Predicates, Quantifiers and Nested Quantifiers Predicates Recall the example of a non-proposition in our first presentation: 2x=1. Let us call this expression P(x). P(x) is not a proposition because x

More information

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

March 2, 2007 Menéndez-Benito. Quick Introduction to the Semantics of Modals 1 Quick Introduction to the Semantics of Modals 1 Syntactic assumptions (following von Fintel & Heim 2005): modals are raising predicates (see Wurmbrand 1999, Bhatt 1998) 1) John must go home. 2) [John [λ

More information

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

Two kinds of long-distance indefinites Bernhard Schwarz The University of Texas at Austin Amsterdam Colloquium 2001, December 17-19, 2001 Two kinds of long-distance indefinites Bernhard Schwarz The University of Texas at Austin 1. Introduction Indefinites can often be interpreted as if they

More information

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

To every formula scheme there corresponds a property of R. This relationship helps one to understand the logic being studied. Modal Logic (2) There appeared to be a correspondence between the validity of Φ Φ and the property that the accessibility relation R is reflexive. The connection between them is that both relied on the

More information

Indicative conditionals

Indicative conditionals Indicative conditionals PHIL 43916 November 14, 2012 1. Three types of conditionals... 1 2. Material conditionals... 1 3. Indicatives and possible worlds... 4 4. Conditionals and adverbs of quantification...

More information

Epistemic Modals and Informational Consequence

Epistemic Modals and Informational Consequence Epistemic Modals and Informational Consequence [This is a penultimate draft. Please quote only from the published version. The paper is already available through Online First at http://www.springerlink.com/content/0039-7857]

More information

Must... stay... strong!

Must... stay... strong! Alex Goebel 620 Spring 2016 Paper Presentation of von Fintel & Gillies (2010) Synopsis Must... stay... strong! Von Fintel & Gillies (vf&g) argue against a weakened semantics of must and propose an alternative

More information

Deliberative Modality under Epistemic Uncertainty

Deliberative Modality under Epistemic Uncertainty Deliberative Modality under Epistemic Uncertainty Fabrizio Cariani, Magda Kaufmann & Stefan Kaufmann April 4, 2013 1 Introduction The modalized sentence in (1) is easily understood as expressing that reading

More information

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

Subjective Ought. 1 For example, the literature on wide-scope obligations is at least partly based on assumptions Subjective Ought This paper concerns the subjective ought in natural language. If you think the apple is poisoned, there s a sense in which you ought not eat the apple even if, unbeknownst to you, the

More information

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

Ling 98a: The Meaning of Negation (Week 5) 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

More information

A Note on the Good Samaritan Paradox and the Disquotation Theory of Propositional Content a

A Note on the Good Samaritan Paradox and the Disquotation Theory of Propositional Content a A Note on the Good Samaritan Paradox and the Disquotation Theory of Propositional Content a Steven Orla Kimbrough University of Pennsylvania kimbrough@wharton.upenn.edu DEON, May 2002, London a File: deon02-good-samaritan-slides.txt.

More information

CHAPTER 6 - THINKING ABOUT AND PRACTICING PROPOSITIONAL LOGIC

CHAPTER 6 - THINKING ABOUT AND PRACTICING PROPOSITIONAL LOGIC 1 CHAPTER 6 - THINKING ABOUT AND PRACTICING PROPOSITIONAL LOGIC Here, you ll learn: what it means for a logic system to be finished some strategies for constructing proofs Congratulations! Our system of

More information

Priority Structure in Deontic Logic

Priority Structure in Deontic Logic Tsinghua University, Beijing, China EASLLI, 29 August 2012 Joint project with van Benthem and Grossi Johan van Benthem, Davide Grossi, and : Deontics = Betterness + Priority, in Guido Governatori and Giovanni

More information

Modality: A Standard Analysis. Modality

Modality: A Standard Analysis. Modality Modality: A Standard Analysis 1 Ling 406/802 Read Meaning and Grammar, Ch. 5.3.2; Kratzer 1991, pp. 639-644 Modality 2 Modality has to do with necessity and possibility of situations. Grammatical means

More information

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

Spring 2017 Ling 620. The Semantics of Modals, Part 3: The Ordering Source 1 1. On Our Last Episode The Semantics of Modals, Part 3: The Ordering Source 1 We developed a semantics for modal auxiliaries in English, that achieved the goals in (1). (1) Overarching Analytic Goal A

More information

Counterfactuals and comparative similarity

Counterfactuals and comparative similarity Counterfactuals and comparative similarity Jeremy Goodman Draft of February 23, 2015 Abstract An analysis of counterfactuals in terms of the comparative similarity of possible worlds is widely attributed

More information

Non-normal Worlds. Daniel Bonevac. February 5, 2012

Non-normal Worlds. Daniel Bonevac. February 5, 2012 Non-normal Worlds Daniel Bonevac February 5, 2012 Lewis and Langford (1932) devised five basic systems of modal logic, S1 - S5. S4 and S5, as we have seen, are normal systems, equivalent to K ρτ and K

More information

Existence and Predication in Free Logics. Secretaria de Estado de Educação do Distrito Federal, Brasil

Existence and Predication in Free Logics. Secretaria de Estado de Educação do Distrito Federal, Brasil Studia Humana Volume 6:4 (2017), pp. 3 9 DOI: 10.1515/sh-2017-0023 Guilherme Kubiszeski Existence and Predication in Free Logics Secretaria de Estado de Educação do Distrito Federal, Brasil email: guilhermefk4@gmail.com

More information

Intensional semantics: worlds, modals, conditionals

Intensional semantics: worlds, modals, conditionals Intensional semantics: worlds, modals, conditionals 1 Limitations of the actual world Recall some assumptions we have followed in this class: Sentences are conditional truth values ( 1 iff truth condition]

More information

CS 3110: Proof Strategy and Examples. 1 Propositional Logic Proof Strategy. 2 A Proof Walkthrough

CS 3110: Proof Strategy and Examples. 1 Propositional Logic Proof Strategy. 2 A Proof Walkthrough CS 3110: Proof Strategy and Examples 1 Propositional Logic Proof Strategy The fundamental thing you have to do is figure out where each connective is going to come from. Sometimes the answer is very simple;

More information

Tooley on backward causation

Tooley on backward causation Tooley on backward causation Paul Noordhof Michael Tooley has argued that, if backward causation (of a certain kind) is possible, then a Stalnaker-Lewis account of the truth conditions of counterfactuals

More information

La logique des conditionnels. Rentrée Cogmaster

La logique des conditionnels. Rentrée Cogmaster La logique des conditionnels Rentrée Cogmaster M. Cozic & P. Egré IHPST/Paris 1, CNRS, DEC-ENS IJN, CNRS, DEC-ENS What are conditional sentences? If P then Q (1) If it s a square, then it s rectangle.

More information

First-Degree Entailment

First-Degree Entailment March 5, 2013 Relevance Logics Relevance logics are non-classical logics that try to avoid the paradoxes of material and strict implication: p (q p) p (p q) (p q) (q r) (p p) q p (q q) p (q q) Counterintuitive?

More information

MAT2345 Discrete Math

MAT2345 Discrete Math Fall 2013 General Syllabus Schedule (note exam dates) Homework, Worksheets, Quizzes, and possibly Programs & Reports Academic Integrity Do Your Own Work Course Web Site: www.eiu.edu/~mathcs Course Overview

More information

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

Semantics I, Rutgers University Week 3-1 Yimei Xiang September 17, Predicate logic Semantics I, Rutgers University Week 3-1 Yimei Xiang September 17, 2018 Predicate logic 1. Why propositional logic is not enough? Discussion: (i) Does (1a) contradict (1b)? [Two sentences are contradictory

More information

Seminar in Semantics: Gradation & Modality Winter 2014

Seminar in Semantics: Gradation & Modality Winter 2014 Seminar in Semantics: Gradation & Modality Winter 2014 Dan Lassiter 1/15/14 Handout Contents 1 Sign up to present a reading and lead discussion 1 2 Finishing up Kratzer 1991 1 3 Klein 1980 4 4 Orders and

More information

Precis of Aristotle s Modal Syllogistic

Precis of Aristotle s Modal Syllogistic Philosophy and Phenomenological Research Philosophy and Phenomenological Research Vol. XC No. 3, May 2015 doi: 10.1111/phpr.12185 2015 Philosophy and Phenomenological Research, LLC Precis of Aristotle

More information

PS10.3 Logical implications

PS10.3 Logical implications Warmup: Construct truth tables for these compound statements: 1) p (q r) p q r p q r p (q r) PS10.3 Logical implications Lets check it out: We will be covering Implications, logical equivalence, converse,

More information

Williamson s Modal Logic as Metaphysics

Williamson s Modal Logic as Metaphysics Williamson s Modal Logic as Metaphysics Ted Sider Modality seminar 1. Methodology The title of this book may sound to some readers like Good as Evil, or perhaps Cabbages as Kings. If logic and metaphysics

More information

TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica. Final examination Logic & Set Theory (2IT61/2IT07/2IHT10) (correction model)

TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica. Final examination Logic & Set Theory (2IT61/2IT07/2IHT10) (correction model) TECHNISCHE UNIVERSITEIT EINDHOVEN Faculteit Wiskunde en Informatica Final examination Logic & Set Theory (2IT61/2IT07/2IHT10) (correction model) Thursday October 29, 2015, 9:00 12:00 hrs. (2) 1. Determine

More information

Propositional Logic Review

Propositional Logic Review Propositional Logic Review UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane The task of describing a logical system comes in three parts: Grammar Describing what counts as a formula Semantics Defining

More information

Not very Adj: Vagueness and Implicature Calculation

Not very Adj: Vagueness and Implicature Calculation Not very Adj: Vagueness and Implicature Calculation Timothy Leffel, Alexandre Cremers, Jacopo Romoli, Nicole Gotzner January 9, 2016 LSA Annual Meeting Washington, DC 1 / 25 Outline 1 background 2 a puzzle

More information

1 Propositional Logic

1 Propositional Logic CS 2800, Logic and Computation Propositional Logic Lectures Pete Manolios Version: 384 Spring 2011 1 Propositional Logic The study of logic was initiated by the ancient Greeks, who were concerned with

More information

CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS

CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS 1 Language There are several propositional languages that are routinely called classical propositional logic languages. It is due to the functional dependency

More information

Critical Reading of Optimization Methods for Logical Inference [1]

Critical Reading of Optimization Methods for Logical Inference [1] Critical Reading of Optimization Methods for Logical Inference [1] Undergraduate Research Internship Department of Management Sciences Fall 2007 Supervisor: Dr. Miguel Anjos UNIVERSITY OF WATERLOO Rajesh

More information

Antecedents of counterfactuals violate de Morgan s law

Antecedents of counterfactuals violate de Morgan s law Antecedents of counterfactuals violate de Morgan s law Lucas Champollion champollion@nyu.edu Joint work with Ivano Ciardelli and Linmin Zhang Fourth Workshop on Natural Language and Computer Science (NLCS

More information

Philosophy 4310: Conditionals Spring 2017

Philosophy 4310: Conditionals Spring 2017 Philosophy 4310: Conditionals Spring 2017 INSTRUCTOR OFFICE E-MAIL OFFICE HOURS Joel Velasco Eng/Phil 265G joel.velasco@ttu.edu T, W, Th 11-12 Any competent speaker of English can deploy and understand

More information

Presuppositions (introductory comments)

Presuppositions (introductory comments) 1 Presuppositions (introductory comments) Some examples (1) a. The person who broke the typewriter was Sam. b. It was Sam who broke the typewriter. c. John screwed up again. d. John likes Mary, too. e.

More information

Relational semantics and domain semantics for epistemic modals

Relational semantics and domain semantics for epistemic modals Penultimate draft of a paper forthcoming in the Journal of Philosophical Logic. The final publication is available at Springer via http://dx.doi.org/10.1007/s10992-016-9414-x Relational semantics and domain

More information

University of California, San Diego Department of Computer Science and Engineering CSE 20. Solutions to Midterm Exam Winter 2018

University of California, San Diego Department of Computer Science and Engineering CSE 20. Solutions to Midterm Exam Winter 2018 University of California, San Diego Department of Computer Science and Engineering CSE 20 Solutions to Midterm Exam Winter 2018 Problem 1 (30 points) a. The boolean function f(p, q) = (q p) ( q p) is specified

More information

The paradox of knowability, the knower, and the believer

The paradox of knowability, the knower, and the believer The paradox of knowability, the knower, and the believer Last time, when discussing the surprise exam paradox, we discussed the possibility that some claims could be true, but not knowable by certain individuals

More information

09 Modal Logic II. CS 3234: Logic and Formal Systems. October 14, Martin Henz and Aquinas Hobor

09 Modal Logic II. CS 3234: Logic and Formal Systems. October 14, Martin Henz and Aquinas Hobor Martin Henz and Aquinas Hobor October 14, 2010 Generated on Thursday 14 th October, 2010, 11:40 1 Review of Modal Logic 2 3 4 Motivation Syntax and Semantics Valid Formulas wrt Modalities Correspondence

More information

Deontic and Epistemic Modals in Suppositional [Inquisitive] Semantics

Deontic and Epistemic Modals in Suppositional [Inquisitive] Semantics Deontic and Epistemic Modals in Suppositional [Inquisitive] Semantics Martin Aher 1 and Jeroen Groenendijk 2 1 Tartu University 2 ILLC, University of Amsterdam January 16, 2015 Abstract In Groenendijk

More information

Notes on Propositional and First-Order Logic (CPSC 229 Class Notes, January )

Notes on Propositional and First-Order Logic (CPSC 229 Class Notes, January ) Notes on Propositional and First-Order Logic (CPSC 229 Class Notes, January 23 30 2017) John Lasseter Revised February 14, 2017 The following notes are a record of the class sessions we ve devoted to the

More information

Neale and the slingshot Fabrice Correia

Neale and the slingshot Fabrice Correia a Neale and the slingshot Fabrice Correia 'Slingshot arguments' is a label for a class of arguments which includes Church's argument to the effect that if sentences designate propositions, then there are

More information

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 =

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 = Introduction to Propositional Logic Propositional Logic (PL) is a logical system that is built around the two values TRUE and FALSE, called the TRUTH VALUES. true = 1; false = 0 1. Syntax of Propositional

More information

Exhaustive interpretations: what to say and what not to say

Exhaustive interpretations: what to say and what not to say Benjamin SPECTOR Laboratoire de linguistique formelle, Paris 7/Ecole Normale Supérieure benjamin.spector@ens.fr Exhaustive interpretations: what to say and what not to say LSA Institute, workshop on Context

More information

Proving Completeness for Nested Sequent Calculi 1

Proving Completeness for Nested Sequent Calculi 1 Proving Completeness for Nested Sequent Calculi 1 Melvin Fitting abstract. Proving the completeness of classical propositional logic by using maximal consistent sets is perhaps the most common method there

More information

Relevant Logic. Daniel Bonevac. March 20, 2013

Relevant Logic. Daniel Bonevac. March 20, 2013 March 20, 2013 The earliest attempts to devise a relevance logic that avoided the problem of explosion centered on the conditional. FDE, however, has no conditional operator, or a very weak one. If we

More information

Logicality of Operators

Logicality of Operators Logicality of Operators Tomoya Sato Abstract Characterizing logical operators has been crucially important in the philosophy of logic. One reason for this importance is that the boundary between logically

More information

Hedging Your Ifs and Vice Versa

Hedging Your Ifs and Vice Versa Hedging Your Ifs and Vice Versa Kai von Fintel and Anthony S. Gillies MIT and Rutgers November 21 University of Latvia Ramsey s Test If two people are arguing If p will q? and are both in doubt as to p,

More information

Notes on Modal Logic

Notes on Modal Logic Notes on Modal Logic Notes for PHIL370 Eric Pacuit October 22, 2012 These short notes are intended to introduce some of the basic concepts of Modal Logic. The primary goal is to provide students in Philosophy

More information

DISCRETE MATHEMATICS BA202

DISCRETE MATHEMATICS BA202 TOPIC 1 BASIC LOGIC This topic deals with propositional logic, logical connectives and truth tables and validity. Predicate logic, universal and existential quantification are discussed 1.1 PROPOSITION

More information

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

TEMPORAL AND CIRCUMSTANTIAL DEPENDENCE IN COUNTERFACTUAL MODALS. DORIT ABUSCH Department of Lingusitics Cornell University TEMPORAL AND CIRCUMSTANTIAL DEPENDENCE IN COUNTERFACTUAL MODALS DORIT ABUSCH Department of Lingusitics Cornell University da45@cornell.edu This paper analyzes counterfactual readings of might/could have

More information

Logic: Propositional Logic (Part I)

Logic: Propositional Logic (Part I) Logic: Propositional Logic (Part I) Alessandro Artale Free University of Bozen-Bolzano Faculty of Computer Science http://www.inf.unibz.it/ artale Descrete Mathematics and Logic BSc course Thanks to Prof.

More information

Coherence and Revision Critical Remarks on the Günther-Alexy -Debate

Coherence and Revision Critical Remarks on the Günther-Alexy -Debate 23 Peng-Hsiang Wang, Taipei* Coherence and Revision Critical Remarks on the Günther-Alexy -Debate The aim of this paper is to propose a critical solution to the debate between Klaus Günther and Robert

More information

Boolean AND and the Semantic Correlates of Gradable Adjectives

Boolean AND and the Semantic Correlates of Gradable Adjectives Boolean AND and the Semantic Correlates of Gradable Adjectives Alan Bale (alanbale@mit.edu) September 13 th, 2007 1 Introduction General Issues: 1. What are the semantic properties correlated with being

More information

Contexts for Quantification

Contexts for Quantification Contexts for Quantification Valeria de Paiva Stanford April, 2011 Valeria de Paiva (Stanford) C4Q April, 2011 1 / 28 Natural logic: what we want Many thanks to Larry, Ulrik for slides! Program Show that

More information

Logical Representations. LING 7800/CSCI 7000 Martha Palmer 9/30/2014

Logical Representations. LING 7800/CSCI 7000 Martha Palmer 9/30/2014 Logical Representations LING 7800/CSCI 7000 Martha Palmer 9/30/2014 1 The Semantic Wall Physical Symbol System World +BLOCKA+ +BLOCKB+ +BLOCKC+ P 1 :(IS_ON +BLOCKA+ +BLOCKB+) P 2 :((IS_RED +BLOCKA+) Truth

More information

Quantification and Modality

Quantification and Modality Quantification and Modality Terry Langendoen Professor Emeritus of Linguistics University of Arizona Linguistics Colloquium University of Arizona 13 Mar 2009 Appearance The modal operators are like disguised

More information

Semantics and Pragmatics of NLP

Semantics and Pragmatics of NLP Semantics and Pragmatics of NLP Alex Ewan School of Informatics University of Edinburgh 28 January 2008 1 2 3 Taking Stock We have: Introduced syntax and semantics for FOL plus lambdas. Represented FOL

More information

Capturing Lewis s Elusive Knowledge

Capturing Lewis s Elusive Knowledge Zhaoqing Xu Department of Philosophy, Peking University zhaoqingxu@gmail.com September 22, 2011 1 Introduction 2 Philosophical Background Dretske s Relevant Alternatives Theory Lewis s Elusive Knowledge

More information

Singleton Indefinites (re. Schwarzschild 2000)

Singleton Indefinites (re. Schwarzschild 2000) MIT Syntax-Semantics Reading Group November 15, 2000 Kai von Fintel Singleton Indefinites (re. Schwarzschild 2000) 1. If a (particular) friend of mine from Texas had died in the fire, I would have inherited

More information

Dynamic Thoughts on Ifs and Oughts

Dynamic Thoughts on Ifs and Oughts Dynamic Thoughts on Ifs and Oughts Malte Willer Draft for the 2012 Michigan Philosophy-Linguistics Workshop Please do not cite or circulate without permission 1 The Plot Iffy oughts figure prominently

More information

Breaking de Morgan s law in counterfactual antecedents

Breaking de Morgan s law in counterfactual antecedents Breaking de Morgan s law in counterfactual antecedents Lucas Champollion New York University champollion@nyu.edu Ivano Ciardelli University of Amsterdam i.a.ciardelli@uva.nl Linmin Zhang New York University

More information

A Brief Introduction to Nonmonotonic Reasoning

A Brief Introduction to Nonmonotonic Reasoning A Brief Introduction to Nonmonotonic Reasoning Gerhard Brewka, Stefan Woltran Computer Science Institute University of Leipzig [brewka,woltran]@informatik.uni-leipzig.de G. Brewka, S. Woltran (Leipzig)

More information

A Structuralist Account of Logic

A Structuralist Account of Logic Croatian Journal of Philosophy Vol. VIII, No. 23, 2008 Majda Trobok, Department of Philosophy University of Rijeka A Structuralist Account of Logic The lynch-pin of the structuralist account of logic endorsed

More information

5. And. 5.1 The conjunction

5. And. 5.1 The conjunction 5. And 5.1 The conjunction To make our logical language more easy and intuitive to use, we can now add to it elements that make it able to express the equivalents of other sentences from a natural language

More information

Chapter 9. Modal Language, Syntax, and Semantics

Chapter 9. Modal Language, Syntax, and Semantics Chapter 9 Modal Language, Syntax, and Semantics In chapter 6 we saw that PL is not expressive enough to represent valid arguments and semantic relationships that employ quantified expressions some and

More information

Strengthening Principles and Counterfactual Semantics

Strengthening Principles and Counterfactual Semantics David Boylan and Ginger Schultheis Massachusetts Institute of Technology, Cambridge MA, USA dboylan@mit.edu, vks@mit.edu 1 Introduction There are two leading theories about the meaning of counterfactuals

More information

Diodorus s Master Argument Nino B. Cocchiarella For Classes IC and IIC Students of Professor Giuseppe Addona

Diodorus s Master Argument Nino B. Cocchiarella For Classes IC and IIC Students of Professor Giuseppe Addona Diodorus s Master Argument Nino B. Cocchiarella For Classes IC and IIC Students of Professor Giuseppe Addona In my Remarks on Stoic Logic that I wrote for you last year, I mentioned Diodorus Cronus s trilemma,

More information

McTaggart s Argument for the Unreality of Time:

McTaggart s Argument for the Unreality of Time: McTaggart s Argument for the Unreality of Time: A Temporal Logical Analysis Hunan Rostomyan In this paper I want to examine McTaggart s [1908] argument for the unreality of time. McTaggart starts with

More information

Comment on Leitgeb s Stability Theory of Belief

Comment on Leitgeb s Stability Theory of Belief Comment on Leitgeb s Stability Theory of Belief Hanti Lin Kevin T. Kelly Carnegie Mellon University {hantil, kk3n}@andrew.cmu.edu Hannes Leitgeb s stability theory of belief provides three synchronic constraints

More information

At least one of us is a knave. What are A and B?

At least one of us is a knave. What are A and B? 1. This is a puzzle about an island in which everyone is either a knight or a knave. Knights always tell the truth and knaves always lie. This problem is about two people A and B, each of whom is either

More information

A New Semantic Characterization of. Second-Order Logical Validity

A New Semantic Characterization of. Second-Order Logical Validity A New Semantic Characterization of Second-Order Logical Validity Tomoya Sato Abstract A problem with second-order logic with standard semantics is that it validates arguments that can be described as set-theoretically

More information

Deduction by Daniel Bonevac. Chapter 3 Truth Trees

Deduction by Daniel Bonevac. Chapter 3 Truth Trees Deduction by Daniel Bonevac Chapter 3 Truth Trees Truth trees Truth trees provide an alternate decision procedure for assessing validity, logical equivalence, satisfiability and other logical properties

More information

Break the Weakest Rules

Break the Weakest Rules Noname manuscript No. (will be inserted by the editor) Break the Weakest Rules Hypothetical Reasoning in Default Logic Dustin Tucker Received: date / Accepted: date Abstract John Horty has proposed using

More information

Propositional Logic Truth-functionality Definitions Soundness Completeness Inferences. Modal Logic. Daniel Bonevac.

Propositional Logic Truth-functionality Definitions Soundness Completeness Inferences. Modal Logic. Daniel Bonevac. January 22, 2013 Modal logic is, among other things, the logic of possibility and necessity. Its history goes back at least to Aristotle s discussion of modal syllogisms in the Prior Analytics. But modern

More information

Notes on Quantum Logic

Notes on Quantum Logic Notes on Quantum Logic Version 1.0 David B. Malament Department of Logic and Philosophy of Science University of California, Irvine dmalamen@uci.edu Contents 1 Formal (sentential) quantum logic 2 2 The

More information

Inquisitive semantics

Inquisitive semantics Inquisitive semantics NASSLLI 2012 lecture notes Ivano Ciardelli University of Bordeaux Floris Roelofsen University of Amsterdam June 25, 2012 Jeroen Groenendijk University of Amsterdam About this document

More information

AI Programming CS S-09 Knowledge Representation

AI Programming CS S-09 Knowledge Representation AI Programming CS662-2013S-09 Knowledge Representation David Galles Department of Computer Science University of San Francisco 09-0: Overview So far, we ve talked about search, which is a means of considering

More information

Derivations, part 2. Let s dive in to some derivations that require the use of the last four rules:

Derivations, part 2. Let s dive in to some derivations that require the use of the last four rules: Derivations, part 2 Let s dive in to some derivations that require the use of the last four rules: 1. I Derivations: Let s start with some derivations that use conditional-introduction. (a) Here s an easy

More information

PL: Truth Trees. Handout Truth Trees: The Setup

PL: Truth Trees. Handout Truth Trees: The Setup Handout 4 PL: Truth Trees Truth tables provide a mechanical method for determining whether a proposition, set of propositions, or argument has a particular logical property. For example, we can show that

More information

MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics

MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics Class Meetings: MW 9:30-10:45 am in EMS E424A, September 3 to December 10 [Thanksgiving break November 26 30; final

More information

Scalar Implicatures: Are There Any?

Scalar Implicatures: Are There Any? Scalar Implicatures: Are There Any? Angelika Kratzer University of Massachusetts at Amherst Workshop on Polarity, Scalar Phenomena, and Implicatures. University of Milan-Bicocca June 18, 2003 1 The cast

More information

(1) If Bush had not won the last election, then Nader would have won it.

(1) If Bush had not won the last election, then Nader would have won it. 24.221 Metaphysics Counterfactuals When the truth functional material conditional (or ) is introduced, it is normally glossed with the English expression If..., then.... However, if this is the correct

More information

FREE CHOICE IN MODAL CONTEXTS

FREE CHOICE IN MODAL CONTEXTS FREE CHOICE IN MODAL CONTEXTS Maria Aloni, University of Amsterdam M.D.Aloni@uva.nl Abstract This article proposes a new analysis of modal expressions which (i) explains the difference between necessity

More information

Truth Table Definitions of Logical Connectives

Truth Table Definitions of Logical Connectives Truth Table Definitions of Logical Connectives 1. Truth Functions: Logicians DEFINE logical operators in terms of their relation to the truth or falsehood of the statement(s) that they are operating on.

More information

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

Logic Overview, I. and T T T T F F F T F F F F Logic Overview, I DEFINITIONS A statement (proposition) is a declarative sentence that can be assigned a truth value T or F, but not both. Statements are denoted by letters p, q, r, s,... The 5 basic logical

More information

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

Remarks on Kratzer s Ordering- Premise Semantics of Modalities and Conditionals. Norry Ogata Osaka University. Contents Remarks on ratzer s rdering- Premise Semantics of Modalities and Conditionals Norry gata saka University Contents 1. Definitions of rdering-premise Semantics 2. Their Motivations 3. Some Formal Properties

More information

STRATEGIES OF PROBLEM SOLVING

STRATEGIES OF PROBLEM SOLVING STRATEGIES OF PROBLEM SOLVING Second Edition Maria Nogin Department of Mathematics College of Science and Mathematics California State University, Fresno 2014 2 Chapter 1 Introduction Solving mathematical

More information

Part II A Reexamination of Contemporary Utilitarianism

Part II A Reexamination of Contemporary Utilitarianism Part II A Reexamination of Contemporary Utilitarianism In Part II of this book, we will turn to contemporary moral philosophers by this I mean twentieth-century philosophers who have reconstructed modern

More information

Choice offering imperatives in inquisitive and truth-maker semantics

Choice offering imperatives in inquisitive and truth-maker semantics Choice offering imperatives in inquisitive and truth-maker semantics Ivano Ciardelli & Maria Aloni ILLC-University of Amsterdam Imperatives: worlds and beyond Universität Hamburg 12/13-6-2016 Part I Setting

More information