مفهوم الحقيقة في اللغات الصورية (Pojęcie prawdy w językach nauk dedukcyjnych)

مقدمة

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.

الصلات

جرى تناوله في

• المفهوم الدلالي للحقيقة (The Semantic Conception of Truth)1944 · ألفريد تارسكي

مزيد من أعمال ألفريد تارسكي

• 1944المفهوم الدلالي للحقيقة (The Semantic Conception of Truth)