BAB II LANDASAN TEORI 2.1 Semantik 2.1.1 Pengertian Semantik
Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann...
Transcript of Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann...
![Page 1: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/1.jpg)
Formale SemantikZusammenfassung
Anke [email protected]
Universitat Leipzig, Institut fur Linguistik
09.07.2013
1 / 100
![Page 2: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/2.jpg)
Warnung
Die folgende Zusammenfassung ersetzt nichtdie ausfuhrlichen Ausarbeitungen zu deneinzelnen Kapiteln.
2 / 100
![Page 3: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/3.jpg)
Ubersicht
1 EinfuhrungFormale SemantikMengen und Funktionenλ-NotationDenotationen und semantische TypenCurrying
2 Funktionen und ArgumenteTheorieVerbale und nicht-verbale PradikateSemantisch leere WorterArgumente
3 ModifikatorenPradikatmodifikationRelativsatze
4 Quantoren und DeterminiererDefiniter DeterminiererQuantoren als Pradikate zweiter StufePrasuppositionenFlexible TypenQuantorenbewegung
5 Pronomen und BindungReferentielle Pronomen vs. gebundene VariablenSyntaktische vs. semantische BindungE-Typ-Pronomen
3 / 100
![Page 4: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/4.jpg)
Inhalt
1 Einfuhrung
2 Funktionen und Argumente
3 Modifikatoren
4 Quantoren und Determinierer
5 Pronomen und Bindung
4 / 100
![Page 5: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/5.jpg)
Inhalt
1 EinfuhrungFormale SemantikMengen und Funktionenλ-NotationDenotationen und semantische TypenCurrying
5 / 100
![Page 6: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/6.jpg)
Ziel des Kurses
Ziel: eine formale wahrheitskonditionale Semantik zuentwickeln.
Warum formale Semantik?
LeitsatzNaturliche Sprache ist das gleiche wie die formale Sprache derLogik.
Richard Montague (1930-1971)
Wahrheitskonditionale Semantik:Eine Theorie, die Satzen ihre Wahrheitsbedingungen zuweist.
6 / 100
![Page 7: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/7.jpg)
Kompositionalitat
Die Bedeutung von sprachlichen Ausdrucken innerhalb derwahrheitskonditionalen Semantik ist die Art und Weise, wie erzu Wahrheitsbedingungen eines Satzes beitragt. Derentscheidende Begriff bei dieser Herangehensweise ist der derKompositionalitat (Gottlob Frege).
KompositionalitatsprinzipDie Bedeutung eines Satzes ergibt sich aus den Bedeutungenseiner Bestandteile und der Art wie sie zusammengesetzt sind.
7 / 100
![Page 8: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/8.jpg)
Kompositionalitat
Um herauszufinden, was die Bedeutung eines Satzes ist, mussman die Bedeutung seiner Bestandteile kennen. Dafur mussman die Struktur des Satzes kennen:
(1)
Ann
N
NP
smokes
V
VP
S
Wir brauchen eine Semantik, die syntaktische Struktureninterpretieren kann.
8 / 100
![Page 9: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/9.jpg)
Komponenten der Semantik
1. Inventar an Bedeutungstypen (Von was fur einer Art sindBedeutungen?)
2. Lexikon (Wie sind die Bedeutungen fur konkretelexikalische Elemente?)
3. Semantische Regeln (Wie werden Bedeutungenkombiniert?)
Wie lassen sich Bedeutungen darstellen?Als Mengen oder Funktionen.
Wie wird der Zusammenhang zwischen Form (konkretemlex. Element) und Bedeutung hergestellt?
Die Interpretationsfunktion ~ � weist sprachlichenAusdrucken ihre Bedeutung zu.
9 / 100
![Page 10: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/10.jpg)
Warum gibt es Kompositionalitat?
Die Bedeutung bestimmter sprachlicher Ausdrucke ist nichtkomplett; sie ist unsaturiert. Unsaturierte Bedeutungenkonnen als Funktionen konstruiert werden. Sie nehmenArgumente.
Saturierte Bedeutungen ergeben sich durch die Applikationeiner Funktion auf ihre Argumente.
Frege’s HypotheseSemantische Komposition ist funktionale Applikation.
10 / 100
![Page 11: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/11.jpg)
Inhalt
1 EinfuhrungFormale SemantikMengen und Funktionenλ-NotationDenotationen und semantische TypenCurrying
11 / 100
![Page 12: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/12.jpg)
Was ist eine Menge?
Eine Menge ist eine Ansammlung von Elementen.
Definitionen von Mengen:Nicht-formale Auflistung:Sei M die Menge, deren Elemente ausschließlich a,b , csind.
Formale Auflistung:M B {x , y , z}
Nicht-formale Abstraktion:Sei M die Menge aller Katzen.Sei M die Menge, die genau alle x enthalt, so dass gilt, xist eine Katze.
Formale Abstraktion:M B {x : x ist eine Katze}.
12 / 100
![Page 13: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/13.jpg)
Was ist eine Funktion?
DefinitionEine Funktion f ist eine Abbildung von einer Menge D in eineandere Menge Z .
f : D → Z , x 7→ y
f(x) = y
Eine Funktion f ordnet jedem Element aus derDefinitionsmenge D genau ein Element aus der Zielmenge Z .(umgekehrt gilt das nicht.)
13 / 100
![Page 14: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/14.jpg)
Definitionen von Funktionen
F B {(a,b), (c,b), (d,e)}
F B
a → bc → bd → e
Sei F die Funktion f mit der Definitionsmenge {a, c,d}, so dassf(a) = f(c) = b und f(d) = e.
Sei F die Funktion f so dassf : IN → IN, und fur jedes x ∈ IN, f(x) = x + 1.
14 / 100
![Page 15: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/15.jpg)
Zusammenhang Mengen und Funktionen
(2) Sei M eine Menge. Dann ist charM (diecharakteristische Funktion von M) eine Funktion f , sodass gilt: fur jedes x ∈ M, f(x) = 1, fur jedes x < M,f(x) = 0.
(3) Sei f eine Funktion mit der Zielmenge {0,1}. Dann istcharf (die von f charakterisierte Menge){x ∈ D : f(x) = 1}.
15 / 100
![Page 16: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/16.jpg)
Beispiel
Sei D = {Ann, Jan, Maria}. Ann und Jan schlafen; Ann ist dieeinzige, die schnarcht.
Bedeutung als Menge Bedeutung als Funktion
~sleeps� = {Ann, Jan}. ~sleeps� =
Ann → 1Jan → 1Maria → 0
~snores� = {Ann}. ~snores� =
Ann → 1Jan → 0Maria → 0
16 / 100
![Page 17: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/17.jpg)
Inhalt
1 EinfuhrungFormale SemantikMengen und Funktionenλ-NotationDenotationen und semantische TypenCurrying
17 / 100
![Page 18: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/18.jpg)
λ-Notation
Die λ-Notation ist eine Kurzschreibform von Funktionen.
Allgemeines Schema:
(4) [λα : φ.γ](i) “die (kleinste) Funktion, die jedes α, so dass φ gilt,
auf γ abbildet”(ii) “die (kleinste) Funktion, die jedes α, so dass φ gilt,
auf 1 abbildet falls γ, und sonst auf 0 abbildet”
α: Argumentvariable (Variable, z.B. “x”, “y”, “z”, “x′”, etc.)φ: Domanenbedingung (Definitionsbereich, z.B. IN, De, Dt ,D<e,t>, etc.)γ: Wertebeschreibung (Element aus Zielbereich, z.B. x+1,Maria, 0, ~likes Maria�)
18 / 100
![Page 19: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/19.jpg)
Noch mehr Schreibfaulheit
(5) [λx : x ∈ D.[λy : y ∈ D.y liebt x]] =λx : x ∈ D.[λy : y ∈ D.y liebt x] =λx ∈ D.[λy ∈ D.y liebt x] =λx .[λy .y liebt x] falls x , y ∈ D
(6) λx .[λy .y liebt x](Sue) = ???
19 / 100
![Page 20: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/20.jpg)
Inhalt
1 EinfuhrungFormale SemantikMengen und Funktionenλ-NotationDenotationen und semantische TypenCurrying
20 / 100
![Page 21: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/21.jpg)
Mogliche Denotationen
Innerhalb der wahrheitskonditionalen Semantik werdenBedeutungen auch als Denotationen bezeichnet.
Satze denotieren Wahrheitswerte (0, 1); Eigennamendenotieren Individuen (Ann, Bob, Peter, Mary, . . . ).
Daruber hinaus gibt es (nicht-)terminale Knoten, dieunterschiedlich komplexe Funktionen denotieren.
Kompositionalitat ergibt sich uber Funktionale Applikation.
21 / 100
![Page 22: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/22.jpg)
Systematisierung der Denotationstypen
(7) Semantische Typena. e und t sind semantische Typenb. Falls σ und τ semantische Typen sind, dann ist
< σ, τ > ein semantischer Typ.c. Nichts sonst ist ein semantischer Typ.
(8) Semantische Denotationsdomanena. De B D.b. Dt B {0,1}.c. For jeden beliebigen semantischen Typ σ und τ is
D<σ,τ> die Menge aller Funktionen von Dσ in Dτ.
22 / 100
![Page 23: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/23.jpg)
Beispiel
(9)
Ann e
N e
NP e
smokes <e,t>
V <e,t>
VP <e,t>
S t
23 / 100
![Page 24: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/24.jpg)
Inhalt
1 EinfuhrungFormale SemantikMengen und Funktionenλ-NotationDenotationen und semantische TypenCurrying
24 / 100
![Page 25: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/25.jpg)
Currying
Frage: Wie behandelt man transitive Pradikate?
Normalerweise sind transitive Pradikate 2-stellige Relationen,d.h. Mengen von geordneten Paaren.
In unserer funktionsorientierten Semantik mussten es somitFunktionen von geordneten Paaren in Wahrheitswerte sein.
Das Problem ist nun, das unsere Semantik syntaktischeStrukturen interpretiert, in denen die Argumente nacheinanderverkettet werden.
Um das Problem zu losen, mussen Funktionen transitiverPradikate Currying unterlaufen.
(10) Allgemein:f : A1 × · · · × An → B wird zuf ′ : A1 → (A2 → (. . . (An → B) . . . ))
25 / 100
![Page 26: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/26.jpg)
Beispiel
(11) großer-als-Relation:Rgr = {<Shirley,Shaun>, <Shirley,Timmy>, <Shaun,Timmy>}
charRgr :fgr =
<Shaun,Shaun> → 0<Shaun,Shirley> → 0<Shaun,Timmy> → 1<Shirley,Shaun> → 1<Shirley,Shirley> → 0<Shirley,Timmy> → 1<Timmy,Shaun> → 0<Timmy,Shirley> → 0<Timmy,Timmy> → 0
Rechts-nach-Links(2. Argument von fgr zuerst)(entspricht der Struktur naturlicher Sprache)
f ′gr =
Shaun →
Shaun → 0Shirley → 1Timmy → 0
Shirley →
Shaun → 0Shirley → 0Timmy → 0
Timmy →
Shaun → 1Shirley → 1Timmy → 0
26 / 100
![Page 27: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/27.jpg)
Inhalt
1 Einfuhrung
2 Funktionen und Argumente
3 Modifikatoren
4 Quantoren und Determinierer
5 Pronomen und Bindung
27 / 100
![Page 28: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/28.jpg)
Inhalt
2 Funktionen und ArgumenteTheorieVerbale und nicht-verbale PradikateSemantisch leere WorterArgumente
28 / 100
![Page 29: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/29.jpg)
Vorbemerkung
ZielNur die Denotationen lexikalischer Elemente mussen spezifiertwerden. Die Kompositionsregeln sind nichtkonstruktionsspezifisch.
29 / 100
![Page 30: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/30.jpg)
3 allg. Prinzipien statt vieler spezifischer Regeln
(12) Terminale Knoten (TK)Wenn α ein terminaler Knoten ist, dann ist ~α� imLexikon spezifiziert.
(13) Nicht-verzweigende Knoten (NK)Wenn α ein nicht-verzweigender Knoten ist und β seinTochterknoten ist, dann ~α� = ~β�.
(14) Funktionale Applikation (FA)Wenn α ein verzweigender Knoten ist, {β, γ} die Mengevon α’s Tochterknoten ist und ~β� eine Funktion, derenDefinitionsbereich ~γ� ist, dann ~α� = ~β�(~γ�).
30 / 100
![Page 31: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/31.jpg)
Input fur die semantische Interpretation
Input fur die Semantik ist die Logische Form (LF), die durchtransformationelle Derivationen gebildet wird.
Strukturen auf der Logischen Form werden alsPhrasenstrukturbaume dargestellt. Darin gibt es terminaleKnoten, (nicht-terminale) nicht-verzweigende undverzweigende Knoten.
Wichtig:Fur die (hier entwickelte) Semantik spielen lineare Prazedenzund Labels von nicht-terminalen Knoten keine Rolle. (Siewerden nur benutzt um sich auf Teilstrukturen zu beziehen.)
31 / 100
![Page 32: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/32.jpg)
Uninterpretierbarkeit
Strukturen, die keine Denotation haben, sind uninterpretierbar(sind nicht im Definitionsbereich von ~ �). Uninterpretierbarkeitkann zu Ungrammatikalitat fuhren.
(15) Prinzip der InterpretierbarkeitAlle Knoten in einem Phrasenstrukturbaum mussen imDefinitionsbereich der Interpretationsfunktion ~ � sein.
Die 3 semantischen Regeln mussen dementsprechend um dieBedingungen erweitert werden, dass der Mutterknoten nurdann interpretierbar ist, wenn die Tochterknoten interpretierbarsind.
32 / 100
![Page 33: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/33.jpg)
Inhalt
2 Funktionen und ArgumenteTheorieVerbale und nicht-verbale PradikateSemantisch leere WorterArgumente
33 / 100
![Page 34: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/34.jpg)
Wortkategorie spielt fur die Semantik keine Rolle
So wie es n-stellige verbale Pradikate gibt, gibt es auch n-stelligenominale, prapositionale oder adjektivische Pradikate.
(16) 1-stellig:a. Verb: ~sleep� = [λx ∈ D . x schlaft]b. Nomen: ~Katze� = [λx ∈ D . x ist eine Katze]c. Adjektiv: ~gray� = [λx ∈ D . x ist grau]d. Praposition: ~out� = [λx ∈ D . x ist nicht in x’s Haus]
(17) 2-stellig:a. Verb: ~like� = [λx ∈ D . [λy ∈ D . y mag x]]b. Nomen: ~part� = [λx ∈ D . [λy ∈ D . y ist ein Teil von x]]c. Adjektiv: ~proud� = [λx ∈ D . [λy ∈ D . y ist stolz auf x]]d. Praposition: ~in� = [λx ∈ D . [λy ∈ D . y befindet sich in
x]]
34 / 100
![Page 35: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/35.jpg)
Inhalt
2 Funktionen und ArgumenteTheorieVerbale und nicht-verbale PradikateSemantisch leere WorterArgumente
35 / 100
![Page 36: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/36.jpg)
Semantisch leere Worter
Semantisch leere Worter leisten keinen semantischen Beitragin den Strukturen in denen sie enthalten sind.
Beispiele:Praposition of in proud of John, father of John.Kopula be in pradikativen Satzen, z.B. John is rich.indef. Artikel a in pradikativen Satzen, z.B. Kaline is a cat.
36 / 100
![Page 37: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/37.jpg)
Analyse
1. Semantisch leere Worter denotieren die Identitatsfunktion.
(18) a. ~of� = [λx ∈ De. x]b. ~a� = [λf ∈ D<e,t . f]
2. semantisch leere Worer (inkl. der Knoten, die sieprojizieren) sind unsichtbar.
(19)
Kaline
NP
cat
NPa
DPis
VP
S
37 / 100
![Page 38: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/38.jpg)
Inhalt
2 Funktionen und ArgumenteTheorieVerbale und nicht-verbale PradikateSemantisch leere WorterArgumente
38 / 100
![Page 39: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/39.jpg)
Argumente von Funktionen
Argumente von Funktionen konnen Individuen vom Typ e,Wahrheitswerte vom Typ t oder Funktionen sein.
(20) Beispielea. Funktion: ~sleep� = [λx ∈ D . x ist eine Katze]
Argument: ~Kaline� = Kalineb. Funktion: ~it-is-not-the-case� = [λp ∈ Dt . p=0]
Argument: ~Obama is a president� = 1c. Funktion: ~and� = [λf ∈ D<e,t> . [λg ∈ D<e,t> . [λx ∈
D . f(x) = 1 und g(x) = 1]]]Argument: ~sleep� = [λx ∈ D . x ist eine Katze]
39 / 100
![Page 40: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/40.jpg)
Inhalt
1 Einfuhrung
2 Funktionen und Argumente
3 Modifikatoren
4 Quantoren und Determinierer
5 Pronomen und Bindung
40 / 100
![Page 41: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/41.jpg)
Inhalt
3 ModifikatorenPradikatmodifikationRelativsatze
41 / 100
![Page 42: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/42.jpg)
Modifikatoren
Sprachliche Ausdrucke vom Typ <e,t> konnen auch alsModifikatoren dienen.
Modifikatoren verandern die Stelligkeit eines Pradikats nicht (imGegensatz zu Argumenten).
Modifikatoren sind mit den bisherigen Regeln nichtinterpretierbar.
(21) NP1???
AP<e,t>
gray
NP2<e,t>
cat
42 / 100
![Page 43: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/43.jpg)
Neue Regel: Pradikatmodifikation
(22) Pradikatmodifikation (PM)Wenn α ein verzweigender Knoten ist, {β, γ} die Mengevon α’s Tochterknoten ist und ~β�, ~γ� ∈ D<e,t>, dannist ~α� = λx ∈ De . ~β�(x) = ~γ�(x) = 1.
(23) NP1<e,t>
AP<e,t>
gray
NP2<e,t>
cat
(23) = [λx ∈ De . ~AP�(x) = ~NP2�(x) = 1]= [λx ∈ De . x ist grau und x ist eine Katze]
43 / 100
![Page 44: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/44.jpg)
Nicht-intersektive Modifikatoren
Vage Adjektive wie small sind nicht intersektiv wie z.B. gray:Sie denotieren keine absolute Menge von Individuen, sonderndie Denotation ist abhangig vom sprachlichen undaußersprachlichen Kontext.
(24) a. a small elephantb. a small cat
Trotzdem kann man diese Adjektive wie intersektiveModifikatoren behandeln, wenn man die kontextuelleAbhangigkeit in die Denotation der Adjektive steckt
(25) ~small� = [λx ∈ D . x’s Große ist geringer als c, wobei cder Großenstandard ist, der durch denAußerungskontext salient gemacht ist]
44 / 100
![Page 45: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/45.jpg)
Inhalt
3 ModifikatorenPradikatmodifikationRelativsatze
45 / 100
![Page 46: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/46.jpg)
Relativsatze als Modifikatoren
Eine weitere Art von Modifikatoren sind Relativsatze.
(26) Mary is a woman [Rel who Peter loves].
(27) NP
NP
woman
Rel
who Peter loves
Nach der PM-Regel, mussen Relativsatze vom Typ <e,t> sein.
Frage: Relativsatze sind Satze, Satze sind vom Typ t. Wiekonnen Relativsatze vom Typ <e,t> sein?
46 / 100
![Page 47: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/47.jpg)
Variablen und Pradikatabstrakte
Losung:Relativsatze enthalten Variablen, die von einemVariablenbinder gebunden werden.
Die Denotation einer Variable (und von Konstituenten dieVariablen enthalten) ist abhangig von der Zuweisungsfunktion.Relativsatze selber sind Pradikatabstrakte.
(28) CP
wh1 C′
C S
Peter VP
loves t1
(wh und C sind sem. leer.)
47 / 100
![Page 48: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/48.jpg)
Pradikatabstraktion
(29) Pradikatabstraktion (PA)Wenn α ein verzweigender Knoten ist, dessenTochterknoten β und γ sind, wobei β nur einennumerischen Index i ∈ IN dominiert, dann gilt fur einebeliebige Zuweisung a, ~α�a = [λx ∈ De. ~γ�a
x/i].
PA fuhrt eine Variable x ein und verandert dieZuweisungsfunktion.
(30) mod. Zuweisung (MZ)Sei a eine Zuweisungsfunktion, i ∈ IN und x ∈ D. Dannist ax/i die einzige Zuweisung, die folgendeBedingungen erfullt:a. dom(ax/i) = dom(a) ∪ {i},b. ax/i(i) = x undc. fur jedes j ∈ dom(ax/i), wobei j , i: ax/i(j) = a(j).
48 / 100
![Page 49: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/49.jpg)
Problem
PA ist nicht definiert fur Strukturen α ohne eineZuweisungsfunktion.
Konflikt: Bisher waren alle Denotationen ohne Zuweisungendefiniert. Man brauchte sie nicht fur Strukturen ohne Variablen.Alle bisherigen Regeln sind fur Strukturen ohneZuweisungsfunktionen definiert.
Losung: Alle semantischen Regeln fur nicht-terminale Knoten(NK, FA, PM) werden derart neu definiert, dass die Zuweisungdes Mutterknotens mit der Zuweisung der Tochterknotenidentisch ist.
Regel der leeren Zuweisung und Regel furzuweisungsunabhangige Denotationen sorgen dafur, dass manDenotationen ohne Zuweisungsfunktionen in solche mitZuweisungsfunktionen ubersetzen kann und umgekehrt.
49 / 100
![Page 50: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/50.jpg)
Regeln
(31) Zuweisungsunabhangige Denotation(assignment-independent denotation: AID)Fur jeden Baum α gilt, α ist im Definitionsbereich von ~�, gdw fur alle Zuweisungen a und b, ~α�a = ~α�b .Wenn α im Definitionsbereich von ~�, dann gilt fur alleZuweisungen a, ~α� = ~α�a .
(32) Konvention fur leere Zuweisungen (LZ)Fur jeden Baum α gilt, ~α� := ~α�∅.
50 / 100
![Page 51: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/51.jpg)
Regeln fur terminale Knoten
(33) Terminale Knoten (TK)Wenn α ein terminaler Knoten ist, der von einemlexikalischen Element besetzt ist, dann ist ~α� imLexikon spezifiziert ist.
(34) Spuren/Pronomen-Regel (SP)Wenn α eine Spur oder ein Pronomen ist, a eineZuweisung und i ∈ dom(a), dann ~αi�
a = a(i).
51 / 100
![Page 52: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/52.jpg)
Beispiel
(35) NP[λx ∈ D . ~NP�∅(x) = ~CP�∅(x) = 1]
NP~woman�∅
woman[λx ∈ D . x ist eine Frau]
CP[λx ∈ D . ~S�[1→x]]
1 S~VP�[1→x](~Peter�[1→x])
PeterPeter
VP~loves�[1→x](~t1�[1→x])
loves[λz ∈ D . [λy ∈ D . y liebt z]]
t1
x
52 / 100
![Page 53: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/53.jpg)
Inhalt
1 Einfuhrung
2 Funktionen und Argumente
3 Modifikatoren
4 Quantoren und Determinierer
5 Pronomen und Bindung
53 / 100
![Page 54: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/54.jpg)
Inhalt
4 Quantoren und DeterminiererDefiniter DeterminiererQuantoren als Pradikate zweiter StufePrasuppositionenFlexible TypenQuantorenbewegung
54 / 100
![Page 55: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/55.jpg)
Definiter Determinierer
Determinierer nehmen NPn vom Typ <e,t> als Argument. Siesind somit Pradikate zweiter Stufe.Bemerkung: der indefinite Determinierer ist ambig (semantischleer oder Pradikat zweiter Stufe).
Der definite Determinierer bildet ein Pradikat p vom Typ <e,t>auf ein Individuum x vom Typ e ab, namlich das einzige x imKontext C, das die Eigenschaft beschrieben durch p erfullt.
Damit prasupponiert the, dass es nur ein Individuum gibt, sodass p(x) = 1.
Der definite Determinierer ist somit eine partielle Funktion.
(36) ~the� = [λf : f ∈ D<e,t> und es gibt genau ein x (∈ C), sodass f(x) = 1 . das einzige y (∈ C), so dass f(y) = 1(wobei C eine im Kontext saliente Teilmenge von D ist)]
55 / 100
![Page 56: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/56.jpg)
Inhalt
4 Quantoren und DeterminiererDefiniter DeterminiererQuantoren als Pradikate zweiter StufePrasuppositionenFlexible TypenQuantorenbewegung
56 / 100
![Page 57: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/57.jpg)
Was denotieren Quantoren?
Quantoren denotieren keine Individuen und auch keineMengen von Individuen. Stattdessen sind sie Pradikate zweiterStufe, die Pradikate erster Stufe als Argumente nehmen.
(37) a. ~nothing� = [λf ∈ D<e,t> . es gibt kein x ∈ D, sodass f(x) = 1]
b. ~something� = [λf ∈ D<e,t> . es gibt ein x ∈ D, sodass f(x) = 1]
c. ~everything� = [λf ∈ D<e,t> . fur alle x ∈ D gilt, f(x)= 1]
(38) a. ~no� = [λf ∈ D<e,t> . [λg ∈ D<e,t> . es gibt kein x ∈D, so dass f(x) = 1 und g(x) = 1]]
b. ~some�/~a� = [λf ∈ D<e,t> . [λg ∈ D<e,t> . es gibtein x ∈ D, so dass f(x) = 1 und g(x) = 1]]
c. ~every� = [λf ∈ D<e,t> . [λg ∈ D<e,t> . fur alle x ∈ D,so dass f(x) = 1, gilt g(x) = 1]]
57 / 100
![Page 58: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/58.jpg)
Quantifizierende DPn vs. Individuen-DPn
(39) a. St
DPe
Mary
VP<e,t>
vanished
b. St
DP<<e,t>,t>
Nothing
VP<e,t>
vanished
58 / 100
![Page 59: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/59.jpg)
Inhalt
4 Quantoren und DeterminiererDefiniter DeterminiererQuantoren als Pradikate zweiter StufePrasuppositionenFlexible TypenQuantorenbewegung
59 / 100
![Page 60: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/60.jpg)
Was sind Prasuppositionen
Prasupposition: Bedingung, die erfullt sein muss, um einerAussage einen Wahrheitswert zuweisen zu konnen;Information, die von einem sprachlichen Ausdruck impliziertwird.
(40) a. John knows that Peter smokes.Prasupp.: Peter raucht.
b. The escalator in South College is broken.Prasupp.: Es gibt genau eine Rolltreppe im SC.
c. Every American king lived in New York.Prasupp.: Es gibt mindestens einenamerikanischen Konig.
60 / 100
![Page 61: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/61.jpg)
Prasuppositionen und Wahrheitswerte
So wie der definite Determinierer sind prasupponierendesprachliche Ausdrucke partielle Funktionen, d.h. sie bilden nichtjedes Element aus dem Definitionsbereich auf ein Element imZielbereich ab.
Die Prasupposition wird in der Domanenbedingung kodiert.
Sind Prasuppositionen nicht erfullt, erhalt ein sprachlicherAusdruck, der prasupponierende Elemente enthalt, keineDenotation, d.h. Aussagen, die prasupponierende Elementeenthalten, konnen manchmal keine Wahrheitswertezugewiesen werden.(Technisch erreicht man das, indem man die semantischen Regeln soverandert, dass der Mutterknoten nur dann einen semantischen Wert erhalt,wenn die Tochterknoten einen semantischen Wert haben.)
61 / 100
![Page 62: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/62.jpg)
Prasuppositionen und Wahrheitswerte
(41) Sn.d. (wegen FA)
DPn.d (wegen λ)
the[λf : f ∈ D<e,t>& ∃!x[f(x) = 1].ιy[f(y) = 1]]
NP[λx ∈ D .
x ist eine R. im S.C.]
escalator in South College
VP[λx ∈ D .
x ist kaputt]
is broken
62 / 100
![Page 63: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/63.jpg)
falsch vs. 0, wahr vs. 1
Aussagen mit falscher Prasupposition werden von Sprecheri.d.R. nicht als nicht-bewertbar sondern als falsch eingestuft.
(42) System der Wahrheitswerte:~φ� = 1 φ ist wahr
~φ� = 0~φ� = n.d.
}φ ist falsch
63 / 100
![Page 64: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/64.jpg)
Welche Determinierer sind prasuppositional?
(43) a. Starke Determinierer:the, both, neither, every, . . .
b. Schwache Determinierer:a, no, some, many, . . .
Starke Determinierer sind immer prasuppositional.
Schwache Determinierer sind manchmal prasuppositional,manchmal nicht. (Das ist abhangig vom syntaktischen Kontext.)(Technisch: zwei unterschiedliche Lexikoneintrage fur die Determinierer: Bsp.a: sem. leer oder (38-b))
64 / 100
![Page 65: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/65.jpg)
Inhalt
4 Quantoren und DeterminiererDefiniter DeterminiererQuantoren als Pradikate zweiter StufePrasuppositionenFlexible TypenQuantorenbewegung
65 / 100
![Page 66: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/66.jpg)
Quantoren in Objektposition
Quantoren in Objektposition sind nicht ohne Weiteresinterpretierbar.
(44) S
Peter VP???
offended<e,et>
DP<et,t>
every<et,<et,t>>
linguist<e,t>
66 / 100
![Page 67: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/67.jpg)
Losung: flexible Typen
Quantoren konnen verschiedene semantische Typen haben,abhangig von ihrer Position.
(45) a. ~everybody1� = [λf ∈ D<e,t> . fur alle Personen y ∈D gilt, f(y) = 1]
b. ~everybody2� = [λf ∈ D<e,et> . [λx ∈ D . fur allePersonen y ∈ D gilt, f(y)(x) = 1]]
c. ~somebody1� = [λf ∈ D<e,t> . es gibt eine Persony ∈ D, so dass f(y) = 1]
d. ~somebody2� = [λf ∈ D<e,et> . [λx ∈ D . es gibteine Person y ∈ D, so dass f(y)(x) = 1]]
67 / 100
![Page 68: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/68.jpg)
Losung: flexible Typen
(46)S
1 gdw ∀z[∃y[z beleidigte y]]
everybody1(45-a)
VP[λx . ∃y[x beleidigte y]]
offended[λx . [λy . y beleidigte x]]
somebody2(45-d)
68 / 100
![Page 69: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/69.jpg)
Typenanhebungsregeln
Um die Machtigkeit der Analyse einzuschranken und dieGemeinsamkeiten zwischen verschiedenen Determinierernhervorzuheben, bedient man sich allgemeinerTypenanhebungsregeln.
(47) Bsp: Regel fur quantifizierenden Determinierereiner DP in Objektposition.Fur jedes lexikalische Element δ1 mit einer Bedeutungvom Typ <et,<et,t>> gibt es ein (homophones undsyntaktisch identisches) Element δ2 mit der folgendenBedeutung vom Typ <et,<<e,et>,et>:~δ2� = [λf ∈ D<e,t> . [λg ∈ D<e,et> . [λx ∈ D . ~δ1�(f)([λz∈ D . g(z)(x)])]]]
69 / 100
![Page 70: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/70.jpg)
Inhalt
4 Quantoren und DeterminiererDefiniter DeterminiererQuantoren als Pradikate zweiter StufePrasuppositionenFlexible TypenQuantorenbewegung
70 / 100
![Page 71: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/71.jpg)
Alternative zu flexiblen Typen
Eine andere Moglichkeit, dass Problem zu losen, ist,Quantorenbewegung anzunehmen.
(48) S
DP
every linguist1 S
John VP
offended t1
71 / 100
![Page 72: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/72.jpg)
Quantorenbewegung
Quantorenbewegung ist eine coverte Bewegung und passiertauf dem LF-Zweig der Derivation.
DS
SS
LF PF
72 / 100
![Page 73: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/73.jpg)
Optionalitat von Quantorenbewegung
Quantorenbewegung als syntaktische Bewegung auf LF istzunachst einmal wie jede andere Bewegung optional.In bestimmten Fallen kann das Fehlen vonQuantorenbewegung aber zu Uninterpretabilitat fuhren.
S
DP
Peter
VP
likes DP
Mary
S
DP
Peter1 S
t1 VP
likes DP
Mary
73 / 100
![Page 74: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/74.jpg)
Optionalitat von Quantorenbewegung
Quantorenbewegung als syntaktische Bewegung auf LF istzunachst einmal wie jede andere Bewegung optional.In bestimmten Fallen kann das Fehlen vonQuantorenbewegung aber zu Uninterpretabilitat fuhren.
S
DP
everybody
VP
likes DP
Mary
S
DP
everybody1 S
t1 VP
likes DP
Mary
74 / 100
![Page 75: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/75.jpg)
Optionalitat von Quantorenbewegung
Quantorenbewegung als syntaktische Bewegung auf LF istzunachst einmal wie jede andere Bewegung optional.In bestimmten Fallen kann das Fehlen vonQuantorenbewegung aber zu Uninterpretabilitat fuhren.
S
DP
Mary
VP
likes DP
Peter
S
DP
Peter1 S
DP
Mary
VP
likes t1
75 / 100
![Page 76: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/76.jpg)
Optionalitat von Quantorenbewegung
Quantorenbewegung als syntaktische Bewegung auf LF istzunachst einmal wie jede andere Bewegung optional.In bestimmten Fallen kann das Fehlen vonQuantorenbewegung aber zu Uninterpretabilitat fuhren.* S
DP
Mary
VP
likes DP
everybody
S
DP
everybody1 S
DP
Mary
VP
likes t1
76 / 100
![Page 77: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/77.jpg)
Pied-Piping
Es muss sich so viel Material mit dem quantifizierendenElement bewegen, dass die richtige Interpretationgewahrleistet ist.*
S
every1 S
John VP
fed DP
t1 bird
S
DP
every bird1 S
John VP
fed t1
77 / 100
![Page 78: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/78.jpg)
Lange Quantorenbewegung
Quantorenbewegung ist wie andere syntaktische Bewegungenauch durch syntaktische Beschrankungen (z.B.Inselbeschrankungen) beschrankt.
(49) * S
nobody
2 S
DP
most NP
accidents CP
wh
1 C′
that S
t2 VP
reported t1
VP
were minor
78 / 100
![Page 79: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/79.jpg)
Quantorenbewegung an andere Kategorien
Ohne zusatzliche Annahmen muss Quantorenbewegung immeran einen Knoten vom Typ t gehen.
Problem: Es gibt Evidenz fur Quantorenbewegung anKategorien, die bisher vom Typ <e,t> waren.
Losung: Struktur verandern, so dass diese Kategorien vomTyp t sind:VP/PP/NP/AP-interne Subjekte
79 / 100
![Page 80: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/80.jpg)
Quantorenbewegung an andere Kategorien
(50) VP-interne SubjekteIP
Al
1 I′
(did) not VP
DP
more than two meetings
2 VP
t1 V′
attend t2
80 / 100
![Page 81: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/81.jpg)
Quantorenbewegung an andere Kategorien
(51) PP-interne SubjekteIP
DP
no NP
student PP
PRO
1 PP
DP
a foreign country2 PP
t1 P′
from t2
VP
was admitted
81 / 100
![Page 82: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/82.jpg)
Inhalt
1 Einfuhrung
2 Funktionen und Argumente
3 Modifikatoren
4 Quantoren und Determinierer
5 Pronomen und Bindung
82 / 100
![Page 83: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/83.jpg)
Inhalt
5 Pronomen und BindungReferentielle Pronomen vs. gebundene VariablenSyntaktische vs. semantische BindungE-Typ-Pronomen
83 / 100
![Page 84: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/84.jpg)
Referentielle Pronomen
Pronomen sind Variablen, die ihre Referenz zugewiesenbekommen mussen.
Die Zuweisung erfolgt wie bei Spuren uber eineZuweisungsfunktion. Die Zuweisungsfunktion kann entwederdurch den Kontext (referentielle Lesart) oder die syntaktischeStruktur (Variablenbindung) zustande kommen.
Sgc :[1→Peter]
Peter VPgc :[1→Peter]
goes tohisgc :[1→Peter]
1 office
S[1→Peter]
Peter [1→x]
1 S[1→x]
t[1→x]1
VPgc :[1→x]
goes tohis[1→x]
1 office
84 / 100
![Page 85: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/85.jpg)
Ambiguitaten
Da die kontextuelle Zuweisungsfunktion nicht beschrankt ist,kann es manchmal zu Ambiguitaten: Pronomen als gebundeneVariablen oder referentielle Pronomen.
Allerdings konnen beide Lesarten in bestimmtenKonstruktionen unterschieden werden und sind beide attestiert.
85 / 100
![Page 86: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/86.jpg)
Ambiguitaten
(52) Philipp went to his office. Marcel didn’t.Lesart 1 (strikt): Philipp ging zum Buro von Person x. Marcel gingnicht zum Buro von Person x. (his als ref. Pron.)Lesart 2 (sloppy): Philipp ging in Philipps Buro. Marcel ging nicht inMarcels Buro. (his als geb. Var.)
Analyse:Die VP-Ellipse im zweiten Satz ist nur unter Identitat zur VP imersten Satz moglich. Teil der Identitatsbedingung ist, dass (i)his in beiden Satzen den gleichen Index tragt und (ii) his inbeiden Fallen referentielles Pronomen (freie Variable) oder inbeiden Fallen gebundene Variable ist.
86 / 100
![Page 87: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/87.jpg)
Inhalt
5 Pronomen und BindungReferentielle Pronomen vs. gebundene VariablenSyntaktische vs. semantische BindungE-Typ-Pronomen
87 / 100
![Page 88: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/88.jpg)
Syntaktische Beschrankungen fur Bindung
Bindung scheint nicht nur semantisch sondern auch syntaktischbeschrankt zu sein.
(53) a. *Bill1 likes him1.b. *The shark next to him1 attacks every diver1.
In beiden Fallen sollte Variablenbindung semantisch gesehenmoglich sein.
Losung: Es gibt zwei Konzepte der Bindung.
88 / 100
![Page 89: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/89.jpg)
Syntaktische vs. semantische Bindung
(54) Syntaktische Bindung auf SS:Ein Knoten α bindet einen Knoten β syntaktisch gdw(i) α und β sind koindiziert(ii) α c-kommandiert β(iii) α befindet sich in einer A-Position(iv) α c-kommandiert keinen anderen Knoten, der β syntaktisch
bindet.
(55) Bindungstheorie:(A) Anaphern mussen in ihrer Bindungsdomane synt. gebunden
sein.(B) Pronomen mussen in ihrer Bindungsdomane synt. frei sein.(C) R-Ausdrucke mussen synt. frei sein.
(56) Semantische Bindung auf LF:Eine Knoten α bindet einen Knoten β semantisch gdw β und dieSpur von α vom selben Variablenbinder gebunden werden.
89 / 100
![Page 90: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/90.jpg)
Das Bindungsprinzip
(57) Bindungsprinzip:Sein α und β DPn, wobei β nicht phonetisch leer ist.Dann gilt: α bindet β syntaktisch gdw α β semantischbindet.
Konsequenzen: (53-a) und (53-b) werden korrekt alsungrammatisch vorausgesagt. Da in beiden Fallen keinesyntaktische Bindung vorliegt, darf es laut Bindungsprinzipauch keine semantische Bindung geben.
90 / 100
![Page 91: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/91.jpg)
Beschrankungen fur Koreferenz
Referentielle Lesarten von Pronomen sind zunachst immermoglich, es gibt keine syntaktischen oder semantischenEinschrankungen. Trotzdem ist Koreferenz nicht immermoglich.
(58) *Shei liked the flowers that we bought for Zeldai .
Losung: Reinharts Prinzip
(59) Reinharts PrinzipWenn eine Außerung mit zwei minimalunterschiedlichen Satzen ausgedruckt werden kann,dann wird die Struktur mit Variablenbindung bevorzugt.
91 / 100
![Page 92: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/92.jpg)
Reinharts Prinzip
(60) Information:Zelda mag die Blumen, die wir fur Zelda gekauft haben.
(61) Außerungen:a. She liked the flowers that we bought for Zelda.b. Zelda liked the flowers that we bought for her.
In (61-b) ist Variablenbindung moglich, da synt. Bindungmoglich ist. In (61-a) ist keine Variablenbindung moglich, dasynt. Bindung nicht moglich ist.⇒ Zu wahlende Außerung: (61-b)
92 / 100
![Page 93: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/93.jpg)
Inhalt
5 Pronomen und BindungReferentielle Pronomen vs. gebundene VariablenSyntaktische vs. semantische BindungE-Typ-Pronomen
93 / 100
![Page 94: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/94.jpg)
Pronomen, die nicht koreferieren konnen
(62) a. *No boy1 was invited. He1 complained.b. John1 was invited. He1 complained.c. Only one boy1 was invited. He1 complained.
Die Ungrammatikalitat von (62-a) ist erwartet, weil keineVariablenbindung moglich ist und weil Koreferenz aufgrund derNicht-Referentialitat von no boy ausscheidet.
Die Grammatikalitat von (62-b) ist erwartet, weil Koreferenzmoglich ist.
Die Grammatikalitat von (62-c) ist nicht erwartet, only one boysich so verhalten sollte wie no boy.
94 / 100
![Page 95: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/95.jpg)
Aboutness
Die Grammatikalitat von (62-c) ist daraufzuruckzufuhren, dassder erste Satz ein bestimmtes Individuum salient macht,namlich den einzigen eingeladenen Jungen.
Somit gibt es eine Aboutness-Relation zwischen only one boyund he.
95 / 100
![Page 96: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/96.jpg)
E-Typ-Pronomen
Es gibt auch Falle, wo man eine gebundene Variablen-Lesarthaben mochte, diese aber dennoch ausgeschlossen ist. Auchdie referentielle Lesart ist hier ausgeschlossen.
(63) Every host bought just one bottle of wine andserved it with the dessert.= (Every host bought just one bottle of wine and servedthe bottle of wine he bought with the dessert.)
96 / 100
![Page 97: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/97.jpg)
Analyse
E-Typ-Pronomen sind eigentlich komplex und beinhalten 2 Variablen.
(64) Every host bought just one bottle of wine and served itwith the dessert.
(65) DP
the NP
N
R7
DP
pro1
R7 ist eine Variable fur ein Pradikat, dass ihre Referenz uber denKontext erhalt. pro1 wird von every host semantisch gebunden.
(66) gc : [7→ [λ x. [λ y . y ist eine Flasche, die x gekauft hat]]]
97 / 100
![Page 98: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/98.jpg)
Variablen, die keine Individuen denotieren
Damit R etwas anderes als ein Individuum vom Typ edenotieren kann, mussen die Annahmen uberZuweisungsfunktionen und Indizes erweitert werden.
(67) DP
the NP
N
R<7,<e,et>>
DP
pro<1,e>
98 / 100
![Page 99: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/99.jpg)
Regeln
(68) Eine partielle Funktion g von Indizes in Denotationenist eine Zuweisung gdw:fur jede Zahl n und jeden Typ τ, so dass <n,τ > ∈dom(g), gilt: g(n,τ) ∈ Dτ.
(69) Regel fur Spuren und Pro-Formen (SP):Wenn α eine Pro-Form oder eine Spur ist, i ein Index,und g eine Zuweisung, deren Definitionsbereich ibeinhaltet, dann ist ~α�g = g(i).
(70) Appropiateness Condition:Ein Kontext c ist angemessen fur eine LF φ nur dann,wenn c eine Zuweisungsfunktion gc bestimmt, derenDefinitionsbereich jeden Index einschließt, der einefreie Okkurrenz in φ hat.
99 / 100
![Page 100: Formale Semantik Zusammenfassung€¦ · Formale Semantik Zusammenfassung Anke Assmann anke.assmann@uni-leipzig.de Universitat Leipzig, Institut f¨ ur Linguistik¨ 09.07.2013 1/100](https://reader034.fdocument.pub/reader034/viewer/2022042317/5f061c297e708231d41656f8/html5/thumbnails/100.jpg)
Weitere Beispiele fur E-Typ-Pronomen
(71) ‘Donkey’-Satze (Geach 1962)a. If a man owns a donkey, he beats it.b. Every man who owns a donkey beats it.
(72) ‘Paycheck’-Satze (Karttunen 1969)a. A woman who puts her paycheck in a federally
insured bank is wiser than one who puts it in theBrown Employees’ Credit Union
100 / 100