| 《形式语言中的真概念》 The Concept of Truth in Formalized Languages 塔尔斯基著。1933年以波兰文发表。1936年发表了德文译本，增加了附录，并对原文作了一些较重要的修改。除引言外，全文分为7节。在引言中阐明了本文主题：“本文几乎全部是献给一个问题——真句子的定义。它的任务是，针对一个给定的语言，建立一个实质上适当的和形式上正确的关于‘真句子’这个词的定义”。第1节以普通语言为研究对象，认为在普通的日常语言中，不仅不可能定义真句子概念，并且甚至连这个概念和逻辑规律的一致地使用也是不可能的。考察了作为演绎科学的形式语言。在第2、第3节中，详细地刻划了形式语言，并依据语法方面的简繁，将形式语言划分为两大类，一类为“较贫乏的”;另一类为“较丰富的”。在较贫乏的形式语言中，对真句子的符合要求的定义有肯定的回答。对每一个这类语言，有一种一贯的构造真句子定义的方法。并就类语言，完整地叙述了这种构造的实现。在第4节中，对处理类语言的方法作了概括，使之一般化。在第5节中，认为在较丰富的形式语言中，对定义真句子问题的回答是否定的。第6节是总结。该文的两个主要结论：(1)对每个有限阶形式语言，一个形式上正确的且实质上适当的“真句子”这个词的定义，可以在元语言中，借助一般逻辑表达式，语言表达式本身以及语言词法中的词项加以构造。其条件是：元语言的阶要高于所研究的对象语言的阶。(2)如果元语言的阶，最多相等于对象语言本身的阶，这样的定义不可能构造。因此，对象语言的阶是无限的话，也不可能构造符合要求的定义。第7节是附录。由于该文对语义概念给出了精确的集合论的描述，并且对表述这些定义的语言作了仔细深入的讨论，从而成为现代逻辑语义学诞生的标志。 |