Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



204   4 Theoreme zur deduktiven Konsequenzschaft

A4

A5


=  A3     {(Dom(A3),    rAlso Γ)}

=  A4     {(Dom(A4),    rAiso γ)}.

Zunachst ist A5Dom(A*) ASATZ. Sodann gilt mit α KONSTTTSEQ(A*) auch α
TTFM({[β*, ξ, Δ], Γ}) und damit, dass K(A 1) ≠ K(A2), K(A2) ≠ K(A3) und K(A3) ≠ r[β*,
ξ, Δ]
K(A2). Mit Theorem 1-8 ist zudem K(A3) K(A4). Auβerdem gilt mit Theorem
1-10 und Theorem 1-11, dass K(
A2) keine Subjunktion und K(A2) und K(A3) keine Nega-
tionen sind. Zudem ist K(
A1) = l^[β*, ξ, Δ]r([β*, ξ, Δ] Γ) = r— K(A3) und

K(A1) = Γ r[β*, ξ, Δ] ([β*, ξ, Δ] Γ) = r K(A1) K(A3). Damit gilt mit

Theorem 2-42, Definition 2-11, Definition 2-12 und Definition 2-13, dass fur alle k mit 1
k ≤ 4 gilt: Es gibt keinen geschlossenen Abschnitt ^ in Ak fur den mιn(Dom(A)) =
Dom(
A*). Mit Theorem 2-47 gilt damit fur alle k mit 1 ≤ k ≤ 4: Es gibt keinen geschlos-
senen Abschnitt
^ in Ak fur den mιn(Dom(A)) ≤ Dom(A*) ≤ max(Dom(^)). Damit ergibt
sich auch, dass fur alle
k mit 1 ≤ k ≤ 4 gilt, dass Dom(A*) = max(Dom(VANS(Ak))). Mit
Theorem 3-19-(i), Theorem 3-20-(i), Theorem 3-21-(i) und Theorem 2-61 gilt dann fur al-
le
k mit 2 ≤ k ≤ 4: Ak SEF(Ak-1) NEF(Ak-1) PBF(Ak-1).

Hingegen ist erstens nach Definition 3-1 A1 AF(A) RGS{0} und mit Theorem
3-15 VERS(
A1) = VERS(A*) {(Dom(A*), rSei [β*, ξ, Δ])} und VANS(A1) =
VANS(
A*) {(Dom(A), rSei [β*, ξ, Δ])}, (Dom(A*)-1, A5Dom(A*)-1) VERS(A1), wo-
bei A(
A5Dom(A*)-1) = rVξΔ, und ξ(Δ Γ) VER(A*) VER(A1) und [β*, ξ, Δ]
VER(A1). Sodann ist zweitens nach Definition 3-16 A2 IEF(A1) RGS{0} und mit
Theorem 3-25 VERS(
A2) = VERS(A1) {(Dom(A1), rAlso α = α)}. Damit gilt
(Dom(
A*), rSei [β*, ξ, Δ]) VANS(A1) = VANS(A2) und ξ(Δ Γ), [β*, ξ, Δ]
VER(A1) VER(A2) und (Dom(A*)-1, A5Dom(A*)-1) VERS(A2). Also ist drittens nach
Definition 3-13
A3 UBF(A2) RGS{0} und mit Theorem 3-25 VERS(A3) =
VERS(
A2) {(Dom(A2), rAlso [β*, ξ, Δ] Γ)}. Damit gilt (Dom(A*), rSei [β*, ξ,
Δ]
) VANS(A2) = VANS(A3) und (Dom(A*)-1, A5Dom(A*)-1) VERS(A3) und [β*, ξ,
Δ]
VER(A2) VER(A3) und l^[β*, ξ, Δ] Γ VER(A3). Also ist viertens nach
Definition 3-3
A4 SBF(A3) RGS{0} und mit Theorem 3-25 VERS(A4) = VERS(A3)
{(Dom(A3), rAlso Γ)}. Damit gilt (Dom(A*), rSei [β*, ξ, Δ]) VANS(A3) =
VANS(
A4) und (Dom(A*)-1, A5Dom(A*)-1), (Dom(A*)+3, rAlso Γ) VERS(A4).

Insgesamt gilt damit β* PAR, ξ VAR, Δ FORM, FV(Δ) {ξ}, Γ GFORM
Dom(
A*)-1 Dom(A4), A(A4Dom(A*)-1) = rξΔ^, und (Dom(A*)-1, A4Dom(A*)-1)



More intriguing information

1. The name is absent
2. Effort and Performance in Public-Policy Contests
3. The name is absent
4. The name is absent
5. Achieving the MDGs – A Note
6. The name is absent
7. The name is absent
8. International Financial Integration*
9. The name is absent
10. The name is absent