Inhaltsverzeichnis
VORBEMERKUNG .............................................................................................................................. III
1 ZUM GRAMMATISCHEN RAHMEN ............................................................................................ 1
1.1 Inventar und Syntax ...................................................................................................................... 1
1.2 Substitution ................................................................................................................................ 26
2 Verfugbarkeit von aussagen..........................................................................................47
2.1 Abschnitte und Abschnittsfolgen................................................................................................. 47
2.2 Geschlossene Abschnitte .............................................................................................................. 63
2.3 VERS, VANS, VER UND VAN ........................................................................................................ 103
3 DER REDEHANDLUNGSKALKuL ..............................................................................................119
3.1 Der Kalkul.................................................................................................................................119
3.2 Ableitungsbegriff und deduktive Konsequenzschaft................................................................... 127
3.3 VERS, VANS, VER und VAN in Ableitungen und bei einzelnen Ubergangen...................................141
4 THEOREME ZUR DEDUKTIVEN KONSEQUENZSCHAFT .............................................................157
4.1 Vorbereitungen ......................................................................................................................... 157
4.2 Eigenschaften der deduktiven Konsequenzschaft ....................................................................... 196
5 MODELLTHEORIE ..................................................................................................................211
5.1 Erfüllungsrelation und modelltheoretische Konsequenz .......................................................... 211
5.2 Abgeschlossenheit der modelltheoretischen Konsequenzschaft ................................................. 230
6 Korrektheit und Vollstandigkeit des RedehandlungskalkUls.................................239
6.1 Korrektheit des Redehandlungskalküls ...................................................................................... 239
6.2 Vollständigkeit des Redehandlungskalküls ................................................................................ 245
7 RUCK- UND AUSBLICK...........................................................................................................263
LiTERATuR ......................................................................................................................................265
DEFiNiTioNsVERZEiCHNis ...............................................................................................................267
THEoREMVERZEiCHNis ...................................................................................................................271
REGELVERZEiCHNis .........................................................................................................................279