逻辑究竟是什么以及逻辑应当是什么?

对于逻辑是什么,有两种相互冲突的立场:当代哲学中流行的看法是逻辑是纯形式的,逻辑命题没有事实内容;而在弗雷格和哥德尔那里,逻辑是有关客观概念世界的科学。这两种观点都需要哲学立场的支撑,前者需要经验论或物理主义的立场,后者则预设了实在论或柏拉图主义。所以,流行的观点并不是哲学中立的,因此也不是更自然的或不可避免的。相反,弗雷格为数学奠定逻辑基础的努力,哥德尔成就逻辑学的伟大成果以及当代逻辑学家对连续统问题的研究都表明,实在论的立场总是能更好地解释逻辑学研究的实践。因此,我们有理由相信:把逻辑视为纯形式的观点,虽然看似自然而然,但在某种程度上是哲学史和逻辑史上的一个误解。     

什么是逻辑哲学

逻辑哲学是逻辑与哲学相互渗透的产物,是哲学的新分支之一。主要是由于近几十年来,逻辑的新形式、新分支不断涌现,因而带来了一系列的哲学问题。例如为什么会出现多种的逻辑?逻辑是否对任何论域都一概地正确?还是各种特殊论域需要有自己的逻辑?还是逻辑只是方便的思考工具而已?     

次协调逻辑的起源

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

什么是逻辑?

逻辑研究的对象是什么？国内流行的观点认为逻辑研究的对象是“思维形式”、“思维的一般形式和一般规律”或“思维的形式结构”等等。诸如此类的定义非常多，也不能说一点道理没有。但笔者认为这些说法至少有两个缺点：（1）不易把握。什么是思维形式、思维的一般形式、一般规律或形式结构？要么就是根本说不清楚，要么就是难于说清。（参见王路：《弗雷格思想研究），社会科学文献出版社1996年版，第222页）（2）定义过宽。思维形式或思维的一般形式等不能完全由逻辑来研究，逻辑也研究不了。例如，通常人们说的理性思维有概念、判断和推…     

次协调逻辑及其应用前景

一．什么是次协调逻辑所谓次协调逻辑（Ｐａｒａｃｏｎｓｉｓｔｅｎｔ　Ｌｏｇｉｃ）其通俗含义是指这种逻辑本身的协调性次于经典逻辑即矛盾律在这种逻辑中不再普遍有效,但又远高于完全不协调系统即矛盾在这一逻辑系统中不会任意扩散。次协调逻辑的确切含义可以用以下语言来表述：假定一种理论Ｔ的基础语言采用符号作为否定词,Ｔ被称为是不协调的,当且仅当,在Ｔ中至少有一公式Ａ,使得Ａ与Ａ都是Ｔ的定理。否则Ｔ被称为是协调的;如果Ｔ语言中的所有公式都是它的定理,那么它被称为是平凡的（ｔｒｉｖｉａｌ）。否则Ｔ就被称为是不平凡…     

逻辑多元论:是什么和为什么

逻辑多元论认为,逻辑可以根据是否真实和正确而加以区分,真实且正确的逻辑不只一种,而有许多种。有关逻辑多元论的争论,涉及逻辑与外部世界、与我们对外部世界的认知、与我们用自然语言所进行的推理实践的关系,牵连到逻辑的本体论特征和认识论地位。支持逻辑多元论的论证主要有四个,即诉诸表象的论证、诉诸优点的论证、诉诸解释的论证和诉诸多义的论证;质疑逻辑多元论的论证主要有两类:一是关于逻辑多元论的"坍塌论证",二是逻辑多元论与意义变化论题之间的复杂关联。关于逻辑多元论有以下三点评论:逻辑多元论并不足够清晰以至不是一个可以严格辩护的立场;逻辑多元论目前的支持性论证太弱,说服力很差;逻辑多元论有很多严重的理论困难需要去克服。     

究竟什么是科学逻辑——科学逻辑基础知识讲座之一

在牛顿逝世之后,亚历山大教皇也不得不用下面几句话谈到了他: 自然和自然规律隐藏在黑夜之中, 上帝差遣牛顿来到我们当中, 于是,他揭开了自然之谜,创业之功。“上帝差遣”之说,显然纯属无稽之谈。然而亚历山     

弗协调逻辑

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

次协调逻辑研究之一:辩证法的对立统一原理

次协调逻辑(para-consistent logic)是那些把有意义的不协调理论形式化的逻辑。另一方面,辩证逻辑是把建立在黑格尔、马克思及其后继者提出的观念、原则之上的理论形式化的逻辑。这样的学科与次协调逻辑是相互交叉的。     

试论"真矛盾"及次协调逻辑的哲学价值

二十世纪后期以来,再也没有哪一种逻辑像次协调逻辑那样,在取得丰富研究成果的同时,也领略到了极为尖锐的批判,仿佛其本身就是一种意味深长的“矛盾”。依照次协调逻辑“真矛盾”的观点所构建的次协调逻辑系统,夷非所思地试图要容纳我们所认知的悖论、辩证矛盾、甚至逻辑矛盾。次协调逻辑试图要和悖论永久共存,但我们可以为了暂时的搁置这种矛盾,发展某理论的其他方面而接受这种逻辑技术。次协调逻辑在反映人脑的容错机制上具有重要的描述功能,这对提高计算机的智能化具有十分重要的实践意义。     

弗协调逻辑的哲学含义

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

弗协调逻辑的哲学解读

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

什么是《逻辑哲学论》中的“对象”?

对于《逻辑哲学论》的语义学而言,对象扮演着十分重要的角色。作为世界的实体,对象保证了“命题的意义先于真假”这一语言哲学的重要原则。但是,目前学界似乎并未明确给出对象的任何一个例子。一些学者认为对象只是一种逻辑的预设,即使维特根斯坦自己也无法给出任何例子。本文反对这种看法,主张维特根斯坦很清楚《逻辑哲学论》中对象的例子是什么。对象是一种抽象的实体,它的三种类型分别是颜色、形状和时间。这就立刻解决了引起较多争议的“为什么对象是无色的”和“为什么对象像链条的环节那样在事态中彼此衔接”这两个问题。此外,在涉及对象和名称的关系时,汉译本均将名称的“Bedeutung”译成名称的“指称”或“所指”,都将其视为一个专门术语,但情况也许未必如此,这个词可能仍然应被译成“含义”。     

比较哲学:是什么和应该是什么

所有的比较研究都同时含有同一性和差异性。这种充溢着智力难题的局面引起了无休无止的争论:我们所争论的究竟是同一事物还是不同的事物?人们可以用二者取一的办法来解答这个问题。但是,这种局面又会重新出现,因为它与比较观点本身息息相关,而与比较的具体事例无关。我们还要继续“命名”到何时?因为这个过程是没有止境的,而且最终“事物仍然是事物本身,而不是别的什么”。也许,我们已经不喜欢“名称”了,因为它几乎不能给我们带来任何知识,我们可能倾向于“描写”,因为“描写”给予我们“事实”。但是,这种“描写”也像“名称”一样,永无止境,因为如同耆那教教徒很早就教诲的那样,它是我们持有的加drsti(概念结构)或采用的观点的一种作用。     

一种应用于中医阴阳五行诊断学说的次协调逻辑(英文)

中医阴阳五行学说博大情深,是中医辨证论治的理论基础,也是指导中医临床诊断与治疗的基本原理,因此对于中医的理论与实践都有着十分重要的价值。但长期以来,一直缺乏对该学说进行严格的形式化研究,使之难以与不断发展中的中医现代化进程相适应。本文就是在这一学说核心内容的基础上,介绍引入次协调逻辑、缺省推理逻辑等先进逻辑来与中医诊断学结合的思想和方法,这样的目的是为今后构造一种符合中医诊断原则的中医阴阳五行推演逻辑系统作准备,该逻辑系统将用来描述基本的中医辨证推演过程。     

不协调理论的逻辑基础——读张清宇先生的《弗协调逻辑》

一个理论是协调的就是指一个理论是无矛盾的,即在该理论中不存在这样的命题A,A与它的否定非A都是该理论的定理;否则,我们就说该理论是不协调的。一个理论的理想状态应该是协调的。但是事实上,现实存在的理论有相当一部分是处于不协调状态的。我们的经验或者常识就常常是不协调的。具有辩证思想传统的中国是一个具有不协调思想传统的大国。先秦持“两可之说”的邓析、公孙龙子等人的思想应该说是不协调的,承认“亦此亦彼”的传统辩证法思想也可以说是不协调的。[1]大量存在的不协调理论现象说明了不协调理论的客观实在性。如何限制矛盾的作…     

幸福是什么

幸福是灵魂的一种香味。 幸福是健康，加上坏记性。     

什么是愤怒

老师教学生什么是愤怒。“愤怒由火元素构成,”他告诉学生们,“它烧毁我们赖以为生的生命力,破坏体内的化学平衡,使人健忘。它使你的记忆衰退,眼睛发红,最终完全瞎掉。如果你想拥有智慧,一定要远离愤怒。”他停顿了一下,“今天就讲到这里,把刚才讲的内容记下来,明天上课时每人背诵一遍。”     

真理是什么

上帝就是真理。我们要高举真,捍卫真理,传扬真理。让真理之花开遍普天之下,结出累累硕果。     

什么是心理健康

什么是心理健康的人?对此,不同的学者有不同的见解。有的说,“没有症状就是心理健康”;有的说,“良好的习惯多于不良的习惯就是心理健康”;也有的人说,“个人的行为能为社会所接受就是心理健康”;还有人说,“心境快乐就是心理健康”。存在主义心理学家马斯洛集心理健康理论之大成,提出心理学应着力研究最健康人的培养。他提出了近20条