莫绍揆

莫绍揆在数理逻辑研究和教育的园地上辛勤耕耘了50余年，艰苦创业，成绩卓著，是我国数理逻辑研究与教育的开拓者之一，在逻辑演算、多值逻辑、悖论、递归论、集合论等方面有所建树，提出若干新的见解。

-----莫绍揆在1987年发表的“集合论公理的简约与基数方幂”一文，撇开了共尾数理论，用一种新方法讨论了基数方幂，从而完美地解决了基数的方幂问题．在“概括原理及其消除”一文中，他指出函词的作用功能可以用代入运算来表示，从而函词、函元、量词、函元约束词、概括原理等均可删除不用，一阶谓词逻辑即是功能完全的逻辑演算，以代入运算代替抽象运算更能深刻揭示逻辑本质，并可避免λ演算与集合论所导致的悖论。

-----莫绍揆在悖论研究方面的贡献为世人所瞩目。

莫绍揆的研究工作不仅涉及到数理逻辑的各个分支，而且在数理逻辑以外的其他一些学科也有深厚的造诣．他十分重视计算机科学，特别重视将数理逻辑应用于计算机科学．在60年代初，莫绍揆亲自参加过一些计算机的研究工作．在80年代，他参加过由计算机科学家徐家福、孙钟秀主持的“五代机”讨论班，试图为“五代机”的研制找到新的逻辑理论。

莫绍揆有幸成为了国际著名的数理逻辑大师贝尔奈斯的学生，接受他的悉心指导，研究数理逻辑和数学基础。

贝尔奈斯十分欣赏莫绍揆研究风格，称之为“莫的漂亮证明”。

当时，莫绍揆每在国内杂志上发表一篇文章，王浩就在《符号逻辑杂志》（JSL）上写一篇评论，让国外学界尽早知道莫绍揆的工作。

----在“高级函词与约束词的本质”一文中，莫绍揆深入地讨论了高级函词与约束词的关系，澄清了一些错误观念，促进了逻辑学的进一步发展，深刻地指出了推理式之对于数理逻辑恰似代数式之对于代数学，受到了国际数理逻辑界的重视。