关于塔尔斯基，A.介绍

[拼音]：ta’ersiji

[外文]：Alfred Tarski (1902～1983)

波兰数学家，逻辑学家，华沙逻辑学派的主要代表人物。1902年1月14日生于华沙。1983年逝世。在华沙大学数学系学习时曾师事J.武卡谢维奇，1924年毕业于华沙大学，获博士学位。1926年任华沙大学讲师。1939年移居美国。从1942年起在伯克利加州大学任教。1946年起任数学教授。曾为《符号逻辑学报》主持编务。

塔尔斯基的研究工作涉及一般代数、测度论、集论、数理逻辑和数学基础以及元数学等领域，其中尤以对逻辑语义学的研究引人注目。

塔尔斯基认为逻辑学很早就已成为一门独立的学科。但只是在现代，逻辑学才得到极大的发展和完全的改造，其学科性质类似于数学，而以这一形式出现的逻辑学，就被称为数理逻辑或符号逻辑。

塔尔斯基指出：语义学悖论的成因在于自然语言的含糊性。起先，B.A.W.罗素为了要排除语义学悖论，曾有意将类型论扩展为分展语言论。塔尔斯基沿此发展和形成了理论语义学，开展了关于对象语言和元语言的研究方向。

塔尔斯基的主要著作有《初等代数和几何的判定法》(1948)、《逻辑、语义学、元数学》(1923～1938，1956)等。