湖北大学学报:哲学社会科学版
湖北大學學報:哲學社會科學版
호북대학학보:철학사회과학판
Journal of Hubei University(Philosophy and Social Sciences)
2011年
1期
21~28
,共null页
逻辑主义 数理逻辑 逻辑演算
邏輯主義 數理邏輯 邏輯縯算
라집주의 수리라집 라집연산
在《现代逻辑》一著中,汪奠基先生认为,现代逻辑之科学思想,非一家一派之专论,而是综合西方国家各派的理论“参考取益”。现代逻辑乃以符号逻辑为新型式逻辑之总称,它“分而有代数逻辑派、数学逻辑派、数理逻辑派”。因此,汪奠基先生在《现代逻辑》中以介绍数学基础研究中的罗素学派、希尔伯特学派及布劳维尔学派之逻辑观点要旨,其中又以罗素的逻辑主义为主。如今,逻辑在现代计算机技术中的运用从一个侧面印证了汪奠基先生开创性工作所具有的前瞻性。
在《現代邏輯》一著中,汪奠基先生認為,現代邏輯之科學思想,非一傢一派之專論,而是綜閤西方國傢各派的理論“參攷取益”。現代邏輯迺以符號邏輯為新型式邏輯之總稱,它“分而有代數邏輯派、數學邏輯派、數理邏輯派”。因此,汪奠基先生在《現代邏輯》中以介紹數學基礎研究中的囉素學派、希爾伯特學派及佈勞維爾學派之邏輯觀點要旨,其中又以囉素的邏輯主義為主。如今,邏輯在現代計算機技術中的運用從一箇側麵印證瞭汪奠基先生開創性工作所具有的前瞻性。
재《현대라집》일저중,왕전기선생인위,현대라집지과학사상,비일가일파지전론,이시종합서방국가각파적이론“삼고취익”。현대라집내이부호라집위신형식라집지총칭,타“분이유대수라집파、수학라집파、수리라집파”。인차,왕전기선생재《현대라집》중이개소수학기출연구중적라소학파、희이백특학파급포로유이학파지라집관점요지,기중우이라소적라집주의위주。여금,라집재현대계산궤기술중적운용종일개측면인증료왕전기선생개창성공작소구유적전첨성。