亚里士多德模态逻辑的现代解释

国际上一些知名学者,如卢卡西维兹、波亨斯基、麦考尔等,对亚里士多德的模态逻辑作了创造性的研究,取得了许多重要结果。本文另辟蹊径,对模态直言命题、模态三段论的格和式作了新的解释,构造了模态三段论的一元谓词逻辑自然演绎系统,比较简单地解决了必然式系统的判定程序,并且用可能世界语义学构造了必然式系统的模型。     

一个与卢卡西维兹不同的亚里士多德三段论形式系统

30多年前,波兰数学家、逻辑学家卢卡西维兹首次用现代逻辑的方法对亚氏三段论进行形式化的研究,并建立了亚氏三段论的形式系统(以下简称LS)。LS使用4条公理和14个断定命题(即命题逻辑的定理)。4条公理是:     

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

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

词项逻辑与亚里士多德三段论——兼复王路同志

我的文章《一个与卢卡西维兹不同的亚里士多德三段论形式系统》在《哲学研究》1988年第4期发表后,王路同志在该刊同年第9期载文,对我所建立的AS进行了批评。批评是有益的,它促使我对AS进行更深入的思考。但批评本身也存在一些问题,值得进一步探讨。王文的主要问题是对三段论解释系统的可选择性未有认识,以及对模型和推理方法的不加区分。本文     

亚里士多德三段论和陈那三支论式的比较

早在两千多年前,古希腊的伟大哲学家和逻辑学家亚里士多德就概括出了相当完整和科学的逻辑学体系,成为形式逻辑(即传统逻辑)的奠基者。亚里士多德的主要功绩是提出了三段论,亚氏详尽地研究了三段论法,三段论在他的逻辑学说中占有显著的地位,也是传统逻辑中最系统的部分。在古印变,研究有关推理,论证方法的学说是因明。因明是梵文heru-vidya(醯都费陀)的意译。“因”含有理由、原因的意思,指推理的依据“明”即通常所说的“学”。世亲以前的因明称之为古因明,以五支论式为其代表论式。到公元六世纪时,陈那以其独创的见解,完善和纯化了古因明,将五支论式改为三支论式,创立了新因明,陈那的因明思想是古代印度逻辑的一个高峰。亚氏三段论和陈那三支论式在推进逻辑的发展上各自都起了举足轻重的作用,并且,作为工具学     

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

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

简易三段论(上)

三段论推理有传统的和现代数理逻辑解释的两种基本形态。传统三段论源于亚里士多德,历经扩充、发展、演变而成,内容丰满,现已不能对它再作什么补充了。传统三段论有一个非常繁琐的推理格式系统,本应剔除,但直到今天,人们仍要以它为实际推理的模式。数理逻辑兴起之后,人们纷纷对三段论作现代新解释。现代三段论在理论范围内简化了三段论的格与式,但一到应用领域。人们还是要以繁多的有效式为模式进行实际推理。我国宋代思想家陆九渊说:“简易功夫终久大,支离事业竟浮沉。”这句话当作哲学思想的褒贬标准,很难说是真理,但是,当作思维形式的褒贬标准,却是真     

吕澂论因明与佛学论证CSSCI

西方逻辑学传播和从日本输入因明后的直接影响是在民国时期出现佛教逻辑研究,最明显的表现是大多研究者形成因明的三支论式与亚里士多德三段论的一致性的观念,即新因明结构宗、因、喻分别对应三段论结论、小前提、大前提。吕澂则从历时性角度,站在法称量论理论框架下,研究因明的内容,认为因明等同于量论,包含论证结构及其规则、论证的认识论基础和论证在佛学中运用三部分内容,这就是佛家逻辑。吕澂的研究是因明创新研究的一个范例,是对窥基因明研究的一种逻辑转向,助益于当今佛教逻辑学科建设,但是,基于包含佛教逻辑在内的逻辑边界,吕澂并没有清晰的回答,使得在佛学论证中各持己说,这是吕澂给我们留下来研究的课题。     

吕澂论因明与佛学论证（英文）

西方逻辑学传播和从日本输入因明后的直接影响是在民国时期出现佛教逻辑研究,最明显的表现是大多研究者形成因明的三支论式与亚里士多德三段论的一致性的观念,即新因明结构宗、因、喻分别对应三段论结论、小前提、大前提。吕澂则从历时性角度,站在法称量论理论框架下,研究因明的内容,认为因明等同于量论,包含论证结构及其规则、论证的认识论基础和论证在佛学中运用三部分内容,这就是佛家逻辑。吕澂的研究是因明创新研究的一个范例,是对窥基因明研究的一种逻辑转向,助益于当今佛教逻辑学科建设,但是,基于包含佛教逻辑在内的逻辑边界,吕澂并没有清晰的回答,使得在佛学论证中各持己说,这是吕澂给我们留下来研究的课题。     

三支论式及因明学说实质之辨析

本文从卢卡西维茨关于亚氏三段论的分析出发,针对学术界中“三支论式”是三段论推理、充分条件假言推理、假言转为三段论推理或外设三段论推理等观点,从工具的使用到工具的锻造这一角度,进行了分析研究。笔者提出了一些与传统看法不同的观点,并在此基础上得出了“三支论式”及因明学说的实质是论证而不是推理的新见解。     

多值逻辑简介

在数理逻辑史上,二值逻辑基本上属于正统的标准的逻辑,多值逻辑基本上属于非正统的非标准的逻辑。在多值逻辑看来,一个命题可以有三值、四值、五值,以至可数无穷多值。多值逻辑所研究的,就是这种多值命题之间的逻辑关系。本世纪二十年代,为了解决亚里士多德提出的关于未来偶然性的问题,著名的逻辑学家卢卡西维兹提出了三值逻辑。他认为,一个命题不仅有真假二值,而且,还可以有三个值,他举出这样一个命题:     

卢卡西维茨对逻辑的贡献

波兰逻辑发展的最近一个时期的杰出人物是卢卡西维茨,他是特瓦多斯基的学生,后来继承和发展了皮尔士、耶芳斯(Jevons)、施罗德(Schr(?)der)、弗雷格、罗素和怀特海,维拉蒂(Vailati)、库蒂拉(Couturat)和西欧其他逻辑泰斗的成就。他首先研究、思考的是什么?他发现了什么?解释了什么?把所有这些问题归为一点,我们可以回答说,卢卡西维茨创造了一个可以进行命题演算的完整的公理系统系列;他第一个建立了多值逻辑系统;他把亚里士多德的三段论公理化;他证明了亚里士多德的三段论与斯多葛派的逻辑之间的真正关系;他     

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

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

评王路著《亚里士多德的逻辑学说》

王路著《亚里士多德的逻辑学说》一书于1991年3月由中国社会科学出版社出版.本书从亚里士多德的原著出发,回答什么是亚里士多德逻辑的问题.作者认为,亚里士多德对证明的推理的论述形成了三段论学说,对辩论的推理的论述形成了四谓词理论,对强辩的推理的论述形成了关于谬误的理论.这些不同的学说形成于不同的时期,基本上     

试论单称命题之间的对当关系

古希腊伟大的哲学家和逻辑学家亚里士多德救尊称为“逻辑之父”,因为他创立了以三段论为中心内容的传统逻辑,他的三段论是一个系统,“其严格性甚至超过了一门数学理论的严格性,而这就是它的不朽的价值。”[1]亚里士多德逻辑当然存在着这样或那样的缺点和错误,其最大缺点之一就是“对单称命题的忽视”,[2]“单一词项和单称命题在其中没有地位”[3]亚里士多德虽然在《解释篇》中论述了单你肯定命题“苏格拉底是白的”与单称否定命题“苏格拉底不是白的”是一对矛盾命题,“必然一个是真实的,一个是虚假的。”[4]但他没有进一步全面系统…     

亚里士多德对“偏好”如是说

亚里士多德在《前分析篇》和《论辩篇》中提出了关于“偏好”的理论。本文从现代偏好逻辑的观点分析亚里士多德的偏好理论,作者认为亚里士多德提出了“强偏好”和“无差别偏好”等概念,提出了“强偏好的完全性”、“强偏好的不对称性”、“强偏好的换质位”以及“强偏好的合取扩展”等等原理。作者希望本文的分析能对现代偏好逻辑的研究提供一些资料。     

范畴三段论推理中信念偏差效应的实验研究

本研究利用三段论评价任务,分析了已有信念与三段论逻辑状态间的交互影响,探讨了三段论推理判断中信念偏差的存在与作用机制,同时从信念偏差角度对心理模型理论进行了初步验证。结果发现：1．范畴三段论推理的逻辑判断过程中存在信念偏差效应;2．信念偏差效应以逻辑状态与结论可信性交互作用的方式存在;3当逻辑结果与信念相一致时,信念会促进逻辑反应,反之则妨碍逻辑反应;4．信念偏差效应对逻辑有效、结论不可信的单模型三段论问题影响最大,而对逻辑有效、结论不可信的多模型三段论问题相对影响最小。     

试论我国古代哲学家未能发现三段论的原因

三段论这个最为古老而完善的逻辑系统是古希腊的伟大学者亚里士多德献给人类的一块瑰宝。两千多年来,它一直熠熠闪光,至今仍是普通逻辑的主要内容。三段论实质上是类的理论,认识类概念并把它作为逻辑范畴提出来,这对我国古代哲学家来说并不比古希腊晚。早在公元前五世纪的墨子就把     

因明与连珠体比较研究

治中国逻辑史的先贤们都是把因明三支与墨家的故、理、类或者把墨家逻辑理解成为三段论式进行比较研究,这种研究其实是对中国逻辑史研究的一种误读,就如同要把墨家逻辑和亚里士多德三段论进行比较研究一样,难免比附之嫌。因明三支的正确比较对象不是墨经的说和经,也不是故、理、类,而应该是中国传统的连珠体。从论式上、推理机制上看,因明三支和连珠体都有内在联系和区别。     

论亚里士多德的逻辑规律理论(续)

三、什么是亚里士多德逻辑规律理论中的形而上学和唯心主义?(一)不能把亚里士多德从实体怎样论证逻辑规律也应当怎样的唯物主义思想看作形而上学亚里士多德在论证逻辑规律过程中,除了提出了上面谈到的那些积极的思想之外,同时也提出了一些消极的思想。正如亚里士多德逻辑规律理论中的积极思想是同亚里士多德的哲学观点中唯物主义和接近辩证法的思想相联系一样,亚里士多德