Category Archives: Computational Linguistics

Formale Syntax: HPSG (Vorlesung)

Inhalte und Zielpublikum

Diese Vorlesung (und die zugehörige Übung bzw. das Begleitseminar) führen in die Head-Driven Phrase Structure Grammar anhand des Deutschen ein. Dazu wird das Buch von Stefan Müller verwendet und fallweise ergänzt. Die Vorlesung wendet sich an alle, die eine wirklich formale symbolische Beschreibung der deutschen Syntax (auch im Gegensatz zu pseudo-formalisierten Baumbeschreibungen) kennenlernen möchten, und die vor Formalismen aus der Logik, Mathematik und Informatik nicht zurückschrecken. Auch wenn nicht-formalisierte Beschreibungsrahmen mit kognitivem Anspruch en vogue sind, kommt man meines Erachtens nicht umhin, die symbolischen Eigenschaften menschlicher Sprache zu würdigen und in Bezug zu den Ergebnissen der kognitiv orientierten und empirischen Forschung zu setzen.

Lektionen und Links zu den Materialien

Die Folien werden im Laufe des Sommersemesters komplett neu erstellt und sukzessive in der unten stehenden Liste verlinkt. Mein altes GitHub-Repository enthält die Versionen, die im Prinzip direkt von Stefan Müllers geklaut sind. Mein neues GitHub-Repository enthält nur die neuen Folien.

Teilnehmende müssen auf jeden Fall Stefan Müllers Buch von Anfang an parallel konsultieren. (Seitenangaben finden sich jeweils auf den Folien.) Die Themen Semantik 2 und Semantik 3 werden im Buch nicht besprochen und daher mittels zusätzlicher Literatur beigesteuert. Diese müssen ebenfalls gelesen werden.

Download aller Folien in einer großen Datei im Handout-Modus (bis Vorlesung 4).

  1. Phrasenstruktur und Phrasenstrukturgrammatiken
    Handout | Folien
  2. Der Formalismus
    Handout | Folien
  3. Valenz, Grammatikregeln, und Komplementation
    Handout | Folien
  4. Semantik 1 | Situationssemantik
    Handout | Folien
  5. Adjunktion und Spezifikation
    Handout | Folien
  6. Lexikon und Lexikonregeln
    Handout | Folien
  7. Konstituentenreihenfolge
    Handout | Folien
  8. Nicht-lokale Abhängigkeiten
    Handout | Folien
  9. Semantik 2 | Quantorenspeicher
    Handout | Folien | Pollard & Sag (1994)
  10. Semantik 3 | Minimal Recursion Semantics
    Handout | Folien | Copestake et al. (2005) / Preprint

Weitere Literatur

Ausgangspunkt weiterer Lektüre, vor allem für Hausarbeiten ist das HPSG Handbook (Müller et al. 2021). Für den Vergleich mit anderen Theorien sollte auch Müller (2023) zurate gezogen werden. Die HPSG Bibliography von Stefan Müller enthält eine sehr vollständige Liste aller Veröffentlichungen in HPSG.

Aktueller Semesterplan (Sommer 2024)

In diesem Semester entfällt das Thema Semantik 2 (Quantorenspeicher).

  • 2. April | Vorbesprechung / Diskussion über Syntax und Formalismen
  • 9. April | Phrasenstruktur und Phrasenstrukturgrammatiken
  • 16. April | Formalismus
  • 23. April | Valenz usw.
  • 30. April | Semantik 1
  • 7. Mai | Adjunktion
  • 14. Mai | Spezifikation
  • 21. Mai | Lexikon
  • 28. Mai | Konstituentenreihenfolge
  • 4. Juni | Verbbewegung / DOUBLESLASH
  • 11. Juni | Nicht-lokale Abhängigkeiten / SLASH
  • 18. Juni | Semantik 3
  • 25. Juni | Reserve / Vorbesprechung der Prüfungen
  • 2. Juli | Reserve / Vorbesprechung der Prüfungen

Formale Semantik (Seminar)

Inhalte und Zielpublikum

In diesem Seminar wird in die Grundlagen der modelltheoretischen formalen Semantik eingeführt. Ich stelle sowohl einen phrasenstrukturell orientierten Ansatz (Chierchia) als auch einen logikbasierten Ansatz (Montague bzw. Dowty et al.) vor, nachdem ich in die Mengenlehre, die Aussagenlogik und die Prädikatenlogik eingeführt habe. Auf Basis dieses gründlichen Grundlagenwissens lassen sich Syntax-Semantik-Schnittstellen in formalen Theorien wie HPSG gut verstehen (vgl. mein Modul zur HPSG) und aktuellere Entwicklungen in der formalen Semantik bewerten, die teilweise oder sogar großenteils von der Modelltheorie und ihrer philosophischen Fundierung abgekehrt sind. Insbesondere eignet sich dieses Seminar auch zur Kombination mit meiner Lehrveranstaltung zur linguistisch orientierten analytischen Sprachphilosophie des 20. Jahrhunderts (Frege, Russell, Davidson, Kripke, Montague, etwas Wittgenstein, etwas Grice, und ein paar Opponenten der Genannten).

Lektionen mit Links zu den Materialien

Den kompletten Foliensatz können Sie durch anklicken dieses Satzes herunterladen (eventuell noch nicht komplett überarbeitet). Die Einzelthemen sind die folgenden – jeweils mit Link zu den Materialien:

  1. Inferenz und Bedeutung
    Folien | Video (in Vorbereitung)
  2. Referentielle Semantik
    Folien | Video (in Vorbereitung)
  3. Mengen und Funktionen
    Folien | Video (in Vorbereitung)
  4. Aussagenlogik
    Folien | Video (in Vorbereitung)
  5. Prädikatenlogik
    Folien | Video (in Vorbereitung)
  6. Quantifikation und Modelltheorie
    Folien | Video (verfügbar)
  7. Getypte λ-Sprachen höherer Ordnung
    Folien | Video (verfügbar)
  8. Intensionalität
    Folien | Video (verfügbar)
  9. Tempus und Modalität
    Folien | Video (in Vorbereitung)
  10. Montagues intensionale Logik
    Folien | Video (in Vorbereitung)
  11. Lektüre: Kapitel 7 “The grammar of PTQ” aus Dowty et al. (1981)

Basislektüre zum Seminar

  • Gennaro Chierchia & Sally McConnell-Ginet (2000). Meaning and Grammar: An Introduction to Semantics. Cambridge: MIT Press. [Volltext-Link zu archive.org]
  • David R. Dowty, Robert E. Wall & Stanley Peters (1981). Introduction to Montague Semantics. Dordrecht: Kluwer. [Volltext-Link zu archive.org]
  • Barbara Partee, Alice ter Meulen & Robert E. Wall (1990). Mathematical Methods in Linguistics. Dordrecht: Kluwer.[Volltext-Link 1 ; Volltext-Link 2]

Die weitere Lektüre im Seminar (ohne Folien/Vorlesung) findet sich in:

  • Paul Portner & Barbara Partee (eds.) (2002). Formal Semantics: The Essential Readings. Oxford: Blackwell.

Bildhauer & Schäfer (2019): Describing corpora, comparing corpora

Felix Bildhauer & Roland Schäfer. A one-day pre-conf tutorial at the annual meeting of the DGfS 2019 in Bremen. 5 March 2019.