Kompositionale und formale Semantik
Die formale Semantik bietet eine präzise, wahrheitskonditionale Beschreibung der Bedeutung, bei der die Bedeutung eines komplexen Ausdrucks kompositionell aus den Bedeutungen seiner Teile aufgebaut wird.
Definition
Kompositionale und formale Semantik ist die Untersuchung linguistischer Bedeutung mittels formaler Logik und Modelltheorie, die sich auf die kompositionale, wahrheitskonditionale Interpretation von Ausdrücken konzentriert.
Scope
Dieser Bereich umfasst die formale, modelltheoretische Untersuchung der Bedeutung natürlicher Sprache. Er beinhaltet das Kompositionalitätsprinzip, die Verwendung logischer und mengentheoretischer Werkzeuge zur Zuweisung von Denotationen zu Ausdrücken, Montagues Programm, natürliche Sprache mit der Strenge der formalen Logik zu behandeln, die Analyse von Quantifikation und Skopus sowie die Semantik von Tempus, Aspekt und Modalität. Die leitende Idee ist, dass das Wissen um die Bedeutung eines Satzes das Wissen um seine Wahrheitsbedingungen ist und dass diese systematisch aus den Bedeutungen und der Kombinationsweise seiner Bestandteile berechnet werden.
Sub-topics
Core questions
- Wie wird die Bedeutung eines komplexen Ausdrucks durch die Bedeutungen seiner Teile und deren syntaktische Kombination bestimmt?
- Wie können die Bedeutungen natürlichsprachlicher Ausdrücke in einem formalen, modelltheoretischen System repräsentiert werden?
- Wie sind Quantoren, Skopus und Bindung zu analysieren?
- Wie sollen kontextabhängige und intensionale Phänomene (Tempus, Modalität) modelliert werden?
Key concepts
- Kompositionalitätsprinzip
- Wahrheitsbedingungen
- Denotation und semantischer Typ
- Lambda-Kalkül
- Modell und Interpretationsfunktion
- Intension und Extension
- funktionale Applikation
Key theories
- Wahrheitskonditionale, modelltheoretische Semantik
- Die Bedeutung eines deklarativen Satzes wird mit seinen Wahrheitsbedingungen identifiziert, die relativ zu einem Modell berechnet werden, das die grundlegenden Ausdrücke interpretiert, der Frege'schen und Tarski'schen Tradition folgend.
- Montague-Grammatik
- Natürliche Sprache kann als formale Sprache behandelt werden: eine Syntax, die über einen Homomorphismus mit einer modelltheoretischen Semantik gepaart ist, wobei typisierter Lambda-Kalkül und intensionale Logik verwendet werden, um Ausdrücke kompositionell zu interpretieren.
- Typengesteuerte kompositionale Interpretation
- Ausdrücken werden semantische Typen zugewiesen und durch allgemeine Regeln wie die funktionale Applikation kombiniert, sodass die Interpretation durch die Typen der Bestandteile gesteuert wird, wie im Heim- und Kratzer-Rahmenwerk systematisiert.
History
Die formale Semantik geht auf Freges Arbeiten zu Sinn und Bedeutung und Tarskis Definition der Wahrheit für formale Sprachen zurück. Der entscheidende Schritt war Montagues Behauptung in den frühen 1970er Jahren, dass es keinen grundlegenden Unterschied zwischen natürlichen und formalen Sprachen gibt und dass dem Englischen eine modelltheoretische Semantik zugewiesen werden könnte. Barbara Partee spielte eine zentrale Rolle bei der Übertragung von Montagues Programm in die Linguistik, und das Lehrbuch von Heim und Kratzer etablierte später die typengesteuerte kompositionale Semantik als Standard in der generativen Grammatik.
Debates
- Direkte vs. indirekte (repräsentationale) Interpretation
- Ob natürliche Sprache direkt in einem Modell interpretiert werden sollte, wie in Montagues Programm, oder über eine Übersetzung in eine Ebene der logischen Form / mentalen Repräsentation.
Key figures
- Richard Montague
- Barbara Partee
- Irene Heim
- Angelika Kratzer
- Gottlob Frege
- Alfred Tarski
Related topics
Seminal works
- montague1974
- heimkratzer1998
- partee1990
Frequently asked questions
- Was bedeutet es, wenn man sagt, Semantik sei wahrheitskonditional?
- Es bedeutet, dass die Angabe der Bedeutung eines deklarativen Satzes die Angabe der Bedingungen ist, unter denen er wahr wäre; die Bedeutung zu kennen bedeutet zu wissen, wie die Welt beschaffen sein müsste, damit der Satz zutrifft.