Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



6.2 Vollstandigkeit des Redehandlungskalkuls 245

6.2 Vollstandigkeit des Redehandlungskalkuls

Im Folgenden wird uber den Nachweis, dass konsistente Mengen erfullbar sind, die Voll-
Standigkeit des Redehandlungskalkuls bezuglich der in Definition 5-10 fur L definierten
modelltheoretischen Konsequenzschaft gezeigt. Da GFORM, die Menge der geschlosse-
nen L-Formeln, abzahlbar ist, reicht es dabei, diesen Nachweis fur abzahlbare Mengen zu
erbringen. Dazu wird der Beweisweg uber die Konstruktion von Hintikka-Mengen und
den Nachweis, dass Hintikka-Mengen durch die entsprechende kanonische Termstruktur
erfullt werden, gewahlt.
15 Dazu ist L zu einer Sprache LH zu erweitern, die aus L entsteht,
indem das Inventar von L um abzahlbar unendlich viele neue Individuenkonstanten er-
weitert wird:

Definition 6-1. Das Inventar von Lh (KONSTERW, PAR, VAR, FUNK, PRA, JUNK, QUANT,
PERF, HZ)

Das Inventar von Lh enthalt folgende paarweise disjunkte Mengen: Die abzahlbar unendliche
Menge Konsterw = konst
konstneu, wobei konstneu = {c* | i n} (dabei
sei fur alle
i, j N mit i j: c*i ≠ c*j∙ und c*i {c*i} und es sei KONST KONSTNEU = 0),
sowie PAR, VAR, FUNK, PRA, JUNK, QUANT, PERF, HZ.

Hinweis: Im Folgenden sei fur alle mit Definition D definierten Ausdrucke P PH der fur
L
H statt L definierte Ausdruck und DH die entsprechende Definition und fur alle Theore-
me
T sei TH das entsprechende Theorem fur LH. Dabei gilt fur das Verhaltnis von P und
PH jeweils, dass geeignete Einschrankungen von PH bzw. PH(a) auf L wieder zu P bzw.
P(a) fuhren. So gilt etwa: (i) EAUS = EAUSH EAUS, TERM = TERMH EAUS,
FORM = FORM
H EAUS, SATZ = SATZH EAUS, SEQ = SEQH SEQ, RGS =
RGS
h ∩ SEQ. (ii) TT = Π⅛ΓEAUS, TTSEQ = TTSEQ^SEQ, TTFM =
TTFM
HfPot(FORM), A = A^SATZ, K = W SEQ, VAN = VANh(SEQ. (iii) Wenn
SEQ, dann RGF(U) = RGFh(U)SEQ. Viele dieser Zusammenhange sind ohne techni-
sche Schwierigkeiten aber nur mit viel Schreibaufwand zu zeigen. Aus diesen Grunden
werden die Beweise hier nicht reproduziert. In jenen Fallen, in denen der Zusammenhang
nicht unmittelbar einsichtig ist oder im Beweisgang besondere Komplikationen zu bewal-

15


Siehe etwa Gradel, E.: Mathematische Logik, S. 109-119, Wagner, H.: Logische Systeme, S. 97-101,
und Kleinknecht, R.:
Grundlagen der modernen Defmitionstheorie, S. 154-157.



More intriguing information

1. Proceedings from the ECFIN Workshop "The budgetary implications of structural reforms" - Brussels, 2 December 2005
2. Towards a Mirror System for the Development of Socially-Mediated Skills
3. Industrial Employment Growth in Spanish Regions - the Role Played by Size, Innovation, and Spatial Aspects
4. The name is absent
5. The name is absent
6. 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?
7. Structure and objectives of Austria's foreign direct investment in the four adjacent Central and Eastern European countries Hungary, the Czech Republic, Slovenia and Slovakia
8. Personal Income Tax Elasticity in Turkey: 1975-2005
9. Optimal Taxation of Capital Income in Models with Endogenous Fertility
10. The name is absent