Modelltheoretische und Montague-Semantik

Die Montague-Semantik interpretiert natürliche Sprache modelltheoretisch, indem sie eine typisierte intensionale Logik verwendet, um Ausdrücken auf vollständig kompositionelle Weise Denotationen zuzuweisen.

Definition

Die modelltheoretische Semantik interpretiert Ausdrücke relativ zu einem formalen Modell; die Montague-Semantik ist das spezifische Programm, dies für natürliche Sprache unter Verwendung einer typisierten intensionalen Logik und einer homomorphen Syntax-Semantik-Abbildung zu tun.

Scope

Dieses Thema behandelt den formalen Apparat der modelltheoretischen Semantik für natürliche Sprache: Modelle mit Individuenbereichen, möglichen Welten und Zeiten; semantische Typen und den typisierten Lambda-Kalkül; und die Interpretation von Ausdrücken als Funktionen über diese Bereiche. Es konzentriert sich auf Montagues „The Proper Treatment of Quantification in Ordinary English“ (PTQ) und das breitere Programm, Englisch mit der Strenge der formalen Logik zu behandeln, einschließlich Intension und Extension sowie der Analyse von Nominalphrasen als generalisierte Quantoren.

Core questions

• Wie werden Ausdrücken einer natürlichen Sprache in einem formalen Modell Denotationen zugewiesen?
• Welche Rolle spielen semantische Typen und der Lambda-Kalkül bei der kompositionellen Interpretation?
• Wie werden Intension und Extension unterschieden, und warum sind mögliche Welten notwendig?
• Wie behandelt Montagues Ansatz Quantorenphrasen und Skopus?

Key concepts

• mögliche Welten
• Intension vs. Extension
• semantischer Typ
• typisierter Lambda-Kalkül
• generalisierter Quantor
• homomorphe Syntax-Semantik-Abbildung
• intensionale Logik

Key theories

Die korrekte Behandlung der Quantifizierung (PTQ)

Montagues Fragment des Englischen, in dem syntaktische Regeln eins zu eins mit semantischen Interpretationsregeln gepaart sind, Nominalphrasen generalisierte Quantoren bezeichnen und intensionale Logik Opazität und Modalität behandelt.

Typentheorie und intensionale Logik

Ausdrücken werden Typen zugewiesen, die aus Basistypen (Entitäten, Wahrheitswerte) und möglicherweise Welten/Zeiten aufgebaut sind; Intensionen sind Funktionen von möglichen Welten zu Extensionen, die die Bedeutung opaker und modaler Kontexte erfassen.

History

Aufbauend auf Frege, Carnaps Intensions-/Extensions-Unterscheidung und der Tarskischen Modelltheorie veröffentlichte Montague um 1970 eine Reihe von Arbeiten, am bekanntesten PTQ, in denen er argumentierte, dass Englisch als formale Sprache mit einer modelltheoretischen Semantik behandelt werden kann. Das Lehrbuch von Dowty, Wall und Peters machte den technischen Apparat Linguisten zugänglich, und der Rahmen wurde zur Grundlage der modernen formalen Semantik.

Debates

Intensionen möglicher Welten und das Problem der Granularität

Die Behandlung von Bedeutungen als Funktionen von möglichen Welten zu Extensionen setzt fälschlicherweise alle notwendigerweise äquivalenten Ausdrücke gleich, was zu Vorschlägen für feinkörnigere, strukturiertere oder hyperintensionale Bedeutungsbegriffe führt.

Key figures

• Richard Montague
• Barbara Partee
• David Dowty
• Stanley Peters

Seminal works

• montague1974
• dowtywallpeters1981

Frequently asked questions

Was ist der Unterschied zwischen Intension und Extension?

Die Extension eines Ausdrucks ist seine Denotation in einer gegebenen Welt (z.B. die tatsächliche Menge der Hunde), während seine Intension die Funktion ist, die für jede mögliche Welt eine Extension liefert (ungefähr das Konzept), was zur Interpretation modaler und opaker Kontexte benötigt wird.