TY  - CHAP
U1  - Buchbeitrag
A1  - Ballweg, Joachim
A1  - Frosch, Helmut
ED  - Ballmer, Thomas T.
ED  - Kindt, Walther
T1  - Wie Sein und Werden behandelt werden
T2  - Zum Thema Sprache und Logik. Ergebnisse einer interdisziplinären Diskussion
N2  - Der folgende Beitrag stellt einen Ausschnitt einer Grammatik für ein Fragment des Deutschen vor.
Zunächst wird eine formale λ-kategoriale Sprache, λL, eingeführt, zusammen mit einem geeigneten Modell zu ihrer Interpretation. Dann wird eine Obersetzungsfunktion ü angegeben, die Ausdrücke von λL in Ausdrücke von Kategorialdeutsch, Kat D, überführt, wobei sich die Syntax komplexer Ausdrücke in Kat D aus der Syntax der entsprechenden λL Ausdrücke und der Übersetzungsfunktion ergibt, die Semantik aus der der entsprechenden λL-Ausdrücke. Kat D ist keine syntaktisch disambiguierte Sprache, so daß es Kat D-Ausdrücke mit mehreren Ableitungen gibt.
Die unorthodoxen Züge der vorgeschlagenen Grammatik sind einerseits, daß sie reichlichen Gebrauch von der Möglichkeit macht, für einfache Kat D-Ausdrücke komplexe λL-Entsprechungen zu haben, andererseits, daß Verben hier als λ-Abstrakte behandelt werden.
Im Rahmen dieses Modells wird dann zur Illustration ein Mini-Fragment des Deutschen formuliert. Schließlich werden Vorschläge für die semantisch-syntaktische Behandlung der Kopula-Verben sein und werden gemacht.
T3  - Papiere zur Textlinguistik - 24 
KW  - Formale Semantik
KW  - Deutsch
KW  - Wortart
Y1  - 1980
U6  - https://nbn-resolving.org/urn:nbn:de:bsz:mh39-68759
UN  - https://nbn-resolving.org/urn:nbn:de:bsz:mh39-68759
SN  - 3-87118-451-9
SB  - 3-87118-451-9
SP  - 196
EP  - 217
PB  - Buske
CY  - Hamburg
ER  -