论文部分内容阅读
沈有鼎先生的《初基演算》建立起了标准逻辑的两个原则，即是否源于初基演算和是否具备完全性。而蒯因在建立标准逻辑时仅仅考虑了完备性问题。相比之下，沈文更有价值。
蒯因论标准逻辑出了什么问题－读沈有鼎先生《初基演算》的体会
【摘 要】
：
沈有鼎先生的《初基演算》建立起了标准逻辑的两个原则，即是否源于初基演算和是否具备完全性。而蒯因在建立标准逻辑时仅仅考虑了完备性问题。相比之下，沈文更有价值。
【机 构】
：
香港公开大学
【出 处】
：
武汉冶金科技大学学报：社会科学版
【发表日期】
：
1999年4期
其他文献
阅读教学作为中学语文教学的重要组成部分,其主要任务是在传授语文知识的基础上,培养学生的阅读能力,养成良好的阅读习惯.这是阅读教学价值的最根本体现,也是阅读教学的出发
期刊
2010年12月7日至13日，我跟随NOC中小学交流访问团走访了包括小学、初中、高中在内的多所学校。第一次踏上宝岛，对台湾中小学教育感到既陌生又神秘。 走访台湾教育资讯的点滴 我
福建南安是民族英雄郑成功的故乡。郑成功的陵墓位于南安市郊的水头镇复船山上，是全国重点文物保护单位。登上墓台，复船山下是一望无际的大地与铺展向台湾海峡无边的大海。１６４６年，郑
多媒体是指在计算机系统中,组合两种或两种以上媒体的一种人机交换信息交流和传播媒体。它的使用能有效地缩短学习时间、提高教学质量和教学效率,实现教学目标的最优化。
2011年7月21日，我第一次走进全国中小学信息技术创新与实践活动的赛场，成为此赛事网络教研团队赛项小学数学组的评委。两天的评审工作中，我与参赛教师共同经历了比赛的全过程，对
用多媒体技术辅助教学,可激发兴趣,提高学生学习数学的欲望;可帮助教师教学突出重点,突破难点;使抽象的教学内容具体化、生动化,兴趣盎然地参与教学活动;可丰富数学教学内容,
专业设计素描是动漫设计专业的重要专业课之一,是帮助学生掌握基础能力、审美能力以及创造能力的关键性课程。对于大部分在高职院校中就读于动漫设计专业的学生而言,基础能力
多媒体辅助教学是一种新型的现代化教学方式,也是当前世界教育技术发展的新趋向。近年来,CAI（计算机辅助教学）已经得到了极大的推广和应用,教师可以通过处理平时的练习、排版和
大山大水,两江环抱。对于重庆人来说,淡水鱼,实在是寻常物。与求甘鲜、求本味的广东人截然不同,在重庆入的江湖菜谱中,烹制淡水鱼多不存在清蒸一说。一尾鲜鱼,在,性情浓烈的
建立建造师执业资格制度,是提高工程管理人员素质的需要,也是人才国际化的需要,我国自2005年诞生首批与国际接轨的建造师以来,各有关单位调查发现在建造师执业资格制度实施过