提要：阿尔弗雷德·塔斯基 (Alfred Tarski) 对数学和逻辑学做出了伟大的贡献，他某些工作的重要性也许仍未得到充分的认识。
By George Bergman - The Oberwolfach photo collection, https://opc.mfo.de/detail?photo_id=6091, GFDL, https://commons.wikimedia.org/w/index.php?curid=7981479
相比于同时代的巨人例如哥德尔，塔斯基的名字比较难得看到。多年前只有一点印象，与“真”(truth) 定义联系着。在溯本求源的学习和探索中渐渐发现，许多涉及到逻辑系统的理解和应用、意义或语义、形式化的本质、表达/表征，特别是模型与模型化的一些思考，最终似乎都与塔斯基的一些经典工作有所联系。正是对这些线索的追溯将我带到了塔斯基这位人类知识进化道路上的巨匠附近。
阿尔弗雷德·塔斯基 (Alfred Tarski) 是一位美国籍波兰裔逻辑学家和数学家。1901年1月14日生于波兰华沙一个富裕的犹太家庭，1983年10月26日在美国加利福尼亚去世，享年82岁。他完成博士学位的年龄是华沙大学当时历史最年轻的。毕业后从事逻辑、数学教学和研究工作。1939年，应哈佛大学邀请前往美国参加科学统一大会，因此幸运地登上纳粹进攻前最后一条离开波兰的客船，自此移居美国，一直任教于加利福尼亚大学伯克利分校。
塔斯基属于华沙学派。他著述甚丰，尤以模型论、元数学和代数逻辑方面的工作而闻名，对抽象代数、拓扑学、几何学、测度论、数理逻辑、集合论和分析哲学等都做出了贡献。
在逻辑学领域，塔斯基常与亚里士多德、弗雷格、罗素和哥德尔相提并论。他的传记作家 Anita 和 Feferman 说，“特别是通过对真理概念和模型理论的研究，他与同时代的哥德尔一道改变了20世纪逻辑的面貌。”斯坦福哲学百科上也形容塔斯基是“广泛承认的二十世纪最伟大的逻辑学家之一（常被认为仅次于哥德尔），也是有史以来最伟大的逻辑学家之一。”
塔斯基和哥德尔的“关系”也许是一段很有意思的历史。他们在学术活跃时期同时生活在美国，也有过一些直接的接触。饶是如此，他们对彼此成就的态度则耐人寻味。他们可能同时各自独立完成了一些相关的（部分重叠的）重要工作。有不少文献讨论他们工作之间关联、关系。
塔斯基曾经描述自己是“一名数学家 (以及逻辑学家，或许还算某种哲学家)。”很明显，他就是那种用逻辑的铲子不断挖哲学根基的人——不是所谓哲学家，但影响了哲学。
作为数学家，他的论文有2500多页。维基百科有一个页面“List of things named after Alfred Tarski”, 列出了二十多条以塔斯基命名的定理、悖论、公理、分支等等，不知全否。这每一个命名基本上意味着相应的成果已公认为知识体系里不可或缺的独特部分。他是模型论、非标准分析、关系代数等的开创或奠基人。
一些介绍说，虽然塔斯基的工作在哲学领域有深刻的影响（例如在真理和意义理论方面），他本人却从未正式发表过哲学论述，他的学术著作全部是严谨的数学与逻辑学的论述。联系到笔者对哲学的一些看法，发现塔斯基正是那种用逻辑与数学的铲子铲哲学的根基——从而促成其进步——的巨人。此外，也有这样的观点：与例如歌德尔相比，塔斯基的一些工作（例如他的不可定义定理）的意义并没有受到足够的重视（笔者目前也比较赞同这种观点）。
在逻辑领域塔斯基最重要的贡献可能就是所谓真理定义了。我理解，塔斯基实际上是将亚里士多德的真理定义充分形式化了：将其中能够形式化的部分纳入（同时是拓展）了现代数理逻辑，并进一步连接、开拓了模型论，奠定了所谓模型论真理、逻辑结论、形式语义学等。然而，我感觉，这些工作很明确地体现在形式系统即逻辑和数学领域，将自亚里士多德的直觉的、形而上学的有关真理的哲学，铲掉了一部分——也就是说，将一些东西从哲学或形而上学的掩盖下发掘出来，成为了逻辑与数学的一部分——然而，还没有彻底解决这个话题。例如，围绕着塔斯基的理念是不是如他自己所说属于符合论真理理论 (Correspondence theory of truth) 就有许多未决的争论。在我看来，这是一个无限接近“哲学”根茎的地方，需要拿着逻辑与数学的铲子继续猛铲——这件事，在塔斯基等活跃的时代（1930-1950左右）似乎并未完成，因为那个时代值得关注的东西很多（然而当今又如何不是），例如信息/计算机科学的崛起。而塔斯基所开拓的一些方向性或基础性的东西，在某些方面可能还没有真正或充分发扬。
塔斯基指导的二十多名博士大都成为了杰出的数学与逻辑学家，其中不乏大鱼（具体参见维基百科的列举），并且还直接影响了稍后的若干大人物和它们的重要贡献。例如卡尔纳普。卡尔纳普的早期代表作《世界的逻辑结构》1928年发表，其中许多东西，与塔斯基的探索，有着深刻的关系。实际上，他们确实在那个年代相遇了（至少从1930年塔斯基访问维也纳的时候开始），而卡尔纳普也相当推崇塔斯基的工作，后者直接激励了卡尔纳普开展语义学方面的研究，随后的一系列重要工作中，都有塔斯基的的影子。然而，后来的发展，似乎却找不到我所想象或依稀想要的一些东西。这也许正是某种契机。
————
参考链接
on Wikipedia,
- http://en.wikipedia.org/wiki/Alfred_Tarski
- http://en.wikipedia.org/wiki/List_of_things_named_after_Alfred_Tarski
on Stanford Encyclopedia of Philosophy,
原发于2015-04-25, https://www.douban.com/note/496031686/. 有修改充实。
作者印记：f6c6c0
相关阅读
网友评论