Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie



18    1 Zum grammatischen Rahmen

Theorem 1-10. Eindeutige Lesbarkeit ohne Satze (a - Eindeutige Kategorie)

(i) KONST (PAR и VAR и FTERM и QUANTOR и AFORM и f l | Δ
FORM} и {r0 ψ Δ1)^, | Δ0, Δ1 FORM und ψ JUNK{ 1}} и QFORM) = 0,
(ii) PAR
(KONST и VAR и FTERM и QUANTOR и AFORM и f l | Δ
FORM} и { γo ψ Δ1)^, | Δo, ΔiFORM und ψ JUNK{ 1}} и QFORM) = 0,
(iii) VAR
(KONST и PAR и FTERM и QUANTOR и AFORM и f l | Δ
FORM} и { γo ψ Δ1)^, | Δo, Δ1 FORM und ψ JUNK{ 1}} и QFORM) = 0,
(iv) FTERM
(KONST и PAR и VAR и QUANTOR и AFORM и f l | Δ
FORM} и { γo ψ Δ1)^, | Δo, Δ1 FORM und ψ JUNK{   1}} и QFORM) = 0,

(v) QUANTOR (KONST и PAR и VAR и FTERM и AFORM и f l | Δ
FORM} и { γo ψ Δ1)^, | Δo, Δ1 FORM und ψ JUNK{   1}} и QFORM) = 0,

(vi) AFORM (KONST и PAR и VAR и FTERM и QUANTOR и f l | Δ
FORM} и {r0 ψ Δ1)^, | Δ0, Δ1 FORM und ψ JUNK{ 1}} и QFORM) = 0,
(vii) iʌ
' | Δ FORM} (KONST и PAR и VAR и FTERM и QUANTOR и
AFORM и { γo ψ Δ1)^, | Δo, Δ1 FORM und ψ JUNK{   1}} и QFORM) = 0,

(viii) { γo ψ Δ1)^, | Δo, Δ1 FORM und ψ JUNK{   1}} (KONST и PAR и VAR и

FTERM и QUANTOR и AFORM и {r-Δ^, | Δ FORM} и QFORM) = 0 und

(ix) QFORM (KONST и PAR и VAR и FTERM и QUANTOR и AFORM и {r-Δ^,
| Δ FORM} и { γo ψ Δ1)π | Δo, Δ1 FORM und ψ JUNK{   1}}) = 0.

Beweis: Sei μ KONST. Dann ist nach Postulat 1-1 μ PAR и VAR und nach
Definition 1-7 μ
FTERM. Ware μ QUANTOR и AFORM и {r-Δπ | Δ FORM}
и {r0 ψ Δι)~l | Δ0, Δ1 FORM und ψ JUNK{r-π}} и QFORM. Dann gabe es μ'
GAUS und μ* AUS, so dass μ = rμ'μ*^l. Das widerspricht Postulat 1-2-(ii). Also μ
QUANTOR
и AFORM и {r-Δπ | Δ FORM} и { γo ψ Δf | Δo, Δ1 FORM und ψ
JUNK{Γ-π}} и QFORM.

Fur μ PAR und μ VAR verlauft der Beweis analog.

Sei nun μ FTERM. Nach Definition 1-7 ist dann μ KONST и PAR и VAR und es
ist μ
TERM. Nach Definition 1-6 gibt es damit φ FUNK und μ+ AUS, so dass μ =
Γφμ+π. Ware μ QUANTOR и AFORM и {Γ-Δπ | Δ FORM} и {γo ψ Δf | Δo,
Δ
1 FORM und ψ JUNK{ Γ-π}} и QFORM. Dann gabe es μ' PRA и QUANT и
{'-', '('} und μ* AUS, so dass μ = Γμ'μ*^l. Dann musste nach Theorem 1-7-(iii) μ' = φ
sein und damit μ'
FUNK. Das widerspricht Postulat 1-1. Also μ QUANTOR и
AFORM и {Γ-Δπ | Δ FORM} и {γo ψ Δf | Δo, Δ1 FORM und ψ
JUNK{ γ-π }} и QFORM.

Fur μ QUANTOR, μ AFORM, μ {Γ-Δπ | Δ FORM}, μ {γo ψ Δf | Δo,
Δ
1 FORM und ψ JUNK{ Γ-T1}} und μ QFORM verlauft der Beweis analog. ■



More intriguing information

1. Deprivation Analysis in Declining Inner City Residential Areas: A Case Study From Izmir, Turkey.
2. The name is absent
3. The Role of area-yield crop insurance program face to the Mid-term Review of Common Agricultural Policy
4. The name is absent
5. HOW WILL PRODUCTION, MARKETING, AND CONSUMPTION BE COORDINATED? FROM A FARM ORGANIZATION VIEWPOINT
6. Imperfect competition and congestion in the City
7. Evolving robust and specialized car racing skills
8. Howard Gardner : the myth of Multiple Intelligences
9. Draft of paper published in:
10. Evolution of cognitive function via redeployment of brain areas