Handlungstheoretische Semantik

Anhang – Ergänzungen

283

bzw. auf den ausschließlich aus den entsprechenden de re Sätzen zusam-

mengesetzten Satz

130

(8*) Vx(x=b

1

 GG(P,F(x)))  …  Vx(x=b

m

 GG(P,F(x)))

schließen darf – und umgekehrt, wollen wir wiederum gleich solche Be-

dingungen angeben, unter denen jeder der eben erwähnten Schlüsse gültig

wäre.

131

Und da selbiges auf jeden Fall unter solchen Voraussetzungen gilt,

unter denen jeder der Sätze (5*) bis (8*) mit jedem dieser Sätze logisch äqui-

valent ist, suchen wir eben wieder gleich nach solchen.

Sie ergeben sich wieder so: Zwei Sätze von der Form

(9) Λx(B(x)  C(x))

bzw.

(10) C(b

1

)  …  C(b

m

)

sind (p.l.) äquivalent, wenn {x=B(x)} = (b

1

,…,b

m

), d.h. falls gilt

(0.β) Λx(x=b

1

˅ … ˅ x=b

m

 B(x)).

Und daher ...