【摘 要】
：
《逻辑演绎研究》("Untersuchungen über das Logische Schliessen")是甘岑提交哥廷根大学的就职论文,文中甘岑提出了两种逻辑演算系统,即"自然演绎"和"后继式演算"系统
【基金项目】
：
中央高校基本科研业务费专项资金一般项目“达米特直觉主义逻辑演绎研究”,项目编号:SWU1609140
论文部分内容阅读
《逻辑演绎研究》("Untersuchungen über das Logische Schliessen")是甘岑提交哥廷根大学的就职论文,文中甘岑提出了两种逻辑演算系统,即"自然演绎"和"后继式演算"系统。从自然演绎开始甘岑尝试构造一个接近数学实际推理的逻辑演算,而后针对自然演绎系统的不足进行了转化和改进,构造了后继式演算系统,并证明了该逻辑演算系统的合理性。甘岑的逻辑演绎思想在逻辑史上具有十分重要的地位,对现代逻辑和证明论的发展具
其他文献
1949年底到1952年,中国共产党第一次对知识分子进行大规模思想改造。新儒学派的代表人物冯友兰,三四十年代在中国马克思主义和自由主义西化派艰难的历史文化选择中徘徊。建国
摘 要：化工行业是国民经济的重要组成部分。化工行业具有易燃、易爆、有毒、有害、腐蚀性强、生产过程易发生突发性事故的特点，属环境风险高的行业。化工企业环境影响评价已经成为中国建设项目环境影响评价工作中的重点及难点。对此，文章对化工项目环境影响评价的相关内容进行了分析。 关键词：化工项目;环境影响评价;评价程序 1 环境影响评价概念 环境影响评价是指依据国家有关环境保护的法律、法规和标准，对拟建
电网调度运行是否安全，直接影响到电网对外供电是否安全可靠，保证电网运行安全是确保电力企业各项工作平稳有序进行的前提。在电力系统中，电厂的主要职责是发电，而这些电力具体输
[目的]为柴油机掺烧甲醇技术的应用提供依据。[方法]在柴油机结构不变的情况下,把甲醇、柴油、OP乳化剂按体积比15：80：2.5混合,采取新的乳化工艺研制混合燃料,并与柴油作比较。
根据对现存云南彝文文献《乍部叙谱书》的资料记载，对叙谱书中与乍部分支有关的地名、对叙谱书中记载的有关乍部支系与人名以及有关叙谱书中记栽的祭祖承业记述的谱系进行了梳
随着我国道路交通事业的飞速发展，交通事故发生率不断增大。由于交通事故的发生不仅造成大量人员伤亡，给无数家庭带来不幸，而且严重影响着社会经济发展和稳定，已引起了各级政府的
摘 要：牛羊肉是人们日常生活中非常喜爱的食物，但是牛羊也和人一样会有疾病的产生，尤其在春秋季节更为明显，因此，我们一定要对健康时和生病时的牛和羊的不同表现有一定地了解和掌握，积极采取措施在疾病发生之前做好预防工作。这样才能保证牛羊避免遭受疾病的侵袭，让牛羊健康成长，同时也减少了养殖户的损失。 关键词：牛羊；疾病预防；健康 在日常的牛羊饲养活动中，对牛羊疾病的防治扮演着非常重要的角色，因此，我们