对实质蕴涵若干问题的思考

以实质蕴涵和逻辑蕴涵为对象,通过对郁慕镛教授和袁正校教授的观点进行比较,对逻辑学里的一个非常重要的概念——蕴涵进行了分析和讨论,澄清关于实质蕴涵和逻辑蕴涵的若干误解。     

浅析实质蕴涵的优越性

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

关于R—模糊蕴涵的逆否对称性

讨论了Ｒ－模糊蕴函的逆否的对称性，在ｔ－模适合剩余条件时，研究了其逆否对称性的特性。     

互逆主义集合论排除了逻辑-数学悖论

互逆主义集合论用将元素与集合分为3层的方法排除了罗素悖论,这种方法比类型论简洁。互逆主义认为罗素悖论、布拉里-弗蒂悖论、康脱尔悖论中的全集是无意义的集合,而互逆主义只研究有意义的集合,这种排除悖论的方法与ZFC认为大全集不存在的方法不同。     

虚拟条件蕴涵句逻辑解析

虚拟条件蕴含句在人际交往及论证中广泛运用,虚拟条件蕴含句有着自身的特征和语用功能.其语用逻辑功能主要有:能够揭示事物发展的客观规律,能够表达美好的愿望和追求,能够表达热烈真挚、豪迈奔放的感情,能够表达对自我过失的追悔,可以否定某一事物,回答难题,揭露某一弊端或缺陷,以及批驳谬误.认真研究虚拟条件蕴含句的特征和语用功能,就可以使我们在思维实践中更好地运用虚拟条件蕴涵句.     

虚拟条件蕴涵句逻辑解析

虚拟条件蕴含句在人际交往及论证中广泛运用，虚拟条件蕴含句有着自身的特征和语用功能。其语用逻辑功能主要有：能够揭示事物发展的客观规律，能够表达美好的愿望和追求，能够表达热烈真挚、豪迈奔放的感情，能够表达对自我过失的追悔，可以否定某一事物，回答难题，揭露某一弊端或缺陷，以及批驳谬误。认真研究虚拟条件蕴含句的特征和语用功能，就可以使我们在思维实践中更好地运用虚拟条件蕴涵句。     

利用牛顿-莱布尼茨公式谈谈微分与积分的互逆性

文中试图用比较直观的方式揭示微分与定积分之间的联系,可看作对牛顿-莱布尼茨公式(称为微积分基本公式)的一个解释。     

格H蕴涵代数与格蕴涵代数类

本文研究了格H蕴涵代数的性质,给出了它的一些等价条件,讨论了格蕴涵代数类的真类问题和基数问题。     

直觉模糊逻辑非算子与蕴涵算子的一些性质及证明

给出了直觉模糊逻辑非算子的定义,讨论了非算子的一些性质。提出了关于直觉蕴涵算子的两个重要定理,并给出了证明     

弗雷格关于“真”的思想述评

弗雷格从逻辑的角度考察“真”,认为“真”不可定义,并认为句子是“真”的作用对象;“真”具有客观性和完全性,它是不可感觉到的存在,其表达只存在于断定句的形式中。弗雷格关于“真”之本体论基础的解读促使他将命题作为逻辑研究的对象。弗雷格求“真”的进路给语言学、哲学和逻辑学的研究带来启迪,而其思想也有不足之处。     

逻辑魔方

提出了形状和鲁比克魔方一样的逻辑魔方,它建立在互逆主义逻辑的半集合定理主辅代数之上,用来描述各种单集合定理和半集合定理.     

关于友循环矩阵的逆与群逆

本文讨论利用多项式快速算法,给出复数域上非奇异友循环矩阵求逆矩阵的方法,同时推广到求复数域上奇异友循环矩阵的群逆,最后给出应用该算法的数值例子。     

郭海藻和夏琳人物形象之互文性解析

将《蜗居》中的郭海藻和《奋斗》中的夏琳相比较,这两个人物形象在社会背景、人生价值观以及婚姻观这些层面上具有互文性。夏琳人物形象不仅仅是对郭海藻人物形象的简单模仿,而是更高层次上的颠覆和重塑,体现了当代新女性主义的特征。     

一种逆归结学习表示

针对动态模糊性问题,利用动态模糊逻辑,采用“自下而上”的设计原则,提出1种基于动态模糊逻辑的逆归结学习方法,该方法利用动态模糊谓词逻辑来描述学习问题,通过学习算法计算出问题的假设。通过实例验证了算法的有效性,同时找到了一种从一般到特殊的认知规律的表示方法。     

可交换的s代数与格蕴涵代数

研究了一类模糊逻辑代数系统——交换s代数.给出了交换s代数一系列基本性质,证明了交换s代数关于其上的偏序关系≤构成格.最后,证明了在交换s代数中定义xy=x′→y,则X是一个格蕴涵代数,在格蕴涵代数L中,定义y=x′→y,则L是一个交换s代数.     

真值函项理论与怪论

真值函项理论对复合命题的解释和刻画与复合命题的直观含义存在着不一致,这种不一致导致的"怪论"既存在于实质蕴涵,也存在于合取和析取.合取和析取仅存在"语法怪论",这种"怪论"是由形式语言和自然语言在语法上的不一致造成的,其表现是将不合法的、无意义的语句当作合法的、有意义的.实质蕴涵则不仅存在"语法怪论",而且存在"语义怪论";后者是由实质蕴涵和"如果……那么……"在语义上的不一致造成的,其表现是将假的充分条件假言命题判定为真的,以及把直观上能确定真假的充分条件假言命题当成无法确定真假的."语义怪论"的存在表明,用真值函项解释来确定假言命题的真假是不可行的.     

Banach空间中线性算子的Tseng度量广义逆与Moore-Penrose度量广义逆

在Banach空间中,利用Banach空间几何方法及度量投影算子,给出了Moore-Penrose度量广义逆的三种形式,证明了最大Tseng度量广义逆与Moore-Penrose度量广义逆是等价的.     

基于CPLD的逆重复m序列伪随机信号发生器

利用Lattice公司的仿真软件ispLEVER3．0和VHDL语言,基于可编程逻辑器件CPLD设计了可用于地电系统相关辨识的多级伪随机信号发生器,分析了其硬件功能和控制程序模块。发生器产生的m序列和逆重复m序列信号的时钟周期由系统时钟频率的2次分频到2“次分频可变,移位寄存器级数由4级至23级可选。此外,为实现大功率发射,程序可以在两个同步的反向伪随机信号间插入关断脉冲。反复的实验证明,本文的信号发生器性能可靠、稳定,为进一步研制新型的电磁勘探仪器提供了良好的场源信号。     

线上与线下教学质量实质等效问题研究

在新型冠状病毒肺炎疫情形势下,线上教学模式在课堂教学中发挥了重要作用,但在教学实践中存在线上与线下教学质量不等效问题.造成这种问题的原因除了疏离的客观空间状态外,还有来自教师、学生和学校方面的因素.教学质量实质等效的内涵包括教学过程等效、教学体验等效、教学效果等效三方面.要实现线上与线下教学质量实质等效,需要以教师为主...     

古代服装十二章纹的文化精神与美学蕴涵

讨论中国服装发展中政治因素和文化观念对服装设计和制作所起的制约作用,以史料论证和理论逻辑推理的方法,结合中国文化和美学传统观念,论述十二章纹图案的历史成因与发展,得出中国服装图案是以宗法礼制观念为主导,文化与美学因素客观显现的结论.