Semantik und Pragmatik

Semantik und Pragmatik

SS 2005

Universit ¨at Bielefeld

Teil 8, 3. Juni 2005

Gerhard J ¨ager

Informelle Interpretation von Typen

Typ eines Ausdrucks bestimmt die Art seiner Interpretation:

Ausdrücke von Typ e:

referieren auf einzelne Objekte Beispiele: Namen, definite NPn Ausdrücke von Type he, ti:

werden als Mengen (strenggenommen:

charakteristische Funktionen) interpretiert

Menge ≈ Eigenschaft (Begriff, Allgemeinbegriff, Konzept)

Beispiele: VP, intransitive Verben, Adjektive

Informelle Interpretation von Typen

Typ eines Ausdrucks bestimmt die Art seiner Interpretation:

Ausdrücke von Typ he, he, tii:

werden als zweistellige Relationen interpretiert (strenggenommen: Funktionen von Individuen in die Menge der charakteristischen Funktionen) Beispiele: transitive Verben, (transitive Adjektive wie stolz (auf), frei (von))

Ausdrücke vom Typ t:

werden als Wahrheitswerte interpretiert (abhängig vom Modell)

philosophischer Terminus: Propositionen (Aussagen)

Beispiele: Sätze, Wetterverben

Übersetzung: Kategorien 7→ Typen

S ⇒ t N P ⇒ e N_pr ⇒ e P P_to ⇒ e V⁰ ⇒ t

V_i ⇒ he, ti V P ⇒ he, ti V_t ⇒ he, he, tii

V_dt ⇒ he, he, he, tiii A ⇒ he, ti

Übersetzung

1. ^{S → N P, V P[+F IN]} S ⇒ V P[+F IN]⁰(N P⁰) 2. ^{V P[αF IN] → Vi[αF IN]}

V P[αF IN] ⇒ V_i[αF IN⁰]

3. ^{V P[αF IN] → Vt[αF IN], N P} V P[αF IN] ⇒ V_t[αF IN]⁰(N P)

4. ^{V P[αF IN] → Vdt[αF IN], N P1, N P2} V P[αF IN] ⇒ V_dt[αF IN]⁰(N P₁⁰)(N P₂⁰) 5. ^{V P[αF IN] → Vdt[αF IN}], N P, P P_to

V P[αF IN] ⇒ V_dt[αF IN]⁰(P P_to⁰ )(N P)

Übersetzung

6. ^{N P → Npr} N P ⇒ N_pr⁰ 7. ^{N P → the, N}

N P ⇒ ^THE-N’

8. ^{P Pto → to, N P} P P_to ⇒ N P⁰

9. ^{S → it, V0[+F IN]} S ⇒ V⁰[+F IN]⁰ 10. ^{S → N eg, S}

S ⇒ N eg⁰(S⁰)

Übersetzung

11. ^{N eg →} it is not the case that N eg ⇒ ¬

12. ^{S → N P, didn}

0t, V P[−F IN] S ⇒ ¬(V P[−F IN]⁰(N P⁰))

Lexikon

N_pr → {Prudence, Ethel, Chester, Jo, Bertie, Fiona}

N → {book, cake, cat, golfer, dog, lecturer, student, singer}

V_i[+F IN] → {ran, laughed, sang, howled, screamed}

V_i[−F IN] → {run, laugh, sing, howle, scream}

V_t[+F IN] → {read, poisoned, ate, liked, loathed, kicked}

V_t[−F IN] → {read, poison, eat, like, loathe, kick}

V_dt[+F IN] → {gave}

V_dt[−F IN] → {give}

V⁰[+F IN] → {rained, snowed}

V0[−F IN] → {rain, snow}

A → {happy, crazy, messy, disgusting, wealthy}

Beispiel: Parsen

S

NP N_pr Ethel

didn’t VP[-FIN]

V_t[-FIN]

eat

NP

the N

cake

Beispiel: Typenzuweisung

S:: t

NP:: e N_pr :: e

Ethel

didn’t VP[-FIN]:: he, ti

V_t[-FIN]:: he,he, tii eat

NP:: e the N

cake

Beispiel: Übersetzung

S:: t ⇒ ¬^EAT’(^THE-CAKE’)(^ETHEL’)

NP:: e ⇒ ETHEL’ N_pr :: e⇒ ^ETHEL’

Ethel

didn’t VP[-FIN]:: he, ti ⇒ EAT’(THE-CAKE’)

V_t[-FIN]:: he,he, tii ⇒ ^EAT’ eat

NP:: e ⇒ ^THE-CAKE’

the N

cake

Beispiel: kompositionale Interpretation

S:: t ⇒ ¬^EAT’(^THE-CAKE’)(^ETHEL’) 1

NP:: e ⇒ ETHEL’ WOMAN1

Npr :: e⇒ ETHEL’ WOMAN1

Ethel

didn’t VP[-FIN]:: he, ti ⇒ EAT’(THE-CAKE’) {DOG}

V_t[-FIN]:: he,he, tii ⇒ ^EAT’ {hDOG,CAKEi}

eat

NP:: e ⇒ ^THE-CAKE’ CAKE

the N

cake