Tarski2塔斯基（Alfred Tarski）的真理论-王爱华.pptxVIP

塔斯基（Alfred Tarski）的真理论By 王爱华Tarski的生平建立真理论的背景建立真理论三个目标：哲学上、方法上和逻辑上定义真这个概念的困难：语义封闭性困难的解决：语言层次（ML vs.OL）真的定义形式上正确（Formal correctness）实质恰当性（Material adequacy）评论继承与发展要点：生平1901-1983美国籍波兰裔犹太逻辑学家和数学家。1939年到美国参加会议，因二次世界大战爆发，被迫留在美国1945年加利福尼亚大学伯克利分校终身教席，1948年获数学教授职称。广泛涉猎抽象代数、拓扑学、几何学、测度论、数理逻辑和分析哲学等领域，专精于模型论、元数学、代数逻辑。他自我描述为“a mathematician (as well as a logician, and perhaps a philosopher of a sort)” (1944, p. 369)被公认为“伟大的逻辑学家”，逻辑学家们将塔斯基的成就与亚里士多德、弗雷格、罗素和哥德尔相提并论。他的传记作者安妮塔和所罗门?费夫曼写道：“塔斯基和同时代的哥德尔一起改变了逻辑学在20世纪的面目，尤其是通过他对真值概念和模型论的研究。”Times obituary：塔斯基是美国国家科学院和英国科学院院士，并于1944-1946年、1956-1957年先后担任符号逻辑学会和国际科学史与科学