康托实数集合不可数证明中的四种错误探析

从逻辑、无穷观、极限论和证明的思路及具体的操作过程,分析了新发现的康托在实数集合不可数证明中所存在的四种错误,得到＂由于与现有经典无穷理论体系、经典极限论和经典数量体系密切相关的数学基础理论中所存在的缺陷,康托在这类证明中无法回避这四种很严重但却很隐蔽的错误＂的明确结论.特别是其中的逻辑错误使这样的证明无意中成了一种典型的数学魔术.     

一次有理有据的回应——简评张忠义《中国逻辑对“必然地得出”的研究》

中国逻辑界曾对有无中国逻辑的问题形成了尖锐对立的意见：有“中国逻辑”;无“中国逻辑”。张忠父教授的《中国逻辑对“必然地得出”的研究》一书是对“无中国逻辑”观点的一次有理有据、有份量、严肃而认真的回应。     

组合模态逻辑

通常情况下,不止一个联结词的任意逻辑系统都可以看作是由比它具有更少的联结词的逻辑系统组合而成。特别地,任意的多模态逻辑都可以看作是由单模态逻辑组合而成。所以,在该层含义下,任意的多模态逻辑都可以看作是由模态逻辑组合的结果。组合模态逻辑的方法,主要包括融合的方法和更新积的方法。运用组合模态逻辑的方法,不能随意地构造越来越庞大的逻辑系统,而应该采用尽量简单的方法,构造出符合需要的逻辑系统。     

基于模糊控制的卫星大角度姿态机动控制方法研究

本文设计了一个典型Mamdani类PD型模糊控制器来研究卫星大角度姿态机动控制问题。卫星姿态机动控制要求控制系统响应快、具有较强鲁棒性。模糊控制器的设计十分灵活,在控制性能方面有自己突出的特点。通过仿真,考察了模糊控制器的隶属函数在各种参数下的不同控制性能,与一个传统I/O解耦PID控制器的控制效果进行比较,并验证了模糊控制器的鲁棒性。仿真结果证实模糊控制用于姿态机动控制有良好的效果。     

新世纪德国大学博士生教育改革的行动逻辑研究

在高等教育改革中，“标准模式”的全球扩散已成为普遍现象，但其在不同国家的“落地”过程却非常复杂。新世纪德国大学博士生教育改革以“盎格鲁-撒克逊”模式为标准，建立了趋同化的研究生院组织架构，但其内部却出现了与研究生院所表述的运作模式不完全一致的行动方式。德国大学博士生教育改革的行动逻辑，印证了新制度主义理论框架中组织形式结构与实际行动结构的“松散联结”。理解标准模式落地的复杂性有助于避免“标准”与“本土”、“传统模式”与“革新模式”的二分说，更好地揭示复杂性条件下多元主体协调合作的客观现实，进而以一种总体性视野来规划博士生教育改革。     

论“两独”与“两依”兼评《制约逻辑元思想剖析》一文

真正的充分条件关系刻划清楚后便是制约关系,事实上具有"两个独立性"。离散数学正统数理逻辑不研究真正的充分条件关系。二值函数实质蕴涵事实上具有与"两个独立性"相对立的"两个依赖性",从而并非真正的充分条件关系的"逻辑抽象"。即使在正统数理逻辑中作为逻辑工具使用的"若,则"乃是事实上具有"两个独立性"的制约,而并非为其所研究的实质蕴涵。希望进行立足原文原意的纯学术讨论。     

基于翻转课堂的大学逻辑教学改革

“逻辑教学现代化”是我国学界在1978年提出的口号,旨在改变我国逻辑研究和教学较为落后的现状。但30多年过去了,我国的大学逻辑教学却依然存在许多困境,呈现出萎缩态势“。翻转课堂”是当今国际教育改革的前沿,其教学理念和教学模式对于我国的大学逻辑教学具有重要的启示,对于解决我国大学逻辑教学所面临的困境具有重要的现实意义,也是全面实现“逻辑教学现代化”的重要工具和途径。     

关于中国逻辑史的五个问题

持续不断并努力深入地研究中国逻辑史的主要动因,是对学术界所提问题的困惑以及对该问题答案的探索与追求。对中国逻辑史的研究,与中国传统文化研究及中西文化比较研究相互助益。     

关于张东荪的“逻辑与文化”

张东荪有关"逻辑与文化"的思想不乏合理之处,对逻辑学、逻辑史、中国逻辑以及逻辑比较的研究多有启迪,应当继承和发展。张东荪关于比较法的方法论思想,明确了"逻辑与文化"讨论的基本思想,规避了简单比附的偏差,对中国逻辑思想乃至中国思想的认识与研究有十分积极的意义。     

模糊逻辑与自然语言中的语义模糊

自然语言和形式语言的一个重要区别,是自然语言具有语义模糊性。二值逻辑与三值逻辑对命题语义处理是不足的。以札德"模糊集合论"为理论基础的模糊语义分析为我们提供了一种描述模糊语词语义真值多样性和渐进性的全新观念和手段。