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

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

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

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

论蕴涵怪论的合理性

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

相干逻辑的产生及评价

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

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

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

构造性逻辑否定排中律吗

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

自信性认知逻辑

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

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

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

论中国共产党人的全面发展观的逻辑蕴涵

中国共产党在90年的奋斗历程中,形成了一个较为完整的关于人的全面发展的理论观点体系。中国共产党的人的全面发展观的逻辑蕴涵在于：思想解放,是人的全面发展的逻辑前提;提升人的综合素质,是人的全面发展的核心内容;社会发展与人的发展的辩证统一,是人的全面发展的根本路径;生产力的发展,是人的全面发展的物质基础;社会主义精神文明建设,是人的全面发展的基本保障。     

认知封闭原则与逻辑全能问题

关于认知封闭原则的研究是当代认识论中的一个重要话题,而现代逻辑工具是讨论这一话题的基本工具。逻辑全能问题是在认知逻辑系统把认知封闭原则作为初始公理的一种结果,其与认知封闭问题虽然侧重点不一样,但是两者是可以相互阐释的。考察认知封闭原则的不断修正以逼近理性认知主体一般直觉的研究历程,对于理解与解决逻辑全能问题,具有重要的启发价值。     

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

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

逻辑哲学与哲学逻辑

逻辑是我们这个时代哲学的独特标志,20世纪许多哲学分支的进步和发展是与现代逻辑所提供的严格的分析性技术密不可分的.逻辑几乎影响了整个语言哲学的风格,逻辑也为形而上学、元伦理学和心智哲学提供了丰富的资源.逻辑提供了各种形而上学理论发展的基本框架,甚至在哲学中扮演着中立仲裁者角色.但逻辑也受哲学的制约,逻辑依赖于哲学的基本预设,经典逻辑和各种非经典和反经典逻辑系统都有深刻的形而上学背景.逻辑哲学和哲学逻辑分别从逻辑的哲学方面和哲学的逻辑方面为我们正确地理解和刻画逻辑和哲学的这种复杂、动态和多样性关系提供了深刻的洞见.     

演绎推理亦能出新知

对于演绎推理能否获取新的知识,在逻辑界意见不一致。大多数学者认为演绎推理不可获取新的知识,原因在于演绎推理的前提已经蕴涵其结论。但是从辨证发展的角度来看,演绎推理的前提未必体现出其结论,即结论相对于前提而言可以是新的知识。     

实在论视野下的逻辑哲学——普特南逻辑哲学思想探赜

普特南是在世的几个最为著名的哲学家之一，被称之为“坚定的实在论者”。他的逻辑哲学思想是其整体哲学体系的有机组成部分，与其整体哲学思想是一脉相承的，因而也贯穿了实在论思想。普特南的逻辑哲学思想体现了逻辑学由经典逻辑向非经典逻辑、由绝对主义逻辑观向相对主义逻辑观以及当代美国实用主义和逻辑研究相结合的整体趋势。研究普特南的实在论逻辑哲学思想具有极为重要的意义。     

自信性认知逻辑

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

蕴涵和蕴涵怪论述评

作为逻辑学的重要概念，蕴涵常因其理论复杂和界定含混使初学者难于理解，蕴涵怪论更为其平添障碍，本文通过陈述各种不同的蕴涵定义，探明其差异性，寻求蕴涵的统逻辑语义，并在此基础上对蕴涵怪论加以说明，由于涉及理论较多，本文采取先达后评的方法，先介绍各种蕴涵理论，再定义真值蕴涵，并逐一说明相关问题，     

试论中世纪的蕴涵理论

中世纪逻辑历来被人们误解以至抹杀。本文通过中世纪逻辑学家有关蕴涵的性质、分类及规则的论述,分析了中世纪蕴涵理论的思想来源和在逻辑史上的重大价值,阐明了中世纪的逻辑是联结古代逻辑和现代逻辑的桥梁,从而恢复它在了中纪世逻辑史中的地位,     

弗雷格关于普遍性的思想及其逻辑学意义

弗雷格用实质蕴涵来刻画条件句导致了"实质蕴涵怪论",因此实质蕴涵不断受到批判.然而,根据弗雷格关于逻辑普遍性的思想,我们可以清楚地了解弗雷格对实质蕴涵的看法以及他为什么使用实质蕴涵.弗雷格把条件关系区分为能表达普遍性的情况和仅仅表达真值关系的情况,表达普遍性的条件句其从句不是完整的思想,其指称不是真值,而是其间接指称.仅仅表达真值关联系的条件句其从句则是完整的句子,其指称是真值.他指出表达事物因果联系的条件句要用带全称量词的一阶谓词逻辑公式?x(P(x)→ ψ(x))表达,而只表示真假关系的条件句直接用实质蕴涵式来表达.弗雷格的思想远远超出了他建立的逻辑,他关于逻辑普遍性的思想对于条件句逻辑的产生及后来逻辑学的发展有着直接或间接的影响,对于我们全面而准确地理解和把握现代逻辑有着重要的意义.     

弗雷格关于普遍性的思想及其逻辑学意义

弗雷格用实质蕴涵来刻画条件句导致了"实质蕴涵怪论",因此实质蕴涵不断受到批判.然而,根据弗雷格关于逻辑普遍性的思想,我们可以清楚地了解弗雷格对实质蕴涵的看法以及他为什么使用实质蕴涵.弗雷格把条件关系区分为能表达普遍性的情况和仅仅表达真值关系的情况,表达普遍性的条件句其从句不是完整的思想,其指称不是真值,而是其间接指称.仅仅表达真值关联系的条件句其从句则是完整的句子,其指称是真值.他指出表达事物因果联系的条件句要用带全称量词的一阶谓词逻辑公式?x(P(x)→ ψ(x))表达,而只表示真假关系的条件句直接用实质蕴涵式来表达.弗雷格的思想远远超出了他建立的逻辑,他关于逻辑普遍性的思想对于条件句逻辑的产生及后来逻辑学的发展有着直接或间接的影响,对于我们全面而准确地理解和把握现代逻辑有着重要的意义.     

逻辑理论变革的必然趋势

逻辑学是一门古老的科学 ,从它产生至今已有两千多年的历史。逻辑理论的历史大致经历了传统逻辑和现代逻辑两个阶段 ;而现代逻辑的发展又经历了由经典逻辑到非经典逻辑的变革。恩格斯曾经说过 :“每一时代的理论思维 ,从而我们时代的理论思维 ,都是一种历史的产物 ,在不同时代具有非常不同的形式 ,并因而具有非常不同的内容。因此 ,关于思维的科学 ,和其他任何科学一样 ,是一种历史的科学 ,关于人的思维的历史发展的科学。[1 ]”逻辑学从传统逻辑到现代逻辑、从经典逻辑到非经典逻辑的历史 ,正好说明了这一点。