推荐序 给逻辑学一点“颜色”

今天是三月十五号。北京时间凌晨，世界发生了一件大事：OpenAI公司开发的GPT-4正式发布。GPT-4是什么呢？它是一个大型的人工智能模型，可以接受图像和文本输入，输出文本。在很多专业与学术领域的流行考试中，GPT-4都表现出与人类相近的水准。例如，在美国律师资格考试、GRE考试中，GPT-4都取得了高分。

然而，很少有人知道，今天GPT-4这类引人注目的成果与一位女性有关。她就是玛格丽特·马斯特曼（Margaret Masterman，1910—1986）。维特根斯坦于1933—1934年在剑桥大学讲授《逻辑哲学论》时，她正是课堂上听讲的六位学生之一。

她的职业生涯早期在逻辑学、语言学与机器翻译领域都取得了杰出成就。她创办的英国剑桥大学语言研究中心的影响一直持续至今，成为计算语言学重镇。而今天GPT-4这类成果，都是建立在计算语言学基础之上的。

马斯特曼领先时代的思想在今天几乎无人知晓。我相信即使是人工智能、计算语言学领域的从业者，也许都是第一次听说她的名字。而与她同时代的罗素、维特根斯坦却声名显赫，流传至今。

其实，不仅仅是马斯特曼，那些被历史遗留的女性逻辑学家不在少数。

克里斯蒂娜·拉德-富兰克林（Christine Ladd-Franklin，1847—1930），是世界上第一位荣获数学和逻辑学博士学位的女性，更是世界上第一位在《数学年鉴》（Annals of Mathematics，当时名为Analyst）上发表论文的女性。比她小25岁的罗素称她为“著名逻辑学家”。教学相长，她的逻辑学研究亦影响了自己老师查尔斯·皮尔士（Charles Peirce，1839—1914）的逻辑学思想。然而，今天，有谁听说过她的名字？更不用说铭记她在逻辑学领域做的贡献了。

比拉德-富兰克林小一岁的康斯坦斯·琼斯（Constance Jones，1848—1922）也是一位被历史遗忘的逻辑学家。她的重要著作《新思维法则及其逻辑意义》于1911年出版，在这本书中，她更清晰地区分了内涵与外延，从而提出了“每个肯定命题都断言，每个否定命题都否认同一事物的统一体中不同属性的结合”这一思想。

这样的名单，我们还可以无限地列下去——苏珊·斯特宾 （Susan Stebbing，1885—1943）享有广泛声誉的《现代逻辑导论》；露丝·巴肯·马库斯（Ruth Barcan Marcus，1921—2012）在模态逻辑学领域的贡献；苏珊·哈克（Susan Haack，1945—）推动了逻辑哲学、认识论、科学哲学等领域的发展等。

你看，历史与文化就像一个充满偏见的传话筒，将这些取得杰出成就的女性逻辑学家的声音人为缩小了。慢慢地，你就像社会上大多数人的认识一样：逻辑学？这不是那些极品宅男才喜欢的玩意吗？我一个女生，为什么要去学习逻辑学？

其实，用严复的话来说，逻辑学是一切法之法，一切学之学。逻辑学，就像我们天天在使用的语言，离不开。显然，一个更懂得说话的人，也就更容易活得自如。同样，在日常生活中，一个更懂逻辑学的人，也更容易明辨是非、与人相处。

传统的逻辑学著作，就像一个颜色单调的世界，只能看到男性喜欢的颜色，以灰色、青色、蓝色为主。而今天的逻辑学世界，不应这样。它应该充满更多活泼可爱的女孩子也喜欢的颜色，比如粉色、绿色、桃红色等。

幸好，以善于思辨著称的逻辑学家们，也发现了逻辑学过于男性这一问题。从2017年开始举办第一届“逻辑学中的女性”国际研讨会，而2023年，第七届研讨会即将在意大利罗马举办。同样，逻辑学界强调女性主义或性别意识的论文逐步增加。而《逻辑女孩》一书正是这种趋势的体现，书中的李呦呦聪明博学，拥有很强的推理能力和论辩能力，让读者看到女性的多面性。作者李万中在国内率先通过对话、故事这样新鲜的形式，来传播逻辑学知识。我相信将帮助更多的人推开逻辑学的大门。

越来越多的女孩子正像马斯特曼、拉德-富兰克林、康斯坦斯·琼斯、苏珊·斯特宾、马库斯、哈克一样，开始爱上逻辑学。

无论女孩还是男孩，我相信，当越来越多的人谈吐做事，富有逻辑，那么这个世界将会变得更为美好。现在，让我们一起享受来自逻辑学的乐趣吧。

阳志平

安人心智董事长

“心智工具箱”公众号作者

2023年春于北京东直门