Alfred Tarski        zurück ]      [ Stichworte ]      [ Die Hyper-Bibliothek ]      [ Systemtheorie ]         [ Meine Bücher ]

Literatur

Der Wahrheitsbegriff in den formalisierten Sprachen
Grundlegung der wissenschaftlichen Semantik

Zur Person

bild
Bildquelle: Wikipedia
bild

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.
Der Durchbruch zum modernen Verständnis kam durch Alfred Tarski, der die Semantik eines Axiomensystems von seiner Syntax trennte und der Semantik den Vorrang vor der Syntax einräumte: Eine syntaktische Folgerung ist korrekt, wenn sie semantisch erfüllt ist.

Eine Kritik, die auch K. Gödel betrifft:
Zelger, Manuel: Sind selbstreferentielle Sätze möglich?


 
[wp]