形式化语言中的真理概念

简介

Alfred Tarski, a Warsaw logician, published the monograph in Polish in 1933 (Pojęcie prawdy w językach nauk dedukcyjnych); a German version with an important postscript followed in 1935. He first sets a condition of adequacy, “convention T”: any acceptable definition must imply all sentences of the form “‘p’ is true if and only if p”. He then shows how truth can be defined for a formalised language, such as the calculus of classes, by way of the notion of satisfaction of formulas by sequences of objects. Because of paradoxes such as the liar, the definition must be given in a metalanguage that is essentially richer than the language it concerns. The work laid the ground for formal semantics and later for model theory.

联系

被承接于

• 真理的语义学概念1944 · 阿尔弗雷德·塔斯基

阿尔弗雷德·塔斯基 的更多作品

• 1944真理的语义学概念