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. Feeling Good about Giving: The Benefits (and Costs) of Self-Interested Charitable Behavior
2. Healthy state, worried workers: North Carolina in the world economy
3. The name is absent
4. The name is absent
5. New Evidence on the Puzzles. Results from Agnostic Identification on Monetary Policy and Exchange Rates.
6. The name is absent
7. The name is absent
8. Hemmnisse für die Vernetzungen von Wissenschaft und Wirtschaft abbauen
9. Shifting Identities and Blurring Boundaries: The Emergence of Third Space Professionals in UK Higher Education
10. Magnetic Resonance Imaging in patients with ICDs and Pacemakers