Unalternative Semantics
|
|
- Ilene Dorcas Tyler
- 5 years ago
- Views:
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
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 informationFocus 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 informationHomogeneity 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 informationCountability 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 informationBasics 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 informationExhaustive 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 informationCompositionality 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 informationLicensing 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 informationNegation 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 informationFossilized 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 informationFocus 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 informationQuantifier 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 informationFREE 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 informationAutomata-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 informationOnly 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 informationAntecedents 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 informationAutomata-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 informationAdverbial 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 informationModel-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 informationLecture 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 informationLing 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 informationDecision 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 informationTEMPORAL 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 informationCS460/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 informationTwo 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 informationLecture 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 informationSeminar 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 informationUnalternative 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 informationa. 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 informationPredicates, 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 informationFocus 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 informationTwo 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 informationSemantics 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 informationGeneralized 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 informationComputer 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 informationNon-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 informationBreaking 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 informationEpistemic 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 informationIdentity 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 informationModality: 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 informationSharpening 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 informationBar-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 informationAt 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 informationSingleton 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 informationFoundations 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 informationModels 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 informationOn 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 informationHedging 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 informationCompositionality 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 informationPropositional 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 informationInternal 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 informationEpistemic 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 informationFregean 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 informationIndicative 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 informationAn 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 informationLing 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 informationQUANTIFICATIONAL 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 informationBoolean 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 informationarxiv: 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 information1 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 informationSemantics 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 informationGame 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 informationCS 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 informationAgreeing 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 informationKaplan 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 informationSets
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 informationExplicit 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 informationA 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 informationRasiowa-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 informationEmbedded 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 informationBringing 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 informationDeontic 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 informationRevisit 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 informationA 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 informationCanonical 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.
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 informationIntensional 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 informationStrengthening 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 informationA 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 informationExtensions 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 informationLogic 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 informationImperative 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 informationRelational 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 informationSemantics 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 informationPresuppositions (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 informationRelations. 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 informationPaucity, 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 informationA 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):
- 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 informationAnalyzing 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 informationReference-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 informationTanglewood 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 informationTruth-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 informationInquisitive 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 informationChapter 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 informationPeter 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 informationApproaching 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 informationA 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 informationGradable 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 informationFirst-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