DOCSLIB.ORG

Static Vs. Dynamic Semantics (1) Static Vs

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Static Vs. Dynamic Semantics (1) Static Vs Why Does PL Semantics Matter? (1) Why Does PL Semantics Matter? (2) • Documentation • Language Design - Programmers (“What does X mean? Did - Semantic simplicity is a good guiding G54FOP: Lecture 3 the compiler get it right?”) Programming Language Semantics: principle - Implementers (“How to implement X?”) Introduction - Ensure desirable meta-theoretical • Formal Reasoning properties hold (like “well-typed programs Henrik Nilsson - Proofs about programs do not go wrong”) University of Nottingham, UK - Proofs about programming languages • Education (E.g. “Well-typed programs do not go - Learning new languages wrong”) - Comparing languages - Proofs about tools (E.g. compiler correctness) • Research G54FOP: Lecture 3 – p.1/21 G54FOP: Lecture 3 – p.2/21 G54FOP: Lecture 3 – p.3/21 Static vs. Dynamic Semantics (1) Static vs. Dynamic Semantics (2) Styles of Semantics (1) Main examples: • Static Semantics: “compile-time” meaning Distinction between static and dynamic • Operational Semantics: Meaning given by semantics not always clear cut. E.g. - Scope rules Abstract Machine, often a Transition Function - Type rules • Multi-staged languages (“more than one mapping a state to a “more evaluated” state. Example: the meaning of 1+2 is an integer run-time”) Kinds: value (its type is Integer) • Dependently typed languages (computation - small-step semantics: each step is • Dynamic Semantics: “run-time” meaning at the type level) atomic; more machine like - Exactly what value does a term evaluate to? - structural operational semantics (SOS): - What are the effects of a computation? compound, but still simple, steps Example: the meaning of 1+2 is the integer 3. - big-step or natural semantics: Single, compound step evaluates term to final value. G54FOP: Lecture 3 – p.4/21 G54FOP: Lecture 3 – p.5/21 G54FOP: Lecture 3 – p.6/21 Styles of Semantics (2) Example: Small Step Semantics (1) Example: Small-Step Semantics (2) • small-step semantics: Idea of the machine. Given state t,¯ v : Consider a simple machine for evaluating ( ¯) • ¯ t → t(1) → t(2) → . → v arithmetic expressions. Its state is denoted If t is empty, we’re done; whatever is on the value stack v¯ is the result. • (t,¯ v¯) structural operational semantics: • If head of t¯ is a value, push it onto v¯. ∇ ∇ ∇ ∇ where • ¯ t → t(1) → t(2) → . → v If head of t is an expression, prepend the • t¯ is a sequence of expressions (including individual subexpressions and the operator to • big-step or natural semantics: values) and operators the tail of t¯. ∇ • v¯ is a stack (sequence) of values • If head of t¯ is an operator, apply it to appropriate t → v number of arguments on top of the value stack and replace them with the result. where ∇ suggests a proof (tree) justifying the step. G54FOP: Lecture 3 – p.7/21 G54FOP: Lecture 3 – p.8/21 G54FOP: Lecture 3 – p.9/21 Example: Small-Step Semantics (3) Example: Small-Step Semantics (4) Styles of Semantics (3) An evaluation might proceed as follows: Note: • Denotational Semantics: More abstract (1+(2-3), ) → (2-3, 1, +, ) view: • Each step describes a small, essentially → (3, 2, -, 1, +, ) - meaning of a term is a mathematical object mechanical, syntactic transformation of the (like a number (e.g. N or Z) or function → (2, -, 1, +, 3) machine state; i.e., a very operational view of (e.g. Z → Z); → (-, 1, +, 2, 3) computation. - an interpretation function maps terms → (1, +, -1) • Our description was informal. We will discuss ((abstract) syntax) to their meaning → (+, 1, -1) at length how to formalise operational (semantics). → (, 0) semantics in a mathematically precise way, typically using inference rules. Exercise: Evaluate ((5-3)*(1+2), ) G54FOP: Lecture 3 – p.10/21 G54FOP: Lecture 3 – p.11/21 G54FOP: Lecture 3 – p.12/21 Example: Denotational Semantics (1) Example: Denotational Semantics (2) Example: Denotational Semantics (3) the denotational semantics (the interpretation Given the abstract syntax for expressions: function mapping the (abstract) syntax of an Exercise. Given: e → expressions: expression to its meaning) might be specified as: [[·]] : e → Z | Z integer literals [[·]] : e → Z [[n]] = n | e + e addition [[n]] = n [[e1 + e2]] = [[e1]]+ [[e2]] | e - e subtraction [[e1 + e2]] = [[e1]]+ [[e2]] [[e1 - e2]] = [[e1]] − [[e2]] | e * e multiplication [[e1 - e2]] = [[e1]] − [[e2]] [[e1 * e2]] = [[e1]] × [[e2]] [[e1 * e2]] = [[e1]] × [[e2]] Calculate the denotation (meaning) of: Not vacuous: e.g., note the difference between 1 + (2 - 3) +, syntax, and +, the ordinary function plus. G54FOP: Lecture 3 – p.13/21 G54FOP: Lecture 3 – p.14/21 G54FOP: Lecture 3 – p.15/21 Styles of Semantics (4) Example: Axiomatic Semantics (1) Example: Axiomatic Semantics (2) • Axiomatic Semantics: More abstract still: The meaning of a command c is given by For example, the meaning of assignment is given by: - An operational or denotational semantics specifying a precondition and a postcondition: {P [v → e]} v := e {P } implies certain properties or laws. {PRE} c {POST } - An axiomatic semantics takes such laws as This says: For any predicate P whatsoever that the starting point: the laws defines the This says: If PRE holds for a program state, then holds in a program state when e is substituted for semantics and the meaning is just what executing c in that state will terminate and POST free occurrences of v, it is the case that P holds can be proved. will hold in the resulting state. in the state resulting after the assignment. - Closely related to Hoare logic. Note: Nothing is said about how execution is carried out, but the focus is on what its effect is. G54FOP: Lecture 3 – p.16/21 G54FOP: Lecture 3 – p.17/21 G54FOP: Lecture 3 – p.18/21 Example: Axiomatic Semantics (3) Example: Axiomatic Semantics (4) Example: Axiomatic Semantics (5) We can now prove e.g. Works for any predicate. Consider proving: Exercise. Prove: {x = 7} x := x+1 {x = 8} {x ≥ 0} x := x+1 {x > 0} {i = 6 ∧ j = 7} i := i * j {i = 42 ∧ j = 7} (often easier to work backwards from postcondition): {x > 0} postcondition {x = 8} postcondition {x + 1 > 0} substituting x + 1 for x {x +1=8} substituting x + 1 for x {x + 1 ≥ 1} n> 0 ≡ n ≥ 1 for any integer n {x = 8 − 1} arithmetic {x ≥ 1 − 1} arithmetic {x = 7} simplification yields precondition {x ≥ 0} simplification yields precondition G54FOP: Lecture 3 – p.19/21 G54FOP: Lecture 3 – p.20/21 G54FOP: Lecture 3 – p.21/21.
Load more

Recommended publications
  • A Guide to Dynamic Semantics
    A Guide to Dynamic Semantics Paul Dekker ILLC/Department of Philosophy University of Amsterdam September 15, 2008 1 Introduction In this article we give an introduction to the idea and workings of dynamic se- mantics. We start with an overview of its historical background and motivation in this introductory section. An in-depth description of a paradigm version of dynamic semantics, Dynamic Predicate Logic, is given in section 2. In section 3 we discuss some applications of the dynamic kind of interpretation to illustrate how it can be taken to neatly account for a vast number of empirical phenom- ena. In section 4 more radical extensions of the basic paradigm are discussed, all of them systematically incorporating previously deemed pragmatic aspects of meaning in the interpretational system. Finally, a discussion of some more general, philosophical and theoretical, issues surrounding dynamic semantics can be found in section 5. 1.1 Theoretical Background What is dynamic semantics. Some people claim it embodies a radical new view of meaning, departing from the main logical paradigm as it has been prominent in most of the previous century. Meaning, or so it is said, is not some object, or some Platonic entity, but it is something that changes information states. A very simple-minded way of putting the idea is that people uses languages, they have cognitive states, and what language does is change these states. “Natu- ral languages are programming languages for minds”, it has been said. Others build on the assumption that natural language and its interpretation is not just concerned with describing an independently given world, but that there are lots of others things relevant in the interpretation of discourse, and lots of other functions of language than a merely descriptive one.
    [Show full text]
  • Chapter 3 Describing Syntax and Semantics
    Chapter 3 Describing Syntax and Semantics 3.1 Introduction 110 3.2 The General Problem of Describing Syntax 111 3.3 Formal Methods of Describing Syntax 113 3.4 Attribute Grammars 128 3.5 Describing the Meanings of Programs: Dynamic Semantics 134 Summary • Bibliographic Notes • Review Questions • Problem Set 155 CMPS401 Class Notes (Chap03) Page 1 / 25 Dr. Kuo-pao Yang Chapter 3 Describing Syntax and Semantics 3.1 Introduction 110 Syntax – the form of the expressions, statements, and program units Semantics - the meaning of the expressions, statements, and program units. Ex: the syntax of a Java while statement is while (boolean_expr) statement – The semantics of this statement form is that when the current value of the Boolean expression is true, the embedded statement is executed. – The form of a statement should strongly suggest what the statement is meant to accomplish. 3.2 The General Problem of Describing Syntax 111 A sentence or “statement” is a string of characters over some alphabet. The syntax rules of a language specify which strings of characters from the language’s alphabet are in the language. A language is a set of sentences. A lexeme is the lowest level syntactic unit of a language. It includes identifiers, literals, operators, and special word (e.g. *, sum, begin). A program is strings of lexemes. A token is a category of lexemes (e.g., identifier). An identifier is a token that have lexemes, or instances, such as sum and total. Ex: index = 2 * count + 17; Lexemes Tokens index identifier = equal_sign 2 int_literal * mult_op count identifier + plus_op 17 int_literal ; semicolon CMPS401 Class Notes (Chap03) Page 2 / 25 Dr.
    [Show full text]
  • A Dynamic Semantics of Single-Wh and Multiple-Wh Questions*
    Proceedings of SALT 30: 376–395, 2020 A dynamic semantics of single-wh and multiple-wh questions* Jakub Dotlacilˇ Floris Roelofsen Utrecht University University of Amsterdam Abstract We develop a uniform analysis of single-wh and multiple-wh questions couched in dynamic inquisitive semantics. The analysis captures the effects of number marking on which-phrases, and derives both mention-some and mention-all readings as well as an often neglected partial mention- some reading in multiple-wh questions. Keywords: question semantics, multiple-wh questions, mention-some, dynamic inquisitive semantics. 1 Introduction The goal of this paper is to develop an analysis of single-wh and multiple-wh questions in English satisfying the following desiderata: a) Uniformity. The interpretation of single-wh and multiple-wh questions is derived uniformly. The same mechanisms are operative in both types of questions. b) Mention-some vs mention-all. Mention-some and mention-all readings are derived in a principled way, including ‘partial mention-some readings’ in multiple-wh questions (mention-all w.r.t. one of the wh-phrases but mention-some w.r.t. the other wh-phrase). c) Number marking. The effects of number marking on wh-phrases are captured. In particular, singular which-phrases induce a uniqueness requirement in single-wh questions but do not block pair-list readings in multiple-wh questions. To our knowledge, no existing account fully satisfies these desiderata. While we cannot do justice to the rich literature on the topic, let us briefly mention a number of prominent proposals. Groenendijk & Stokhof(1984) provide a uniform account of single-wh and multiple-wh ques- tions, but their proposal does not successfully capture mention-some readings and the effects of number marking.
    [Show full text]
  • Free Choice and Homogeneity
    Semantics & Pragmatics Volume 12, Article 23, 2019 https://doi.org/10.3765/sp.12.23 This is an early access version of Goldstein, Simon. 2019. Free choice and homogeneity. Semantics and Prag- matics 12(23). 1–47. https://doi.org/10.3765/sp.12.23. This version will be replaced with the final typeset version in due course. Note that page numbers will change, so cite with caution. ©2019 Simon Goldstein This is an open-access article distributed under the terms of a Creative Commons Attribution License (https://creativecommons.org/licenses/by/3.0/). early access Free choice and homogeneity* Simon Goldstein Australian Catholic University Abstract This paper develops a semantic solution to the puzzle of Free Choice permission. The paper begins with a battery of impossibility results showing that Free Choice is in tension with a variety of classical principles, including Disjunction Introduction and the Law of Excluded Middle. Most interestingly, Free Choice appears incompatible with a principle concerning the behavior of Free Choice under negation, Double Prohibition, which says that Mary can’t have soup or salad implies Mary can’t have soup and Mary can’t have salad. Alonso-Ovalle 2006 and others have appealed to Double Prohibition to motivate pragmatic accounts of Free Choice. Aher 2012, Aloni 2018, and others have developed semantic accounts of Free Choice that also explain Double Prohibition. This paper offers a new semantic analysis of Free Choice designed to handle the full range of impossibility results involved in Free Choice. The paper develops the hypothesis that Free Choice is a homogeneity effect.
    [Show full text]
  • Chapter 3 – Describing Syntax and Semantics CS-4337 Organization of Programming Languages
    !" # Chapter 3 – Describing Syntax and Semantics CS-4337 Organization of Programming Languages Dr. Chris Irwin Davis Email: [email protected] Phone: (972) 883-3574 Office: ECSS 4.705 Chapter 3 Topics • Introduction • The General Problem of Describing Syntax • Formal Methods of Describing Syntax • Attribute Grammars • Describing the Meanings of Programs: Dynamic Semantics 1-2 Introduction •Syntax: the form or structure of the expressions, statements, and program units •Semantics: the meaning of the expressions, statements, and program units •Syntax and semantics provide a language’s definition – Users of a language definition •Other language designers •Implementers •Programmers (the users of the language) 1-3 The General Problem of Describing Syntax: Terminology •A sentence is a string of characters over some alphabet •A language is a set of sentences •A lexeme is the lowest level syntactic unit of a language (e.g., *, sum, begin) •A token is a category of lexemes (e.g., identifier) 1-4 Example: Lexemes and Tokens index = 2 * count + 17 Lexemes Tokens index identifier = equal_sign 2 int_literal * mult_op count identifier + plus_op 17 int_literal ; semicolon Formal Definition of Languages • Recognizers – A recognition device reads input strings over the alphabet of the language and decides whether the input strings belong to the language – Example: syntax analysis part of a compiler - Detailed discussion of syntax analysis appears in Chapter 4 • Generators – A device that generates sentences of a language – One can determine if the syntax of a particular sentence is syntactically correct by comparing it to the structure of the generator 1-5 Formal Methods of Describing Syntax •Formal language-generation mechanisms, usually called grammars, are commonly used to describe the syntax of programming languages.
    [Show full text]
  • Three Notions of Dynamicness in Language∗
    Three Notions of Dynamicness in Language∗ Daniel Rothschild† Seth Yalcin‡ [email protected] [email protected] June 7, 2016 Abstract We distinguish three ways that a theory of linguistic meaning and com- munication might be considered dynamic in character. We provide some examples of systems which are dynamic in some of these senses but not others. We suggest that separating these notions can help to clarify what is at issue in particular debates about dynamic versus static approaches within natural language semantics and pragmatics. In the seventies and early eighties, theorists like Karttunen, Stalnaker, Lewis, Kamp, and Heim began to `formalize pragmatics', in the process making the whole conversation or discourse itself the object of systematic formal investiga- tion (Karttunen[1969, 1974]; Stalnaker[1974, 1978]; Lewis[1979]; Kamp[1981]; Heim[1982]; see also Hamblin[1971], Gazdar[1979]). This development some- times gets called \the dynamic turn". Much of this work was motivated by a desire to model linguistic phenomena that seemed to involve a special sen- sitivity to the preceding discourse (with presupposition and anaphora looming especially large)|what we could loosely call dynamic phenomena. The work of Heim[1982] in particular showed the possibility of a theory of meaning which identified the meaning of a sentence with (not truth-conditions but) its potential to influence the state of the conversation. The advent of this kind of dynamic compositional semantics opened up a new question at the semantics-pragmatics interface: which seemingly dynamic phenomena are best handled within the compositional semantics (as in a dynamic semantics), and which are better modeled by appeal to a formal `dynamic pragmatics' understood as separable from, but perhaps interacting with, the compositional semantics? Versions of this question continue to be debated within core areas of semantic-pragmatic ∗The authors thank Jim Pryor and Lawerence Valby for essential conversations.
    [Show full text]
  • Lecture 6. Dynamic Semantics, Presuppositions, and Context Change, II
    Formal Semantics and Formal Pragmatics, Lecture 6 Formal Semantics and Formal Pragmatics, Lecture 6 Barbara H. Partee, MGU, April 10, 2009 p. 1 Barbara H. Partee, MGU, April 10, 2009 p. 2 Lecture 6. Dynamic Semantics, Presuppositions, and Context Change, II. DR (1) (incomplete) 1.! Kamp’s Discourse Representation Theory............................................................................................................ 1! u v 2.! File Change Semantics and the Anaphoric Theory of Definiteness: Heim Chapter III ........................................ 5! ! ! 2.1. Informative discourse and file-keeping. ........................................................................................................... 6! 2.2. Novelty and Familiarity..................................................................................................................................... 9! Pedro owns a donkey 2.3. Truth ................................................................................................................................................................ 10! u = Pedro 2.4. Conclusion: Motivation for the File Change Model of Semantics.................................................................. 10! u owns a donkey 3. Presuppositions and their parallels to anaphora ..................................................................................................... 11! donkey (v) 3.1. Background on presuppositions .....................................................................................................................
    [Show full text]
  • Lecture Notes on Dynamic Semantics
    Lecture Notes on Dynamic Semantics 15-411: Compiler Design Frank Pfenning, Rob Simmons, Jan Hoffmann Lecture 14 October 10, 2017 1 Introduction In the previous lecture we specified the static semantics of a small imperative lan- guage. In this lecture we proceed to discuss its dynamic semantics, that is, how programs execute. The relationship between the dynamic semantics for a language and what a compiler actually implements is usually much less direct than for the static semantics. That’s because a compiler doesn’t actually run the program. In- stead, it translates it from some source language to a target language, and then the program in the target language is actually executed. In our context, the purpose of writing down the dynamic semantics is primarily to precisely specify how programs are supposed to execute. Previously, we defined how programs were supposed to execute either informally (“use left-to-right eval- uation”) or by explicitly specifying the way an elaborated AST is compiled into a lower-level language where effects are explicitly ordered. As our language be- comes more complex, it will become increasingly important to make our language specification formal in order to avoid the ambiguity inherent in informal descrip- tions. We could continue to define our dynamic semantics by compiling the language into a simpler form. (In fact, we are doing this to some degree, because we are defining our dynamic semantics in terms of the elaborated AST, which is a simplifi- cation of the concrete syntax. There is a trade-off here: the more work we do before defining the dynamic semantics, the harder it is too see the relationship between the original program and the program whose behavior we are defining.) Writing this down the dynamic semantics in terms of the source language, or something close to it, has a number of advantages.
    [Show full text]
  • Inquisitive Semantics: a New Notion of Meaning
    Inquisitive semantics: a new notion of meaning Ivano Ciardelli Jeroen Groenendijk Floris Roelofsen March 26, 2013 Abstract This paper presents a notion of meaning that captures both informative and inquisitive content, which forms the cornerstone of inquisitive seman- tics. The new notion of meaning is explained and motivated in detail, and compared to previous inquisitive notions of meaning. 1 Introduction Recent work on inquisitive semantics has given rise to a new notion of mean- ing, which captures both informative and inquisitive content in an integrated way. This enriched notion of meaning generalizes the classical, truth-conditional notion of meaning, and provides new foundations for the analysis of linguistic discourse that is aimed at exchanging information. The way in which inquisitive semantics enriches the notion of meaning changes our perspective on logic as well. Besides the classical notion of en- tailment, the semantics also gives rise to a new notion of inquisitive entailment, and to new logical notions of relatedness, which determine, for instance, whether a sentence compliantly addresses or resolves a given issue. The enriched notion of semantic meaning also changes our perspective on pragmatics. The general objective of pragmatics is to explain aspects of inter- pretation that are not directly dictated by semantic content, in terms of general features of rational human behavior. Gricean pragmatics has fruitfully pursued this general objective, but is limited in scope. Namely, it is only concerned with what it means for speakers to behave rationally in providing information. In- quisitive pragmatics is broader in scope: it is both speaker- and hearer-oriented, and is concerned more generally with what it means to behave rationally in co- operatively exchanging information rather than just in providing information.
    [Show full text]
  • Donkey Sentences 763 Creating Its Institutions of Laws, Religion, and Learning
    Donkey Sentences 763 creating its institutions of laws, religion, and learning. many uneducated speakers to restructure their plural, It was the establishment of viceroyalties, convents so that instead of the expected cotas ‘coasts’, with -s and a cathedral, two universities – the most notable denoting plurality, they have created a new plural being Santo Toma´s de Aquino – and the flourishing of with -se,asinco´ tase. arts and literature during the 16th and early 17th Dominican syntax tends to prepose pronouns in century that earned Hispaniola the title of ‘Athena interrogative questions. As an alternative to the stan- of the New World.’ The Spanish language permeated dard que´ quieres tu´ ? ‘what do you want?’, carrying an those institutions from which it spread, making obligatory, postverbal tu´ ‘you’, speakers say que´ tu´ Hispaniola the cradle of the Spanish spoken in the quieres?. The latter sentence further shows retention Americas. of pronouns, which most dialects may omit. Fre- Unlike the Spanish of Peru and Mexico, which quently found in Dominican is the repetition of dou- co-existed with native Amerindian languages, ble negatives for emphatic purposes, arguably of Dominican Spanish received little influence from the Haitian creole descent. In responding to ‘who did decimated Tainos, whose Arawak-based language that?’, many speakers will reply with a yo no se´ no disappeared, leaving a few recognizable words, such ‘I don’t know, no’. as maı´z ‘maize’ and barbacoa ‘barbecue’. The 17th Notwithstanding the numerous changes to its century saw the French challenge Spain’s hegemony grammatical system, and the continuous contact by occupying the western side of the island, which with the English of a large immigrant population they called Saint Domingue and later became the residing in the United States, Dominican Spanish has Republic of Haiti.
    [Show full text]
  • 1. Introduction
    Processing inferences at the semantics/pragmatics frontier: disjunctions and free choice Emmanuel Chemla (LSCP, ENS, CNRS, France) Lewis Bott (Cardiff University, UK) Abstract: Linguistic inferences have traditionally been studied and categorized in several categories, such as entailments, implicatures or presuppositions. This typology is mostly based on traditional linguistic means, such as introspective judgments about phrases occurring in different constructions, in different conversational contexts. More recently, the processing properties of these inferences have also been studied (see, e.g., recent work showing that scalar implicatures is a costly phenomenon). Our focus is on free choice permission, a phenomenon by which conjunctive inferences are unexpectedly added to disjunctive sentences. For instance, a sentence such as “Mary is allowed to eat an ice-cream or a cake” is normally understood as granting permission both for eating an ice-cream and for eating a cake. We provide data from four processing studies, which show that, contrary to arguments coming from the theoretical literature, free choice inferences are different from scalar implicatures. Keywords: pragmatics; processing; free choice; scalar implicatures; inferences 1. Introduction The meaning we attach to any utterance comes from two sources. First, the specific combination of the words that were pronounced feeds the application of grammatical, compositional rules. The implicit knowledge of these rules allows us to understand any of the infinite combinations of words that form a proper sentence. Thus, grammatical operations lead to the literal meaning of the sentence. Second, the sentence meaning may be enriched by taking into account extra-linguistic information, such as general rules of communication and social interaction, information about the context of the utterance or the assumed common knowledge between speaker and addressee.
    [Show full text]
  • Semantics II (207): Dynamic Theories More On
    Semantics II (207): Dynamic theories UCLA, Spring 2011 Jessica Rett, [email protected] where: Bunche 3143 when: Tuesday/Thursday, 11am-1pm office hours: Thursday 2-4pm expectations: do the reading; turn in homework; write a 15-page term paper due at noon on Friday, June 10; discuss your topic with me by May 26th. day topic readings* homework 1 Tuesday, March 29 Introduction Montague (1973) Thursday, March 31 Montague Grammar 1 Gamut (1991) x6.1{6.3.5 Dowty et al. (1981) 2 Tuesday, April 5 Montague Grammar 2 Gamut (1991) x6.3.6{6.3.10 homework 1 due Thursday, April 7 Individual concepts & Drefs Karttunen (1971) 3 Tuesday, April 12 Foundations of DRT Heim (1983); Kamp (1981); Heim (1982) homework 2 due Thursday, April 14 Introduction to DRT Kamp and Reyle (1993) Ch 1 4 Tuesday, April 19 Quantifiers in DRT 1 Kamp and Reyle (1993) Ch 2 homework 3 due Thursday, April 21 Quantifiers in DRT 2 Kamp and Reyle (1993) Ch 3 5 Tuesday, April 26 Tense & Aspect in DRT 1 Kamp and Reyle (1993) x5-5.3 homework 4 due Thursday, April 28 Tense & Aspect in DRT 2 Kamp and Reyle (1993) x5.4-5.6 6 Tuesday, May 3 Anaphora in DRT Beaver (2002) homework 5 due Thursday, May 5 Presupposition in DRT Krahmer and van Deemter (1998) 7 Tuesday, May 10 Foundations of DPL 1 Groenendijk and Stokhof (1991) x1-x3 Thursday, May 12 Foundations of DPL 2 Groenendijk and Stokhof (1991) x4-x5 8 Tuesday, May 17 Quantifiers in DPL 1 Brasoveanu (2011) Thursday, May 19 Quantifiers in DPL 2 Brasoveanu (2011) 9 Tuesday, May 24 Plurals in DPL Nouwen (2007) Thursday, May 26 Reflexives/Reciprocals in DPL Murray (2008); Murray (2007) 10 Tuesday, May 31 Questions in discourse 1 Asher and Lascarides (1998) Thursday, June 2 Questions in discourse 2 Asher and Lascarides (1998) *Italicized readings are optional but relevant.
    [Show full text]