Wertverlauf

Zusammenfassung

Eine (Wert-)Belegung (truth assignment) ist eine Abbildung

$$v:\left\langle {atom} \right\rangle \to \{ T,F\} $$

der Menge aller (sic!) Unbestimmten in die Wahrheitswerte. Eine (Wert-)Belegung υ definiert für jede Aussageform α eine (vollständige) syntaktische Belegung ξ der in α vorkommenden Unbestimmten.¹ Eine syntaktische Belegung für eine Aussageform α legt jedoch nur teilweise eine (Wert-)Belegung fest.

“A language must have an interpretation for it to serve as a tool for communication. Those who neglect this and those who dogmatically insist that the study of a language independently of its meaning is the only rigorous procedure, are wrong.” Paul Rosenbloom, 1950