塔尔斯基

---

【生卒】：1902—1983年

【介绍】：

美籍波兰逻辑学家和数学家。

1924年在华沙大学获数学博士学位，1939年移居美国，1942年任美国伯克利加州大学讲师，1946年升任教授。他在数学和数理逻辑方面作出重要贡献，这些贡献对分析哲学的发展具有重要意义。主要哲学著作有：《形式语言中的真理概念》(1936)；《逻辑，语义学和元数学》(1955)。他在哲学方面的主要贡献是，通过对语义悖论的研究，创立了模型论语义学，他提出对语言表达式和它们所指的对象之间的关系作形式化处理的方法，并由此提出用语言层次理论克服语义悖论。

即通过区分“对象语言”(Object language)和元语言(Metalanguage)来克服语言的封闭性。对象语言是用来谈论外界对象的性质及其相互关系的语言，这是第一层次的语言。

元语言是用来谈论对象语言的语言，它的词汇包括指称对象语言的名称以及指称对象性质的谓词(“真”或“假”)，它是比对象语言高一个层次的语言。例如，当我们说：雪是白色的，我们用的是对象语言，所叙述的是一种客观实在；而当我们说：“雪是白色的”是真的，这时用的是元语言，指对象语言中的一句话(“雪是白色的”)是真的。这样一个开放性的、多层的语言系统可以克服语言的封闭性，从而排除语义悖论。

在区分对象语言和元语言的基础上，塔尔斯基提出了真理概念的形式化定义：X是真的，当且仅当P。真中，“P”可以用对象语言中的任何语句来替换，“X”可以用“P”的名称来替换。例如，“雪是白色的”是真的，当且仅当雪是白色的。

塔尔斯基的真理论在现代西方语言哲学中有很大影响。