来自当知百科
跳转到: 导航搜索

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

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

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

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

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

个人工具
名字空间

变换
查看
操作
导航
工具箱