Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



136   3 Der Redehandlungskalkul

Theorem 3-11. Eindeutigkeitssatzfur den Redehandlungskalkul13

Wenn A ∈ SEQ, dann:

(i) Es gibt kein Γ und kein X, so dass A eine Ableitung von Γ aus X ist,
oder

(ii) Es gibt genau ein Γ und genau ein X, so dass A eine Ableitung von Γ aus X ist.

Beweis: Sei .ħ SEQ. Dann gibt es kein Γ und kein X, so dass eine Ableitung von Γ
aus
X ist oder es gibt ein Γ und ein X, so dass .ħ eine Ableitung von Γ aus X ist. Im ers-
ten Fall gilt die Behauptung. Gebe es nun fur den zweiten Fall ein Γ und ein
X, so dass .ħ
eine Ableitung von Γ aus
X ist. Dann ist nach Definition 3-20 .ħ RGS{0}, Γ = K(.ħ)
und VAN(
) = X. Nun ist noch die Eindeutigkeit zu zeigen, damit die Einzigkeit folgt.
Seien dazu Γ' und
X' so, dass .ħ eine Ableitung von Γ' aus X' ist. Dann ist Γ' = K(.ħ) = Γ
und
X' = VAN() = X. ■

Dieses Ergebnis sei zunachst illustriert. Sei dazu ξ VAR, Δ FORM, wobei FV(Δ)
{ξ}, und sei β PARTT(Δ). Sei nun ^[3.1] die folgende Sequenz:

Beispiel

[3.1]

0

Sei

Λξ-Δ

1

Sei

VξΔ

2

Sei

[β, ξ, Δ]

3

Sei

VξΔ

4

Also

VξΔ [β, ξ, Δ]

5

Also

[β, ξ, Δ]

6

Also

-[β, ξ, Δ]

7

Also

-VξΔ

8

Also

-VξΔ

9

Also

-VξΔ

Kommentar: Nach Theorem 3-11 sollte sich nun eindeutig ein Γ und ein X finden lassen,
so dass
[3.1] eine Ableitung von Γ aus X ist. Dies ist tatsachlich der Fall, denn ^[3.1] ist

13 Zur Formulierung eines entsprechenden Theorems fur eine Regulierung des Pradikats '.. ist eine Ablei-
tung von .. aus ..', bei der die an dritter Stelle genannte Aussagenmenge nicht mit der Menge der in der
an erster Stelle genannten Sequenz verfugbaren Annahmen identisch, sondern nur eine Obermenge der-
selben sein muss, siehe Fuβnote 4.



More intriguing information

1. The Interest Rate-Exchange Rate Link in the Mexican Float
2. The name is absent
3. The name is absent
4. Do the Largest Firms Grow the Fastest? The Case of U.S. Dairies
5. CAN CREDIT DEFAULT SWAPS PREDICT FINANCIAL CRISES? EMPIRICAL STUDY ON EMERGING MARKETS
6. The name is absent
7. The name is absent
8. Estimation of marginal abatement costs for undesirable outputs in India's power generation sector: An output distance function approach.
9. The name is absent
10. Short report "About a rare cause of primary hyperparathyroidism"