非标准逻辑基础上的知识逻辑SI

实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。建立在非经典逻辑基础上的知识逻辑SI允许存在不一致的信息，但是却不会得出“任意结论”。SI仍有完全逻辑全能，但是在一定程度上实现了对逻辑全能的控制。     

论实质蕴涵、形式蕴涵与逻辑蕴涵

该文将蕴涵分为三类:实质蕴涵、形式蕴涵与逻辑蕴涵。从多值逻辑角度解决了实质蕴涵、条件句与推论关系之间的关系,详细考察了三类蕴涵概念之间的区别和联系,从三种蕴涵角度区分了科学真理、数学真理与逻辑真理。     

解决逻辑全能基本制约性标准及哲学反思

逻辑全能问题是认知逻辑发展的一个瓶颈,抑制了认知逻辑在其他学科中的应用。许多学者对逻辑全能问题提出了诸多的解决方案,但并未在"解决标准"上展开深入研讨,难以在各种解决方案的优劣上达成共识。在达克提出的"逻辑全能"与"逻辑无能"概念的基础上,文章试图给出解决逻辑全能问题的一种基本制约性标准,并给予哲学说明。     

罗素的形式蕴涵思想辨析——三论从形式蕴涵看“实质蕴涵怪论”

罗素的形式蕴涵思想,经历了一个从不成熟到成熟的过程。在首次提出基于命题函数的"形式蕴涵"概念的《数学的原则》中,由于罗素尚不具有清晰的逻辑量词观念,其使用"变元蕴涵"和"两个断定间的关系"对形式蕴涵的解释,存在多重混淆与失误之处。在深入研究弗雷格的著作并掌握逻辑量词理论之后,罗素的形式蕴涵思想实现了"完型转换",形成了成熟期的清晰认识。把握罗素的思想历程及其对基本的"实质蕴涵怪论"问题的解决,对于理解"从形式蕴涵看实质蕴涵怪论"的研究进路,具有重要启发价值。     

相干逻辑的产生及评价

在概述“蕴涵怪论”与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改.认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发展前景.然而,相干逻辑比经典逻辑、模态逻辑更加抽象,更加复杂,也导致了一系列的质疑.     

对实质蕴涵若干问题的思考

以实质蕴涵和逻辑蕴涵为对象,通过对郁慕镛教授和袁正校教授的观点进行比较,对逻辑学里的一个非常重要的概念——蕴涵进行了分析和讨论,澄清关于实质蕴涵和逻辑蕴涵的若干误解.     

自信性认知逻辑

认知T-原则是一种过强的认知原则,一般的认知不具有此性质。"逻辑全能性质"不只是"理想认知主体"才具有的认知性质,一般的"理性认知主体"也具有某些"逻辑全能"的性质。在一种修正的可能世界语义学下,削弱了"逻辑全能问题",并且保留了那些合理的认知性质。认知T-原则在这种语义学下,不会有效。自信性以及弱自信性认知逻辑系统刻画了认知主体的自信性和弱自信性。这两个系统相对于这种语义学有可靠性和完全性。     

论蕴涵怪论的合理性

本文详细讨论了实质蕴涵的真实涵义，它与条件句、推论关系之间的联系与区别，分析了实质蕴涵与逻辑蕴涵之间的关系和误解，探讨了逻辑的性质及与科学推理的关系，从丽为实质蕴涵及其由其产生的所谓怪论并不怪作出了合理的辨护。     

构造性逻辑否定排中律吗

构造性逻辑是以否定排中律的前提而构建的一种非经典逻辑系统,但是把构造性逻辑和排中律对照起来看,事实并非如此。在构造性逻辑中,否定符所代表的意义已经不同于其在经典逻辑中的意义,当我们把经典逻辑中排中律的形式放到构造性逻辑中,该形式已经不能表现排中律的实质。所以,构造性逻辑只是在形式上而非实质上否定了排中律。     

"形式蕴涵"方案能解决蕴涵怪论问题吗

近年来,有学者以罗素的"形式蕴涵"为工具,对化解蕴涵怪论反例的进路又作了积极而有益的探索.但仔细分析其化解过程及方法,实难说取得了预期的成功.因为形式蕴涵在根子上就无法解决蕴涵怪论问题.蕴涵怪论的根源不在于逻辑的形式化语言,而在于实质蕴涵与日常"若,则"句差异过大的矛盾.     

论1807年的现象学的逻辑

在研究黑格尔《精神现象学》的内容时,应该同时研究其体系学的形式。1807年的现象学是建立在诸逻辑基本环节的某种序列的基础上的,而这种序列与黑格尔当时的逻辑学构想是相一致的,并且在现象学内具有一种统一的功能。要弄清这些基本规定之进程,有着诸多困难。在现象学的布局中的修改并没有走到损害现象学之逻辑根基的地步。本文第一章表明,从一开始,黑格尔就提出了这一要求:在非实在的意识的方式与逻辑的环节之间要有一种严格的对应。第二章讨论这些逻辑的环节作为什么进入意识的经验当中,以及它们如何组织意识的经验。第三章具体说明这些逻辑的基本环节的序列及其同意识的诸阶段的对应。文章最后还把一种有关现象学的方法和有关耶拿逻辑学的发展的见解,提出来进行了讨论。     

道义逻辑、行动逻辑和规范逻辑

20世纪 5 0年代由冯赖特创建的道义逻辑 ,首先是作为行动名称的逻辑而建立的。这种逻辑在建立之后产生两个研究方向 :一个是“应该做”的逻辑 ,一个是“应该是”的逻辑。在“应该做”逻辑的研究方向上 ,行动名称的逻辑之后 ,产生以分析行动语句而生成的行动逻辑的探索。于是道义逻辑便是一种以行动逻辑为基础的动态逻辑。但是 ,在行动逻辑基础上构建的道义逻辑是一个有关规范命题的逻辑 ,而不是规范的逻辑 ,在相当程度上也可以看成是一个规范命题逻辑和规范逻辑的混成物。     

数理逻辑的盲区与哲学逻辑的兴起

海德格尔从哲学探究的角度出发 ,对哲学和逻辑进行了深入的思考。他认为 ,逻辑是关于一个语句的意义和判断的内容的。数理逻辑的发展使逻辑丧失其重要性并且远离了本体论的讨论。哲学逻辑并不是一门新科学 ,而只是实现了从一开始就在进行的对于传统逻辑的刻画。研究海德格尔的哲学和逻辑思想可以得到的基本启示是 :我们在进行哲学逻辑以及逻辑哲学研究的时候 ,一定要有一个理念 ,即逻辑是需要哲学来为其辩护的 ,逻辑的研究要有一个哲学的基础。哲学逻辑是逻辑在哲学中的应用 ,在应用的过程中哲学理念已经深深地灌输进去 ,哲学与逻辑已水乳交融 ,两者的联盟使得各自的学科都得到了长足的发展。     

论金岳霖对我国现代逻辑的贡献

金岳霖先生在中国最早全面、系统地介绍了罗素的逻辑演绎系统,将数理逻辑引进我国,讨论了逻辑系统的完全性、一致性和独立性,并在一些问题上提出了自己新的、有价值的见解,堪称我国现代逻辑的奠基人,为现代逻辑在我国的发展作出了卓越的贡献。     

多值逻辑与审美逻辑——论审美认知的逻辑基础

审美认知长期被公认为是直觉而非逻辑的 ,因此而与科学认知形成明显分界线。然而从所谓逻辑的本质看 ,其与联系、规律等概念有着高度内在的同一性。任何复杂事物包括美与审美现象都是有着普遍联系的、有规律可循的、因而是有逻辑可循的 ,因而审美认知也应当是有逻辑的。打破传统二值逻辑构架而建立在多值逻辑基础上的现代逻辑学 ,以及与此相照应的现代计算机原理与技术、现代艺术和审美实践等都充分证明 :审美逻辑是现代多值逻辑最典型、也最极端的存在式。承认并研究审美的逻辑问题 ,发现审美———这一人类精神或心理世界最为复杂现象与活动独具的逻辑面貌 ,及其独具的定律、演算系统 ,对于丰富和健全认知心理学理论 ,建立科学的审美教育和整个教育的审美化体系 ,从而真正实现用“美的规律”去“建造物体”和塑造人类自身 ,有着重要的理论和实践意义     

古今中外类逻辑思维的起源与发展研究

类逻辑是逻辑学中的重要分支,它以类为核心概念,以类比推理为主要表现形式。类逻辑在中西方有着不同的起源与发展路径：中国古代,墨家的＂故＂＂理＂＂类＂三物逻辑为类逻辑提供了生根发芽的土壤。在西方,亚里士多德作为逻辑学创始人,在研究三段论时离不开类逻辑思维;培根在科学实验中推崇归纳法,其中也蕴含了大量关于＂类＂的内容。随着时间推移,中外类逻辑研究更加深入,类逻辑思维在各个学科领域中的创新功能,是现代类逻辑研究的重点。     

墨家和荀子逻辑比较研究

墨家和荀子逻辑比较研究,有助于认识中国古代逻辑的内容和性质,总结其发展规律和经验教训.墨家与荀子逻辑的相同点是思维形式与规律在本质上一致,不同点是墨家逻辑全面论述概念、判断、推理,独到阐发援、推、止等推论方式,荀子逻辑略于判断、推理,详于概念.墨家逻辑的缺点是行而不远,荀子逻辑的缺点是独立性较弱,不利于逻辑发展.     

论黑格尔的逻辑方法

主客同一的逻辑本体论是黑格尔逻辑方法的基础。黑格尔站在主客同一的绝对知识的高度,把逻辑学归结到本体论,把历史(哲学史)归结到逻辑,从而实现了认识论、逻辑学、本体论的统一。黑格尔的逻辑方法在今天人们的理论思维中,仍然发挥着广泛的影响。     

从现代逻辑的语言层次观看《墨经》逻辑

《墨经》中没有应用对象语言来表示的命题形式和推理形式 ,而只有应用典型的具体推理来体现的推理方式 ,但《墨经》中却有不少应用元语言来表述的逻辑规律 ,虽然这些是不够精确的 ,但表明《墨经》中的逻辑已经开始进入形式逻辑的阶段     

法律论证的逻辑基础分析

法律论证研究中,逻辑学方法是最为悠久的传统方法之一。在当代,逻辑在法学中的作用依然不容低估,大逻辑观点也体现在法律论证领域中。从传统逻辑、现代逻辑、非形式逻辑及批判性思维等方面对司法裁决中法律论证的逻辑基础进行分析,具有极为重要的理论意义和现实意义。