【摘 要】
：
在《现代逻辑》一著中,汪奠基先生认为,现代逻辑之科学思想,非一家一派之专论,而是综合西方国家各派的理论"参考取益"。现代逻辑乃以符号逻辑为新型式逻辑之总称,它"分而有代
论文部分内容阅读
在《现代逻辑》一著中,汪奠基先生认为,现代逻辑之科学思想,非一家一派之专论,而是综合西方国家各派的理论"参考取益"。现代逻辑乃以符号逻辑为新型式逻辑之总称,它"分而有代数逻辑派、数学逻辑派、数理逻辑派"。因此,汪奠基先生在《现代逻辑》中以介绍数学基础研究中的罗素学派、希尔伯特学派及布劳维尔学派之逻辑观点要旨,其中又以罗素的逻辑主义为主。如今,逻辑在现代计算机技术中的运用从一个侧面印证了汪奠基先生开创性工作所具有的前瞻性。
其他文献
该文设计方案本着“简易、美观、富有现代感”的设计原则,从塑造深圳市特区“大门”形象入手,从而创造一个“现代、科技、发展”的城市大门形象。
目前军用和民用通信中广泛采用扩频系统通信体制,其中直接序列扩频技术,在许多全球性通信系统中均得到深入的应用。扩频体制被广泛采用的主要原因之一是其对干扰的抑制能力,
楚蛮是商周时代南方居民中与中原联系较为紧密的一部分,为古三苗的遗裔,又称"荆蛮",文献中最早出现于夏末商初。三苗衰微之后,其遗裔散居于江汉地区。楚蛮在商代后期已较为强
增值税纳税主体是影响增值税功能发挥的一个极为重要的因素,我国现行增值税关于纳税人的划分欠科学,造成现实中两类纳税人呈“非合理”结构,致使原本是作为优良税种的增值税
该文通过国外校园案例的分析,探讨了传统封闭大学校园与现代开放式大学校园的区别,在用地布局的层面上阐述开放式大学校园的透性特质和融性特质,并总结出两种开放式校园的用
<正> 随着科教兴国和依法治市的推进,有关上海教育法规体系及其执法监督机制的问题越来越引起人们的关注,因为这直接关系到上海依法治校,乃至依法治市的进程。本文就这一问题
本队针对“三集五大”以来,国家电网公司以“集约化、扁平化、专业化”作为工作导向,不断深入推进大运行体系建设,其核心是实现调控一体化,总结分析了调控应急体系的精益化的
<正>一、问题解决策略 问题解决策略具有普遍适用的特性。问题解决策略能适用任何将要进行的问题解决行为,它能超越不同年龄和促进增长理智的学科中不同问题的界限。任何一种
管辖权问题是评价诉讼程序正当性和判决有效性的标准之一。就整个刑事诉讼程序而言,刑事诉讼管辖权异议制度虽然只是一个很小的部分,但是它确实昭示了程序正义、被告人权利保
随着计算机技术的发展和应用,信息管理系统得到了广泛的应用和推广,应用的复杂程度也在不断的提高。传统的信息系统开发设计模式已不能适应复杂业务的系统开发,在当今的大多