二值命题逻辑中有限理论的相对偏差及其应用

理论的相对偏差是确定近似推理误差的逻辑度量之一,由于缺乏与理论特征相关联的真度表示,而导致其计算和应用上的不便.以公式真度为基础,给出了二值命题逻辑系统中有限理论相对偏差的真度表示式以及公式是有限理论的Ⅲ-型误差不大于ε结论的判定条件,并证明了有限理论的Ⅰ,Ⅱ,Ⅲ-型误差不大于ε的结论的等价性以及基于蕴涵真度的三种近似推理模式的等价性.     

Gn命题逻辑系统中绝对真度的理论研究

基于绝对真度的概念,在Gn命题逻辑系统中定义了公式间的绝对相似度和伪距离,并证明了公式绝对真度的推理规则,为近似推理提供了理论基础．     

二值命题逻辑中命题真度相同与逻辑等价的关系

王国俊提出了命题真度的概念,它与命题逻辑等价的概念不同,但它们之间具有一定的联系．文中通过在全体公式之集上引入某种等价关系,给出了二值命题逻辑中命题真度相同与逻辑等价的关系．     

二值命题逻辑中Г-的蕴涵距离和近似推理

以基本真度为基础,引入二值命题逻辑系统中基于前提信息Г的公式A到B的蕴涵度概念,由此定义了公式A到B的Г-蕴涵距离,并通过Г-蕴涵距离的基本真度表示式,对二值命题逻辑中基于前提信息的近似推理问题进行讨论．     

二值命题逻辑中逻辑方程解集的数值特征

二值命题逻辑中τ(A→X)=α型逻辑方程在有限理论结论集的结构研究中有着重要应用.讨论基于真度的τ(A→X)=m/2n型逻辑方程的解在逻辑运算下的相关性质,给出反映其解集结构的几个数值特征的数值表示,为进一步研究该类逻辑方程的解集以及应用提供数值化结果.     

二值命题逻辑F（S_n）中的基本推理链

在原子公式之集为有限集Sn={p1,…,pn}时,二值命题逻辑的全体公式之集用F（Sn）表示.文中在F（Sn）中提出了基本推理链的概念,统计了不同长度的基本推理链的条数（在公式之间的逻辑等价或可证等价的意义下）.同时给出了用基本推理链的概念来刻划A→B为定理的一个充要条件.     

两个特殊逻辑系统Gn和∏n中的相似度与伪距离

利用由均匀概率空间的无穷乘积所定义的Gn和∏n中公式的真度概念,给出了公式间相似度的一种新定义,讨论了该相似度与文献[2]、[6]定义的相似度的大小关系及逻辑系统Gn和∏n中公式间的三种相似度的性质。最后讨论了由其中的一种相似度导出的这两个系统中全体公式集上的一种伪距离的重要性质。     

n值Lukasiewicz命题逻辑中命题的α-矛盾理论

基于均匀概率空间的无穷乘积,n值Lukasiewicz命题逻辑中引入α-矛盾理论,给出了一般矛盾推理规则;利用命题的α-矛盾度定义了命题间的α-差异度,进而导出命题集上的一种伪距离.     

利用边缘信息的二值图像遗传恢复算法

多数遗传算法在进行图像恢复时并没有充分考虑图像本身的特点.本文提出了一种新的二值图像恢复算法.它利用二值图像具有0、1两个灰度值和明显的边缘信息的特点,并将该信息加入到遗传算法的变异算子中.变异时,只对非边缘信息点进行0或1改变.实验结果表明,该方法比简单遗传算法的恢复结果更准确,并在一定程度上保护了图像边缘;同时,该方法的恢复结果明显优于传统图像恢复方法.     

两个特殊逻辑系统Gn和Πn中的相似度与伪距离

利用由均匀概率空间的无穷乘积所定义的及中公式的真度概念,给出了公式间相似度的一种新定义,讨论了该相似度与文献[2]、[6]定义的相似度的大小关系及逻辑系统及中公式间的三种相似度的性质.最后讨论了由其中的一种相似度导出的这两个系统中全体公式集上的一种伪距离的重要性质.     

试析斯多葛学派命题逻辑研究中的命题函子理论

斯多葛学派是古希腊的一个哲学学派,他们的前驱是麦加拉学派。命题逻辑是斯多葛逻辑的精华所在。斯多葛在亚里士多德的基础上,对命题理论的研究又有了新的突破,探讨了命题函子及命题函子的可互定义性。     

真值表在数理逻辑中的重要作用

从数理逻辑中的命题公式等值判定、联结词定义、主析取范式求法、谓词公式类型辨别和推理正确性检验等几方面探讨了真值表所起的重要作用，指明真值表是数理逻辑学科体系的最重要的基石，重点抓好真值表的教学是解决好整个数理逻辑教学的关键.     

一类基于不确定度的Vague集间的相似度量

提出一类基于不确定度的Vague集间的相似度量.通过与现有公式的比较,阐明该类公式有较强的分辨能力,这些公式是实用的.     

教师专业发展路径的理论逻辑和实践逻辑及其批判

文章在分析教师专业发展所遵循的理论逻辑和实践逻辑路径及其缺陷基础上指出:变革时代教师专业发展的客观现实要求我们跳出对既有理论逻辑与实践逻辑的论争,回到教育理论与教师实践的原点考查,以确立并提升理论者的实践意识与实践者的理论意识去寻求教师专业发展有效推进的新理路。     

感喟真人——析陶行知“真人”教育目标论

真人是陶行知先生的教育目标,解读真人对理解其教育思想具有重要意义.真人最早出现在<庄子·大宗师>一文中,在庄子那里,真人是超然于物欲、名利、生死、自我之外,和自然融为一体的人.从词源学上看,真有真诚、真实、无伪等意思.真人在陶行知先生的思想体系中,指自立立人、求真实干、忘我为公、一心向农,为民服务,为民谋福利的人.     

比较逻辑学的学科框架初构——从逻辑与文化的关系角度看

比较逻辑研究的范围是相当宽泛的,不仅包括古代、近代、现代的逻辑之间的纵横比对、内在汇通,而且包括世界三大逻辑传统的透视性比较.比较逻辑学应当是建基于各种逻辑学科之上的一门综合性理论学科,它以三大逻辑体系的平等对话为前提,突出比较意识、比较思维与比较方法的自觉运用,有自己特有的学科特性与学科视域、学科范畴.本文试图论证比较逻辑不在于"比较",而在于"汇通";"比较逻辑"不是或不仅仅是"逻辑比较";比较逻辑有其特殊的"比较视域",从而进一步论证"比较逻辑学"成为一门独立学科的可能性.