国外逻辑学习软件初探——兼谈国内逻辑学习软件情况

【#第一文档网# 导语】以下是®第一文档网的小编为您整理的《国外逻辑学习软件初探——兼谈国内逻辑学习软件情况》，欢迎阅读！

国外逻辑学习软件初探——兼谈国内逻辑学习软件情况

李娜;孙雯

【期刊名称】《逻辑学研究》 【年(卷),期】2011(004)004

【摘 要】一、逻辑教学的可视化——逻辑学习软件rn20世纪中期,人们设想用计算机进行逻辑推理.1956年,国际著名的逻辑学家、数学家和计算机科学家Newell和Simon等人首先取得突破,他们编制的程序"逻辑理论家"证明了罗素和怀德海合著的《数学原理》第二章中的38条逻辑推理.后来经过改进,又证明了该章的全部52条逻辑推理.在这之后,世界著名逻辑学家美籍华人王浩教授在IBM-704计算机上以3-5分钟的时间证明了《数学原理》中有关命题演算的全部220条逻辑推理,并且还证明了该书中带等词的谓词演算的150条逻辑推理的85％.不久,他仅用8.4分钟的时间证明了以上全部逻辑推理.1此后,随着计算机科学技术的发展和普及,随着逻辑学教育技术的发展,众多的逻辑学家开始将逻辑的思想和方法用计算机来模拟,从而研发了一系列的逻辑学习软件. 【总页数】13页(P98-110) 【作 者】李娜;孙雯

【作者单位】南开大学哲学院;南开大学哲学院 【正文语种】中 文 【相关文献】


1.如何对待传统逻辑与现代逻辑--兼谈逻辑学教学体系的构建2.从《逻辑史手册》看逻辑史研究与逻辑学发展的新趋势——兼谈中国逻辑研究的问题3.拓宽非形式逻辑与批判性思维的研究视野——兼议国内逻辑学教学改革4.领导科学逻辑起点初探——兼与目前几种流行的逻辑起点论商榷5.辩证逻辑和形式逻辑的比较研究——兼谈辩证逻辑研究中的三个问题

因版权原因，仅展示原文概要，查看原文内容请购买

本文来源：https://www.dy1993.cn/zlD4.html