唐稚松

1995年，唐稚松做学术报告

将梳理逻辑与计算机技术结合起来，这样的研究工作在搞基础研究和搞工程技术的两拨人来看都有不满意的地方。为了寻求正确的理论与设计思想，唐稚松将以罗素为代表的西方剑桥学派“对概念进行逻辑分析”的方法，毛泽东《矛盾论》中“对具体矛盾进行具体分析”的思想以及中国古代儒家中庸之道提倡的“不偏于一个极端，从实际出发对矛盾进行融合”的三种哲学观点，形成了独居风格的XYZ系统理论与设计思想。1978年，唐稚松到荷兰参加IFIP会议时介绍了XYZ系统化语言族的概念及设计思想，引起了巨大反响。他本人也因此在1980年当选为中国第一位IFIP专家组的成员。

资料来源：计算机世界报社编，中国计算机精英.计算机世界报社，1995，第50页

唐稚松院士

唐稚松除了是优秀的科学家外，还是一位诗人，旧诗格调极高，有“志汇中西归大海，学兼文理求天籁”之句。而“学兼文理”的一面，用唐稚松自述的话说，“出人于诗、书、哲学、数理逻辑及计算机科学与技术”，尤其是其旧体诗作，据谢泳先生考证，曾深得陈寅恪好评。 西南联大时期，唐稚松就与陈寅恪、吴宓有过交往。1950年9月18日陈寅恪给吴宓的信中，有对唐稚松的评价:“唐稚松君函及诗均佳，信是美才也。”能得到陈寅恪这样的评价，不是一件容易的事，而此时的唐稚松才25岁。1980年代，唐稚松写过两首怀念陈寅恪的诗，分别是《题陈寅老〈柳如是别传〉后》题陈寅老〈寒柳堂集〉1951年陈寅恪先生曾专函召他赴穗（广州）任唐诗助教，可见其造诣。唐稚松当时另有专长，未能前往。

资料来源：章诗依著，理工学人的诗与世.上海书店，2017.01，第99、102页

唐稚松访问美国斯坦福大学

唐稚松是一位计算机科学家，但鲜为人知的是，他还是一位哲学家。还是年轻时代的他，1945年在当时的西南联合大学就读的是哲学系，后来在清华大学哲学系研究生院研读的专业是数理逻辑，毕业后到中国科学院数学研究所，也是在数理逻辑研究室工作。他一生的学术思想，深受其哲学观影响和支配，他的学术成就也是与他所坚持的哲学观点分不开的。对于中庸之道，唐稚松有着自己的独到见解。唐稚松认为，不偏之谓中，不易之谓庸，意即坚持自己的目标主张，同时通过调整和平衡去实现目标。这种持之以恒的成功之道，要求从变化中对各种具体情况进行分析，掌握合适的分寸，做到恰如其分。 唐稚松的XYZ系统研究充分体现了这种一以贯之的哲学思想，从各种语言的逻辑中找到其可相互适应的条件又以合适的分寸将它们组织成统一的整体。既强调逻辑分析，在语义问题上保证逻辑精确性要求，又从实际情况出发，找出简单而合适的解决问题的方法。 这是当时国际上最早提出的一种可执行时序逻辑语言，被国际著名计算机专家称道为软件工程研究领域中发展可执行时序逻辑的先驱。鉴于唐稚松先生在基于时序逻辑的软件工程环境理论和系统方面的研究工作成就，他获得1989年国家自然科学奖一等奖。当然，由于所出发的哲学观念差异以及采取的技术途径不同，唐稚松的研究工作也常常不易为西方一些理论家所理解，正如国际著名时序逻辑专家Manna和Pnueli两位教授对此评论道：“唐稚松教授使时序逻辑概念超越了任何人的想象，他将之应用于各方面，在从前无人认为是可能的。” 而日本《朝日新闻》曾发表专文评价唐先生的工作，“虽然这系统（XYZ系统）所采用的基础数学理论来源于西方，但构造此系统的基本思想却来自于孔子的中庸哲学以及佛教禅宗的伦理哲学。这也许可以说是东方文明对于新的21世纪计算机技术发展的一大贡献吧。”

资料来源：永远的记忆——唐稚松院士逝世十周年丨科学史.中国科学院之声，2018-07-21