Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



3.2 Ableitungsbegriff und deduktive Konsequenzschaft 139

quenz, die keine Ableitung von Γ aus X ist, zu beschreiben, ist im Rahmen des Rede-
handlungskalkuls nicht vorgesehen. Beim Ableiten im Redehandlungskalkul ist man we-
der auf graphische Mittel zur Markierung von Unterableitungen noch auf metasprachliche
Kommentare in der Form von Regel- oder Abhangigkeitsanzeigern angewiesen: Im Rah-
men des Redehandlungskalkuls sind Auβerungen von Satzsequenzen nicht deutungsbe-
durftig.

Nun folgt die Einfuhrung eines deduktiven Konsequenzbegriffs und einiger handelsub-
licher metalogischer Begrifflichkeiten. In Kap. 4 werden dann einige Eigenschaften der
deduktiven Konsequenzschaft, wie etwa Reflexivitat, Transitivitat und Abgeschlossenheit
unter Einfuhrung und Beseitigung gezeigt. Daraufhin wird dann in Kap. 6 ein Adaqua-
theitsbeweis des Kalkuls bezuglich der modelltheoretischen Konsequenzschaft vorgelegt.
Diese selbst wird in Kap. 5 zur Verfugung gestellt. Nun zur Definition der Konsequenz-
schaft:

Definition 3-21. Deduktive Konsequenzschaft

X H Γ
gdw

X GFORM und es gibt ein so dass

(i)   ʃɔ eine Ableitung von Γ aus VAN() ist und

(ii)  VANφ) X.

Mit Theorem 3-9-(iii) gilt dann also wie ublich, dass fur X GFORM: X H Γ genau
dann, wenn es endliches
YX gibt, so dass Y H Γ. Daraus ergibt sich dann mit
Definition 3-23, dass
X genau dann konsistent ist, wenn alle endlichen YX konsistent
sind, und mit Definition 3-24, dass
XGFORM genau dann inkonsistent ist, wenn es
endliches
YX gibt, so dass Y inkonsistent ist. Das folgende Theorem ist unter
Definition 3-20 aquivalent zu
Definition 3-21:

Theorem 3-12. Γ ist genau dann deduktive Konsequenz aus einer Aussagenmenge X, wenn es
ein nicht-leeres
^ aus RGS gibt, so dass Γ die Konklusion von ^ und VAN() X ist

X H Γ gdw X GFORM und es gibt ʃɔ RGS{0}, so dass Γ = K(A) und VAN(A) X.

Beweis: Ergibt sich direkt aus Definition 3-20 und Definition 3-21. ■



More intriguing information

1. The name is absent
2. THE RISE OF RURAL-TO-RURAL LABOR MARKETS IN CHINA
3. BEN CHOI & YANBING CHEN
4. Fiscal federalism and Fiscal Autonomy: Lessons for the UK from other Industrialised Countries
5. Uncertain Productivity Growth and the Choice between FDI and Export
6. The purpose of this paper is to report on the 2008 inaugural Equal Opportunities Conference held at the University of East Anglia, Norwich
7. QUEST II. A Multi-Country Business Cycle and Growth Model
8. Mergers under endogenous minimum quality standard: a note
9. AN EXPLORATION OF THE NEED FOR AND COST OF SELECTED TRADE FACILITATION MEASURES IN ASIA AND THE PACIFIC IN THE CONTEXT OF THE WTO NEGOTIATIONS
10. Survey of Literature on Covered and Uncovered Interest Parities