推荐序　给逻辑学一点“颜色” 今天是三月十五号。北京时间凌晨，世界发生了一件大事：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，184…