莫绍揆(Mo Shaokui),哲学-哲学-逻辑学-中国逻辑史,(1917~2011)中国现代逻辑学家、数学家。广西桂平人。1939年毕业于中央大学(今南京大学)数学系。毕业后先后任教于中央大学和中山大学。1947年起先后留学瑞士洛桑大学、苏黎世工业大学和巴黎大学,师从著名逻辑学家P.贝尔纳斯(Paul.Bernays)等人研究数理逻辑与数学基础。1950年回国后,先后任南京大学数学系副教授、教授,创建数理逻辑专业,并长期担任数理逻辑教研室主任。曾任中国逻辑学会副会长、名誉会长。其主要成就有:①建立了独特的相干逻辑系统。②首次证明承认概括原则的三值逻辑系统和有穷多值逻辑系统必定产生悖论,史称“莫绍揆悖论”。③对有穷模态词的模态系统进行了深入、彻底的研究,建立了两个能够避免蕴涵怪论的新的模态系统。④在递归论研究中提出了初级函数等新概念,解决了著名的Scholz问题,提出了递归数论的一些新系统,并全面研究了递归数论系统的构造、性质以及各种系统之间的关系。⑤在公理集合论研究中给出了与ZFC等价的最简系统,提出了基数方幂问题的一种完美解决方法。⑥在数理逻辑应用于计算机科学方面做了一些重要工作。