逻辑新论

逻辑学就是研究人的理智思维活动的科学,也就是研究人在理智状态下生成与使用概念、命题、推理的实然方式与应然规则的学问,而逻辑就是总结、概括、创造出来的生成与使用概念、命题、推理的规则。概念是高度浓缩了的判断。命题是省略了过程的推理。所有命题通过转换都可以变为两个集合之间的交集是否存在的判断。简述了确认"命题‘A是B’是真的"的条件,认为逻辑规则是为了特定的目的而设计出来并约定俗成的思维单元的生成与使用应遵循的规范。目的不同,完成目的而遵循的逻辑规则也不同。逻辑规则不是逻辑规律,逻辑规则是人们对逻辑规律认识后将其运用于思维活动的方式。逻辑规律是一元的,而逻辑规则是多元的。     

浅析数学中的逻辑思维能力

逻辑思维能力，就是运用形式逻辑及辨证逻辑的思维规律和方法来形成概念，进行判断、推理等思维活动的能力。逻辑思维能力主要包括：判断能力、逻辑推理能力、数学建模能力以及对数学解的分析能力。     

法律逻辑是训练法律思维能力的必要的有效的工具

法律逻辑是训练法律思维的必要的、有效的工具。法律逻辑有助于准确掌握和运用法律概念,合乎逻辑地建立和把握命题并进行法律推理,对即将作出的法律裁决或法律意见进行逻辑论证。为达到将逻辑理论知识转化为法律思维能力之目的,法律逻辑学应在教学内容和教学方法等方面进行改革。     

模糊粗糙逻辑语义及其推理

主要从粗糙集、模糊集、逻辑学等三个方面来定义模糊粗糙逻辑的概念,给出了带逻辑符号＂┑,∧,∨,→,＂的模糊粗糙逻辑的真值区间的运算。并分别从＂→,┑,∧,∨＂四个逻辑运算符研究了模糊粗糙逻辑的语义推理。     

浅谈法律逻辑

在法律逻辑推理判断过程中必然要经过事实推理、法律推理和判决推理这三个不同阶段的论证。并且在事实推理过程中运用的逻辑思维应当因时而异,在进行法律推理时正确运用逻辑思维,同时判决推理过程则需要更严谨的逻辑思维。     

浅析实质蕴涵的优越性

逻辑研究的内容是推理及推理的有效性,而对于推理的研究实质上就是对于蕴涵的研究。推理形式包括前提和结论两部分。前提是推理中在前的已知命题,所有前提合取起来可作为前件;结论是最后要由前提推出的命题,可作为后件。任何一个推理最终都可以化归为     

基于OBDD的Iteration-free CPDL判定算法

命题动态逻辑是一种应用模态逻辑,用于程序行为的推理.Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑.对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后将其转化为布尔函数,并利用OBDD来表示,从而调用已有...     

论形式语义学

阐述了形式语义学关于“语法”、“句法和语义”,以及“语词和语句”等概念。传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向。从形式语义学比较语言学的不足可以看到其未来发展的思路。     

论形式语义学

阐述了形式语义学关于"语法"、"句法和语义",以及"语词和语句"等概念.传统语言学所谓语法讲究对语言符号串线形排列的成分分析,现代生成语言学的Chomsky学派认为语法就是有关语言层次结构的由小到大的生成规则,类型逻辑语法等形式语义学理论所谓的语法是指基于逻辑推演的关于自然语言的运行规律;形式语义学强调句法和语义的对应,这是形式语义学的灵魂;形式语义学在语句领域取得了较大成功,而语词领域是语言学侧重的研究方向.从形式语义学比较语言学的不足可以看到其未来发展的思路.     

负判断推理的逻辑形式及特点

针对传统的普通逻辑中缺少对负判断推理的完整论述问题,阐述了负判断推理的两种形式：简单判断的负判断推理和复合判断的负判断推理。同时,归纳出负判断推理具有直接推理属性,以及前提和结论是等值关系的两方面的特点。     

法律逻辑应注重对实质推理的研究——由一个案例引起的思考

实质推理是一种通过对若干存在矛盾冲突的推理前提内容法律价值的分析判定,从而确定该前提内容是否具有优先法律适用效力的推理和证明活动。实质推理最显著的特点是引入了辨证思维的方式,以法律价值判断作为分析判定的前提和基础,注重从推理的内容和形式的统一的角度来研究法律推理,注重用辨证思维的方式来正确处理法律适用中的矛盾冲突。对法律推理的研究,应从法律实践的实际需要出发,打破形式与内容的“楚河汉界”,从形式与内容的有机统一来加强和充实对法律推理的研究,走出“形式逻辑＋法律事例”的简单模式,使法律逻辑的理论研究更好的为法律实践服务。     

三值逻辑神经元模型及其不确定性推理应用

针对二值神经元在不确定性知识表示和推理中的不足,提出了一种具有三值逻辑表达能力的神经元模型：三值逻辑与神经元和三值逻辑或神经元。采用这种三值逻辑神经元来表示规则和真值状态的不确定性,由这种逻辑神经元连接而成的神经元链能够实现三值逻辑推理系统,可以对三值关联规则进行表示和推理。     

数学的生成性教学

传统的数学课堂教学一般是一种预成性教学,它不重视数学知识背景的揭示和数学知识的生成过程,而注重的是数学的结论,从而影响了学生数学能力的培养.数学的生成性教学则是一种遵循数学的生成规律和学生的思维规律而进行的一种新的数学教学形态.鉴于自然宇宙、社会实践和数学自身是数学的三个生成源,而抽象和概括、观察和试验、归纳和类比、推广和限定、直观和直觉、联想和想象、推理和证明等是数学生成,也是人们进行数学思维的基本方法,因此,开展数学的生成性教学是数学教学的发展.文章用实例论述了数学概念、猜想和证明的生成性教学的基本方法.     

实质蕴涵与互逆真蕴涵

对于任何蕴涵命题都有建立它的过程和建立之后运用它来推理的过程。经典逻辑的拥护者们认为实质蕴涵的定义使其也能建立实质蕴涵命题和建立之后用其进行推理。其实,实质蕴涵的定义只能用来建立实质蕴涵命题,若用其推理则违背了哲学与数学的基本原理;虽然它可用于建立实质蕴涵命题,但却会产生实质蕴涵怪论。作为对实质蕴涵的改进,提出了互逆真蕴涵概念。互逆真蕴涵的归纳复合真值表用于建立互逆真蕴涵命题,分解真值表用于推理。互逆真蕴涵的归纳复合真值表虽然与实质蕴涵的真值表相同,但却有不同的解读。     

将逻辑证明纳入实践范畴的真理理论

传统的符合论真理观强调命题的真在于命题与事实的符合关系,否定逻辑证明在判断命题"真"与"假"方面的作用.通过对实践特点的分析,认为实践应该是人类对世界的已知和未知的验证和认识的过程性活动,强调逻辑证明也属于实践的范畴.并且认为命题通过与客观事实的直接符合,或者在已知客观事实基础上通过逻辑证明验证符合后,此命题就可以认为是"真"的,建立起这种"实践"意义上的真理观.     

可拓命题与可拓推理句

进一步研究了可拓命题和可拓推理句,引进了静态真度、可拓真度、静态正确度、可拓正确度的概念,讨论了它们的一些性质,丰富了可拓逻辑的基本概念与理论．     

CS逻辑的分析及改进

较之以往的形式化分析工具BAN及BAN类逻辑,CS逻辑是一种将时间与逻辑结构相结合的逻辑,是第一个用来分析与时间相关的Timed--release公钥协议的逻辑,本文分析了原始CS逻辑的某些推理规则的缺陷,并对其作了改进及扩展,使其能够更好地反映Timed--release公钥协议的特性,并对一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析.     

关于词项和概念之争

近年来,在我国逻辑领域关于＂词项＂与＂概念＂的定义和使用问题一直存在着分歧。当代形式逻辑体系是否还有＂概念＂的位置？＂概念＂是否应被＂词项＂所取代？有两派观点,一派认为应该用词项取代概念 另一派认为词项和概念应该区分使用,不能完全否定其一。但毋庸置疑,概念的定义规则、分类与划分,限制与概括以及由概念断定的外延的范围等这些关于概念的逻辑问题仍然需要在＂概念＂的意义上讨论。因此,从逻辑学的角度研究概念在一定程度上也是必要的。     

逻辑表达式图的实现及其在集成电路故障 可测性中的应用

数字电路的可靠性有着至关重要的影响,测试是其重要保证,测试向量的自动生成(ATPG)在数字电路的测试中占有重要地位;逻辑表达式图(Boolean Expression Diagrams,BED)是用于逻辑函数与逻辑电路表达与运算一种数据结构,能够将逻辑电路在线性空间复杂度内表达,是二元判决图(Binary Decision Diagrams, BDD)在概念上的推广且保留着BDD的许多有用的性质。讨论了BED的性质与实现方法,并将BED用于逻辑电路呆滞型故障测试向量的自动生成中,基于BED的测试算法直接将原电路与故障电路做异或运算后用BED表达再化简或判断其可满足性,算法能充分使用逻辑代数的化简规则和利用电路与故障电路的相似性。实验结果表明,基于BED的测试方法具有较低的复杂度。     

逻辑定理在科技管理中的应用

讨论并举例介绍了几种常见的命题逻辑推理,包括假言推理（充分条件假言推理、必要条件假言推理、充分必要条件假言推理）、尽举选言推理（尽举相容选言推理、尽举反相容选言推理、尽举不相容选言推理）、非推导逻辑定理（不矛盾定理、排中定理）等在科技管理中的应用。在科技管理中应用逻辑定理理论会更有利于搞好科技管理工作。