Ein pragmatisierter Kalkul des naturlichen Schlieβens nebst Metatheorie

122   3 Der Redehandlungskalkul

zusatzlich zu fordern, dass diese Aussage dort auch verfugbar ist. Analoges betrifft
Handlungsanleitung 3-10 (NE) und Handlungsanleitung 3-15 (PB).

Handlungsanleitung 3-3. Subjunktorbeseitigungsregel (SB)

Wenn man Y ∈ SEQ geauβert hat, Δ, Γ ∈ GFORM und {Δ, ^rΔ → Γ} ⊆ VER(Y), dann darf
man Y zu Y ∪ {(Dom(Y), ^rAlso Γ)} fortsetzen.

Handlungsanleitung 3-4. Konjunktoreinfuhrungsregel (KE)

Wenn man Y ∈ SEQ geauβert hat und Δ, Γ ∈ VER(Y), dann darf man Y zu Y ∪ {(Dom(Y),
rAlso Δ ∧ Γ)} fortsetzen.

Handlungsanleitung 3-5. Konjunktorbeseitigungsregel (KB)

Wenn man Y ∈ SEQ geauβert hat, Δ, Γ ∈ GFORM und {r∆ ∧ Γ^π, T ∧ Δ^^l} ∩ VER(Y) ≠ 0,
dann darf man Y zu Y ∪ {(Dom(Y), rAlso Γ)} fortsetzen.

Handlungsanleitung 3-6. Bisubjunktoreinfuhrungsregel (BE)

Wenn man Y ∈ SEQ geauβert hat, Δ, Γ ∈ GFORM und {r∆ → Γ^^l, T → Δ^^l} ⊆ VER(Y),
dann darf man Y zu Y ∪ {(Dom(Y), rAlso Δ θ Γ^η)} fortsetzen.

Hier wird die metalogische Separiertheitsmaxime, nach der jede Regel genau einen Ope-
rator regulieren soll, verletzt. Im Regelantezedens wird gefordert, dass bestimmte Sub-
junktionen bereits verfugbar sind. Die Bisubjunktoreinfuhrungsregel ist damit zugleich
eine Regel fur die Beseitigung von Subjunktionen in bestimmten Kontexten.

Handlungsanleitung 3-7. Bisubjunktorbeseitigungsregel (BB)

Wenn man Y ∈ SEQ geauβert hat, Δ ∈ VER(Y), Γ ∈ GFORM, und {r∆ θ Γ^η, T θ Δ^^l} ∩
VER(Y) ≠ 0, dann darf man Y zu Y ∪ {(Dom(Y), rAlso Γ)} fortsetzen.

Handlungsanleitung 3-8. Adjunktoreinfuhrungsregel (AE)

Wenn man Y ∈ SEQ geauβert hat, Δ, Γ ∈ GFORM und {Δ, Γ} ∩ VER(Y) ≠ 0, dann darf man
Y zu Y ∪ {(Dom(Y), rAlso Δ ∨ Γ^-l)} fortsetzen.

<<   96   97   98   99   100   101   102   >>

More intriguing information