弗协调逻辑

语言和逻辑是理论的两大要素。当我们用符号精确描述这一切时,用以表达给定理论T的语言L也就是一堆公式。这些公式都是由初始概念的符号和逻辑符号按一定规则形成的;理论T本身也可看成是对于基础逻辑的规则封闭的一组公式,这些公式称为T的定理。如果语言L中的任一个公式都是T的定理,则称理论T为不足道的;否则,称T为足道的。如果语言L有表示否定的符号,则称公式A为A的否定;如果有一公式与其否定同时都是T的定理,则称T为不协调的;否则,称T为协调的。     

弗协调逻辑的哲学含义

1.弗协调逻辑弗协调逻辑是一种新的形式逻辑,它的先驱是J.卢卡西维茨和N.A.瓦西里耶夫。人们甚至可以认为,亚里士多德已经推测过这种逻辑存在的可能性。但是,至少就那些作者有关弗协调性的研究而言,他们是把逻辑设想为亚里士多德逻辑及其直接推广的很有限的范围。     

弗协调逻辑的哲学解读

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

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

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

观念、方法与应用的有机统一——读王路的《逻辑基础》

自 20世纪 80年代我国逻辑界发出“逻辑教学现代化”的呼声以来, 经过逻辑界同人的艰苦努力, 我国现代逻辑的教学取得了长足的进展, 出现了比较可喜的局面。然而, 在现代逻辑教学中, 感到不足的是, 人们普遍不太重视逻辑观念、逻辑方法与逻辑应用的辩证统一, 这种对于三者辩证关系的忽视, 不同程度地影响到我国逻辑教学的实际成效。在逻辑观念、逻辑方法与逻辑应用三者中, 逻辑观念是核心, 它决定了逻辑的内容, 体现了逻辑的本质。可以说, 有什么样的逻辑观念, 就有什么样的逻辑内容, 从而也就有什么样的逻辑方法。逻辑方法是从逻辑内容中提…     

可贵的探索——读《辩证逻辑基础》

由章沛同志任主编,广东社会科学院、华南师范学院、广西社会科学院、湖南师范学院、湖南省委党校、湘潭大学、江西大学、广西民族学院、福建师范大学等单位的同志们集体编写的《辩证逻辑基础》一书,已由湖南人民出版社出版。这是一件十分值得庆贺的事情! 辩证逻辑是一个有待开发的新兴学科。     

喜读《比较逻辑史》

杨百顺教授继《西方逻辑史》之后,又有新作《比较逻辑史》问世。这是一部以古今为经,以中国、印度、西方为纬,加之与其他科学旁比的,在比较中研究逻辑科学的发生、发展历史的一本学术专著。《比较逻辑史》全书分古代、中世纪、近代、现代逻辑四篇,十七章,四十余万字。此书材料丰富,视野广阔,见解新颖,读后使人爱不忍释;此书     

一本高等院校适用的逻辑教材——《基础逻辑》评介

由郑州大学副教授周洪仁主编、河南省十一所高等院校集体编写的《基础逻辑》一书,已由河南人民出版社出版发行。这是一本适合全日制文科高等院校教学使用的逻辑教材。这部教材有如下五个值得注意的特点: 一、章节安排力图有新意。本书以马克思主义认识论为指导,遵循人们的认识由个别到一般、由简单到复杂的原则,先讲归纳     

构建模糊逻辑体系的有益尝试——读张惠民《模糊逻辑》

模糊理论的研究是本世纪下半叶发展起来的新领域。1965年,美国学者查德(Zadeh,L.A.)提出模糊集合论,第二年,马利诺(Marinos,P.N.)发表模糊逻辑的研究报告,1976年,模糊理论介绍到中国。十几年来,我国学者虽然发表了不少模糊逻辑的论文,有的专著中也论及模糊逻辑,但是作为专门著作,张惠民同志的《模糊逻辑》(陕西人民教育出版社1992年出版)还是第一本。为了构建模糊逻辑体系,张惠民同志作了有益的尝试。读完全书,我觉得作者的构建的模糊逻辑体系,有以下几个特点:     

多值逻辑内部的弗协调结构

在本文中,我们要区分出一些足以构造弗协调逻辑的多值逻辑的最低限度的函数方法,借此来确定作为片断而包含在弗协调逻辑内的多值逻辑这个极大的类。这样,就能够讨论多值逻辑内部的弗协调结构,就象大家讨论多值逻辑内部中的模态结构那样,而且还可表明:从多值逻辑中区分出的     

读《道德经》让我心平气和——王蒙先生访谈

午后,踏着初春淅沥清新的小雨,我们在王蒙先生的办公室里对他进行了专访。回忆起少年时代阅读《道德经》的经历,以及这部经典给他带来的感悟和影响,这位年过七旬的著名作家侃侃而谈。     

读船山先生《周易大象解》

船山先生认为,《周易》有两方面的学问,一是占筮之学,一是如《大象》的纯乎象理之学。占筮之学是知天以俟命而立命之学,即若能理解其中包含的阴阳消长“天化物情之变”的天道原理,对人树立正确的世界观与人生观还是有积极意义的。象理之学是以提高人的德智修养为直接目的的尽人事而求合乎天德之学。两种易学途径有别,然实亦殊途同归。于两者之中先生推《大象》之学为圣人之学,是以象理之学为学易主要途径。象理之学的目的是达到主客观的统一,方法是体悟易道而达到“反诸诚之通”的境界。宋明以来的思想大师皆以易学为教,并皆发挥复明良知之义,是皆以易学为德性修养之学,皆以人的理性自觉为道德修养成功之关键。     

读《中国逻辑思想史教程》有感

杨芾孙教授主编的国家教委统编教材《中国逻辑思想史教程》(以下简称《教程》)已由甘肃人民出版社出版。它的出版具有深厚的基础:《教程》的全体作者都参加了由中国逻辑史研究会负责组织的《中国逻辑史资料选》(五卷本)的编选工作,并且都参加了国家“六五”计划重点项目的《中国逻辑史》(五卷本)的编写工作。它吸取了上述两部正在出版中的大书的精华和最新科研成果。《教程》有关藏传因明的介绍和“五四”到中华人民共和国建立前中国逻辑思想发展的评述,是第一次写入中国逻辑史专著中与读者见面。我读了《教程》,颇有所获,颇有所感,现提出几个问题,就教于杨老及逻辑界同仁;也包含了向广大读者推荐这本具有很高水平的教材的意思。     

墨学研究的大观——读谭家健先生《墨子研究》

墨学研究的大观——读谭家健先生《墨子研究》郑君华１９９６年，谭家健先生出版了《墨子研究》一书，是多年以来寥若晨星的墨学研究书籍中特出的一部专著。最近笔者阅读了此书，认为其对墨子学说系统全面的研究及对中外古今墨学研究的兼收并举，可谓规模弘远，贯通淹博，...     

读王荣国先生的《福建佛教史》

近年来,中国佛教史的研究出现了区域史研究的趋势。王荣国先生所著《福建佛教史》就在区域佛教史领域作了有益的探讨。全书结构严谨,脉络分明,条理清晰,内涵丰富。     

认知不协调理论的发展

认知不协调理论经过几次修正,已超出了费斯廷格(Festinger)原来的主要例证,资料和假说了。而且现今的论述把改变认知的动机解释为是自尊的需要,而不是逻辑上前后一致的需要。这些变化使人不得不认为它已经变成了另外一种理论——实际上是一种在认知不协调理论形成之前早已有了的理论。假如原来的不协调理论面临某些不同的观点就放弃它的名称,就正确了么?还是一个令人困惑的问题。     

清流博雅见丹诚——读刘书祥先生《宗苑撷英》

《宗苑撷英》全书虽20余万字,但读后感觉其内涵丰富、承载厚重。它是一本有关宗教历史文化、宗师风范和民族花絮等多方面内容的新书。作者潜心思考,举重若轻,侃侃道来,以现代文化的视点,以人文的观点,审视中国的宗教文化。它把严肃、枯燥的宗教问题与知识性、趣味性、通俗性有机地结合起来,使各个阶层的读者都能正确的了解我国的宗教文化,并从中获益匪浅。读书读人,人们由这本书中可以看到作者的见闻广博、亲历过程、知识宽泛,同时,其深厚的学养和字里行间透出的清正高雅的人格气息,也使人们在心灵上获得知识美、人品美的享受。刘书祥同志,…     

弗协调的弗雷格(英文)

本文表明,二阶弗协调概括与弗雷格的第五公理是足道的。也表明,如果等数关系是初始符号,那么通过弗协调推理可以从第五公理可以推出休谟原则。最后表明,弗协调的休谟原则不能用作逻辑主义数学的基础。     

喜读秦豪先生《问题逻辑学概论》

传统逻辑是研究以“S—P”为主要结构形式的陈述句,以及由这种陈述句构造起来的推理的。这个系统自亚里士多德建立至今,已经有两千多年的历史了。在传统逻辑看来,疑问句所表述的思想并未对客观情况有所断定,是没有真假可言的,因而长期以来就将它排除在逻辑研究的范围之外了。     

读吴冠中先生《画里阴晴》小记

《画里阴晴》犹如一篇倒叙的文章,大半篇幅都是作者吴冠中在介绍自己油画民族化的道路上探索的一些心得和经验的分享。又有中西两方一些任吴冠中学画时对他影响甚深的名师和画家。原来,吴冠中1936年转入杭州艺术专科学校,从李超士、常书鸿及潘天寿等学习中、西绘画。1946年考取公费赴法同留学。1947—1950年在巴黎高等美术学校进修油画。受到梵高、尤脱利罗、德加等西方大师的启发和影响。先后在中西两家的学习经历影响和造就了作者日后油画创新的方向和风格。