从《跳蚤》到《致他羞怯的情人》--玄学派诗人邓恩和马维尔的艳情诗探析

本文通过对两位英国玄学派诗人约翰·邓恩和安德鲁·马维尔的著名艳情诗的分析比较,揭示了玄学派艳情诗的写作手法和用喻特点,并探析了及时行乐主题及其产生的社会历史原因.     

论三段论各格之间的关系

本文通过逆向思维的方法,研究了三段论四个格之间的关系,采用反三段论和简单换位的方法,讨论了从第一格形式推出第二、三、四格形式的一系列问题,以期进一步认识四个格之间的关系.     

逻辑判断在司法三段论中的作用探讨

法律中的逻辑判断的表现形式就是法律推理。法律推理主要运用于司法领域,其逻辑模式是三段论法,大前提是法律规范,小前提是案件事实,结论是法律规范赋予案件事实的后果。逻辑判断在司法三段论中的意义是:体现现代法治理念;体现法律的科学性;提高司法效率。谨守逻辑形式并避免谬误可以说服别人,并给予司法判决正当性,维护法律的科学性和确定性。     

论墨子的“三表法”

墨子的“三表法”是中国“轴心期”理性文化的精华，它可与同时代古希腊亚里士多德著名的形式逻辑三段式相媲美，同时也有自己的特点。本、原、用是墨子三表法的基本范畴，也是墨学的基本方法论工具。道家的“守一观复”、儒家的“扣二执中”、墨家的“兼三尽用”构成了中国传统思维方式三大维度，这是一个值得认真反思的问题     

皮尔斯回溯推理思想初探

皮尔斯是现代回溯推理理论的奠基者,针对回溯推理的研究是从创新亚里士多德三段论理论出发的,并提出新的推理分类理论。这一理论又促进了回溯推理理论的深入研究。     

《墨辩》"三物"新解

在传统研究模式中,通常将<墨辩>"三物"类同于西方形式逻辑的三段论,认为"辩即逻辑",形成了"墨经逻辑"的基本推理程式,即"三物论式".实际上,"三物"是一种认知事物的认识模式,有其内在的逻辑行程,即:察类,循理,明故."三物"以论辩的方式来完成人们对事物认识,揭示认识主体和认识客体的辩证关系,有着深刻的认识论内涵.     

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

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

逻辑三段论与司法三段论

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

几种推理定义之商榷

本文具体分析了几种类型推是的定义中所存在的问题，同时提出了正确表述这些定义的意见。     

传统三段论公理质疑

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