塔斯基

出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第796页（682字）

【生卒】：1909—1983

【介绍】：

波兰着名逻辑学家，逻辑语义学的主要创始人。

主要着作有《形式化语言中的真理概念》、《真理的语义学概念和语义学基础》、《逻辑和演绎科学方法论导论》。

他指出逻辑与元逻辑是有区别的。元逻辑是以逻辑为对象进行研究的，也就是说元逻辑的对象是形式语言和形式系统。

它包括三个相互联系的问题：(1)演绎系统中的逻辑表达式之间的关系；(2)系统中的逻辑表达式与其意义的关系；(3)系统与其应用之间的关系。他从语义方面来研究形式系统的公理、定理及其解释，同时也阐述系统的一些基本性质，如“一致性”、“完全性”和“可判定性”等。

在逻辑语义方面，他最有影响、最重要的贡献是关于真理定义的理论。

他证明：在一个语言系统的内部是不能定义该语言中真句子等语义学概念的。对象语言的语义学概念必须在元语言中予以表述、加以定义，而元语言的语义学概念又必须在元元语言中予以表述、加以定义，这样才能避免悖论，建立起形式上正确、实质上充分的关于真语句等语义学概念的定义。

他指出，象“说谎者”这样的语义悖论之所以产生，就是因为：第一，不区分语言的层级，在一个语言层级之内包含了它自身的语义学概念，即包含了它的元语言表达式如真、假等；第二，通行的逻辑推理规则在这里成立。他认为，要避免语义悖论，就必须严格区分语言的层级，并且一个语言不能在自身之内谈论属于自身的表达式的真假。