互逆主义逻辑中的逻辑命题

互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一.     

互逆蕴涵命题的空间曲线投影柱面表示

互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面。与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。     

实质蕴涵与互逆真蕴涵

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

互逆主义逻辑与古典逻辑比较

提出了古典逻辑中的一些缺陷,分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。互逆主义逻辑提出了二元认识论,通过归纳复合的方法建立命题,通过分解的方法应用命题,从而彻底解决了古典逻辑中的缺陷,并使推理可以机械地进行,便于计算机实现。     

全抽象事实空间中的单逻辑定理证明

逻辑定理有2种证明方法:逻辑公理系统方法和自然演绎系统方法。对于单逻定理这种逻辑定理,提出一种新的证明方法:在互逆主义逻辑的全抽象事实空间用二层显式归纳复合方法来证明,这种方法形象、直观。     

试论互逆主义数学哲学与东方精确科学

经验科学、数学、逻辑分别是初抽象、再抽象、全抽象科学,数学定理与逻辑定理之间具有相似性是有原因的,互逆主义具有整体论、非公理化、实用化的性质,是东方精确科学的代表之一,而东方精确科学可优于西方逻辑和数学.     

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

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

如何正确把握肯定命题谓项的周延性

项的周延性是性质命题形式中对主项、谓项外延数量的断定情况。本从肯定命题的逻辑形式、肯定联项“是”的逻辑涵义和借助恩图解等方面论述了如何正确把握肯定命题谓项的周延性。     

从命题的分析看两种不同的逻辑观

对命题的不同分析是两种逻辑的真正区别所在,这特别表现在对直言命题(主谓项结合的本质、全称与特称命题的逻辑结构,单称命题的地位)和关系命题的不同理解和把握上。     

评张喜安先生的“论文”

<正>《攀枝花学院学报》编辑部:张喜安先生的文章《康托尔集合论存在的矛盾》(《攀枝花学院学报》第26卷第3期,2009年6月)有严重问题,他犯了一个非常简单的逻辑常识性错误。正是这个简单的逻辑错误导致了他对传统理论的"否定"。我们都知道在谓词逻辑中,全称量词和存在量词是互逆的。即命题A:"存在着x,具有性质P(x)"的否定命题﹁A,应当是:"对于所有的x,皆不具有性质P(x)",或者说是:"对于所有的x,皆     

“问题是”的篇章连接作用

在现代汉语里,“问题是”后面可以接小句、复句和句组,起到篇章连接的作用。其篇章连接功能包括三个层次,分别为:命题功能、逻辑关联功能和话语标记功能,并且这三个层次的功能是依次虚化的。“问题是”作为篇章连接成分的演变属于共时语法化现象。     

多值逻辑中的命题相关性与逻辑运算研究

命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决定的值属性,并不能代表整个命题.逻辑运算是命题的运算,不是真值的运算.多值逻辑中,命题逻辑运算结果由命题的关系决定,真值相同的不同命题,逻辑运算结果的真值不一定相同,逻辑运算不是处处同态于某一个或某一簇真值函数(算子),有时复合命题的真值不能被它的成分命题的真值完全确定,所以多值逻辑的联结词并不总能定义成真值函数(算子)的形式.多值逻辑的命题公式不能再看作真值函数,命题公式是关于命题的函数.     

基于命题逻辑的组件约束检测

针对组件约束数量大、复杂度高的问题，提出了一种基于命题逻辑的组件约束检测算法．通过命题符号化的过程，即通过5个联结词将日常语言中的命题转化成数理逻辑中的形式命题．该算法首次使用受限真值表的概念来描述组件约束，清楚、准确地揭示了软件组织结构、动态行为以及组件之间的转换，通过包含、否定和插入等规则来合并真值表，以解决检测组件约束时存在的冗余与冲突问题，并获得期望行为的最小组件集合，从而保证了组件约束之间相互一致．与基于规则模式表方法相比，所提算法克服了人工检测的不确定性，改善了检测的时间性能，并可将冲突错判率降低大约10％，平均处理时间降低大约33％．     

互逆主义数学哲学与计算

指出数学不是建立在集合论之上,而是建立在人类计数实践之上。经典数理逻辑是有量词的,而互逆主义数理逻辑没有量词,绝大多数逻辑在计算机的应用系统中也都是没有量词的。为说明互逆主义数理逻辑在计算中的能行性,给出了其在人工智能计算中的应用：二层单准Prolog的操作语义和指称语义。     

亚里士多德直言命题理论的现代解析

对亚里士多德的直言命题理论作了全面的分析,指出亚里士多德在逻辑史上第一次引进词项变元,建立了对当方阵,为三段论奠定了基础。接着,比较分析了现代逻辑对亚里士多德的直言命题所作的几种解析,在此基础上,提出了一种符合亚里士多德原意的解析。     

离散数学与高中数学新课标中常用逻辑用语的衔接研究

作者在教材分析的基础上，通过对高中数学新课程标准中命题及其关系、简单的逻辑联结词、充分条件、必要条件、全称量词、存在量词与离散数学中的命题符号化及联结词、推理理论、一阶逻辑知识的比较，研究其异同点，从而更好地指导大学离散数学的教学。     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.