摘要
在《现代逻辑》一著中,汪奠基先生认为,现代逻辑之科学思想,非一家一派之专论,而是综合西方国家各派的理论"参考取益"。现代逻辑乃以符号逻辑为新型式逻辑之总称,它"分而有代数逻辑派、数学逻辑派、数理逻辑派"。因此,汪奠基先生在《现代逻辑》中以介绍数学基础研究中的罗素学派、希尔伯特学派及布劳维尔学派之逻辑观点要旨,其中又以罗素的逻辑主义为主。如今,逻辑在现代计算机技术中的运用从一个侧面印证了汪奠基先生开创性工作所具有的前瞻性。
出处
《湖北大学学报(哲学社会科学版)》
CSSCI
北大核心
2011年第1期21-28,共8页
Journal of Hubei University(Philosophy and Social Science)