亚里士多德模态三段论逻辑的 形式化公理系统探讨

利用广义量词理论、可能世界语义学和集合论,可以简洁明了地对亚里士多德模态三段论进行形式化和有效性的证明。根据有效的亚里士多德模态三段论应该遵守的基本规则,可以从6 656个亚里士多德模态三段论中,筛选出有效的384个模态三段论。把通过向有效的直言三段论AAA-1和EAE-1中添加模态词而得到的20个有效模态三段论作为基础公理,就可以为亚里士多德模态三段论逻辑建立起形式化公理系统。     

必然性与可能性

亚里士多德的模态三段论 亚里士多德是历史上对模态逻辑进行过系统研究的第一个逻辑家。在《工具论》中,他讨论模态三段论的篇幅超过了他讨论非模态三段论的篇幅。他的非模态三段论,即直言三段论,两千年来一直是学院中逻辑课程的重要内容。但亚里士多德的模态三段论,由于本身存在着许多难解的问题,却被人们称为“奥秘的学问”。     

假言三段论的困境及其语境解释

人们通常认为,假言三段论是有效的。然而,假言三段论不仅有虚拟语气句反例和直陈条件句反例,而且有模态语句反例。通过对胡佛等案例的分析,我们发现:有许多假言三段论的反例并不说明假言三段论无效,而只说明假言三段论有语境局限;它不是绝对不可错的,而只是语境不可错的。语境方法可为假言三段论的有效性提供限制与辩护。     

亚里士多德的混合三段论形式系统AS2

在给出了亚里士多德三段论显示法证明的形式刻划的基础上,建立了亚里士多德混合三段论的形式系统。用显示法证明了第二格Baroco○□□式在亚里士多德混合三段论系统中是有效的,指出亚里士多德混合三段论系统的有效式应为14个,而不是13个。     

亚里士多德的必然三段论

本文从亚里士多德关于必然三段论的原文出发，考察了亚里士多德的必然三段论的系统、证明方法和排斥方法，在此基础上构造了一个严格形式化的必然三段论的自然演绎系统，克服了亚里士多德的必然三段论理论中的不精确之处。     

自然演绎系统:亚里士多德的“第二种逻辑”

关于亚里士多德三段论的性质一直是一个争论不休的问题。其中的一个焦点问题就是亚里士多德的直言三段论是蕴涵式的系统还是推理规则的系统。卢卡西维奇的《亚里士多德的三段论》代表了第一种观点,而相反的观点则认为亚里士多德的三段论是由推理规则组成的,是现代逻辑中的自然演绎系统的早期形式。     

传统三段论公理质疑

亚里士多德三段论是一公理系统，第一格的四个式或者Ｂａｒｂａｒａ与Ｃｅｌａｒｅｎｔ是其公理，而传统三段论并不是公理系统，因而不具有严格意义上的公理。而且，传统三段论的理论基础是全体的概念外延之间的关系或类与类之间的关系，传统三段论公理所讲的仅是这些关系中的一部分，因而把“曲全公论”看成是传统三段论的基础是不恰当的。     

亚里士多德实然三段论形式系统AS^O

本文对四种直言命题给出了新的刻划,在此基础上构造了亚里士多德实然三段论的形式系统,并由此系统来进一步认识亚里士多德实然三段论的特点     

亚里士多德《分析前篇》直言三段论述评

亚里土多德对逻辑理论最大的贡献之一是创造三段论,他自己以及后人都公认这一点.三段论不仅在亚里士多德的逻辑学说中,而且直到现在在传统逻辑理论中占据着显著地位.《三段论》中的《分析前篇》是阐述三段论的最重要的论文,其内容之详细,系统之严格,至今还令人赞叹.本文对《分析前篇》中有关直言三段论部分,参照现行逻辑教材体系,编排分类,试作述评.     

逻辑三段论与司法三段论

逻辑三段论与司法三段论既有联系又有区别,但司法三段论研究却对逻辑三段论多有曲解,甚至将两者简单等同。文章对这一不当认识及其产生根源进行分析,指出逻辑三段论与司法三段论在推理模式、评价标准等方面都有根本不同。     

90年代诗歌对现代诗歌传统的消解

笔者以对 90年代诗歌生存状况的持续观注 ,深感 90年代传统价值观的瓦解严重压缩了诗歌的生存空间 ,诗人在狭小的空间内奋力挣扎 ,忍受着商业性文化对传统诗歌内质的消解。但诗人们试图在新诗前卫化突进过程中寻求传统内质的精华同现代审美意识的共通共融之处 ,期望创造出属于这个全新时代的特色诗歌 ,发出时代的强音。本文勾勒了当下诗歌创作的发展趋势     

反对理性 解放生命——尼采哲学思想探源

《悲剧的诞生》标志尼采哲学的诞生。尼采以古希腊的酒神精神为基础 ,反对理性 ,提倡解放人的本性 ,并以酒神作为重估一切价值的标准。解读《悲剧的诞生》对于了解尼采哲学的本质有重要意义     

论鲁迅《野草》的深切与诡谲

散文诗《野草》蕴含着鲁迅特定历史时期深刻独特的人生体验。鲁迅借助一系列畸形、怪异、恐怖、丑陋、虚幻的意象来表情达意,创造了新的颤栗,这是他深入生活、逼视内心的结果。从情思感兴这个层面来看,深切是《野草》的显著风格;散文诗情思感兴以意象为载体,从意象生成这个层面来看,《野草》呈现出诡谲的风格。     

"三个代表":马克思主义党建学说的新发展

党的建设问题,关系到党的事业的兴衰成败,关系到中华民族在21世纪的复兴.江泽民同志提出了"三个代表"思想是适应新时期党建工作的需要,用"三个代表"来表述党的建设钢领和使命并形成一个完整体系,在党的建设史上是第一次;在内容、时代特点和内部有机联系等方面都体现了这一思想的创新性,是对马克思主义党建学说的新发展."三个代表"的提出,对于在新世纪全面推进党的建设具有重大的指导意义.     

从“用具”到“技术”——海德格尔此在的敞开与遮蔽思想流变解读

在探讨人与"技术"的关系方面,海德格尔是一位先驱式的人物。他对人与"技术"关系的思考可分为两个阶段:前期主要集中在《存在与时间》中,通过对"用具"的分析构建出"此在"的在世方式,展现出"用具"在构建"此在"与世界关系中的积极作用。"此在"在"操心"中直面"用具"而敞开自身进入真理之领域,从而实现了人的自由;后期在《技术的追问》中,他对现代技术进行了批判,追问得出现代技术的本质是"座架"。此种本质将世界解蔽为单一的向度,造成了"此在"的遮蔽,使人的生存陷入困境。在这两个阶段,他分别使用了"用具"和"技术"两个概念,并指出两者是不一样的。"用具"和"技术"虽然指涉的对象一致,但是通过对两者的分析,海德格尔展现出的是此在的敞开与遮蔽状态。     

杜威的社会民主观探析

对社会民主的探讨是杜威社会政治学说的中心内容。杜威分析了民主的三层含义 ,认为民主本质上是一种社会生活方式。自由和平等是社会民主的两个基本原则。社会民主主要靠人们不断的斗争去争取 ,靠对现存的社会的改造来实现 ,教育是维护和发展社会民主最主要的手段     

叶圣陶小说研究80年

对叶圣陶小说的研究有近 80年历史。叶圣陶小说研究分为建国前和建国后两个时期。建国前研究的特点为 ,一、多为短而快的书 (集 )评或序 ;二、既有单篇分析 ,也有整体考察梳理 ,较全面地涉及到长、短篇作品 ;三、评论具有开创性 ;四、4 0年代开始进入冷清期。建国后研究的特点为 ,一、在前人研究的基础上有所深化 ;二、拓展了新领域。今后应采用新视角 ,有所突破     

论18世纪启蒙理性

18世纪启蒙运动与文艺复兴有着相同的精神气质;启蒙理性按照自然科学的方法开创了新的思想道路;它赋有浓厚的人文精神;具有内在的统一性;尤其是启蒙理性本质上是一种批判力量,这既是它运用于各思想领域的批判武器,更是启蒙理性内在的动力.如此,卢梭、赫尔德、康德等都是对启蒙运动的真正"自我征服".正是这种自我批判能力拓展了启蒙思想家的视野,体现了启蒙运动的真正价值所在.虽然启蒙理性主义早已成为消失了的历史背影,但那一时代所蕴涵的"独创力量",则至今令人着迷,也许这就是我们不断地回到启蒙时代的原因.     

论莱布尼茨的理性主义美学思想

莱布尼茨作为德国理性主义美学的奠基者,其美学思想是以单子论的哲学体系为基础的。他从单子论的“前定和谐”说出发,论证了美的本质在和谐、秩序,而美的本源来自上帝预先安排,从而将目的因引入对美的解释中,试图在可感形象与理性世界之间建立联系;同时又从单子论的认识论出发,阐述了美感属于既明白又混乱的认识,是一种“混乱的知觉”,具有知其然而不知其所以然、令人愉悦却不涉功利的特点,从而确立了美学在认识论体系中的地位,对鲍姆加登和康德的美学产生了直接影响。     

关于新诗形式问题的讨论(笔谈)

学术的生命在于百家争鸣。要解决新诗形式的理论问题,只有一个办法:展开讨论。吕进先生说:“有如散文的基础是内容,诗的基础是形式。”[1]没有诗的形式,也就没有了诗人与读者沟通的桥梁。新诗多数不受欢迎,主要是因为它们还不成形。因此,如何认识新诗的形式问题便成了发展新诗的矛盾焦点。丁鲁认为,片面发展自由诗的中国新诗,正处于迷茫的困境之中。其根源主要在于“内容决定形式”的机械论没有得到应有的批判。因此,当前新诗一切问题的突破口,就在于加强格律诗的理论研究与实践,除此以外别无其他出路。黄淮、周仲器认为,格律诗中的“自律体”与“共律体”具有不同的艺术特征,前者是“一诗一律”,后者是“千篇一律”。“自律体”与“共律体”的矛盾运动是中国格律诗发展的内在动力。当下新格律诗的“自律体”与“共律体”的继续创新并互动演变,必将迎来中国诗歌形式的第三次伟大变革,实现中国诗歌的真正复兴。万龙生认为,戴望舒对于诗中的音乐性曾经有过偏颇、极端的认识,而且在自己的创作中予以贯彻;但是,他后来对那种意见作了修正,并且在创作中实现了向音韵的回归。这一过程,证明了音韵的魅力以及音韵对于诗的重要意义。