Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



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



More intriguing information

1. Gender and aquaculture: sharing the benefits equitably
2. The geography of collaborative knowledge production: entropy techniques and results for the European Union
3. The Nobel Memorial Prize for Robert F. Engle
4. The name is absent
5. Menarchial Age of Secondary School Girls in Urban and Rural Areas of Rivers State, Nigeria
6. The name is absent
7. The use of formal education in Denmark 1980-1992
8. IMMIGRATION AND AGRICULTURAL LABOR POLICIES
9. The name is absent
10. The name is absent