Unalternative Semantics

Size: px
Start display at page:

Download "Unalternative Semantics"

Transcription

1 Unalternative Semantics Daniel Büring University of Vienna Poster presented at STECHOW workshop Sinn & Bedeutung 20, Tübingen, Sept. 10, Introduction and Basic Tenets Unalternative Semantics (UAS) is a new approach to deriving semantic focus alternatives compositionally. Among its features are... Calculation directly from Stress Pattern Focus Unalternatives = the class of impossible Focus Targets No F-Markers, no F-Ambiguities Predecessors: Schwarzschild (1997), Reinhart (2006) UAS collects restrictions on possible foci. At every branching node, we add a constraint that the focus cannot contain alternatives based on the literal meaning of the daughter and an alternative to the daughter (see Büring forthcoming, in preparation a, b). Some new notation is useful here: x x zmary saw john Q zmary saw john the set of all properties R John, with R any relation other than saw the set of all propositions x R John, with x any individual, and R any relation other than saw the set of all propositions x saw John, with x any individual other than the set of all propositions Q John, with Q any property other than being seen by Restrictions ψ The target of the focussing must not be among ψ. ψ The target of the focussing must be among ψ. Table 1: Legend. Note that ψ can be formally subsumed under ψ by defining ψ as ψ, i.e. the complement of ψ relative to the set of all denotations in the same domain. The different colored restrictions are thus just a notational convenience. 1

2 2 The Rules Four rules calculate unalternatives and introduce Unalternative Restrictions. (1) UA Rule 0: Terminals For any terminal T : [[T ]] U = {} {} I may well be a focus. (2) UA Rule 1: Propagation For any branching node 1 2 : domp1q b [[2]] U Ď [[]] U, and [[1]] U b domp1q Ď [[]] U (dompαq is the domain of α s type) x UA(2), UA(1) y (UA=unalternatives) Preserve the UAs of the daughters. (3) UA Rule 2: Weak Restriction For and : {[[s]] O }b dom w zt[[w]] O u Ď [[]] U x zw s Weak is not a narrow focus. (4) UA Rule 3: Strong Restriction For and where w would be the daughter by default (w has been Prosodically Demoted): pdom zppdom s zt[[s]] O uq b t[[w]] O uqq Ď [[]] U x zs w, or alternatively: x zs w Strong is (part of a) focus, and is not. (5) Condition on Prosodic Demotion: w must be given., 2

3 3 Illustration 3.1 Default Intonation (i) S (ii) saw JOHN S x zmary saw john x saw JOHN (iii) S Q zmary saw john total restriction (=+propag.) total restriction (=) saw JOHN Figure 1: Unalternatives at -level (i) and S-level (ii); (iii) shows how the () restriction introduced at the S level, and the propagated from the level can be combined into a single restriction. (6) a. saw Bob. O b. heard John V c. heard Bob/had to sneeze. d. Sue heard Bob/The roof collapsed. S e. Sue kissed John S+V f. Sue saw John S 3

4 3.2 Verb Focus (i) restriction SAW John (ii) S x zmary saw john x restriction (iii) SAW John S x total restriction (=) restriction SAW John Figure 2: Strong Restriction. Note that the of the restriction from to S results in a restriction that properly subsumes the introduced at the S level. (7) a. saw Bob. O b. heard John V c. heard Bob/had to sneeze. d. Sue heard Bob/The roof collapsed. S e. Sue kissed John S+V f. Sue saw John S 4 Overfocussing (8) wire tapped John. No, # saw JOHN. Problem for Alternative Semantics and relatives (Rooth, 1992; von Stechow, 1981, 1989): if that kissed John P [[ [SAW] F John]] F, then necessarily that kissed John P [[ [saw JOHN] F ]] F ( upward permissiveness ). Standard Solution: Some kind of transderivational constraint, e.g. AvoidF, Maximize Presuppositions etc. In UAS, the problem vanishes, due to more articulated focus alternative sets. (9) a. SAW John Ñ R zsaw John b. saw JOHN Ñ Q z saw John 4

5 (9b) excludes wire-tapped John, but (9a) does not. In general, the focal targets allowed by a larger constituent do not include those that would be allowed by prosodically promoting ( focussing ) its daughter. Put differently, even under neutral intonation, [[]] F (D et z[[v P ]] U in UAS) is not equal to D et. Choosing a bigger focus instead of a small one is thus excluded, without the need for transderivational constraints. 5 Answer Focus (the Set Case ) Due to the property just mentioned, we cannot require that the meaning of a contextual question be a subset of the allowed focal targets. For example,... and kissed John P [[what did do?]] O [[ visited JOHN]] U = Q z visited John... so kissed John P [[ visited JOHN]] U, i.e. visited JOHN would be wrongly excluded as an answer to What did do. Thus a er condition is called for: (10) A question target for focussing in S must contain elements that are not among S s Unalternatives, [[S]] U. This subsumes the individual case (contrastive focus), assuming that the focal target in that case is a singleton set containing the meaning of the target. 6 Outlook: Focussing and Deaccenting If a focal target must be contextually salient ( given ), UAS is by and large equivalent to a Rooth (1992)/Schwarzschild (1999)-type system. Alternative: the focal target must only be identifiable; givenness is a condition for deaccenting. This allows UAS to handle cases like (11): (11) (What s peculiar about Granny s dog?) She only likes JOHN. (Kadmon and Sevi, 2011) restriction for only: does Granny s cat like just John, or John and someone else (cf. Beaver and Clark, 2008) NB that neither this question, nor the alternative/focal target Granny s cat likes (John and) someone else is contextually salient This in turn clears the way for a pragmatically er condition on the meaning of focal targets, as called for by Wagner (2012), and proposed in Katzir (2013). (12) s uncle, who produces high-end convertibles, is coming to her wedding. I wonder what he brought as a present. a. He brought a [CHEAP convertible]. b. #He brought a [RED convertible] (12b) could be excluded by a condition to the effect that an identifiable alternative must be truly contrasting and relevant ( brought a non-red convertible 5

6 would fail on the second count). But note that the putative alternative in (12a) he brought an expensive convertible is not given, nor is the question did he bring a cheap, or an expensive convertible?. 7 Summary Unalternative Semantics provides a novel way of connecting intonation to contextual appropriateness. It achieves the effects of classical alternative semantics or structured meaning semantics, but without the need to have syntactic F-marking. It can rule out overfocussing without invoking transderivational constraints. It opens a new, arguably advantageous, perspective on the relation between contrast and givenness. References Beaver, David and Brady Clark (2008). Sense and Sensitivity: How Focus Determines Meaning. Cambridge: Wiley-Blackwell. Büring, Daniel (forthcoming). Focus, Questions and Givenness. In Klaus von Heusinger, Edgar Onea, and Malte Zimmermann, eds., Questions in Discourse. Holland: Brill. Büring, Daniel (in preparation a). Discontinuous Foci and Unalternative Semantics. In Proceedings of SinFonIJA 8. Büring, Daniel (in preparation b). Unalternative Semantics. In Proceedings of SALT 25. Kadmon, Nirit and Aldo Sevi (2011). Without Focus. In Barbara H. Partee, Michael Ginzburg, and Jurgis Šķilters, eds., Formal Semantics and Pragmatics. Discourse, Context and Models. The Baltic International Yearbook of Cognition, Logic and Communication, Vol. 6 (2010), Manhattan, KS: New Prairie Press. Katzir, Roni (2013). A Note on Contrast. Natural Language Semantics 23:1 11. Reinhart, Tanya (2006). Interface Strategies: Optimal and Costly Computations. Cambridge, Mass.: MIT Press. Rooth, Mats (1992). A Theory of Focus Interpretation. Natural Language Semantics 1: Schwarzschild, Roger (1997). Interpreting Accent. Unpublished manuscript Rutgers University. Schwarzschild, Roger (1999). GIVENness, AvoidF and Other Constraints on the Placement of Accent. Natural Language Semantics 7(2): von Stechow, Arnim (1981). Topic, Focus, and Local Relevance. In Wolfgang Klein and Willem Levelt, eds., Crossing the Boundaries in Linguistics, Dordrecht: Reidel. 6

7 von Stechow, Arnim (1989). Focusing and Backgrounding Operators. Tech. Rep. 6, Fachgruppe Sprachwissenschaft, Universität Konstanz. Wagner, Michael (2012). Focus and Givenness: A Unified Approach. In Ivona Kučerová and Ad Neeleman, eds., Contrasts and Positions in Information Structure, Cambridge: Cambridge University Press. 7

Scalar additives and their interaction with focus

Scalar additives and their interaction with focus 2 Restrictions on the position of focus 1 Introduction Scalar additives and their interaction with focus Maziar Toosarvandani University of California, Berkeley California Universities Semantics and Pragmatics

More information

Focus Marking, Focus Interpretation & Focus Sensitivity. Malte Zimmermann & Daniel Hole ESSLI 2009, Bordeaux

Focus Marking, Focus Interpretation & Focus Sensitivity. Malte Zimmermann & Daniel Hole ESSLI 2009, Bordeaux Focus Marking, Focus Interpretation & Focus Sensitivity Malte Zimmermann & Daniel Hole ESSLI 2009, Bordeaux Session II: 21-07-09 Focus and Discourse-Anaphoricity Malte Zimmermann & Daniel Hole mazimmer@rz.uni-potsdam.de

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

Countability in the Nominal and Verbal Domains

Countability in the Nominal and Verbal Domains Countability in the Nominal and Verbal Domains August 17, 2016 ESSLLI 2016, Bolzano Advanced Course Hana Filip & Peter Sutton hana.filip@gmail.com peter.r.sutton@icloud.com Department of Linguistics Heinrich-Heine-University

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

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

Compositionality Problems and How to Solve Them Thomas Ede Zimmermann, Goethe-Universität Frankfurt Hyderabad CogSci Colloquium, March 09

Compositionality Problems and How to Solve Them Thomas Ede Zimmermann, Goethe-Universität Frankfurt Hyderabad CogSci Colloquium, March 09 Compositionality Problems and How to Solve Them Thomas Ede Zimmermann, Goethe-Universität Frankfurt Hyderabad CogSci Colloquium, March 09 1. Compositionality Generalised Principle of Compositionality cf.

More information

Licensing focus on pronouns and the correct formulation of AvoidF

Licensing focus on pronouns and the correct formulation of AvoidF Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds.) 2011, pp. 359 381 http://www.cssp.cnrs.fr/eiss8 Licensing focus on pronouns and the correct formulation of AvoidF Clemens

More information

Negation and Focus in Polarity Questions 1

Negation and Focus in Polarity Questions 1 Negation and Focus in Polarity Questions 1 Manfred Krifka Humboldt-Universität Berlin Zentrum für Allgemeine Sprachwissenschaft (ZAS) Berlin CDC Seminar Series Talk at Macquaie University, July 5, 2013

More information

Fossilized Pragmatics: Focus and Accent

Fossilized Pragmatics: Focus and Accent Fossilized Pragmatics: Focus and Accent Maria Aloni (joint work with A. Butler, D. Hindsill and M. Müller) ILLC-University of Amsterdam M.D.Aloni@uva.nl Berlin, 4 5 2007 Introduction The data (Ladd, Vallduví

More information

Focus in complex noun phrases

Focus in complex noun phrases Focus in complex noun phrases Summary In this paper I investigate the semantics of association with focus in complex noun phrases in the framework of Alternative Semantics (Rooth 1985, 1992). For the first

More information

Quantifier scope. Chris Potts, Ling 230b: Advanced semantics and pragmatics, Spring April 16

Quantifier scope. Chris Potts, Ling 230b: Advanced semantics and pragmatics, Spring April 16 Quantifier scope Chris Potts, Ling 230b: Advanced semantics and pragmatics, Spring 2018 1 Three related issues April 16 Composition: apparent mismatches between the quantifier s type and its environment.

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

Automata-based Verification - III

Automata-based Verification - III CS3172: Advanced Algorithms Automata-based Verification - III Howard Barringer Room KB2.20/22: email: howard.barringer@manchester.ac.uk March 2005 Third Topic Infinite Word Automata Motivation Büchi Automata

More information

Only and Monotonicity in Conditionals

Only and Monotonicity in Conditionals Only and Monotonicity in Conditionals Matthew Berends Dept. of Linguistics Northwestern University matthewberends@gmail.com Stefan Kaufmann Dept. of Linguistics Northwestern University kaufmann@northwestern.edu

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

Automata-based Verification - III

Automata-based Verification - III COMP30172: Advanced Algorithms Automata-based Verification - III Howard Barringer Room KB2.20: email: howard.barringer@manchester.ac.uk March 2009 Third Topic Infinite Word Automata Motivation Büchi Automata

More information

Adverbial Quantifiers, Maximal Situations, and Weak E-type Pronouns * Toshiyuki Ogihara University of Washington

Adverbial Quantifiers, Maximal Situations, and Weak E-type Pronouns * Toshiyuki Ogihara University of Washington Adverbial Quantifiers, Maximal Situations, and Weak E-type Pronouns * Toshiyuki Ogihara University of Washington Abstract This paper argues with von Fintel (1994) and others that adverbs of quantification

More information

Model-Theory of Property Grammars with Features

Model-Theory of Property Grammars with Features Model-Theory of Property Grammars with Features Denys Duchier Thi-Bich-Hanh Dao firstname.lastname@univ-orleans.fr Yannick Parmentier Abstract In this paper, we present a model-theoretic description of

More information

Lecture 3: Semantics of Propositional Logic

Lecture 3: Semantics of Propositional Logic Lecture 3: Semantics of Propositional Logic 1 Semantics of Propositional Logic Every language has two aspects: syntax and semantics. While syntax deals with the form or structure of the language, it is

More information

Ling 130 Notes: Syntax and Semantics of Propositional Logic

Ling 130 Notes: Syntax and Semantics of Propositional Logic Ling 130 Notes: Syntax and Semantics of Propositional Logic Sophia A. Malamud January 21, 2011 1 Preliminaries. Goals: Motivate propositional logic syntax and inferencing. Feel comfortable manipulating

More information

Decision Procedures for Satisfiability and Validity in Propositional Logic

Decision Procedures for Satisfiability and Validity in Propositional Logic Decision Procedures for Satisfiability and Validity in Propositional Logic Meghdad Ghari Institute for Research in Fundamental Sciences (IPM) School of Mathematics-Isfahan Branch Logic Group http://math.ipm.ac.ir/isfahan/logic-group.htm

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

CS460/626 : Natural Language Processing/Speech, NLP and the Web

CS460/626 : Natural Language Processing/Speech, NLP and the Web CS460/626 : Natural Language Processing/Speech, NLP and the Web Lecture 23: Binding Theory Pushpak Bhattacharyya CSE Dept., IIT Bombay 8 th Oct, 2012 Parsing Problem Semantics Part of Speech Tagging NLP

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

Lecture 7. Logic. Section1: Statement Logic.

Lecture 7. Logic. Section1: Statement Logic. Ling 726: Mathematical Linguistics, Logic, Section : Statement Logic V. Borschev and B. Partee, October 5, 26 p. Lecture 7. Logic. Section: Statement Logic.. Statement Logic..... Goals..... Syntax of Statement

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

Unalternative Semantics

Unalternative Semantics Unalternative emantic Daniel Büring, Vienna MIT, May 4&5, 2016 1 Baic of Unalternative emantic Unalternative emantic directly interpret phrae marker ith metrical annotation (cf. Reinhart, 2006, zendrői,

More information

a. Rachel is {taller / more intelligent} than Stephanie (is). a. Rachel is the {tallest / most intelligent} (student in my class).

a. Rachel is {taller / more intelligent} than Stephanie (is). a. Rachel is the {tallest / most intelligent} (student in my class). Degree semantics1 1 Gradability Certain predicates allow us to specify to what extent the predicate holds; we call them gradable. There are many constructions which only apply to gradable predicates. (1)

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

Focus Dependency as Structure Sharing

Focus Dependency as Structure Sharing Proceedings of Sinn und Bedeutung 11, E. Puig-Waldmüller (ed.), Barcelona: Universitat Pompeu Fabra, pp.525-539. Focus Dependency as Structure Sharing Uli Sauerland Zentrum für allgemeine Sprachwissenschaft,

More information

Two sets of alternatives for numerals

Two sets of alternatives for numerals ECO5 @ Harvard April 11, 2015 Teodora Mihoc, tmihoc@fas.harvard.edu Alexander Klapheke, klapheke@fas.harvard.edu Two sets of alternatives for numerals Contents 1 Preliminaries 1 2 Horn-style alternatives:

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

Generalized Quantifiers & Categorial Approaches & Intensionality

Generalized Quantifiers & Categorial Approaches & Intensionality LING 147. Semantics of Questions Week 2 Yimei Xiang September 8, 2016 Last week Generalized Quantifiers & Categorial Approaches & Intensionality The semantics of questions is hard to characterize directly.

More information

Computer Science. with focus so that the dierence in focus between. (2a) and (2b) induces a dierence in meaning

Computer Science. with focus so that the dierence in focus between. (2a) and (2b) induces a dierence in meaning Focus and Higher{Order Unication Claire Gardent Computational Linguistics Universitat des Saarlandes, D{66041 Saarbrucken claire@coli.uni-sb.de Michael Kohlhase Computer Science Universitat des Saarlandes,

More information

Non-monotonic Logic I

Non-monotonic Logic I Non-monotonic Logic I Bridges between classical and non-monotonic consequences Michal Peliš 1 Common reasoning monotonicity Γ ϕ Γ ϕ can fail caused by: background knowledge, implicit facts, presuppositions,

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

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

Identity in Physics and Elsewhere

Identity in Physics and Elsewhere Identity in Physics and Elsewhere Otávio Bueno Department of Philosophy University of Miami Coral Gables, FL 33124, USA E-mail: otaviobueno@mac.com 1. INTRODUCTION Is identity a fundamental concept? Of

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

Sharpening the empirical claims of generative syntax through formalization

Sharpening the empirical claims of generative syntax through formalization Sharpening the empirical claims of generative syntax through formalization Tim Hunter University of Minnesota, Twin Cities ESSLLI, August 2015 Part 1: Grammars and cognitive hypotheses What is a grammar?

More information

Bar-Hillel and the Division of Labor in Language

Bar-Hillel and the Division of Labor in Language 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

More information

At most at last. Doris Penka Universität Konstanz

At most at last. Doris Penka Universität Konstanz Sinn und Bedeutung 2014 Georg-August-Universität Göttingen, 15.9.2014 At most at last Doris Penka Universität Konstanz doris.penka@uni-konstanz.de 1. Superlative modifiers and ignorance inferences The

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

Foundations of Artificial Intelligence

Foundations of Artificial Intelligence Foundations of Artificial Intelligence 31. Propositional Logic: DPLL Algorithm Malte Helmert and Gabriele Röger University of Basel April 24, 2017 Propositional Logic: Overview Chapter overview: propositional

More information

Models of Adjunction in Minimalist Grammars

Models of Adjunction in Minimalist Grammars Models of Adjunction in Minimalist Grammars Thomas Graf mail@thomasgraf.net http://thomasgraf.net Stony Brook University FG 2014 August 17, 2014 The Theory-Neutral CliffsNotes Insights Several properties

More information

On the formal semantics of begin and end of states in a model theory for temporal DRT

On the formal semantics of begin and end of states in a model theory for temporal DRT 4 On the formal semantics of begin and end of states in a model theory for temporal DRT Petra Dünges Abstract In this paper we show that the intended meaning of begin and end of states is not embodied

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

Compositionality and Syntactic Structure Marcus Kracht Department of Linguistics UCLA 3125 Campbell Hall 405 Hilgard Avenue Los Angeles, CA 90095

Compositionality and Syntactic Structure Marcus Kracht Department of Linguistics UCLA 3125 Campbell Hall 405 Hilgard Avenue Los Angeles, CA 90095 Compositionality and Syntactic Structure Marcus Kracht Department of Linguistics UCLA 3125 Campbell Hall 405 Hilgard Avenue Los Angeles, CA 90095 1543 kracht@humnet.ucla.edu 1. The Questions ➀ Why does

More information

Propositional and Predicate Logic - V

Propositional and Predicate Logic - V Propositional and Predicate Logic - V Petr Gregor KTIML MFF UK WS 2016/2017 Petr Gregor (KTIML MFF UK) Propositional and Predicate Logic - V WS 2016/2017 1 / 21 Formal proof systems Hilbert s calculus

More information

Internal and Interval Semantics for CP-Comparatives

Internal and Interval Semantics for CP-Comparatives Internal and Interval Semantics for CP-Comparatives Fred Landman Linguistics Department, Tel Aviv University, landman@post.tau.ac.il Abstract. The interval degree semantics for clausal (CP)-comparatives

More information

Epistemic Informativeness

Epistemic Informativeness Epistemic Informativeness Yanjing Wang, Jie Fan Department of Philosophy, Peking University 2nd AWPL, Apr. 12th, 2014 Motivation Epistemic Informativeness Conclusions and future work Frege s puzzle on

More information

Fregean Compositionality MCMP, June 2015 Thomas Ede Zimmermann (Goethe University, Frankfurt)

Fregean Compositionality MCMP, June 2015 Thomas Ede Zimmermann (Goethe University, Frankfurt) Fregean Compositionality MCMP, June 2015 Thomas Ede Zimmermann (Goethe University, Frankfurt) 1. Background (1a) John seeks a unicorn. P(Δ John, O(Δ seeks,δ a unicorn ) (c) Q(Δ a unicorn, Δ John seeks

More information

Indicative Scorekeeping

Indicative Scorekeeping Indicative Scorekeeping Malte Willer Abstract Folklore has it that counterfactual Sobel sequences favor a variably strict analysis of conditionals over its plainly strict alternative. Recent discussions

More information

An Inquisitive Formalization of Interrogative Inquiry

An Inquisitive Formalization of Interrogative Inquiry An Inquisitive Formalization of Interrogative Inquiry Yacin Hamami 1 Introduction and motivation The notion of interrogative inquiry refers to the process of knowledge-seeking by questioning [5, 6]. As

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

QUANTIFICATIONAL READINGS OF INDEFINITES

QUANTIFICATIONAL READINGS OF INDEFINITES QUANTIFICATIONAL READINGS OF INDEFINITES WITH FOCUSED CREATION VERBS * Tamina Stephenson, Massachusetts Institute of Technology tamina@mit.edu Abstract This paper looks at sentences with quantificational

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

arxiv: v1 [cs.lo] 1 Sep 2017

arxiv: v1 [cs.lo] 1 Sep 2017 A DECISION PROCEDURE FOR HERBRAND FORMULAE WITHOUT SKOLEMIZATION arxiv:1709.00191v1 [cs.lo] 1 Sep 2017 TIMM LAMPERT Humboldt University Berlin, Unter den Linden 6, D-10099 Berlin e-mail address: lampertt@staff.hu-berlin.de

More information

1 Classical scalar implicature

1 Classical scalar implicature Linguistics 661, Issues in Semantics Alexander Williams, 3 April 2007 Chierchia on Scalar implicature 1 Classical scalar implicature When a speaker says that w, we often take him to mean that he believes

More information

Semantics 2 Part 1: Relative Clauses and Variables

Semantics 2 Part 1: Relative Clauses and Variables Semantics 2 Part 1: Relative Clauses and Variables Sam Alxatib EVELIN 2012 January 17, 2012 Reviewing Adjectives Adjectives are treated as predicates of individuals, i.e. as functions from individuals

More information

Game Theoretic Pragmatics

Game Theoretic Pragmatics Game Theoretic Pragmatics Session 2: Relevance of Information & Relevance Implicatures Michael Franke, Roland Mühlenbernd & Jason Quinley Seminar für Sprachwissenschaft Eberhard Karls Universität Tübingen

More information

CS 512, Spring 2017, Handout 10 Propositional Logic: Conjunctive Normal Forms, Disjunctive Normal Forms, Horn Formulas, and other special forms

CS 512, Spring 2017, Handout 10 Propositional Logic: Conjunctive Normal Forms, Disjunctive Normal Forms, Horn Formulas, and other special forms CS 512, Spring 2017, Handout 10 Propositional Logic: Conjunctive Normal Forms, Disjunctive Normal Forms, Horn Formulas, and other special forms Assaf Kfoury 5 February 2017 Assaf Kfoury, CS 512, Spring

More information

Agreeing to disagree: The non-probabilistic case

Agreeing to disagree: The non-probabilistic case Games and Economic Behavior 69 (2010) 169 174 www.elsevier.com/locate/geb Agreeing to disagree: The non-probabilistic case Dov Samet Tel Aviv University, Faculty of Management, Tel Aviv, Israel Received

More information

Kaplan s Paradox and Epistemically Possible Worlds

Kaplan s Paradox and Epistemically Possible Worlds Kaplan s Paradox and Epistemically Possible Worlds 1. Epistemically possible worlds David Chalmers Metaphysically possible worlds: S is metaphysically possible iff S is true in some metaphysically possible

More information

Sets

Sets Sets http://gawron.sdsu.edu/semantics Jean Mark Gawron San Diego State University, Department of Linguistics 2010-08-19 Jean Mark Gawron ( SDSU ) Gawron: Sets 2010-08-19 1 / 25 Overview 1 Sets 2 Subsets

More information

Explicit and implicit world variables

Explicit and implicit world variables Explicit and implicit world variables Thomas Ede Zimmermann * Frankfurt Abstract concrete Keywords: variable binding; modal operators 1 Introduction (1) John loved Mary. (2) P L(j,m) (3) ( t < t) L t (j,m)

More information

A Rothschild-Stiglitz approach to Bayesian persuasion

A Rothschild-Stiglitz approach to Bayesian persuasion A Rothschild-Stiglitz approach to Bayesian persuasion Matthew Gentzkow and Emir Kamenica Stanford University and University of Chicago January 2016 Consider a situation where one person, call him Sender,

More information

Rasiowa-Sikorski proof system for the non-fregean sentential logic SCI

Rasiowa-Sikorski proof system for the non-fregean sentential logic SCI Rasiowa-Sikorski proof system for the non-fregean sentential logic SCI Joanna Golińska-Pilarek National Institute of Telecommunications, Warsaw, J.Golinska-Pilarek@itl.waw.pl We will present complete and

More information

Embedded interrogatives: the role of false answers

Embedded interrogatives: the role of false answers 1 Introduction Embedded interrogatives: the role of false answers Floris Roelofsen Nadine Theiler Maria Aloni Questions in Discourse workshop, Göttingen, September 18, 2014 Consider the following sentence:

More information

Bringing machine learning & compositional semantics together: central concepts

Bringing machine learning & compositional semantics together: central concepts Bringing machine learning & compositional semantics together: central concepts https://githubcom/cgpotts/annualreview-complearning Chris Potts Stanford Linguistics CS 244U: Natural language understanding

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

Revisit summer... go to the Fitzwilliam Museum!

Revisit summer... go to the Fitzwilliam Museum! Revisit summer... go to the Fitzwilliam Museum! Faculty of Philosophy Formal Logic Lecture 5 Peter Smith Peter Smith: Formal Logic, Lecture 5 2 Outline Propositional connectives, and the assumption of

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

Canonical Calculi: Invertibility, Axiom expansion and (Non)-determinism

Canonical Calculi: Invertibility, Axiom expansion and (Non)-determinism Canonical Calculi: Invertibility, Axiom expansion and (Non)-determinism A. Avron 1, A. Ciabattoni 2, and A. Zamansky 1 1 Tel-Aviv University 2 Vienna University of Technology Abstract. We apply the semantic

More information

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

(6) Some students who drank beer or wine were allowed to drive. Global Approach to Scalar Implicatures in Dynamic Semantics Jae-Il Yeom Hongik University English Language and Literature 94 Wausan-ro, Sangsu-dong, Mapo-gu Seoul 121-791 KOREA jiyeom@hongik.ac.kr Abstract

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

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

A Rothschild-Stiglitz approach to Bayesian persuasion

A Rothschild-Stiglitz approach to Bayesian persuasion A Rothschild-Stiglitz approach to Bayesian persuasion Matthew Gentzkow and Emir Kamenica Stanford University and University of Chicago December 2015 Abstract Rothschild and Stiglitz (1970) represent random

More information

Extensions to the Logic of All x are y: Verbs, Relative Clauses, and Only

Extensions to the Logic of All x are y: Verbs, Relative Clauses, and Only 1/53 Extensions to the Logic of All x are y: Verbs, Relative Clauses, and Only Larry Moss Indiana University Nordic Logic School August 7-11, 2017 2/53 An example that we ll see a few times Consider the

More information

Logic and Philosophical Logic. 1 Inferentialism. Inferentialism and Meaning Underdetermination

Logic and Philosophical Logic. 1 Inferentialism. Inferentialism and Meaning Underdetermination Logic and Philosophical Logic Inferentialism and Meaning Underdetermination AC Paseau alexanderpaseau@philosophyoxacuk 28 January 2019 In the rst half of today's class, we looked at Tarski's account of

More information

Imperative Logic, Moods and Sentence Radicals

Imperative Logic, Moods and Sentence Radicals Imperative Logic, Moods and Sentence Radicals Berislav Žarnić The aim of this essay is to examine two challenges that the imperative logic poses to the received view of sentence moods. According to the

More information

Relational Reasoning in Natural Language

Relational Reasoning in Natural Language 1/67 Relational Reasoning in Natural Language Larry Moss ESSLLI 10 Course on Logics for Natural Language Inference August, 2010 Adding transitive verbs the work on R, R, and other systems is joint with

More information

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

Semantics and Generative Grammar. Pronouns and Variable Assignments 1. We ve seen that implicatures are crucially related to context. Pronouns and Variable Assignments 1 1. Putting this Unit in Context (1) What We ve Done So Far This Unit Expanded our semantic theory so that it includes (the beginnings of) a theory of how the presuppositions

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

Relations. Carl Pollard. October 11, Department of Linguistics Ohio State University

Relations. Carl Pollard. October 11, Department of Linguistics Ohio State University Department of Linguistics Ohio State University October 11, 2011 (Intuitive Idea) Intuitively, a relation is the kind of thing that either holds or doesn t hold between certain things. Examples: Being

More information

Paucity, abundance, and the theory of number: Online Appendices

Paucity, abundance, and the theory of number: Online Appendices Paucity, abundance, and the theory of number: Online Appendices Daniel Harbour Language, Volume 90, Number 1, March 2014, pp. s1-s4 (Article) Published by Linguistic Society of America DOI: https://doi.org/10.1353/lan.2014.0019

More information

A Rothschild-Stiglitz approach to Bayesian persuasion

A Rothschild-Stiglitz approach to Bayesian persuasion A Rothschild-Stiglitz approach to Bayesian persuasion Matthew Gentzkow and Emir Kamenica Stanford University and University of Chicago September 2015 Abstract Rothschild and Stiglitz (1970) introduce a

More information

-,,,,, , Searle (1989/ 2002) (1), ; (2002: 177). Searle : (2),,. , (,.,.., Smith 1991:. 8),.,, (progressive)., (3) , (4):

-,,,,, , Searle (1989/ 2002) (1), ; (2002: 177). Searle : (2),,. , (,.,.., Smith 1991:. 8),.,, (progressive)., (3) , (4): - The paper discusses the different manifestations of explicit performatives in English and Greek from the point of view of aspectual choices The two languages seem to select different options whereas

More information

Analyzing fuzzy and contextual approaches to vagueness by semantic games

Analyzing fuzzy and contextual approaches to vagueness by semantic games Analyzing fuzzy and contextual approaches to vagueness by semantic games PhD Thesis Christoph Roschger Institute of Computer Languages Theory and Logic Group November 27, 2014 Motivation Vagueness ubiquitous

More information

Reference-Set Computation = Minimalism + Transformational Rules?

Reference-Set Computation = Minimalism + Transformational Rules? Reference-Set Computation = inimalism + Transformational Rules? Thomas Graf tgraf@ucla.edu tgraf.bol.ucla.edu University of California, Los Angeles Universität Bielefeld, Bielefeld, Germany December 8,

More information

Tanglewood untangled *

Tanglewood untangled * Proceedings of SALT 26: 224 243, 2016 Tanglewood untangled * Michael Yoshitaka Erlewine National University of Singapore Hadas Kotek McGill University Abstract We argue for the existence of covert focus

More information

Truth-Functional Logic

Truth-Functional Logic Truth-Functional Logic Syntax Every atomic sentence (A, B, C, ) is a sentence and are sentences With ϕ a sentence, the negation ϕ is a sentence With ϕ and ψ sentences, the conjunction ϕ ψ is a sentence

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

Chapter 4: Computation tree logic

Chapter 4: Computation tree logic INFOF412 Formal verification of computer systems Chapter 4: Computation tree logic Mickael Randour Formal Methods and Verification group Computer Science Department, ULB March 2017 1 CTL: a specification

More information

Peter Hallman, University of Vienna

Peter Hallman, University of Vienna All and Every as Quantity Superlatives Peter Hallman, University of Vienna peter.hallman@univie.ac.at Summary An analysis is proposed that captures similarities between most and all in English bytreatingall

More information

Approaching the Logic of Conversational Implicatures

Approaching the Logic of Conversational Implicatures Approaching the Logic of Conversational Implicatures Robert van Rooy & Katrin Schulz ILLC/University of Amsterdam R.A.M.vanRooij/K.Schulz@uva.nl 1. Introduction 1.1 Aim of the Research Describe the logic

More information

A Preference Logic With Four Kinds of Preferences

A Preference Logic With Four Kinds of Preferences A Preference Logic With Four Kinds of Preferences Zhang Zhizheng and Xing Hancheng School of Computer Science and Engineering, Southeast University No.2 Sipailou, Nanjing, China {seu_zzz; xhc}@seu.edu.cn

More information

Gradable Adjectives, Compounded Scales, Conjunction and Structured Meanings

Gradable Adjectives, Compounded Scales, Conjunction and Structured Meanings Gradable Adjectives, Compounded Scales, Conjunction and Structured Meanings Alan Bale (alanbale@mit.edu) Winter, 2007 1 Introduction General Issues: 1. What are the semantic properties correlated with

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