在现代教育中开展逻辑教育的意义

逻辑是一种方法也是一种能力,逻辑教育已成为一项至关重要的公民素质教育。传统逻辑教学现代化问题,是一个与我国逻辑教学和研究密切相关的问题。本文通过对逻辑学的特点及其有用性进行了分析,强调了在科教兴国的今天,逻辑学以及逻辑教育应该受到重视。     

《认识逻辑学》对我国逻辑教学改革的启示

“认识逻辑学”不仅重视逻辑的思维工具作用,也极为重视逻辑的接受和表达及其社会功能。《认识逻辑学》运用辩证逻辑和逻辑哲学的原理对传统逻辑的基本知识体系进行＂整合改造＂,这种注重逻辑理路及其逻辑应用的文本,为文科学生学习逻辑提供了难得的材料。     

教育逻辑学研究对象的选择

如何明确教育逻辑学的研究对象关系着这门学科的独立性。从教育学研究内容出发对此做出的划分只是把逻辑知识当作工具,且囿于传统逻辑范畴,使得这门学科成为教育学的子集。现代逻辑方法使用的划分主张逻辑服务于教育教学,实则暗含着逻辑教育的目的。杜威的教育逻辑实践对划分有重要借鉴意义。产生于西方的教育和逻辑在东渐过程中失去了应有的联系,教育逻辑学研究对象对应于教育与逻辑结合过程中的现实问题,这正是教育逻辑学产生于当代中国的必然性所在。     

论黑格尔的逻辑方法

主客同一的逻辑本体论是黑格尔逻辑方法的基础。黑格尔站在主客同一的绝对知识的高度，把逻辑学归结到本体论，把历史(哲学史)归结到逻辑，从而实现了认识论、逻辑学、本体论的统一。黑格尔的逻辑方法在今天人们的理论思维中，仍然发挥着广泛的影响。     

关于认识逻辑学的几个问题——兼评张盛彬教授的《认识逻辑学》

＂认识逻辑学＂是一门待建的逻辑学科,张盛彬的《认识逻辑学》作了有益探索。要建构辩证法、认识论与逻辑学相贯通的＂认识逻辑学＂新学科,必须明确三个前提性问题：一是从逻辑学的发展看,有无建立的可能和必要;二是要明确该学科的逻辑起点是什么;三是如何才能将该学科建成结构严密的学科体系。     

浅谈对复合命题的理解

通过对简易逻辑学中一些基本概念的介绍和典型实例的具体分析,强调了准确理解复合命题的重要性,对中学数学中简易逻辑学的常规教学具有一定的参考价值.     

逻辑实践转向中的非形式逻辑

20世纪70年代以来,通过对逻辑学第一次重大转向即数学转向的反思,逻辑学的发展逐步形成了一些新的特点,加贝和伍兹等将其概括为逻辑学的实践转向。各种新兴的逻辑学分支都考虑人的推理在现实生活语境中怎样完成,这便是逻辑中实践转向的实质。非形式逻辑在这个转向中充当了先锋,而其理论先驱如图尔敏、佩雷尔曼和汉布林对形式演绎逻辑的批评,是这个实践转向的先声。实践转向引起了对逻辑观念、心理主义、形式化的价值、推理评价标准、谬误观等的一系列新思考和新判断,也把人的认知和逻辑紧密联系起来。     

五值非线性序集逻辑系统的随机化

利用赋值集的随机化方法,在五值非线性序集逻辑系统L25中提出了公式的随机真度和随机距离,建立了其上的随机逻辑度量空间,它是计量逻辑学和随机逻辑学在非线性序集逻辑系统上的推广.     

“认识逻辑学”笔谈（续1）——论逻辑学的认识论回归——写在《认识逻辑学》出版之际

《“认识逻辑学”笔谈》系本刊2009年第1期起新辟的专栏。本期特邀《认识逻辑学——关于“转识成智”的逻辑研究》一书的作者张盛彬教授和浙江省委党校陈宗明教授笔谈。张盛彬教授评析了对亚里士多德、培根、康德和黑格尔的逻辑思想的误读,讨论了逻辑主义的反认识论的错误,呼唤逻辑学的认识论回归,并现身说法,回顾了构建认识逻辑学的思路历程。作者认为,演绎体系中的公理是认识中长期没有发现反例情况下、心理认同逐渐被强化的经验归纳,归纳是类比的发展,类比、归纳、演绎整合的推理链,是科学发现的逻辑的轴心,西方归纳派和演绎派的长期分歧被推理链整合了,认识论的研究也深入到了微观的逻辑层次。陈宗明教授从“知其一不知其二”命题引出“知其二”破题,主张“知其二”是认知的追求,认识的阶梯,也是认识逻辑成立的理由。人们能“知其二”,但也难“知其二”。认识逻辑是“知其二”的逻辑,应当属于哲学逻辑,属于应用逻辑。     

浅谈《普通逻辑》教学的几点体会

普通逻辑学对培养职业院校学生的综合素质具有重要作用,要提高教学质量,需要教师改革教学方法：联系现实,激发学生的学习兴趣;以练习为主导,使学生真正理解逻辑知识的内涵;学以致用,将逻辑教学延伸到课堂之外,采取多种途径培养学生的逻辑思维能力。     

模糊知识体系逻辑扩展能力评价模型研究

以真度测度区间的兼容性和推理结果的逻辑语义一致性为评价指标，在模糊逻辑知识体系和二值逻辑知识体系间严格定义了一种模糊知识体系逻辑扩展能力评价模型，并给出对典型加权模糊逻辑的详细评测过程，这个模糊知识体系的逻辑扩展能力评价模型，可对各领域模糊知识体系对二值逻辑知识体系扩展的合理性程度进行评测。     

基于时态逻辑的知识表示研究

讨论模态逻辑和时态逻辑,定义时态逻辑的四个时态算子,探讨了对象模型,提出了时态逻辑对象模型,研究了对象知识表示,给出了基于时态逻辑的知识表示模型和一个对象知识案例,结果表明时态对象模型可以有效地表达知识.     

Cloud-SHOIQ: 描述逻辑SHOIQ的云扩展

经典描述逻辑是本体的重要表示方式,但不能表达不确定知识.分析了扩展描述逻辑表达不确定知识的研究现状及存在的问题,通过结合云模型(Cloud model)、描述逻辑SHOIQ及模糊逻辑提出了一种基于云的模糊描述逻辑C-SHOIQ表达不确定知识,给出了C-SHOIQ的语法、语义,并以实例分析了C-SHOIQ具有处理知识的随机性和模糊性的能力.给出了C-SHOIQ的推理方法,及映射C-SHOIQ知识库为经典SHOIQ知识库的改进规则.分析说明了C-SHOIQ是对模糊SHOIQ表达能力的扩展.     

一种扩展的模糊描述逻辑

为了提高对复杂模糊信息的表示能力,提出一种扩展的模糊描述逻辑.扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系,继承经典描述逻辑中的概念构造器和知识库形式,建立新的知识表示逻辑体系.定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题.通过与模糊描述逻辑的比较,阐述了模糊描述逻辑可转化为扩展模糊描述逻辑,从而例证了扩展模糊描述逻辑具有比模糊描述逻辑更强的表达能力.     

谓词逻辑推理中证明方法的判定

数理逻辑是《离散数学》的难点之一。主要有两个原因,其一是内容比较抽象且方法较独特;其二是题型以证明题居多,大多数证明题涉及到的知识面较广,习题较难。而谓词逻辑是命题逻辑的推广,其灵活性就更大,故很难掌握。本文总结了几种谓词逻辑推理的判定方法和注意事项,以帮助掌握证明题的证明。结合适当的例题讲解,帮助学生进行逻辑思维能力的训练,培养分析问题和解决问题的能力。     

模 糊 择 优 逻 辑 的 数 值 扩 充

提出一种新的模糊逻辑数值模糊择优逻辑, 给出了数值模糊择优逻辑的语法和语义, 并研究了其性质. 该逻辑结合多值逻辑和择优推理的语义特点, 得到的推理关系具有模糊性、 次协调性和非单调性, 且知识的模糊性能以数值的形式显式地表现, 适用于对智能系统中的不精确、 不一致和不完备知识进行表示和推理.     

缺省模态逻辑

本文在Ｒｉｅｔｅｒ１９８０年提出的缺少逻辑的基础上，将缺少条件视为获取知识的背景知识与所得到的知识同等地加以考虑，提出了一种缺少逻辑。它是一种非单调逻辑，并且具有在Ｒｅｉｔｅｒ的系统中所不能保证的两个重要性质；扩充的存在性和非单调性。     

构建把知识转化成能力的逻辑链探索创新化学教育

以大学本科化学教学实践中的一些具体事例说明,探索了如何引导学生在知识与能力之间构建一维的逻辑链,二维的逻辑网络及三维的逻辑空间,从而把相应的知识转化成能力.     

基于粗糙集的组合逻辑优化算法

运用粗集理论对逻辑函数进行知识表达的方法,提出了基于粗糙集的组合逻辑优化方法,并给出了相应的算法.通过对20变量以下的组合逻辑标准Benchmark-89,91和93相容逻辑矩阵例题进行了检验,结果表明此算法是正确的,并具有显著的化简效果.