The meaning of German nach

Size: px
Start display at page:

Download "The meaning of German nach"

Transcription

1 The meaning of German nach Boris Haselbach IMS, Universität Stuttgart, SFB 732/B4 Workshop The Meaning of P RU Bochum, November / 33

2 what does the preposition nach mean? (1) Homer tanzte nach Bochum. a. Homer danced to Bochum. directional b. After Bochum, Homer danced. temporal (2) Homer tanzte nach Mitternacht. Homer danced after midnight. (3) Homer tanzte nach 15 Metern. After 15 meter, Homer danced. temporal path? (4) Nukularalarm nach Homers Tanz a. Nucular alert after Homer s dance temporal b. Nucular alert because of Homer s dance causal? (5) Homer tanzte nach Marges Aussage. a. After M s statement, H danced. temporal b. According to M s statement, H danced. propositional 2 / 33

3 what does the verb particle nach mean? (6) Die Nukularalarmglocke klang nach. The nucular alarm bell lingered. temporal (7) Marge strickte Lisa eine Mütze nach. a. Marge copied Lisa s knitting of a cap. temporal (copy manner) b. Marge re-knitted a cap for Lisa. temporal (rep./res.) (8) Homer tanzte Marge nach. a. Homer copied Marge s dancing. temporal (copy manner) b. Homer followed Marge dancing. directional temporal (9) Homer schärfte ein Messer nach. Homer re-sharpened a knife. temporal (rep./res.) (10) Homer dachte über Kernphysik nach. Homer thought about nucular physics. propositional 3 / 33

4 disclaimer This talk is NOT on the disambiguation or on reading preferences of nach! (Eberle 2010, Haselbach et al. to appear,...) 4 / 33

5 disclaimer This talk is NOT on the disambiguation or on reading preferences of nach! (Eberle 2010, Haselbach et al. to appear,...) 4 / 33

6 the interface Historically, both prepositions and verb particles have the same origin: adverb (Kolehmainen 2005) P-root nach Categorial head turns nach into a preposition [prepositionalizing P-head], or a verb particle [V-head in extended VP-shell] Similar to verbalizing V-head (Arad 2003, Marantz 2005) Semantics: DRT (Kamp/Reyle 1993) In a PP, the meaning of nach is (usually) discrete The (functional) structure of the PP puts forth one of the semantic predispositions of nach As a verb particle, the meaning of nach is not necessarily discrete The (functional) structure of the VP and its extended projection(s) do not weed out the semantic predispositions of nach, but the semantics of the underlying VP determines the semantic evolvement of nach (Haselbach 2011) 5 / 33

7 nach s semantic predisposition directional prop. nach temporal causal path prop. = propositional 6 / 33

8 nach s semantic predisposition directional nach prop. temporal 7 / 33

9 the preposition nach directional preposition Homer tanzte nach Bochum. Homer danced to Bochum. w x z e t Homer(x) Bochum(z) dancing(e) e t t < n agent(e,x) to(w,z) path(e,w) 8 / 33

10 the preposition nach directional preposition: syntax VoiceP DP Homer Voice Voice VP VP tanz P spat P PP nach DP Bochum nach P spat directional preposition nach 9 / 33

11 nach s semantic predisposition directional nach prop. temporal 10 / 33

12 the preposition nach temporal preposition (1) canonical reading Homer tanzte nach Mitternacht. Homer danced after midnight. x e t t Homer(x) dancing(e) e t t < n agent(e,x) midnight(t ) t < t 11 / 33

13 the preposition nach temporal preposition (2) canonical reading Homer tanzte nach 15 Minuten. After 15 minutes, Homer danced. x e m t t Homer(x) dancing(e) e t t < n agent(e,x) m = dist(t,t) 15minutes(m) t < t 12 / 33

14 the preposition nach temporal preposition (3) path reading Homer tanzte nach 15 Metern. After 15 meters, Homer danced. x w e t t Homer(x) e dancing(e) event(e ), e t path(e,w) t < n e t agent(e,x) 15meter(w) t < t 13 / 33

15 the preposition nach temporal preposition (4) non-canonical reading Homer tanzte (, ) nach Bochum. After Bochum, Homer danced. x z e t t Homer(x) e Bochum(z) event(e ), dancing(e) loc(e,z) e t e t t < n agent(e,x) t < t 14 / 33

16 the preposition nach temporal reading: syntax... PP... P temp P nach DP Mitternacht 15 Minuten 15 Meter Bochum DP Homer VoiceP Voice Voice VP tanz nach P temp temporal preposition nach 15 / 33

17 the temporal preposition nach temporal preposition (5) causal reading Nukularalarm nach Homers Tanz Nucular Alert after Homer s Dance x e e t t Homer(x) nucular alert(e) e t dance(e ) e t agent(e,x) t < t e cause e cause: pragmatics 16 / 33

18 nach s semantic predisposition directional nach prop. temporal 17 / 33

19 the preposition nach, adposition actually propositional preposition Marges Aussage nach tanzte Homer. According to Marge s statement Homer danced. x z e p Homer(x) Marge(z) statement(e,p) agent(e,z) e t p: dancing(e) e t t < n agent(e,x) 18 / 33

20 the preposition nach propositional preposition: syntax... PP... DP Marges Aussage P funct P nach DP Homer VoiceP Voice Voice VP tanz nach P funct propositional preposition nach 19 / 33

21 nach s semantic predisposition directional nach prop. temporal What about nach as a verb particle? 20 / 33

22 the verb particle nach temporal particle (1) continuation reading Die Nukularalarmglocke klang nach. The nucular alarm bell lingered. y e t t e nucular alarm bell(y), ringing(e,y) ringing(e,y) e t e t t < n t < t 21 / 33

23 the verb particle nach continuation reading: syntax wp w VP w nach V kling DP die Nukularalarmglocke 22 / 33

24 the verb particle nach temporal particle (2) redo reading Marge strickte (Lisa dat:benefactive ) *(eine acc Mütze) nach. Marge re-knitted a cap (for Lisa). existence + s s x y e s t t t s Marge(x) knitting(e) s : exists(y) agent(e,x) s t e t t < n s, cap(y) theme(e,y) s : exists(y) result(e,s) s t s: exists(y) s s s time rep. res. (t < t ) (t < t ) s t t < t t < t 23 / 33

25 the verb particle nach redo reading: low syntax VoiceP DP Marge Voice Voice wp w VP w nach V strick DP eine Mütze 24 / 33

26 the verb particle nach temporal particle (3) copy manner reading Marge strickte *(Lisa dat ) (eine acc Mütze) nach. Marge copied Lisa s knitting of a cap. x y z e t t Marge(x) Lisa(z) e knitting(e) knitting(e ), e t agent(e,z) agent(e,x) e t t < n cap(y) theme(e,y) t < t 25 / 33

27 the verb particle nach copy manner: high syntax wp DP dat Lisa w w VoiceP w nach DP Marge Voice Voice VP V strick copy manner reading: high syntax (cf. #Eine Maschine strickte Lisa nach.) DP die Mütze 26 / 33

28 nach s semantic predisposition directional nach prop. temporal 27 / 33

29 the verb particle nach temporal particle (2 ) redo reading Homer tanzte *(einen acc Tango) nach. Homer copied the tango. x y e s t t t Homer(x) dancing(e) e t e s t < n theme(e,y), result(e,s ) s t agent(e,x) tango(y) theme(e,y) result(e,s) s t t < t t < t 28 / 33

30 the verb particle nach temporal particle (3) copy manner reading // temporal directional particle Homer tanzte *(Marge dat ) (einen Tango) nach. Homer copied Marge s dancing (of a tango). Homer followed Marge dancing (a tango) e dancing(e ) x y z e t t agent(e,z) e t Homer(x) theme(e,y) Marge(z) dancing(e), e w event(e ) e t path(e,w) participant(e 0,z) path(e,w) e t t < n agent(e,x) tango(y) theme(e,y) t < t 29 / 33

31 the verb particle nach directional nach prop. temporal 30 / 33

32 the verb particle nach»d oh«example Nach Bochum tanzte Homer nom Marge dat einen acc Tango nach Stuttgart nach. After Bochum, Homer followed Marge to Stuttgart dancing... e event(e ) loc(e,u) e t dancing(e), e event(e ) e t path(e,w) participant(e,z) u v w x y z e t t t Homer(x) Marge(z) Bochum(u) Stuttgart(v) e t t < n agent(e,x) tango(y) theme(e,y) to(w,v) path(e,w) t < t t < t 31 / 33

33 thank you! 32 / 33

34 references Maya Arad. Locality constraints in the interpretation of roots: the case of Hebrew denominal verbs. Natural Language and Linguistic Theory, 21(4): , Kurt Eberle. -ung Nominalizations of verbs of saying in German events and propositions. In Proceedings of Chronos 2009: 9th International Conference on Tense, Aspect and Modality, Paris, Boris Haselbach. Deconstructing the German verb particle nach at the syntax-semantics interface. In Lena Baunaz, Anamaria Bentea, and Joanna Blochowiak, editors, Generative Grammar in Geneva 7, pages Department of Linguistics, University of Geneva, Geneva, Boris Haselbach, Kerstin Eckart, Wolfgang Seeker, Kurt Eberle, and Ulrich Heid. Approximating theoretical linguistics classification in real data: the case of German nach particle verbs. Submitted to COLING Hans Kamp and Uwe Reyle. From Discourse to Logic. Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, volume 42 of Studies in Linguistics and Philosophy. Kluwer Academic Publishers, Dordrecht/Boston/London, Leena Kolehmainen. Präfix- und Partikelverben im deutsch-finnischen Kontrast. PhD thesis, Universität Helsinki, Alec Marantz. Objects out of the lexicon! argument-structure in the syntax, April / 33

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

An Alternative Semantics for English Aspectual Particles

An Alternative Semantics for English Aspectual Particles Aspectual Particles 1 of 27 An Alternative Semantics for English Aspectual Particles Alexander Klapheke Harvard University SNEWS November 15, 2014 Aspectual Particles Overview 2 of 27 Overview Previous

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

A Time-relational Approach to Aspect in Mandarin Chinese and English

A Time-relational Approach to Aspect in Mandarin Chinese and English A Time-relational Approach to Aspect in Mandarin Chinese and English Mingya Liu University of Tübingen mingya.liu@uni-tuebingen.de July 22, 2008 Mingya Liu (Tübingen) Aspect in Chinese and English July

More information

ON THE LOGIC OF VERBAL MODIFICATION DAVID BEAVER AND CLEO CONDORAVDI

ON THE LOGIC OF VERBAL MODIFICATION DAVID BEAVER AND CLEO CONDORAVDI ON THE LOGIC OF VERBAL ODIFICATION DAVID BEAVER AND CLEO CONDORAVDI Department of Linguistics University of Texas at Austin dib@mail.utexas.edu PARC and Department of Linguistics Stanford University condorav@csli.stanford.edu

More information

THE DRAVIDIAN EXPERIENCER CONSTRUCTION AND THE ENGLISH SEEM CONSTRUCTION. K. A. Jayaseelan CIEFL, Hyderabad

THE DRAVIDIAN EXPERIENCER CONSTRUCTION AND THE ENGLISH SEEM CONSTRUCTION. K. A. Jayaseelan CIEFL, Hyderabad THE DRAVIDIAN EXPERIENCER CONSTRUCTION AND THE ENGLISH SEEM CONSTRUCTION K. A. Jayaseelan CIEFL, Hyderabad 1. Introduction In many languages e.g. Malayalam, Tamil, Hindi, the same verb is used in the Experiencer

More information

NP Coordination in Underspecified Scope Representations

NP Coordination in Underspecified Scope Representations NP Coordination in Underspecified Scope Representations Alistair Willis The Open University Milton Keynes, UK. A.G.Willis@open.ac.uk Abstract Accurately capturing the quantifier scope behaviour of coordinated

More information

Creation constructions and frames

Creation constructions and frames Creation constructions and frames Udo Klein, Marcus Kracht and Ralf Vogel Universität Bielefeld Collaborative Research Centre Alignment in Communication (SFB 673, funded by the German Research Foundation,

More information

Linguistics in Potsdam

Linguistics in Potsdam Linguistics in Potsdam Series Editors: Ruben van de Vijver Institut für Linguistik Potsdam Ralf Vogel Institut für Linguistik Potsdam Linguistics in Potsdam 27 Antony D. Green Phonology Limited Universitätsverlag

More information

3.5 Generalized Quantifiers in DRT A Simple Extension to Non-Universal Quantifiers

3.5 Generalized Quantifiers in DRT A Simple Extension to Non-Universal Quantifiers 3.5 Generalized Quantifiers in DRT 3.5.1 A Simple Extension to Non-Universal Quantifiers The rules for DRS construction and interpretation we have considered so far just cover one logical type of quantifier,

More information

Tense and Mood in conditional sentences. Katrin Schulz ILLC/University of Amsterdam

Tense and Mood in conditional sentences. Katrin Schulz ILLC/University of Amsterdam Tense and Mood in conditional sentences Katrin Schulz ILLC/University of Amsterdam K.Schulz@uva.nl 1 1. Introduction 2 1. Introduction Aim of the research: 3 1. Introduction Aim of the research: A compositional

More information

Proposition Knowledge Graphs. Gabriel Stanovsky Omer Levy Ido Dagan Bar-Ilan University Israel

Proposition Knowledge Graphs. Gabriel Stanovsky Omer Levy Ido Dagan Bar-Ilan University Israel Proposition Knowledge Graphs Gabriel Stanovsky Omer Levy Ido Dagan Bar-Ilan University Israel 1 Problem End User 2 Case Study: Curiosity (Mars Rover) Curiosity is a fully equipped lab. Curiosity is a rover.

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

A Multi-Modal Combinatory Categorial Grammar. A MMCCG Analysis of Japanese Nonconstituent Clefting

A Multi-Modal Combinatory Categorial Grammar. A MMCCG Analysis of Japanese Nonconstituent Clefting A Multi-Modal Combinatory Categorial Grammar Analysis of Japanese Nonconstituent Clefting Department of Linguistics The Ohio State University {kubota,esmith}@ling.osu.edu A basic cleft sentence Data Clefting

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

A Model for Multimodal Reference Resolution

A Model for Multimodal Reference Resolution A Model for Multimodal Reference Resolution Luis Pineda National Autonomous University of Mexico (UNAM) Gabriela Garza An important aspect of the interpretation of multimodal messages is the ability to

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

Chiastic Lambda-Calculi

Chiastic Lambda-Calculi Chiastic Lambda-Calculi wren ng thornton Cognitive Science & Computational Linguistics Indiana University, Bloomington NLCS, 28 June 2013 wren ng thornton (Indiana University) Chiastic Lambda-Calculi NLCS,

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

1. Background. Task: Determine whether a given string of words is a grammatical (well-formed) sentence of language L i or not.

1. Background. Task: Determine whether a given string of words is a grammatical (well-formed) sentence of language L i or not. Constraints in Syntax [1] Phrase Structure and Derivations Düsseldorf LSA/DGfS Summerschool 2002 Gereon Müller (IDS Mannheim) gereon.mueller@ids-mannheim.de 1. Background Task: Determine whether a given

More information

Linguistics and logic of common mathematical language I. Peter Koepke and Merlin Carl, Mathematical Institute Universität Bonn

Linguistics and logic of common mathematical language I. Peter Koepke and Merlin Carl, Mathematical Institute Universität Bonn The NAPROCHE Project Linguistics and logic of common mathematical language I Peter Koepke and Merlin Carl, Mathematical Institute Universität Bonn Mathematical texts are formulated in a semi-formal language,

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

Unterspezifikation in der Semantik Scope Semantics in Lexicalized Tree Adjoining Grammars

Unterspezifikation in der Semantik Scope Semantics in Lexicalized Tree Adjoining Grammars in der emantik cope emantics in Lexicalized Tree Adjoining Grammars Laura Heinrich-Heine-Universität Düsseldorf Wintersemester 2011/2012 LTAG: The Formalism (1) Tree Adjoining Grammars (TAG): Tree-rewriting

More information

Proseminar on Semantic Theory Fall 2013 Ling 720 The Proper Treatment of Quantification in Ordinary English, Part 1: The Fragment of English

Proseminar on Semantic Theory Fall 2013 Ling 720 The Proper Treatment of Quantification in Ordinary English, Part 1: The Fragment of English The Proper Treatment of Quantification in Ordinary English, Part 1: The Fragment of English We will now explore the analysis of English that Montague puts forth in his seminal paper, PTQ. As we ve already

More information

Expressiveness, decidability, and undecidability of Interval Temporal Logic

Expressiveness, decidability, and undecidability of Interval Temporal Logic University of Udine Department of Mathematics and Computer Science Expressiveness, decidability, and undecidability of Interval Temporal Logic ITL - Beyond the end of the light Ph.D. Defence Dario Della

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

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

Semantics and Pragmatics of NLP. SPNLP: Dynamic Semantics and Drawbacks

Semantics and Pragmatics of NLP. SPNLP: Dynamic Semantics and Drawbacks Semantics and Pragmatics of NLP Dynamic Semantics and Drawbacks School of Informatics University of Edinburgh Outline Some Quick Revision 1 Some Quick Revision 2 A quick overview of how DRSs are interpreted

More information

Flexible Semantic Composition with DUDES

Flexible Semantic Composition with DUDES Fleible Semantic Composition ith DUDES Philipp Cimiano Web Information Systems Group TU Delft 1 DUDES In this paper e present a novel formalism for semantic construction called DUDES (Dependency-based

More information

Maximal interpretation of temporal and spatial adverbs

Maximal interpretation of temporal and spatial adverbs Maximal interpretation of temporal and spatial adverbs Paul Edward Clayton & Aniko Csirmaz University of Utah September 2, 2009 Chronos 9 1 / 50 Context Temporal measure expressions 1 in, within 2 for,

More information

First Order Logic (1A) Young W. Lim 11/18/13

First Order Logic (1A) Young W. Lim 11/18/13 Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software

More information

Prior and temporal sequences for natural language

Prior and temporal sequences for natural language Prior and temporal sequences for natural language Tim Fernando Trinity College Dublin, Ireland Tim.Fernando@tcd.ie In a widely quoted defense of logics of discrete time, Arthur Prior writes The usefulness

More information

Structural Foundations for Abstract Mathematics

Structural Foundations for Abstract Mathematics May 5, 2013 What no foundation can give us: Certainty What foundations need not give us: Ontological reduction What set theory gives us: Common language in which all mathematics can be encoded:,,,... Dispute

More information

Semantics and Generative Grammar. A Little Bit on Adverbs and Events

Semantics and Generative Grammar. A Little Bit on Adverbs and Events A Little Bit on Adverbs and Events 1. From Adjectives to Adverbs to Events We ve just developed a theory of the semantics of adjectives, under which they denote either functions of type (intersective

More information

English Pronominal Affixes in Logical Grammar

English Pronominal Affixes in Logical Grammar Department of Linguistics The Ohio State University October 15, 2010 Overview and Selected Data The Unaccented Pronoun Constraint (current data adapted and extended from [Zwi86]) Reduced pronouns in question

More information

Quantifiers in Frame Semantics

Quantifiers in Frame Semantics Quantifiers in Frame Semantics Laura Kallmeyer Heinrich-Heine-Universität Düsseldorf Oberseminar Syntax and Semantics, Frankfurt, 11.5.2015 SFB 991 1 / 37 Table of contents 1 Introduction Motivation LTAG

More information

Feature Stacks and Binding Relations

Feature Stacks and Binding Relations Feature Stacks and Binding Relations Silke Fischer (Universität Stuttgart) The Fine Structure of Grammatical Relations, Universität Leipzig December 10, 2010 1. Introduction Background: In Fischer (2004b,

More information

Logic Background (1A) Young W. Lim 12/14/15

Logic Background (1A) Young W. Lim 12/14/15 Young W. Lim 12/14/15 Copyright (c) 2014-2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any

More information

An Introduction to Modal Logic III

An Introduction to Modal Logic III An Introduction to Modal Logic III Soundness of Normal Modal Logics Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, October 24 th 2013 Marco Cerami

More information

Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders

Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders Davide Bresolin 1, Angelo Montanari 2, Pietro Sala 1, and Guido Sciavicco 34 1 Department of Computer

More information

Bootstrapping Mathematics

Bootstrapping Mathematics Bootstrapping Mathematics Masahiko Sato Graduate School of Informatics, Kyoto University Mathematical Logic: Development and Evolution into Various Sciences Kanazawa, Japan March 9, 2012 Contents What

More information

Temporal Situations and a Representation of Concurrent Events

Temporal Situations and a Representation of Concurrent Events Temporal Situations and a Representation of Concurrent Events Satoshi Tojo The representation of time with the physical time parameter 't', often overspecifies the semantics of natural languages, because

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

IBM Model 1 for Machine Translation

IBM Model 1 for Machine Translation IBM Model 1 for Machine Translation Micha Elsner March 28, 2014 2 Machine translation A key area of computational linguistics Bar-Hillel points out that human-like translation requires understanding of

More information

How to Dance: On the Unergative and Unaccusative Nature of German Manner of Motion Verbs

How to Dance: On the Unergative and Unaccusative Nature of German Manner of Motion Verbs How to Dance: On the Unergative and Unaccusative Nature of German Manner of Motion Verbs Boris Haselbach (University of Stuttgart) haselbbs@ims.uni-stuttgart.de Unergative Predicates: Architecture and

More information

INTRODUCTION TO LOGIC. Propositional Logic. Examples of syntactic claims

INTRODUCTION TO LOGIC. Propositional Logic. Examples of syntactic claims Introduction INTRODUCTION TO LOGIC 2 Syntax and Semantics of Propositional Logic Volker Halbach In what follows I look at some formal languages that are much simpler than English and define validity of

More information

Quantifier Scope in German: An MCTAG Analysis

Quantifier Scope in German: An MCTAG Analysis Quantifier Scope in German: An MCAG Analysis Laura Kallmeyer University of übingen Collaborative Research Center 441 lk@sfs.uni-tuebingen.de Maribel Romero University of Pennsylvania Department of Linguistics

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

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

CS626: NLP, Speech and the Web. Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 14: Parsing Algorithms 30 th August, 2012

CS626: NLP, Speech and the Web. Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 14: Parsing Algorithms 30 th August, 2012 CS626: NLP, Speech and the Web Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 14: Parsing Algorithms 30 th August, 2012 Parsing Problem Semantics Part of Speech Tagging NLP Trinity Morph Analysis

More information

VITRA GUIDE: Multimodal Route Descriptions for Computer Assisted Vehicle Navigation

VITRA GUIDE: Multimodal Route Descriptions for Computer Assisted Vehicle Navigation VITRA GUIDE: Multimodal Route Descriptions for Computer Assisted Vehicle Navigation Wolfgang Maaß, Peter Wazinski, Gerd Herzog SFB 314, Project VITRA Universität des Saarlandes D-66041 Saarbrücken, Germany

More information

A Weakness for Donkeys

A Weakness for Donkeys (1) Math Review A Weakness for Donkeys Carl Pollard Linguistics 794.14/812 April 21, 2011 Recall that if S, and P, are two preordered sets, then f : S P is called monotonic (antitonic) iff for all s, s

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

A Logical Formulation of the Granular Data Model

A Logical Formulation of the Granular Data Model 2008 IEEE International Conference on Data Mining Workshops A Logical Formulation of the Granular Data Model Tuan-Fang Fan Department of Computer Science and Information Engineering National Penghu University

More information

Dependency grammar. Recurrent neural networks. Transition-based neural parsing. Word representations. Informs Models

Dependency grammar. Recurrent neural networks. Transition-based neural parsing. Word representations. Informs Models Dependency grammar Morphology Word order Transition-based neural parsing Word representations Recurrent neural networks Informs Models Dependency grammar Morphology Word order Transition-based neural parsing

More information

Other types of Movement

Other types of Movement Other types of Movement So far we seen Wh-movement, which moves certain types of (XP) constituents to the specifier of a CP. Wh-movement is also called A-bar movement. We will look at two more types of

More information

Past-as-Past in Japanese Counterfactuals

Past-as-Past in Japanese Counterfactuals Past-as-Past in Japanese Counterfactuals Teruyuki Mizuno Stefan Kaufmann University of Connecticut CLS 54, April 2018 1 / 27 Outline 1 Introduction English: basic observations Japanese: some examples 2

More information

D2: For each type 1 quantifier Q, Q acc (R) = {a : Q(aR) = 1}.

D2: For each type 1 quantifier Q, Q acc (R) = {a : Q(aR) = 1}. Some Formal Properties of Higher Order Anaphors R. Zuber Laboratoire de Linguistique Formelle, CNRS and University Paris-Diderot Richard.Zuber@linguist.univ-paris-diderot.fr Abstract Formal properties

More information

Against generalized quantifiers (and what to replace them with)

Against generalized quantifiers (and what to replace them with) Against generalized quantifiers (and what to replace them with) Udo Klein SFB 732 Stuttgart, 06.11.08 Generalized quantifier theory the basic idea The sentence Exactly three students smoke. is true if

More information

Reflexives and non-fregean quantifiers

Reflexives and non-fregean quantifiers UCLA Working Papers in Linguistics, Theories of Everything Volume 17, Article 49: 439-445, 2012 Reflexives and non-fregean quantifiers Richard Zuber It is shown that depending on the subject noun phrase

More information

Introduction to Semantics (EGG Wroclaw 05)

Introduction to Semantics (EGG Wroclaw 05) Introduction to Semantics (EGG Wroclaw 05) 0. Preliminaries 0.1 Semantics vs. pragmatics Semantics only concerned with literal meaning as opposed to non-literal, or situational meaning, most of which is

More information

Berit Gehrke (Utrecht), The prepositional aspect of Slavic prefixes and the goal-source asymmetry

Berit Gehrke (Utrecht), The prepositional aspect of Slavic prefixes and the goal-source asymmetry Berit Gehrke (Utrecht), berit.gehrke@let.uu.nl The prepositional aspect of Slavic prefixes and the goal-source asymmetry ESSLLI workshop on Formal Semantics and Cross-Linguistic Data 1 INTRODUCTION Matushansky

More information

What is a natural syntactic model for frame-semantic composition?

What is a natural syntactic model for frame-semantic composition? What is a natural syntactic model for frame-semantic composition? Timm Lichte, Laura Kallmeyer & Rainer Osswald University of Düsseldorf, Germany CTF14, August 26, 214 SFB 991 1 / 26 Overview natural syntax

More information

a. ~p : if p is T, then ~p is F, and vice versa

a. ~p : if p is T, then ~p is F, and vice versa Lecture 10: Propositional Logic II Philosophy 130 3 & 8 November 2016 O Rourke & Gibson I. Administrative A. Group papers back to you on November 3. B. Questions? II. The Meaning of the Conditional III.

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

Metalanguage dynamics.

Metalanguage dynamics. Metalanguage dynamics. Tillmann Pross Institute of Philosophy, University of Stuttgart Stuttgart, Germany tillmann.pross@philo.uni-stuttgart.de Abstract This paper outlines the basics of Grounded Discourse

More information

A brief introduction to Logic. (slides from

A brief introduction to Logic. (slides from A brief introduction to Logic (slides from http://www.decision-procedures.org/) 1 A Brief Introduction to Logic - Outline Propositional Logic :Syntax Propositional Logic :Semantics Satisfiability and validity

More information

Logica e Linguaggio. Raffaella Bernardi. March 22, University of Trento

Logica e Linguaggio. Raffaella Bernardi. March 22, University of Trento Logica e Linguaggio Raffaella Bernardi University of Trento March 22, 2012 Layout Logical Entailment Logical Entailment in PL Logical Entailment in FoL Sinn und Bedeutung Formal Semantics Main questions

More information

Parasitic Scope (Barker 2007) Semantics Seminar 11/10/08

Parasitic Scope (Barker 2007) Semantics Seminar 11/10/08 Parasitic Scope (Barker 2007) Semantics Seminar 11/10/08 1. Overview Attempts to provide a compositional, fully semantic account of same. Elements other than NPs in particular, adjectives can be scope-taking

More information

Unification. Two Routes to Deep Structure. Unification. Unification Grammar. Martin Kay. Stanford University University of the Saarland

Unification. Two Routes to Deep Structure. Unification. Unification Grammar. Martin Kay. Stanford University University of the Saarland Two Routes to Deep Structure Derivational! Transformational! Procedural Deep Unidirectional Transformations Surface Stanford University University of the Saarland Constraint-based! Declarative Deep Surface

More information

UPPER AND LOWER SET FORMULAS: RESTRICTION AND MODIFICATION OF THE DEMPSTER-PAWLAK FORMALISM

UPPER AND LOWER SET FORMULAS: RESTRICTION AND MODIFICATION OF THE DEMPSTER-PAWLAK FORMALISM Int. J. Appl. Math. Comput. Sci., 2002, Vol.12, No.3, 359 369 UPPER AND LOWER SET FORMULAS: RESTRICTION AND MODIFICATION OF THE DEMPSTER-PAWLAK FORMALISM ISMAIL BURHAN TÜRKŞEN Knowledge/Intelligence Systems

More information

COMPUTATIONAL SEMANTICS: DAY 2

COMPUTATIONAL SEMANTICS: DAY 2 COMPUTATIONAL SEMANTICS: DAY 2 Johan Bos University of Groningen www.rug.nl/staff/johan.bos Computational Semantics Day 1: Exploring Models Day 2: Meaning Representations Day 3: Computing Meanings Day

More information

Cognitive foundations of measuring and counting and their reflection in determiner systems

Cognitive foundations of measuring and counting and their reflection in determiner systems Cognitive foundations of measuring and counting and their reflection in determiner systems Mass and Count in Romance and Germanic Languages December 16-17, 2013 Universität Zürich Manfred Krifka krifka@rz.hu-berlin.de

More information

Discrete Mathematics

Discrete Mathematics Discrete Mathematics Yi Li Software School Fudan University March 13, 2017 Yi Li (Fudan University) Discrete Mathematics March 13, 2017 1 / 1 Review of Lattice Ideal Special Lattice Boolean Algebra Yi

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

Graph Theory and Modal Logic

Graph Theory and Modal Logic Osaka University of Economics and Law (OUEL) Aug. 5, 2013 BLAST 2013 at Chapman University Contents of this Talk Contents of this Talk 1. Graphs = Kripke frames. Contents of this Talk 1. Graphs = Kripke

More information

Logic for Computational Effects: work in progress

Logic for Computational Effects: work in progress 1 Logic for Computational Effects: work in progress Gordon Plotkin and John Power School of Informatics University of Edinburgh King s Buildings Mayfield Road Edinburgh EH9 3JZ Scotland gdp@inf.ed.ac.uk,

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

Genre-specific properties of adverbial clauses in English academic writing and newspaper texts. Elma Kerz & Daniel Wiechmann

Genre-specific properties of adverbial clauses in English academic writing and newspaper texts. Elma Kerz & Daniel Wiechmann Genre-specific properties of adverbial clauses in English academic writing and newspaper texts Elma Kerz & Daniel Wiechmann A constructionist perspective on patterns Schematicity Complex sentence constructions

More information

CCG for Discourse. Sumiyo Nishiguchi. September 29, TbiLLC9, Kutaisi, Georgia. School of Management Tokyo University of Science

CCG for Discourse. Sumiyo Nishiguchi. September 29, TbiLLC9, Kutaisi, Georgia. School of Management Tokyo University of Science CCG for Discourse Sumiyo Nishiguchi School of Management Tokyo University of Science http://homepage3.nifty.com/sumiyo_nishiguchi/ September 29, 2011 TbiLLC9, Kutaisi, Georgia 9/29/2011 Sumiyo Nishiguchi,

More information

Logic and Artificial Intelligence Lecture 22

Logic and Artificial Intelligence Lecture 22 Logic and Artificial Intelligence Lecture 22 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit

More information

A unified account of distributive NPs, for-adverbials, and measure constructions

A unified account of distributive NPs, for-adverbials, and measure constructions A unified account of distributive NPs, for-adverbials, and measure constructions Lucas Champollion University of Pennsylvania / Palo Alto Research Center Sinn und Bedeutung 14 September 29, 2009 Lucas

More information

MODAL LOGIC WITH SUBJUNCTIVE MARKERS: A NEW PERSPECTIVE ON RIGID DESIGNATION

MODAL LOGIC WITH SUBJUNCTIVE MARKERS: A NEW PERSPECTIVE ON RIGID DESIGNATION MODAL LOGIC WITH SUBJUNCTIVE MARKERS: A NEW PERSPECTIVE ON RIGID DESIGNATION Helge Rückert Department of Philosophy University of Saarbrücken, Germany Abstract: According to Kripke

More information

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

Dale Jacquette CONUNDRUMS OF CONDITIONALS IN CONTRAPOSITION

Dale Jacquette CONUNDRUMS OF CONDITIONALS IN CONTRAPOSITION Dale Jacquette CONUNDRUMS OF CONDITIONALS IN CONTRAPOSITION A previously unnoticed metalogical paradox about contraposition is formulated in the informal metalanguage of propositional logic, where it exploits

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

Formal Representation of Proper Names in Accordance with a Descriptive Theory of Reference

Formal Representation of Proper Names in Accordance with a Descriptive Theory of Reference POLISH JOURNAL OF PHILOSOPHY Vol VIII, No. 1 (Spring 2014), 37-52. Formal Representation of Proper Names in Accordance with a Descriptive Theory of Reference Olga Poller Jagiellonian University Abstract.

More information

RUHR. We Could not Care Less about Armington Elasticities But Should We? ECONOMIC PAPERS

RUHR. We Could not Care Less about Armington Elasticities But Should We? ECONOMIC PAPERS RUHR ECONOMIC PAPERS Hannah Schürenberg-Frosch We Could not Care Less about Armington Elasticities But Should We? A Meta-Sensitivity Analysis of the Influence of Armington Elasticity Misspecification on

More information

Handout 3: PTQ Revisited (Muskens 1995, Ch. 4)

Handout 3: PTQ Revisited (Muskens 1995, Ch. 4) Handout 3: PTQ Revisited (Muskens 1995, Ch. 4) Semantics C (Spring 2010) Montague s PTQ article (Montague 1973), the paper in which he gave his Proper Treatment of Quantification, functions as the paradigm

More information

pursues interdisciplinary long-term research in Spatial Cognition. Particular emphasis is given to:

pursues interdisciplinary long-term research in Spatial Cognition. Particular emphasis is given to: The Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition: Reasoning, Action, Interaction at the Universities of Bremen and Freiburg, Germany pursues interdisciplinary long-term research

More information

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

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

More information

Categorial Grammar. Algebra, Proof Theory, Applications. References Categorial Grammar, G. Morrill, OUP, 2011.

Categorial Grammar. Algebra, Proof Theory, Applications. References Categorial Grammar, G. Morrill, OUP, 2011. Categorial Grammar Algebra, Proof Theory, Applications References Categorial Grammar, G. Morrill, OUP, 2011. - The Logic of Categorial Grammars, R. Moot & Ch. Retore, Springer, FoLLI, 2012. Mehrnoosh Sadrzadeh

More information

Unalternative Semantics

Unalternative Semantics Unalternative Semantics Daniel Büring University of Vienna (daniel.buring@univie.ac.at) Poster presented at STECHOW workshop Sinn & Bedeutung 20, Tübingen, Sept. 10, 2015 1 Introduction and Basic Tenets

More information

King s College London

King s College London King s College London This paper is part of an examination of the College counting towards the award of a degree. Examinations are governed by the College Regulations under the authority of the Academic

More information

An introduction to German Syntax. 1. Head directionality: A major source of linguistic divergence

An introduction to German Syntax. 1. Head directionality: A major source of linguistic divergence An introduction to German Syntax 19 January 2018 1. Head directionality: A major source of linguistic divergence In English, heads uniformly precede their complements: (1) a. [ kiss Mary] a. * [ Mary kiss]

More information

Compositional, Variable Free, Binding Free and Structure Oriented Discourse Interpretation

Compositional, Variable Free, Binding Free and Structure Oriented Discourse Interpretation Compositional, Variable Free, Binding Free and Structure Oriented Discourse Interpretation Maciej Piasecki Wrocław University of Technology, Institute of Applied Informatics, Wybrzeże Wyspiańskiego 27,

More information

Categorial Grammar. Larry Moss NASSLLI. Indiana University

Categorial Grammar. Larry Moss NASSLLI. Indiana University 1/37 Categorial Grammar Larry Moss Indiana University NASSLLI 2/37 Categorial Grammar (CG) CG is the tradition in grammar that is closest to the work that we ll do in this course. Reason: In CG, syntax

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

Introduction to Intensional Logic. Ling 406/802 Read Meaning and Grammar, Ch

Introduction to Intensional Logic. Ling 406/802 Read Meaning and Grammar, Ch Introduction to Intensional Logic Ling 406/802 Read Meaning and Grammar, Ch 51-52 1 Towards Intensional Semantics Extensional semantics that models the meaning of sentences based on the extensions of linguistic

More information

Partial model checking via abstract interpretation

Partial model checking via abstract interpretation Partial model checking via abstract interpretation N. De Francesco, G. Lettieri, L. Martini, G. Vaglini Università di Pisa, Dipartimento di Ingegneria dell Informazione, sez. Informatica, Via Diotisalvi

More information