Der Wahrheitsbegriff in den formalisierten Sprachen
Grundlegung der wissenschaftlichen Semantik
Bildquelle: Wikipedia |
Alfred Tarski (Alfred Tajtelbaum, 1901-1983) war Mathematiker. Er befasste sich mit formalen Wahrheitstheorien (Konvention T) Die Modelltheorie ist ein Teilgebiet der mathematischen Logik. Inhalt der Modelltheorie sind die Beziehungen zwischen den rein formalen Ausdrücken einer Sprache (syntaktische Ebene) und deren Bedeutung (semantische Ebene). Diese Beziehung wird über sogenannte Interpretationen und eine als Erfüllungsrelation bezeichnete mathematische Relation hergestellt.
Eine Kritik, die auch K. Gödel betrifft:
|