430 Deutsch
Refine
Document Type
- Part of a Book (1)
- Conference Proceeding (1)
Has Fulltext
- yes (2)
Is part of the Bibliography
- no (2)
Keywords
- Formale Semantik (2) (remove)
Publicationstate
- Postprint (1)
- Veröffentlichungsversion (1)
Reviewstate
- (Verlags)-Lektorat (1)
- Peer-Review (1)
German subjectively veridical sicher sein ‘be certain’ can embed ob-clauses in negative contexts, while subjectively veridical glauben ‘believe’ and nonveridical möglich sein ‘be possible’ cannot. The Logical Form of F isn’t certain if M is in Rome is regarded as the negated disjunction of two sentences ¬(cf σ ∨ cf ¬σ) or ¬cf σ ∧ ¬cf ¬σ. Be certain can have this LF because ¬cf σ and ¬cf ¬σ are compatible and nonveridical. Believe excludes this LF because ¬bf σ and ¬bf ¬σ are incompatible in a question-under-discussion context. It follows from this incompatibility and from the incompatibility of bf σ and bf ¬σ that bf ¬σ and ¬bf σ are equivalent. Therefore believe cannot be nonveridical. Be possible doesn’t allow the LF either. Similar to believe, ¬pf σ and ¬pf ¬σ are incompatible. But unlike believe, pf σ and pf ¬σ are compatible.
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.