塔斯基
【生卒】：1909—1983 【介绍】： 波兰著名逻辑学家，逻辑语义学的主要创始人。 主要著作有《形式化语言中的真理概念》、《真理的语义学概念和语义学基础》、《逻辑和演绎科学方法论导论》。 他指出逻辑与元逻辑是有区别的。元逻辑是以逻辑为对象进行研究的，也就是说元逻辑的对象是形式语言和形式系统。 它包括三个相互联系的问题：(1)演绎系统中的逻辑表达式之间的关系；(2)系统中的逻辑表达式与其意义的关系；(3)系统与其应用之间的关系。他从语义方面来研究形式系统的公理、定理及其解释，同时也阐述系统的一些基本性质，如“一致性”、“完全性”和“可判定性”等。 在逻辑语义方面，他最有影响、最重要的贡献是关于真理定义的理论。 他证明：在一个语言系统的内部是不能定义该语言中真句子等语义学概念的。对象语言的语义学概念必须在元语言中予以表述、加以定义，而元语言的语义学概念又必须在元元语言中予以表述、加以定义，这样才能避免悖论，建立起形式上正确、实质上充分的关于真语句等语义学概念的定义。 他指出，象“说谎者”这样的语义悖论之所以产生，就是因为：第一，不区分语言的层级，在一个语言层级之内包含了它自身的语义学概念，即包含了它的元语言表达式如真、假等；第二，通行的逻辑推理规则在这里成立。他认为，要避免语义悖论，就必须严格区分语言的层级，并且一个语言不能在自身之内谈论属于自身的表达式的真假。 |