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. Improvements in medical care and technology and reductions in traffic-related fatalities in Great Britain
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. The name is absent
4. Trade Liberalization, Firm Performance and Labour Market Outcomes in the Developing World: What Can We Learn from Micro-LevelData?
5. ENVIRONMENTAL POLICY: THE LEGISLATIVE AND REGULATORY AGENDA
6. Personal Experience: A Most Vicious and Limited Circle!? On the Role of Entrepreneurial Experience for Firm Survival
7. Estimating the Impact of Medication on Diabetics' Diet and Lifestyle Choices
8. Evaluation of the Development Potential of Russian Cities
9. The name is absent
10. Developmental Robots - A New Paradigm