符号逻辑学与逻辑实证主义

一、符号逻辑学逻辑学一直被认为是由亚里士多德所完成的。但是,从十九世纪到现在,在这短短的时间里,逻辑学完全发生了变化。使传统逻辑学发生根本变革的是符号逻辑学。符号逻辑学也叫逻辑演算、数理逻辑学、理论逻辑学。符号逻辑学与传统逻辑学相比,它具有哪些特点呢? (1)与以往的逻辑学相反,穆勒提倡作为科学认识逻辑的归纳逻辑学。但是,由穆勒所创立的古典归纳逻辑学,不能说是完     

弗协调逻辑的哲学解读

"弗协调逻辑"(paraconsistent logic),又译作"次协调逻辑"、"超协调逻辑",是非经典逻辑的一个新兴分支.它是一种不能从矛盾推出一切的逻辑理论.巴西逻辑学家达·科斯塔(Da Costa,1929-)在"不协调系统的命题演算"(1963)和"不协调系统的理论"(1974)两篇论文中构造了弗协调命题演算系统Cn、弗协调谓词演算系统Cn*(不带等词)和Cn=(带等词)及弗协调的摹状词演算系统Dn,从而开创了弗协调逻辑."弗协调逻辑"一词是由秘鲁哲学家奎萨达(Quesada)在1976年的国际逻辑会议上首次提出的,它表示在这种逻辑中,当矛盾律被削弱、不再普遍有效之后,仍能保持一种稍弱的协调性.由于这一词更恰当地表达了科斯塔创立的"非协调形式系统"的本质特征,所以很快得到逻辑学界的认可,从此为大家所使用.与经典逻辑(指弗雷格开创的一阶逻辑)相比,弗协调逻辑有以下两个特点:(1)矛盾律在其中不普遍有效;(2)在其中从相互矛盾的两个前提推不出一切公式.但是另一方面,在保证了上述两点的前提下它又包含了经典逻辑中最重要的定理模式和规则.弗协调逻辑适合作为经典逻辑所无法处理的弗协调理论的基础.自科斯塔创立弗协调逻辑之后,许多逻辑学家开始沿着科斯塔的系统做更为深入的研究,并将它应用于其他非经典逻辑,得到了许多全新的逻辑系统,例如我国逻辑学家张清宇将弗协调逻辑推广到模态、时态层次.[1]     

经典的扩充与变异——2015年逻辑学研究述评

命题逻辑与一阶逻辑都被称为经典逻辑。如果在经典逻辑的基础上增加算子,那么就能得到经典逻辑的扩充,如模态逻辑以及各种哲学逻辑;如果更改经典逻辑得以建构的假设,那么就能得到一系列的非经典逻辑,如非单调逻辑、相干逻辑等。近年来,国内逻辑学界的很多成果都集中在哲学逻辑领域,2015年这方面的成果数量仍然可观;同时学界对模态逻辑...     

当今三大发展中逻辑的交叉及其认知归省

一、广义归纳逻辑、广义模态逻辑与广义认知逻辑的交叉发展任何称之为理论的知识体系,都需要经过产生、发展、成熟与完善的过程.任何逻辑学理论亦如此.一般而言,我们可以把已经处于成熟与完善阶段的理论称之为经典理论,把仍然处于产生、发展阶段的理论称之为发展中的理论.无疑,当今逻辑学发展中理论很多,其中广义归纳逻辑、广义模态逻辑、广义认知逻辑都属于发展中逻辑.     

一部富有时代特色的逻辑学著作——评《逻辑与知识创新》

逻辑学是一门既古老又年轻的科学 ,联合国教科文组织将其列为七大基础科学的第二位。逻辑学发展的历史表明 ,为了适应思维实践的需要 ,不同逻辑类型的创立无不深刻体现了其时代特征。由黄顺基、苏越、黄展骥三位教授主编 ,张家龙研究员等著名逻辑学专家集体编撰的《逻辑与知识创新》一书 ,突出了逻辑在知识创新中的作用 ,推进了我国逻辑发展与国际接轨 ,体现了团结协作的攻关精神 ,是一部富有时代特色的逻辑学著作。一、突出逻辑在知识创新中的作用人类社会发展的历史是一部创新的历史。知识经济时代的来临 ,创新更成为时代的特征 ,创新精神…     

对应原理─—多种非经典逻辑的通用原理

对应原理─—多种非经典逻辑的通用原理桂起权,刘东波近年来,多种非经典逻辑、哲学逻辑的发展迅猛异常,对应原理是多种非经典逻辑的通用原理。正如物理学的非经典理论与经典理论之间是遵守对应原理的,逻辑学的非经典理论之间也同样遵从对应原理。从逻辑方法论的观点上...     

经典逻辑、自由逻辑与空词项

经典逻辑与自由逻辑都涉及空词项问题。经典逻辑对空词项采取的是一种否定的态度,它要求命题的"主词非空",在逻辑中排斥带有空词项的命题,从而导致经典逻辑与存在问题缠绕在一起。自由逻辑把空词项视为合法的逻辑词项,允许含有空词项的命题出现在逻辑系统中,并试图给包含空词项的命题以恰当的语义解释。自由逻辑对空词项的这一积极态度,带来了一系列逻辑和哲学上的好处。     

论非形式谬误的实质

论证的非形式谬误是相对于形式谬误的一种由论据推不出论题为真的错误。关于形式谬误的实质,逻辑学界的认识比较一致,认为它是由于违反论证方式规则、即推理规则而产生的思维形式(有称之为思维的逻辑形式)方面的“推不出”逻辑错误。关于非形式谬误的表现和实质,逻辑学界的认识就不能说是一致的了。多数的、尤其是权威的、影响深广的教材、论著,都认     

非形式逻辑与逻辑科学的发展

非形式逻辑这一术语是本世纪六十年代末北美一些学者提出的。非形式逻辑的兴起主要是为了解决政治、社会生活中的论证问题。本世纪八十年代以后,非形式逻辑作为一门新的逻辑学分支而得到迅速的发展。为什么在符号逻辑占统治地位的当代,在西方一些国家非形式逻辑却倍受关注?本文拟就这一问题对逻辑科学的发展作一初步的探索。一、对形式化方法的思考逻辑学作为一门科学已有2300多年的历史。在这段时间里,传统逻辑经历了2000多年的发展历史。传统逻辑是指:由亚里士多德创立,经过中世纪的演变而发展至十九世纪(乃至今天)的逻辑。它     

一本有特色的逻辑学著作 ——《文秘逻辑学》评介

前不久,新闻出版社出版了姜成林副教授著的《文秘逻辑学》,全书二十五万多字,共九章,并有一附录:说话和写文章的逻辑。《文秘逻辑学》讲述了逻辑学的基本知识、概念、判断、形式逻辑的基本规律,演绎归纳和类比推理、假说和证明。这部书正确严密系统地介绍了形式(普通)逻辑的基础知识,     

次协调逻辑的起源

次协调逻辑(Paraconsistent logic)这一术语的主要含义是指,在新逻辑中当矛盾律的有效性被削弱之后,仍要保持一种次于经典逻辑的新的协调性。一般来讲,一个次协调逻辑系统应具备两个条件:1、不协调性,即A和_(?)A部是系统的定理;2、不是过完备的(over—complete),即并非系统内的每一公式都是它的定理。由于次协调逻辑体系允许有意义、有价值的矛盾进入形式系统,并否认矛盾律的普遍性,因此它与数理逻辑和辩证逻辑都有密切的联系。自从1963年巴西逻辑学家达科斯塔创立这门学科以来,已吸引了大批逻辑学家、哲学家和数学家,最近几年又引起计算机科学和人工智能研究者的极大关注,现已成为国际逻辑学界一个新兴的研究领域,它的出现将使人们对逻辑科学产生新的理解。在我国,对次协调逻辑的研究还仅处于起步阶段。本文译自巴西逻辑学家阿鲁达(A.I.Arruda)的《次协调逻辑历史发展的若干问题》(‘Aspests of the historical development of paraconsistent logic’)一文的第二部分,它详细介绍了次协调逻辑发展的历史渊源,这对我们进一步理解这种新逻辑将有很大帮助。     

论逻辑系统

一、逻辑系统及其成为逻辑系统的一些条件在日常生活中 ,一个有效的推理通常可以用形式表示为“如果p ,那么 q ;p ,所以 q”。也可以用符号表示为 (p→q)∧p→q。这种有效式在逻辑中又称为重言式。在正确的推理 (合理的论证 )中 ,各个重言式是一致的。因此 ,如果能够把握被看成是重言式的所有复合命题形式 ,那么 ,也就把握了所有的正确推理 ,也就解决了逻辑学中的最主要的问题 ,即推理理论。但是 ,在日常生活中 ,推理的数量是无限多的 ,也就是说被看作重言式的逻辑公式是无限多的。为了把握无限多的重言式的全部或相当大的部分 ,有必要在逻…     

80年代我国归纳逻辑研究概况

归纳逻辑是逻辑学的一个重要分支学科。在我国,长期以来,这是一个相对薄弱的研究领域。进入80年代,归纳逻辑研究日益引起学术界的重视。1983年4月,北京市逻辑学会举行了讨论归纳逻辑问题的首届年会,会后出版了论文集《归纳逻辑》。此后,1984年和1988年,在大连和扬州分别召开了“全国归纳与概率逻辑讨论会”和“归纳逻辑与人工智能研讨会”据初步统计,10年内在各地报刊杂志上发表的有关归纳逻辑的文章有40余篇,还出版了江天骥的《归纳逻辑导论》这样有较高学术水平的专著。     

关于时间逻辑的研究

作为现代非经典逻辑分支的时间逻辑,是判断的一个公理化逻辑理论,这些判断是用命题表达的,而这些命题的真值将随着时间的推移而发生变化。时间逻辑的产生和形成是逻辑学发展的一个具体典范,它以新的方式丰富了逻辑学。这一对认识的理论方法的创新,是在概括总结全部科学成果和认识经验的基础上产生的,是符合辩证唯物主义的基本观点的。按照列宁的说法,逻辑是“各种科学的经验的总结”。人类社会在探索、实践和革命性地改造周围世界及自身中,从逻辑方法的发展     

逻辑的范围

科学的范围是科学哲学的问题:哪些知识领域(或“知识”)可以视为科学呢?例如,应将炼金术、占星术、社会学或者心理学视为真正的科学吗?凭什么来包括或排除一个给定的研究领域?类似地,逻辑的范围是逻辑哲学的问题,因此逻辑哲学的范围问题也是逻辑哲学问题,它包括:逻辑是什么?哪些形式系统是逻辑系统?是什么使得它们如此?     

《逻辑学研究》征稿启事

《逻辑学研究》是中山大学和中国逻辑学会主办,由教育部高等院校人文社会科学重点研究基地中山大学逻辑与认知研究所承办的学术刊物,旨在积极推动我国逻辑学及相关学科的学术研究水平,增进海内外逻辑学及相关领域学术同行的交流。《逻辑学研究》是当前我国在逻辑学领域内唯一正式出版的专业刊物,采用中英双语发表论文。《逻辑学研究》目前为季刊,逢每季度第三个月的18日出版。自2011年起,中英文分开隔期出版。《逻辑学研究》征稿的内容将主要包括下述方向：符号逻辑、非形式逻辑、逻辑与哲学、逻辑与认知、逻辑与语言、逻辑与文化等。《逻辑学研究》不但欢迎原创的高水平的逻辑学研究论文,而且提倡逻辑学与其它学科的交往互动;不但主张对逻辑学的各传统基本领域如数理逻辑、数学基础、逻辑哲学、中外逻辑史等展开深入研究;也欢迎对哲学逻辑各分支的探究,以及有关人工智能逻辑、归纳逻辑、语言逻辑、非形式逻辑等各方面的工作。不但关注逻辑学在认知科学、数学、计算机科学、法律推理、决策理论等相关学科中的应用;也探究逻辑学与认识论、语言和心灵哲学、符号学等领域的沟通,同时还欢迎对逻辑学与思维方式、逻辑与文化及社会的关系等方面具有真知灼见的思考。     

面向认知冲突的弗协调置信逻辑

若限制一般意义的矛盾律,就会得到一种非亚氏(non-Aristotelian)逻辑,即弗协调(paraconsistent)逻辑。以弗协调逻辑系统C1为基础,对之进行语法和语义扩张,即可得到弗协调置信逻辑系统C1D。这种特殊的认知逻辑可以容忍认知冲突,若以之为基础逻辑,知识或信念的暂时不协调将不会导致逻辑上的无意义(不足道)。基于该系统的特异逻辑性质,相信一个陈述及其否定在逻辑上将变得并非不可能。该系统作为处理悖论的容悖路径,尽管在实质上没有排除掉悖论,但在那些认知悖论彻底解决之前,却可为理性认知提供一个可靠的逻辑基础。     

逻辑学的新分支--博弈逻辑研究现状分析

博弈逻辑(Game Logic)是博弈论和逻辑学相交叉的一个新的研究领域,属于应用逻辑范畴.纵观20世纪逻辑学的发展,逻辑学已不同程度地向各学科领域渗透,各个学科的发展又为逻辑学研究提供了许多亟待探索的新问题和新视域.逻辑学正从单一学科逐步形成既相对独立又有内在联系的诸多学科组成的庞大的学科群体,新的分支不断涌现.而逻辑学与博弈论的结合,为研究者提供了一个新的领域.本文对博弈逻辑的研究现状做一分析,希望能引起更多的学者对这一领域的关注,从而使逻辑学这一新的分支学科得以迅速发展.     

哲学逻辑与逻辑哲学的新进展——2014年国内逻辑学研究综述

近年来,国内的逻辑学研究主要集中在哲学逻辑、逻辑哲学以及模态逻辑等方向,2014年的逻辑学研究依然体现了这种研究方向的分布情况。在哲学逻辑领域,与动态逻辑相关的研究占据了很大的比重;在逻辑哲学领域,对经典著作或者经典理论的重新整理或理解成为了一个重要的研究热点;在模态逻辑领域,经典模态逻辑以及超模态逻辑中的很多问题也都...     

非形式逻辑与批判性思维专栏:编者导语

正作为一门学科,逻辑学起源于古希腊,亚里士多德确立了逻辑学的学科地位。但作为一思想,逻辑还存在于古印度和古中国。一方面,虽然在亚里士多德三段论基础上发展起来的演绎逻辑或形式逻辑成为我们这个时代的主流逻辑,但亚氏当时提出三段论理论的非形式动机相当清楚,那就是要规范日常生活中的论证与论辩。不过,亚氏之后,由于(形式)逻辑学的发展壮大,这一动机逐渐被逻辑学们淡忘了。另一方面,以真实论证为对象的古印度逻辑(因