【摘 要】
:
<正> 如何运用现代数理逻辑的工具系统地处理传统推论学说?希尔柏脱(D·Hilbert)和阿克曼(W·Ackermann)在《数理逻辑基础》(科学出版社,1958年版。以下简称《基础》)中专门探讨了这一问题,克劳斯(G·Klaus)在《形式逻辑导论》(上海译文出版社,1981年版。以下简称《导论》)中作了进一步的阐释和发挥。对于这两部著作所论及的相关知识,何应灿先生在《逻
论文部分内容阅读
<正> 如何运用现代数理逻辑的工具系统地处理传统推论学说?希尔柏脱(D·Hilbert)和阿克曼(W·Ackermann)在《数理逻辑基础》(科学出版社,1958年版。以下简称《基础》)中专门探讨了这一问题,克劳斯(G·Klaus)在《形式逻辑导论》(上海译文出版社,1981年版。以下简称《导论》)中作了进一步的阐释和发挥。对于这两部著作所论及的相关知识,何应灿先生在《逻
其他文献
本文结合大量实例,从执著追求、团结协作、开拓创新3个方面简论吴士文精神,表达对吴先生的深切思念,以此推动修辞事业的繁荣发展。
水平井压裂技术是低渗透油气藏及非常规能源开发的一项重要技术,压裂施工过程中需要射孔作业沟通油气储集区来提高低渗透油气藏的采收率,为此,准确地认识射孔参数对水平井起
研究客家方言群体的历史与文化,为研究中国历史与文化在不同时期、不同地域内的传播、流布及其变异,可谓提供了一个典型的个案。通过这一个案,我们不仅能加深对中国传统文化在空间发展上的多样性、丰富性和层次性的认识,而且还能加深对中国文化的历史承传与时空转换的内在关系的认识。所有这些,是宏观的文化史研究所无法做到的。
为了保证校园的和谐环境,校园安防系统一般采用专网的方式,虽然保证了安全性,但给校园安防的管理带来不便,为此研究如何在校园网与安防专网间架设一个基于LINUX的虚拟专用网(V
全球水资源协作组织主席玛格丽特·卡特利——卡尔森说,面对日益紧缺的水资源,全球正面临着人口增长、资金缺乏和观念陈旧三大方面的挑战,只有包括政府部门、科研机构、
为解决某些联合组织涤棉品种在双织织造时其织品免烫性较差,调整难度大,布面起皱、起拱等问题,通过对其进行单、双织织造对比试验,分析了部分涤棉联合组织单织、双织织品的免
应黄河防洪减灾系统建设芬兰贷款项目中方经理黄自强的邀请,芬兰经理雷彼德先生于9月13日至9月14日,对黄委进行了为期两天的工作访问。在此期间,双方就网络系统、软件设计、
马克思故乡的创意火花德国,是马克思的故乡。马克思,被西方媒体评为千年风云人物。马克思主义,曾激励了千千万万的中国共产党人,为了中华民族的拯救与复兴,抛头颅、洒热血,终于赢得
2000年12月在欧洲杂志上发表了新的欧洲水利框架指南,经过三年多的谈判,欧洲的水利政策终于有了重大突破,从而完善了水利法律法规,确定了水资源管理的新方向,对欧洲的流域管
<正> 根据1844年中英《南京条约》规定,广州、厦门、福州、宁波、上海等五口被辟为中国首批对外开埠通商的城市。五口中的宁波和上海,在开埠后经历了截然不同的命运。前者是对外贸易逐渐式微,农、商、工、交等各业发展缓慢。后者则迅速发展成为全国对外贸易中心,继而又成为全国的贸易、金融、科技和信息中心,交通运输枢纽和轻纺工业基地,远东最负盛名的国际大都会。为什么这两个同处东南沿海地区,又同时期对外开放的城市,在近代化过程中会形成如此强烈的反差呢?近代宁波经济的发展与上海之间又有何种内在的联系?这便是