范畴三段论推理逻辑与信念研究——几种理论分析

范畴三段论推理中关于推理者逻辑与信念研究表明：（1）推理者倾向于接受可信结论,拒绝不可信结论 （2）倾向于接受有效结论,拒绝无效结论 （3）信念与逻辑存在交互作用。心理学家们在进行研究的同时,提出了许多重要的理论,这些理论亦各有优势与不足。     

动态认知逻辑视域下的知识与信念

对于话语交流中知识与信念变化的研究主要采用两种技术路线：一是数值方法。数学与计算机学界常用的方法;一是符号逻辑方法,用逻辑或者数学的方式进行形式刻画并提供结构模型。而以当前兴起的动态认知逻辑为切入点来讨论知识与信念变化的形态、动机、过程等问题,为其提供切实可行的逻辑语言表述与结构模型．必然会拓宽用符号逻辑方法研究知识与信念变化的途径。     

逻辑课程学习对演绎推理中信念偏差效应的影响

运用结论评估的推理实验范式,以大学生为被试考察了逻辑课程学习对信念偏差效应的影响.研究结果初步表明,无论是时间推理问题还是三段论推理问题,逻辑课程学习对学生的逻辑推理成绩没有显著影响,也没有改变学生在推理中信念偏差效应的强度与表现模式.从本研究结果来看,信念偏差效应不仅与被试的逻辑推理能力有关,被试抑制无关信念的执行控制能力也是影响信念偏差效应的重要因素.     

简单逻辑语义学之浅析

本论文着力于分析逻辑语义学中的基本概念,尤其是命题逻辑和述谓逻辑的概念。逻辑语义学一方面拓宽了言语行为理论的研究领域,另一方面也加强了人们对于语言的意义理解,同时也训练了人们的逻辑思维方式。因此,将逻辑和语义结合起来研究是非常有必要的,它是逻辑分析与自然语言的一种结合。     

信念变化与公共知识获得的逻辑表征

如果知识是确证的信念,那么知识的获得就与信念的变化相关。公共知识作为群体知识中最强的知识状态,其获得一方面依赖主体对已有知识(信念)的处理;另一方面依赖主体对行为作用下知识状态改变的处理。知识的处理是一个通过信念的扩充、修正、收缩将初信念集转变为新信念集的过程。这一过程用逻辑术语讲就是通过在知识算子中加入行为算子,再根据条件公共知识的规约公理,达成公共知识的获取。无论是信念的扩充、修正或收缩,还是对规约公理的应用,主体都需要遵守三个原则:知识一致性、信念最小改变和新语句优先选择。     

传统逻辑、经典逻辑与非经典逻辑

本文采用历史考察和理论分析相结合的方法,对传统逻辑、经典逻辑和非经典逻辑这三个概念的内涵与外延给予了明确的界说,并分析了它们之间的相互关系,从而,说明了逻辑科学发展的必然规律。     

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

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

蒯因的逻辑研究

蒯因构造了两个公理简明，特性奇异的逻辑系统ＮＦ和ＭＬ；他既想给逻辑以经验论的说明，又欲维护逻辑在科学理论体系中的特殊地位，两者之间的平衡最后只能求助于方法论上的实用主义。因此，经验论加实用主义，这是对他的逻辑观的最恰当的概括。     

NSL协议逻辑化分析

逻辑化方法是当前分析密码协议安全性的重要方法．本文通过运用一种新的认证逻辑系统，给出NSL认证协议的形式化分析证明，并提出协议改进方案．     

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

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

逻辑悖论、意向报道与“信念之谜”

"信念之谜"不仅是当代逻辑与语言哲学关于名称意义研究的重要课题,还本质地涉及对"相信"这个基本认知范畴的哲学性质的反思。从逻辑悖论视角出发考察信念之谜的矛盾归属,旨在借鉴逻辑悖论研究的成果,重新审视这一谜题的生成机制和解决路向。信念之谜不是严格的逻辑悖论,但仍可提示我们就信念这种意向状态进行深入考察。从关于信念状态的"报道与被报道之物"的区分的观点看,若要有效解决信念之谜,就必须设法克服因果理论的固有缺陷。     

从逻辑哲学看模糊逻辑的形式化

从逻辑哲学观点看,在"符号化、公理化的模糊逻辑"与形式化的"人脑使用的模糊逻辑"(苗东升的说法)这两者之间,只是形式模型及其现实原型的关系,决不相互排斥.真正的问题不在于,现实生活中人脑所使用的实际上行之有效的模糊推理,是否应该和可能符号化、公理化,而是在于如何恰当地进行形式化.笔者采用苏珊·哈克(Susan Haack)的逻辑哲学观点,认为非经典逻辑可划分为扩展逻辑和异常(deviation)逻辑,模糊逻辑归属于异常逻辑.本文以模糊逻辑系统FZ为例,具体分析了虽然经典逻辑中一些较强的公理和推理规则均不成立,但是与之对应的较弱的"合经典的"(well-behaved)公理和推理则却仍然可以成立,由此导致一系列新奇性质.笔者采用了达·柯斯塔(da Costa)的形式化技巧,它是关睛"在虚设不矛盾律成立的前提下"(相应公式可以称为"合经典的")才能成立的逆否律.当我们撤除了"虚设不矛盾律为前提"的限定,它又重新回到了无条件成立的情况.笔者也推广了玻尔(N.Bohr)和冯·威扎克(von Weizsaecker)关于对应原理的思想,认为作为非经典逻辑的模糊逻辑与经典逻辑之间也应当遵守"对应原理":经典逻辑是模糊逻辑的前身,模糊逻辑将构成更为普遍的逻辑形式,经典逻辑作为模糊逻辑的极限形式,在局部情况下还保持自身的意义.     

信念二题

一 　　信念是理想的灵魂,是追求的动力。 　　信念包含着一个人的尊严、品德乃至生存于世的骨气。信念是从一个人生命深处流出的清泉,铺在大地是一片新绿,汇入大海是一片蔚蓝,洒向天空是一片银白。 　　信念是金,夺目耀眼、光辉无限;信念是银,一尘不染、皎洁无比。 　　信念是一种磅礴的气势,一股巨大、无形的力量。她可以撼大山,也可以拒狂浪。 　　信念是一种平静与沉着。她可以枕着波涛入眠,也可以望着浪花微笑。 　　信念一旦形成便坚固不可动摇。她不畏艰辛,不怕困难。站着是座高峰,倒下是一拱长桥,雷打不惊、风吹不散、…     

真值表的逻辑工具功能

本文较全面地论述了真值表定义复合命题联结词,提供推理规则逻辑根据,直接检验复合命题推理有效性,揭示复合命题之间真假关系,构造复合命题逻辑方阵及其推理有效式,准确掌握矛盾律、排中律、反证法和间接反驳,准确理解复杂语句外延等多方面的逻辑工具功能     

缺省逻辑研究初探

文章从逻辑和人工智能两个角度简要介绍了缺省逻辑的产生背景,并阐述了缺省逻辑的基本思想、优缺点及其发展前景。     

关于哲学逻辑的几个理论问题

在现代逻辑文献中，“哲学逻辑”是个多义词。作者认为哲学逻辑是具有哲学旨趣或涉及哲学事业的非经典逻辑。哲学逻辑的崛起引发诸多的理论问题。本文就其中经典逻辑的界限、非单词性与演绎性、逻辑的数学化和部门化及归纳逻辑的归属等重要问题予以理论阐述，提出自己的观点。     

用于一类格值逻辑公式的动态神经网络

提出一种利用神经逻辑单元动态地构造神经网络的算法来对一类格值逻辑系统（L4（X））中的逻辑公式进行计算。本方法可以对逻辑公式的原始形态机械地直接进行计算，并可以应用到其他逻辑系统中。     

为了信念的信念

葛兰西是个体弱多病的驼背孩子。家里人给他做了一个带铁环的胸圈,让他套在身上,并把他挂在天花板上,悬在空中。大家以为这是把他弄直的好办法,然而背后的突起部分越来越高,后来胸前也突起了。长大以后,畸形的葛兰西身高不足1．5米。     

谓词逻辑描述下的归结推理方法

谓词逻辑下的归结推理方法要比命题逻辑下的推理复杂得多．文章主要论述在一阶谓词逻辑描述下，归结推理的方法和步骤，以及其中主要的定理和定义，最后通过具体例子来说明方法的使用。