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. Discourse Patterns in First Language Use at Hcme and Second Language Learning at School: an Ethnographic Approach
2. The name is absent
3. The name is absent
4. The name is absent
5. Delayed Manifestation of T ransurethral Syndrome as a Complication of T ransurethral Prostatic Resection
6. The name is absent
7. Economies of Size for Conventional Tillage and No-till Wheat Production
8. Stillbirth in a Tertiary Care Referral Hospital in North Bengal - A Review of Causes, Risk Factors and Prevention Strategies
9. Examining the Regional Aspect of Foreign Direct Investment to Developing Countries
10. An Efficient Secure Multimodal Biometric Fusion Using Palmprint and Face Image