模态逻辑的某些认知解释

Ⅰ我们的信念(至少)在两方面是模糊的:所相信的命题是模糊的(含有模糊的概念),相信与不相信的界限是模糊的,就是说相信这个概念本身是模糊的。通过下面的语句我们来说明后一种类型的模糊性。(1)光比声音传播的速度快。(2)大量的维生素 C 预防流感。(3)奥尔弗·帕尔梅将在1980年出任瑞典总理。(4)大卫·休谟身高五英尺六英寸。     

现代模态逻辑探源

现代模态逻辑由完全性理论、对应理论和对偶理论三个主要学科组成。它们是模态逻辑的三大支柱理论,都在20世纪70年代中期奠定了基础。在历史研究中,模态逻辑还有三大传统(句法传统、代数传统和模型论传统)、[1]三大阶段(句法阶段、经典阶段和现代阶段)[2]的说法。模态逻辑发展到现在,     

奥卡姆的模态三段论——其对亚里士多德模态逻辑的发展与转化

亚里士多德的模态三段论缺乏他实然三段论的严谨和系统性。亚氏三段论建立在词项逻辑的基础上,模态词附着在"属于"关系上。奥卡姆的逻辑融合了命题逻辑和亚氏以词项逻辑为基础的三段论逻辑。他对亚氏模态三段论进行了大量和广泛的扩充和完善,并试图对照着亚氏在实然三段论中所使用的换位法将不完善三段论化为完善三段论的归化法,来系统化证明模态三段论的有效式,同时结合使用了他模态命题逻辑的法则。本文将利用关于"必然"的模态三段论来阐明奥卡姆在上述几个方面对亚氏模态三段论所作的扩展和革新。     

亚里士多德逻辑的现代意义

亚里士多德是逻辑的创始人,也是形而上学的开拓者,他的逻辑为西方哲学提供了一种工具和眼界,一直促进和影响西方哲学的发展.因此,理解亚里士多德逻辑,不仅有助于理解他本人的逻辑观和哲学思想,也有助于理解西方人的逻辑观念和哲学.对照亚里士多德逻辑和现代逻辑,则有助于深入地理解逻辑的本质,有助于清楚地认识西方传统哲学和现代哲学的同异,有助于揭示为什么说西方哲学的主要特征是逻辑分析的,从而有助于更加深刻地理解哲学的本质.     

论阿奎那对亚里士多德命题定义的解释

在现代逻辑学和从命题态度视角出发的心灵哲学的讨论中,仅仅作为一个直接被给予者的命题远未得到真正的考察。无论将之界定为"陈述句的意义"、"事态的表征物"还是"确定的承真者",我们都尚未就它的存在性特征给出足够的澄清。与此相对待的,亚里士多德在一开始便给出了命题的确切定义——"命题是那种在其中有着真假的语句"。然而,现代逻辑学家似乎未经深省便抛弃了亚氏的定义,因为在他们看来,将语句与命题的范畴类型分离开似乎是理所应当的。本文基于阿奎那对亚氏命题学说的统贯疏解来直面这桩公案,依次阐述符号的涵义、作为命题的积成性部分的名称和动词、作为命题所指者的判断活动,并借此检视真正的承真者的实质。     

亚里士多德的运动定义:一个存在的解释

亚里士多德在<物理学>第三卷提出的运动定义,不是试图把握运动的过程性、动态性甚至时间性,而是揭示运动本身的存在性质,是亚里士多德自然研究与形而上学的关节点.本文通过对亚里士多德运动定义的各构成要素的深入分析,指出亚里士多德的运动定义是他对自然存在物的存在性质的理论(对巴门尼德挑战的回答),并借此展示亚里士多德对自然本性的形而上学基础的理解.     

模态逻辑近况

模态逻辑是伴随着现代逻辑的兴起而产生的,它创立于十九世纪末至本世纪三十年代。创始人刘易斯(C.I.Lewis,1883—1964)从分析实质蕴涵悖论开始,建立了一系列模态逻辑系统S1、S2、S3、S4和S5。他的工作确立了模态系统的多样性,显示了模态逻辑的丰富内容,引起了逻辑学家们的广泛注意。三十年代后,不少逻辑学家围绕着刘易斯的模态系统,研究了它们的性质和基础。四十年代中期,卡尔纳普和巴肯等人建立起了卡尔纳普语义学和模态谓词演算,虽然没有完全解决语义和谓词方面的问题,但为后来建立严格的语义学作了准备。与此同时,麦金西等人把当时古典逻辑代数语义学方面的成果运用于模态逻辑,     

谈谈模态逻辑

模态逻辑(modal logic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值蕴涵(truth implication)不反映命题之间意义上的必然联系,只是前件与后件真假关系的抽象,要反映命题之间意义上的联系,需提出一种新的蕴涵,在这种情况下,“严格     

亚里士多德的功能论证 ——一种可能的解释

功能论证确立了亚里士多德伦理学的形而上学基础。功能是事物存在的原因和目的,亚氏通过改造柏拉图确立的功能概念,借助匠人、身体的各种器官与人的类比,把人的功能确立为有理性的实现活动。功能论证粗略的论证结构和模棱两可的结论造成了理解上的困难,也受到评论者的诸多批评。然而,亚氏的功能论证和对功能的说明并不仅限于伦理学,当结合形而上学、自然哲学和灵魂理论等学说分析功能论证的时候,一种可能的理解变得更加清晰。     

亚里士多德的实践哲学及其现代效应

一通常所说的“实践哲学”有两种含义, 即“具有实践性质的哲学”和“关于实践的哲学”, 前者包括伦理学、道德学、政治学、法学以及各种行为学科, 后者是把实践本身作为一个哲学问题来研究。一般来说, 在这两种实践哲学中, “关于实践的哲学”是“具有实践性质的哲学”即各种规范人类行为和关于人类行为的学科之基本原理和形上根据, 而“具有实践性质的哲学”则是“关于实践的哲学”的体现者。我们所说的实践哲学主要侧重于后者。实践哲学在整个西方哲学传统中源远流长, 它的历史可以上溯到西方哲学的开端———古希腊哲学。实践概念虽然在…     

从现代逻辑观点看亚里士多德的三段论

§0 引言亚里士多德的直言三段论在逻辑史上具有不朽的价值。国际知名学者卢卡西维兹在《亚里士多德的三段论》(商务印书馆1981年版)中,从现代逻辑观点对之作了创造性的研究,开辟了用现代逻辑的工具研究逻辑史的新道路。但是,在亚里士多德的理论中有一些重要问题需进一步研究。本文第一部分讨论这些问题,提出了与卢卡西维兹的研究结果迥然不同的新观点。第二部分根据亚里士多德的原文,重新构造了亚里士多德三段论的一个自然演绎系统,证明了一切有效式,排斥了一切无效式,并且十分简单地解决了判定问题。     

论模态逻辑的集合论语义

引入非良基集合可以为模态逻辑提供一种新的语义学。这种语义是在集合上解释模态语言,使用集合中作为元素的集合之间的属于关系解释模态词,并在集合中采用命题变元作为本元,从而解释原子命题的真假。在这种新的语义下,从模型构造的角度看可以引入几种非标准的集合运算：不交并、生成子集合、p-态射、树展开等等,证明模态公式在这些运算下的保持或不变结果。利用这些结果还可以证明一些集合类不是模态可定义的。     

走向模型论的模态逻辑

增加特定的基数量词,扩张一阶语言,就可以导致实质性地增强语言的表达能力,这样许多超出一阶逻辑范围的数学概念就能得到处理。由于在模型的层次上基本模态逻辑可以看作一阶逻辑的互模拟不变片断,显然它不能处理这些数学概念。因此,增加说明后继状态类上基数概念的模态词,原则上我们就能以模态的方式处理所有基数。我们把讨论各种模型论逻辑的方式转移到模态方面。     

奎因对模态逻辑的批评

奎因对模态逻辑的批评包括：(i)因为模态语境是指称不透明的,所以对其量化纳入没有意义;(ii)一些关于必然真理的经验知识与关于必然性的语言学理论不相容;(iii)模态语境中的量化纳入承诺了“亚里士多德式的本质主义”。丘奇,克里普克和福雷斯达尔对奎因提出了批评。他们提出,模态构造应该是外延上不透明但指称上透明的。奎因式诉诸于模态环境指称不透明的批评,在不采用单称词项的模态逻辑中不成立。他对本质主义的批评引入了一种必然性,但这种必然性没有办法用语言陈述词项进行解释。通过对语言中名称使用的讨论,我们可以看出,有关包含名称的同一性陈述的真值的经验知识,和卡苏洛称之为“一般模态地位”的先验知识是相容的。既然奎因论证了真同一性陈述的必然真是逻辑真,而且所有逻辑真都遵循戴维森式的意义理论（另文讨论）,那么我们可以给出一个关于包含名称的同一性的真陈述的模态地位的先验知识的语言学理论。     

亚里士多德伦理学中的和谐思想及其现代启示

“和谐”是一个重要的哲学范畴 ,它是同一性的一种状态 ,反映了事物发展的协调、平衡、秩序和合乎规律性特征。亚里士多德在他的伦理学中 ,通过对道德形成、道德选择、道德与利益关系、个人与社会关系等的论述 ,表现出丰富的辩证和谐思想。深入挖掘和系统整理亚里士多德关于“和谐”的辩证思想 ,对于我们深刻理解辩证“和谐”范畴 ,保证人与自然、人与人、人与社会关系的相互和谐 ,真正实现人类社会的可持续发展具有重要借鉴意义。     

本质主义与模态逻辑

谈论事物的方式决定了模态逻辑承诺了本质主义。回避本质妨碍了量化模态逻辑的发展。本文提出了必然的一种本质主义解释。这种解释为亚里士多德的混合模态三段论提供了一个漂亮的语义模型。     

信用伦理及其现代解释

时下 ,信用问题已然成为我们社会的焦点话题之一。对于我们这个尚未完全完成社会现代化转型便急速投入全球经济一体化大潮的国度来说 ,出现这样的现象是完全可以理解的。就我自己的理解来看 ,信用问题首先是社会公共伦理和经济伦理的一个基本课题 ,其次也是社会制度伦理的一个重要方面 ,最后 (但不是最不重要的 )我还认为 ,信用伦理也是公民道德建设的基本内容。这样一来 ,我对信用伦理的理解就不得不基于社会伦理的综合性范畴。同时 ,我还相信 ,在社会伦理观念 (或道德意识 )与社会生活实践之间 ,存在着一种我所以为的反比逻辑 :在特定的社…     

亚里士多德的“努斯”作为目的性推理:一种解释

亚里士多德的努斯概念一般指人的理智所进行的某种目的性思考-推理活动.它分上行和下行两种活动:上行要把握人已经获得的目的(善),下行要达到某个具体决定.由于旨在达到某个具体决定,它在实践事务上被视作下行推理.它围绕我们面对的问题曲折推理,直至某一点,在该点上,我们无需再推导,只需做出这样或那样的行动.按亚氏的看法,对于好人,上行和下行的推理都是健全的,仅当中道不明确时,在下行推理中才需一种辅助推理.对于普通人,不存在上行思考,且因他的推理负担加重,下行努斯的辅助性推理就显得既突出又必需了.     

共代数模态逻辑研究述评

共代数(coalgebra,数学中常译为余代数)是代数的对偶概念。数学、逻辑学和理论计算机科学中的许多结构都能够很自然地看做共代数。奥采尔(P.Aczel)在1988年给出的第一个例子将转换系统和     

三段论的现代解释——兼评蔡曙山、张家龙的解释

用现代逻辑研究亚里士多德三段论是现代逻辑史研究的重要课题和重要方法之一。本刊今年第4期和第5期,分别发表了蔡曙山和张家龙同志用现代逻辑解释亚氏三段论的文章,表明我国逻辑学界重视运用现代逻辑来研究逻辑史中的重要问题。这一期发表的王路同志的文章,较详细地介绍和评论了用现代逻辑解释亚氏三段论的几种主要理论,可供正在进行这种研究和关心这种研究的同志参考。