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. Critical Race Theory and Education: Racism and antiracism in educational theory and praxis David Gillborn*
2. Can a Robot Hear Music? Can a Robot Dance? Can a Robot Tell What it Knows or Intends to Do? Can it Feel Pride or Shame in Company?
3. Hemmnisse für die Vernetzungen von Wissenschaft und Wirtschaft abbauen
4. Towards Learning Affective Body Gesture
5. Multifunctionality of Agriculture: An Inquiry Into the Complementarity Between Landscape Preservation and Food Security
6. Tariff Escalation and Invasive Species Risk
7. Credit Markets and the Propagation of Monetary Policy Shocks
8. The name is absent
9. Return Predictability and Stock Market Crashes in a Simple Rational Expectations Model
10. Understanding the (relative) fall and rise of construction wages