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 name is absent
2. The name is absent
3. The name is absent
4. Apprenticeships in the UK: from the industrial-relation via market-led and social inclusion models
5. Kharaj and land proprietary right in the sixteenth century: An example of law and economics
6. Evidence-Based Professional Development of Science Teachers in Two Countries
7. The name is absent
8. The name is absent
9. The name is absent
10. The name is absent