含有否定命题逻辑推理的一致性模糊Petri网模型

模糊Petri网(Fuzzy Petri Net,FPN)是Petri网(Petri Net,PN)的模糊化描述的一种扩充.基于FPN模型的模糊推理规则表示和模糊推理已经得到了广泛的研究.传统的方法不能准确表示含有否定命题的产生式规则,并解决正确推理问题.本文讨论了模糊逻辑中否定的含义,将条件命题中的否定理解为其对推理规则的阻碍作用,结果命题中的否定理解为规则中的前提条件阻碍该命题的发生.在此基础上提出一种新的适合于含有否定命题逻辑规则的一致性FPN模型(Consistent Fuzzy Petri Net,CFPN)表示方法,同时在CFPN模型中引入域值的概念,并给出相应的形式化推理算法及相关证明.

否定命题的肯定叙述的初探

通过对数列极限和函数极限的直观描述和"语意"上的过渡,阐述了数列发散以及x趋于x(?)时,函数f(x)不以给定的数为极限的定义.

否定命题与负命题辨析

在传统逻辑中,否定命题和负命题有其相似之处:语句表达上都带有否定词,命题内容即命题所反映的事物情况上,或是对事物情况具有的性质的否定,或是对事物情况存在的否定。如何辨析否定命题与负命题的逻辑特征,无疑对正确掌握这两种命题形式及推理是大有裨益的。

重读否定命题

在哲学史和逻辑史上 ,有学者认为否定命题是某种偶然的、副次的东西。本文认为否定命题作为一种独特的思维形式 ,有着重要的逻辑功能和认识价值。同时 ,认为否定命题的逻辑形式用“S不是P”、E命题用“没有S是P”表达欠妥 。

自然语言中的直言命题及其否定命题

各直言命题及其否定命题在自然语言和词项逻辑中往往有不同的意义,弄清楚自然语言中各直言命题及其否定命题的意义以及各命题彼此之间的关系,有助于我们准确掌握词项逻辑的内容。

特称否定命题不能换位的辩护

近年来,有逻辑学工作者对传统逻辑中的特称否定命题不能换位提出质疑。有的认为在赋予若干条件后SOP能换位为POS;有的认为通过欧拉图可以证明O命题是能够进行同质等值换位的;有的认为以全称命题为前提的换质位法推理中O命题是能够进行换位的。通过对他们的文章进行仔细的分析,发现他们的看法偏离了传统逻辑的研究对象、有悖于演绎推理的逻辑特性,存在误解特称量词"有"、"有的"的逻辑含义等问题。特称否定命题是不能换位的。

如何说明肯定命题的假和否定命题的真?--兼答李主斌并与张继成商榷

真之符合论有两种形态,即基于对象的符合论和基于事实的符合论。李主斌对“事实”概念的辩护以及对笔者质疑事实概念的反驳,没有很强的说服力。在基于事实的符合论框架下,为了说明肯定命题的假和否定命题的真,通常引入“否定事实”,但仔细分析后可以发现,后者是以下三个因素共同起作用的结果:事物的正面状态、认知主体的预期、推论,故其至多是一种推论性“存在”,没有独立的本体论地位。设定“否定事实”已经面临很多诘难,如本体论膨胀、随附性、不可感知性、缺乏因果力。对这些诘难已经提出了很多反驳,如二难论证,自我挫败论证,“否定事实”的四个作用——构成作用、因果作用、制造机遇的作用和使真作用,但这些反驳完全可以被再次合理地反驳掉。

谈《高等数学》中命题与否定命题的证明

本文就极限敛散,函数有界与无界,无穷大量与非无穷大量,无穷级数的敛散的证明特别是命题的否定的证明谈一点体会。

数学分析中否定命题证明的逻辑基础

在数学分析的教学过程中,要想证明“数b是函数f(x)在点a的极限”、“函数f(x)在点口连续”和“函数f(x)在‘a,b’上一致连续”等命题是比较容易的,然而要证明这些命题的否定形式,即“数b不是函数f(x)在点a的极限”、“函数f(x)在点a不连续”和“函数f(x)在‘a,b’上不一致连续”等否定命题时,学生就倍感棘手,教师讲解时往往也不太容易表达清楚,为此,笔者想借助数理逻辑作为工具,对该类问题证明的逻辑基础予以剖析,供大家参考。

否定命题的方法与注意事项

命题的否定，作为新课标的新增内容，在新高考中占有一席之地．对一个命题正确无误地写出它的否定是十分重要的，但有时候并非易事，是常用逻辑用语中的一个难点．在教与学的过程中，常发现有的同学甚至教师对部分命题的否定存在着困惑与不解，甚至对正确答案觉得不可思议、难以接受!比如：命题“被8整除的数能被4整除”的否定误写成“被8整除的数不能被4整除”；命题“梯形的对角线相等”的否定误写成“梯形的对角线不相等”；

网络谣言犯罪证明困境及其出路——兼论否定性命题之司法证明

网络谣言因其虚假性信息的本质,呈现为一种否定性命题。网络谣言犯罪在刑事诉讼中存在证明困难,主要表现在三个方面:主观方面明知、故意要素的确定,客观方面信息、言论的真实性以及发布虚假信息、言论与危害后果之间的因果关系的确定。变更待证事实、严格责任制度、阶梯型罪名体系、法律推定等方法都具有解决犯罪构成要件证明困难的功能。这些模式在解决证明困难的范围、有效性、正当性上有各自优势与不足。相较而言,法律推定是解决上述证明困难的较佳选择,然而法律推定在正当性层面存在冲击无罪推定原则、破坏法治之虞,因此,要合理设置法律推定适用的实体与程序规则,谨慎适用法律推定。

为真者:基于否定性真命题的一种考察

分析哲学注重从语言和命题分析来阐述、解决哲学问题的主张,决定了一些为其专属的术语与概念,如真、真之载体、为真者等。在"为真者"问题上,阿姆斯特朗的探讨比较典型,从而使之成为具有广泛影响的话题。结合维特根斯坦对否定性真命题的"为真者"所提出的具体确定来考察"为真者",有利于推进分析哲学对世界与命题关系的理解以及这种关系所体现的哲学意蕴。

“不是其所是”:萨特戏剧的否定性命题

萨特存在主义人生价值论里包含的"不是其所是"的否定性命题,要从根基上颠覆西方传统理性主义形而上学决定论基础上的价值观。这种颠覆在萨特戏剧里主要表现为破碎了传统理性主义价值观所制约的历史想象,揭示了传统理性主义价值观所孕育的社会现实。

数学命题的否定及应用

命题的否定在数学概念的理解与学习、数学命题的证明与反驳中都有重要的应用,本文介绍了命题的否定的概念、法则,并举例说明其在数学分析学习中的应用。

命题否定与情态否定:明清汉语是非诘问句类型探讨

诘问句语义表达的实质是否定。本文以明清时期的语料为对象讨论汉语是非诘问句的否定方式及其类型。认为是非诘问句可分为命题否定问与情态否定问。前者为客观否定,后者为主观否定,它们是属于不同语义层次的两类问句。

否命题就是命题的否定吗

命题的否定与否命题是完全不同的概念．“非P”只否定命题的结论，不能否定命题的条件，也不能将条件和结论都否定；而命题P的否命题既否定P的条件又否定P的结论．只有理清各类型命题形式的结构、性质关系，才能准确地表达出否命题和命题的否定．

作副词用的数量词在日语命题否定句中的特殊表现

传统的日语语法认为作副词用的数量词是句子的附加成分。可是本文通过对命题否定句中的作副词用的数量词进行考察,发现当否定焦点为该数量词时有可能出现两种情况,这两种情况表明作副词用的数量词既可以成为句子的补充成分,同时也可以成为句子的附加成分。

“命题否定”文献中常见错误例析

笔者查阅了自2001年～2008年刊发在14种期刊上涉及“命题否定”的29篇文章，发现其中17篇文章或多或少都有错误，也有文章在给别人订正的时候自己又出了错．现将其分类整理出来，加以分析，愿与诸位同仁交流．