相干逻辑相关论文
作者从将所有命题算子都看作内涵到内涵的算子的观点出发，提出了一般命题逻辑的概念，建立了统一的语义──邻域语义学。讨论了邻域......
E．K．沃伊什维洛在状态的概括描述的语义学（参见E．K．沃伊什维洛：《相干逻辑的哲学一方法论观点》，莫斯科，1988）中把对古典谓词逻辑来说相干逻......
逻辑学作为一门科学己有2300年历史。在这段时间里,尽管这门学科的奠基人亚里士多德早已指明的这个论题被保留下来,但有关其对象......
在情境中使用的否定,是相干否定;在世界中使用的否定,是经典否定。我首先给定了两个逻辑,一个是信息的基础相干逻辑L_1,另一个是与......
<正>蕴涵,这个逻辑概念,以及它所表达的逻辑关系,在逻辑学中占有极为重要的地位,它同命题、推理和逻辑规律都有不可分割的联系。在......
向容宪同志在本刊1989年第4期上,发表《“侔式推论”质疑》 (以下简称《质疑》)一文。读后我得到一点启发,也产生三点疑问,特提出......
从经典命题逻辑到原始兰贝克演算,基于规则的存废形成了演算的"结构层级".对于自然语言的计算处理来说,各层级系统各有优劣.虽然原......
实质蕴涵的提出引起学界极大争议，蕴涵怪论一直是争论焦点之一。20世纪以来不少学者致力于构造排除蕴涵怪论的形式系统。制约逻辑和......
基本正系统B+是若干相干逻辑正系统的基础，通过添加新的公理模式就能在B+的基础上得到一系列不同的相干逻辑正系统。Meyer和Routley......
Stone Representation Theorem之于Boolean Algebra就象Cayley Theorem 之于Ab s tract Group Theory一样重要.本文推广Stone Repr......
相干逻辑的形式系统组成一个逻辑家族，这些逻辑系统的共同点是：坚持演绎推理的相干性，拒斥“结论的推导未实际使用前提”的推理方式。......
1986年8月2日,《人民日报》发表该报记者王友恭采写的《制约逻辑诞生记——中年学者林邦瑾的一项重大理论创造》。《诞生记》以其......
<正> 一、模糊逻辑模糊逻辑(fuzzy logic,logic,of vagueness),也译作“弗晰逻辑”,最初是一位美国电机工程师蔡迪(L.A.Zadeh)提......
命题逻辑的一般弱框架择类语义是相干邻域语义的变形,其特点是：采用择类运算来刻画逻辑常项;语义运算与逻辑联结词之间有清晰的对应......
关系语义是相干逻辑中最为重要的语义学之一,但是关系语义一开始就以＂纯粹＂的形式语义的面貌出现,其中三元关系R的直观意思是什么并......
本文对条件句作了深入的逻辑分析，指出：判断一个条件句的真值必须先确定或假定其前件为真，前件的真又是相对于可能世界而言的，而可能......
<正> 1985年12月贵州人民出版社出版了林邦瑾的《制约逻辑》一书。1986年8月2日,《人民日报》发表了该报记者王友恭采写的一篇报......
<正> 在现代科学的认识过程中,除了传统的归纳逻辑方法之外,逻辑方法至少还应包括如下形态: 1.基本逻辑:(1)标准逻辑:命题逻辑和......
【正】 科学认识逻辑及其研究领域“科学认识逻辑”这一术语并不是单义的,因为它既可以作广义的理解,也可以作狭义的理解。把科学......
在概述“蕴涵怪论”与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改.认为相干逻辑不仅建立了自己庞大的形式系......
【正】 1983年2月,在列宁格勒举行了关于逻辑问题的第二次协作会议。会议由俄罗斯联邦高教部哲学理事会组织。莫斯科、列宁格勒、......
【正】 这个综述的任务就是对逻辑学中有时被(不很恰当地)称为“哲学逻辑”的这一正在急剧发展着的领域给予尽可能完整的描述。换......
【正】 现代逻辑学以传统逻辑与正统的现代逻辑以及非正统的现代逻辑(模态逻辑、多值逻辑等)为基础,正在朝着数学方向、技术方向、......
逻辑学作为一门科学己有2300年历史。在这段时间里,尽管这门学科的奠基人亚里士多德早已指明的这个论题被保留下来,但有关其对象的......
本文提出了相干命题逻辑系统R的一种演绎生成算法——试探法。该算法采用后向推理法，依据推理规则将待证命题逐步分解成子命题并构......
1.玻尔的黎曼面模型是互补性的语义模型,恰当地表征了辩证矛盾与逻辑矛盾之间的相互关系,恰当地刻画了互补性的逻辑结构。"互补性"......
从逻辑哲学的眼光看,辩证逻辑应当定位于一种独特的、富有哲理性的非经典逻辑,因此它归属于逻辑,而辩证法作为它的原型则归属于哲......
相干逻辑是现代逻辑的重要分支,它是异于经典逻辑的＂非经典逻辑＂。相干逻辑在批评经典蕴涵的基础上,从多个方面对经典逻辑进行了修改......
