Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



28    1 Zum grammatischen Rahmen

Gelte die Behauptung nun fur ¼ ʌɪ FORM. Also FGRAD(Δ0) = FGRAD([θ, θ', Δo])
und FGRAD(Δ
1) = FGRAD([θ, θ', Δ1]).

Zu JFORM: Sei nun Δ = r√Δ0Γ. Dann ist FGRAD(Δ) = FGRAD(rΔl√) =
FGRAD(Δ
o)+1 = FGRAD([θ, θ', Δ])+1 = FGRAD(r-[θ, θ', Δ]π) = FGRAD([θ, θ',
rΔ0^l ]) = FGRAD([θ, θ', Δ]). Sei nun Δ = r0 ψ Δ1)~l fur ein ψ JUNK{ r-^l}. Dann
ist FGRAD(Δ) = FGRAD(
ro ψ Δι)π) = max({FGRAD(Δ0), FGRAD(Δi)})+1 =
max({FGRAD([θ, θ', Δ
]), FGRAD([θ, θ', Δi])})+1 = FGRAD(r([θ, θ', Δ] ψ [θ, θ', Δι])π)
= FGRAD([θ, θ',
ro ψ Δι)^l ]) = FGRAD([θ, θ', Δ]).

Zu QFORM: Sei nun Δ = rΠξΔ0^l. Sei zunachst ξ θ'. Dann ist FGRAD(Δ) =
FGRAD(
rΠξΔoπ) = FGRAD(Δ0)+l = FGRAD([θ, θ', Δ0])+l = FGRAD(rΠξ[θ, θ', Δ0]π) =
FGRAD([θ, θ',
rΠξΔ0π ]) = FGRAD([θ, θ', Δ]). Sei sodann ξ = θ'. Dann ist FGRAD(Δ) =
FGRAD(
rΠξΔ0π) = FGRAD([θ, θ', rΠξΔ0π ]) = FGRAD([θ, θ', Δ]). ■

Theorem 1-14. Fur alle Substituenda und Substitutionsorte gilt, dass entweder alle geschlos-
senen Terme Teilterme des jeweiligen Substitutionsergebnisses sind oder fur alle geschlosse-
nen Terme das jeweilige Substitutionsergebnis mit dem Substitutionsort identisch ist
Wenn θ' ATERM, θ* TERM, Δ FORM, dann:

(i)   θ TT([θ, θ', θ*]) fur alle θ GTERM oder [θ, θ', θ*] = θ* fur alle θ GTERM und

(ii)   θ TT([θ, θ', Δ]) fur alle θ GTERM oder [θ, θ', Δ] = Δ fur alle θ GTERM.

Beweis: Seien θ' ATERM, θ* TERM, Δ FORM. Zu (i): Der Beweis wird mittels
Induktion uber den Termaufbau von θ* gefuhrt. Sei θ*
ATERM. Falls θ' = θ*, dann ist
[θ, θ', θ*] = θ und mithin θ
TT([θ, θ', θ*]) fur alle θ GTERM. Falls θ' θ*, dann ist
[θ, θ', θ*] = θ* fur alle θ
GTERM. Gelte die Behauptung nun fur θ*0, ., θ*r-1
TERM und sei θ* = rφ(θ*0, ., θ*r)π FTERM. Dann ist [θ, θ', θ*] = [θ, θ', rφ(θ*0, .,
θ*
r)π ] = rφ([θ, θ', θ*0], ., [θ, θ', θ*r])π fur alle θ GTERM. Nun gilt nach I.V. fur al-
le
i r: θ TT([θ, θ', θ*i]) fur alle θ GTERM oder [θ, θ', θ*i] = θ*i fur alle θ
GTERM. Angenommen es gibt ein i r, so dass θ TT([θ, θ', θ*i]) fur alle θ GTERM.
Dann ist auch θ
TΓ(rφ([θ, θ', θ*0], ., [θ, θ', θ*r])π) = TT([θ, θ', θ*]) fur alle θ
GTERM. Angenommen es gibt kein i r, so dass θ TT([θ, θ', θ*i]) fur alle θ
GTERM. Dann gilt nach I.V. [θ, θ', θ*i] = θ*i fur alle θ GTERM und alle i r. Also [θ,
θ', θ*] =
rφ([θ, θ', θ*0], ., [θ, θ', θ*r])π = rφ(θ*0, ., θ*r)π = θ* fur alle θ GTERM.



More intriguing information

1. Parallel and overlapping Human Immunodeficiency Virus, Hepatitis B and C virus Infections among pregnant women in the Federal Capital Territory, Abuja, Nigeria
2. The name is absent
3. Modelling the Effects of Public Support to Small Firms in the UK - Paradise Gained?
4. Elicited bid functions in (a)symmetric first-price auctions
5. Large-N and Large-T Properties of Panel Data Estimators and the Hausman Test
6. Telecommuting and environmental policy - lessons from the Ecommute program
7. The Role of Trait Emotional Intelligence (El) in the Workplace.
8. Moi individuel et moi cosmique Dans la pensee de Romain Rolland
9. The Impact of EU Accession in Romania: An Analysis of Regional Development Policy Effects by a Multiregional I-O Model
10. Luce Irigaray and divine matter