解析弗协调逻辑容纳"真矛盾"的逻辑机制

弗协调逻辑是一种可以容纳"矛盾"的非经典逻辑,但它只是要容纳那些不会导致系统不足道的"真矛盾".论文在详细阐述弗协调逻辑容纳"真矛盾"的核心逻辑机制的基础上,对逻辑真理观进行了逻辑哲学层面的反思,并明确提出:传统形式逻辑和现代形式逻辑的真理都是具有严格相对性的,而弗协调逻辑的真正哲学价值不在于它自身特异的逻辑性质,而在于它自觉贯彻了逻辑真理的这种严格相对性.     

论经典逻辑的局部修正——以弗协调逻辑为例

为了适应新的需要,经典逻辑应在原有系统的基础上,建立新系统,提出新型的语义解释.弗协调逻辑可以对经典逻辑进行进一步的修正,但这种修正是局部的,并非根本性的.经典逻辑与弗协调逻辑是"前身"与"延伸"的关系,弗协调逻辑包含了经典逻辑,可以取代经典逻辑.     

次协调逻辑及其带来的逻辑哲学问题

次协调逻辑在人工智能领域的应用卓有成效。它可以在系统中容忍不平庸的矛盾,同时又限制这种矛盾使之不会在系统中扩散,从而使得“矛盾可以推出一切”的后果不会在系统内发生。这个目标是依靠弱化否定词的经典含义和削弱矛盾律的作用,从而限制斯哥特规则的作用范围来实现的。文章试图在阐明次协调逻辑基本机制的基础上,将次协调逻辑放在与非经典逻辑、逻辑真理观以及哲学辩证法相联系的层面上,对由此而带来的逻辑哲学问题作进一步的解析。     

次协调思维的逻辑机制及其意义

次协调思维是一种能容纳矛盾并在此基础之上对矛盾进行灵活处理 ,使其削弱、软化的一种思维模式。次协调思维的产生和发展不仅在现代科学技术特别是人工智能科学领域内显示了它的重要作用 ,而且在理论上亦产生了对经典传统逻辑的反传统性。这些特性导致了人们对思维科学乃至逻辑科学的全新理解 ,因此 ,我们有必要对次协调思维产生的逻辑机制及其意义和应用潜力作一探讨。     

从认知三层面看亚相容逻辑与经典逻辑

亚相容逻辑致力于刻画"不相容"但"足道"情形下的逻辑机制,在系统中容纳矛盾而限制矛盾律。其倡导者或将它与经典逻辑并列,或视其为对经典逻辑的择代。然而,在认知行动中,无论是在实在、思想和语言层面,本体论意义上的矛盾律都无法违反,被限制的只能是作为认知规范的矛盾律,被容纳的只是由违背该规范而产生的信念矛盾。而经典逻辑恰好可以通过对信念矛盾的本体论重塑,实现对亚相容逻辑的合理统摄。     

辩证矛盾观与亚里士多德矛盾观的关系

＂矛盾＂一词不仅包含形式逻辑中的＂逻辑矛盾＂的含义,而且也包含辩证哲学的＂对立统一＂的含义,即辩证矛盾。辩证矛盾与亚里士多德的逻辑矛盾在矛盾双方的关系、矛盾的界限问题、矛盾与运动的关系和表述角度方面都存在着重要的区别。辩证矛盾与逻辑矛盾也有实质性的联系：拒斥和清除逻辑矛盾是进行辩证思维的必要前提,准确把握逻辑矛盾律是正确把握辩证矛盾的先决条件;形而上学的思维方式与辩证思维方式对立,但形式逻辑思维法非但不与之对立,反倒是真正进行辩证思维不可违逆和必须遵循的。     

逻辑的求善功能

逻辑学具有最本质的求真功能,同时还具有延伸出来的求善功能。提出并强调逻辑的求善功能,有助于提高沟通交际中的人文精神,有助于提高思维创新能力与创新精神,有助于培养真正的逻辑精神,有助于不同文化之间思想方式的沟通;同时对于研究先秦逻辑思想也可以提供一种新的理念支撑。     

亚相容逻辑的兴起和发展

论述了亚相容逻辑产生的历史背景、发展方向及其研究现状,并简要介绍了我国亚相容逻辑研究的发展状况。     

论关系命题的逻辑性质

普通逻辑学界流行的关于关系命题逻辑性质的认定,不能研究非二元关系命题的逻辑性质,也难以契合于具体的二元关系命题。普通逻辑难以解释关系命题的逻辑性质,不仅在于这些所谓的逻辑性质本身容易陷入窘境,而且在于它与普通逻辑应该研究的逻辑性质相去甚远。普通逻辑不能合理、有效地揭示关系命题的逻辑性质,是与它不能系统地使用符号语言分不开的。要合理、有效地揭示关系命题的逻辑性质,必须借助现代逻辑,建立新的分析手段,把关系命题从现行的普通逻辑教本中分离出去。     

关于互补性逻辑、辩证逻辑及次协调逻辑——对马佩教授挑战的一种回应

1.玻尔的黎曼面模型是互补性的语义模型,恰当地表征了辨证矛盾与逻辑矛盾之间的相互关系,恰当地刻画了互补性的逻辑结构."互补性"的要点是"相反相成"或"互补又互斥",说的是矛盾双方既互相排斥又互相联结而形成统一体,因此它与辩证法的核心思想相一致.2.与马佩先生主要从语义角度着手不同,次协调逻辑学者主要从句法角度对矛盾进行划分,考虑形式系统允许或不允许哪一种矛盾.3.所谓辩证逻辑的形式化,就是像多种非经典逻辑那样采用形式化手段,对辩证法的现实原型进行恰当刻画和再现.我们认为,关键在于要保证兼有次协调逻辑/相干逻辑/模糊逻辑的禀性:(1)有次协调性(能刻画有意义的矛盾,而不会使得每一个公式都变成定理);(2)有相干性(避免不相干的推理);(3)能恰当刻画模糊性(即恩格斯所说的恰当地承认"亦此亦彼");(4)有表征辩证法特有原理的公理组.     

论党的先进性的历史性和具体性

先进性是马克思主义政党的突出标志和根本特征,党的先进性是党的生命所系、力量所在。党的先进性是历史的、具体的,必须放到推动先进生产力和先进文化发展中去考察,放到维护和实现最广大人民的根本利益的奋斗中去考察;共产党员的先进性也是历史的、具体的。先进性建设是马克思主义政党自身建设的根本任务。     

语用逻辑刍议

语用逻辑有别于语言逻辑,前者与语境的关系更为密切.语用逻辑是语言运用过程中的逻辑,是逻辑的内在机制支配下的语言语用.当下有关语用逻辑的研究还处于未成熟阶段.有关语用逻辑的研究的基本的理论前提是:"语言"与"言语"的区别;"言语"与"思维"的关系.语用逻辑以"言语"与"逻辑"之间的关系为主要研究对象.语用逻辑在学科归属上是语用与逻辑交叉而成的新兴边缘交叉学科.语用逻辑的深入研究具有一定的理论意义和现实意义.     

论模态逻辑的合法性——对蒯因式模态词解读的批判考察

全面考察蒯因式的模态词解读,可以发现这种解读是狭隘的,它过分地依赖于逻辑、语言之外的内容上的联系,不利于从外延角度来对模态词做一般的、形式化的研究;同时蒯因反驳第三等级的模态词的使用,这也是错误的,模态谓词逻辑是合法的。     

论演绎的辩护

与归纳逻辑类似,演绎逻辑也面临着合理性问题。演绎逻辑的辩护问题是逻辑哲学中的重要问题。人们不能用归纳逻辑为演绎做辩护,用演绎逻辑为演绎做辩护也将导致失败。以往的演绎辩护,除了导致循环论证之外,还另有失败原因。在元语言中为对象语言的理论做辩护,这将导致无限的后退,最终也跳不出语言的范围。演绎逻辑是人们发明出来的推理工具,同时也是一种严格按照规则进行的游戏,人们对它无法做出本体论或认识论的辩护。     

论工业化的性质

工业化是一种生产方式 ,是一种以机器化或现代化生产为基础的生产方式。这种生产方式我们可以称之为工业生产方式。工业化又是一个过程 ,是工业生产方式的扩散、渗透、演进 ,最终代替手工生产方式的过程。     

论企业技术性质和制度性质的统一

企业理论中的基本问题,即企业性质问题迄今依然未有定见.现有的企业理论多数是强调和分析了企业性质的某一个方面,这种不完全的分析导致了不同理论之间观点的冲突和争论.本文试图通过一个理想世界与现实世界的对比来精确定义企业的技术和制度性质,在此基础上建立一个基于技术-制度双重性质的企业理论分析框架,并阐述了技术和制度在动态中的相互关系.     

自在自然、人化自然与历史自然——马克思哲学的唯物主义基础概念发生逻辑研究

马克思哲学因坚持"自在自然"存在的客观性、第一性,而与一切哲学唯物主义相联系(同时也与一切唯心主义相区别),这是马克思哲学不可动摇的唯物主义前提;马克思哲学因发展出以实践为中介的"人化自然"概念而超越旧唯物主义,从而是人类对自然界认识的重大飞跃;马克思哲学因提出并阐述了"历史自然"的概念,而超越了近代人类中心论和整个资产阶级的自然主义意识形态,因此具有重要的当代性意义。