Refine
Document Type
- Part of a Book (2)
Has Fulltext
- yes (2)
Is part of the Bibliography
- no (2)
Keywords
- Formale Sprache (2) (remove)
Publicationstate
- Veröffentlichungsversion (2) (remove)
Reviewstate
Publisher
- Niemeyer (1)
- de Gruyter (1)
In the first part of this contribution, we will present, as a starting point for the following discussions, a simple formal language P containing one stative predicate. We will then discuss, on an intuitive level, how a treatment of predicates of change could be conceived, and how the progressive could be rendered in a formal language.
We will then give a formal definition of a language, TP1, based on P, and we will construct a semantics for TP1, which incorporates the ideas discussed.
In diesem Beitrag soll eine dynamische Zeitlogik skizziert werden, die eine Analyse der deutschen Tempora über den Satzrahmen hinaus ermöglicht. Basis dieser Darstellung soll eine Reichenbachianische Analyse der Deutschen Tempora sein.
Zunächst wird eine Sprache ADETAL angegeben (Adverbial erweiterte temporale Aussagenlogik). Für diese Sprache wird eine Semantik im Stile Reichenbachs formuliert. Diese erweist sich als adäquat zur Beschreibung einzelner Sätze. Um auch noch die temporale Struktur von Sätzen zu beschreiben, werden wir eine dynamische Perspektive entwickeln, indem wir Ideen aus der Dynamischen Prädikatenlogik von Groenendijk/Stokhof aufgreifen. Schließlich soll das System bei der Analyse eines Textausschnitts auf die Probe gestellt werden.