【摘 要】
：
自1920年以来,现代学者们通过对亚里士多德逻辑的研究,已经重新确立了他作为具有高度首创性和深刻洞察力的逻辑学家的地位。研究表明,亚里士多德的逻辑著作不仅包含我们所有
论文部分内容阅读
自1920年以来,现代学者们通过对亚里士多德逻辑的研究,已经重新确立了他作为具有高度首创性和深刻洞察力的逻辑学家的地位。研究表明,亚里士多德的逻辑著作不仅包含我们所有最早期逻辑形式的研究,而且还包含一个高度发展的对逻辑系统本身性质的研究,这种研究的主要目的并不是提供一个论证的实际指南,而是对演绎程序本身做出一种系统的说明。这是一个被逻辑研究者长期忽略的事实。现代逻辑学家终于承认,在他们的发现是亚里士多德已经作出或已经预期的意义上而言,亚里士多德的逻辑研究在许多方面,就其本身而言是现代的。
其他文献
在Kalman滤波的量测值中，经常出现连续、成片的野值，不仅严重地影响了其稳定性，而且造成滤波精度下降。针对这一问题，提出一种基于可调因子的新型抗野值Kalman滤波器方法。该方法
<正> 在二氧化碳的临界温度(31℃)以上加高压时,二氧化碳就具有液体的密度。它在50℃,340个大气压下,从粉碎的大豆中提取油的能力与使用热己烷时相似。而所得的
目的掌握南宁市食品添加剂和非食用物质使用情况,为监督管理提供科学依据。方法对南宁市餐饮单位、学校食堂及其周边食品店、超市和集贸市场的食品批发零售点进行专项抽查,共
本文是从当前参加中职对口高考计算机专业的计算机语言教学过程中发现的问题而加以研究的。我们面对是中职学校的学生,而学习的又是高度数理思维的计算机语言知识,如何教好他
学习过程自主评价即以学习者自己为主导、以学习过程为中心评价内容的评价。它在理念上强调过程和自主,以促进学习为基本目的,融入先进而多元化的教育理念。其方法论要点有:
计算机学科已是许多高校不可或缺的重要学科,但是在高校计算机教学中有一些不足,在其教学中引入美育迫在眉睫。将逻辑性较强的计算机课堂和形象性较强的美育相结合,利用计算
目的分析前列地尔联合保肝药物治疗肝损伤的临床疗效。方法便利选取2016年6月-2019年1月在该院接受肝损伤治疗的患者62例,随机数字法分为对照组(31例)和观察组(31例),对照组
<正> 从20世纪90年代开始,我国当代公文学研究领域曾经开展过一场关于公文定义问题的学术争鸣,以《秘书》、《秘书工作》、《秘书之友》等杂志为主阵地,先后发表了20余篇争鸣
托臂是救援车托举装置的重要组成部件,针对其质量过大,受力不合理的问题,利用ANSYS有限元分析软件,对其进行满载工况分析,得到其应力和应变的分布情况。根据分析结果,对选定
<正>军队科研机构是军事科技创新的重要力量,是催生新质战斗力的坚实保障,在建设军队新型作战力量、提高军事综合竞争力方面发挥着重要作用[1]。党的十八大以来,国家实施改革