形式化语言中的真理概念
出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第768页（1011字）
着名波兰逻辑学家塔斯基(Alfred Tarski)的一篇重要论文，初稿成于1931年3月，1933年以波兰文正式发表，1936年发表了德译本，增加了附录，并对波兰文本中的某些观点作了一点较为本质的修改和润色。
此文十万言，主题十分明确，一开始就开宗明义地说：“本文几乎全部是献给一个问题——真的定义的。它的任务是，相对于一个给定的语言，建立一种实质上充分的和形式上正确的关于‘真句子’这个词项的定义。”所谓实质上充分的是指能成功地抓住或表达被下定义的日常的直觉的涵义，能抓住古典的真理定义所蕴藏的内容；所谓形式上正确的是指能将清晰、不会混淆的定义词项，精确、无歧义地用于被定义词项的外延。
此文除引言外有七节，第一节以普通的日常语言为研究对象，得到了否定性结果：在象日常语言一样丰富的语言中，若逻辑规律在其中成立，想无矛盾地使用“真句子”、并为它建立正确的定义看来是不可能的。
在此后的讨论中，塔斯基专注地考察了演绎科学的形式语言。在第二节中，他详细地刻划了这种语言，并依据语法方面的简繁，将形式语言划分为两大类，一类为“较贫乏的”，另一类为“较丰富的”。在较贫乏的形式语言中，对真句子的定义有肯定的回答，对每一个这类语言，有一种一贯的方法去构造真句子的定义。在第二、三节中，他就类语言完整地叙述了这种构造的实现：“x是一真句子，用符号x∈Tr表示，当且仅当，x是句子并且类中每一无限序列都满足x。”在第四节中对处理类语言的方法作了概括，使之一般化。第五节考察较为丰富的形式语言，对在其中定义真句子作了否定的回答。第六节是总结，第七节是附录。
此文叙述并且证明了一个重要结果：在一个语言系统的内部是不能定义该语言中真句子等语义学概念的。
对象语言的语义学概念必须在对象语言之外的元语言中予以表述、加以定义，而元语言的语义学概念又必须在元元语言中予以表述、加以定义，这样才能避免悖论，建立起形式上正确、实质上充分的关于真语句等语义学概念的定义。
此文深刻地影响了当时的逻辑经验主义和后来的分析哲学的意义理论，并且导致理论语义学的真正创立。
有人把此文所获得的结果与哥德尔不完全性定理、图灵机与可计算理论并称为现代数理逻辑发展的三大成果。