检索结果-南通市图书馆

建构数理辩证逻辑系统必须澄清的一些理论问题

在线全文

学校读者我要写书评

暂无评论

河南大学学报（社会科学版） 2009年第4期49卷 1-7页

作者：马佩河南大学哲学与公共管理学院河南开封475001

为了建构数理辩证逻辑系统,必须首先正确理解如下几个理论问题:1.关于数理辩证逻辑的名称问题;2.辩证逻辑的研究对象和学科性质问题;3.辩证逻辑能够不能够和应该不应该形式化问题;4.非形式化辩证逻辑与数理辩证逻辑的关系问题;5.正确区... 详细信息

为了建构数理辩证逻辑系统,必须首先正确理解如下几个理论问题:1.关于数理辩证逻辑的名称问题;2.辩证逻辑的研究对象和学科性质问题;3.辩证逻辑能够不能够和应该不应该形式化问题;4.非形式化辩证逻辑与数理辩证逻辑的关系问题;5.正确区分逻辑矛盾与辩证矛盾问题;6.数理辩证逻辑与数理普通逻辑的关系问题。

关键词：数理辩证逻辑数理普通逻辑逻辑矛盾辩证矛盾

在线全文

学校读者我要写书评

暂无评论

从认知心理学的观点看数理辩证逻辑

湖南科技大学学报（社会科学版） 2010年第1期13卷 25-31页

作者：赵总宽中国人民大学哲学院北京100872

现代逻辑不应片面地拒斥心理学。它与心理学有着本质的区别而又有内在的关联。认知心理学的发展提出了人生认知发展的辩证推理阶段问题。数理辩证逻辑实现了辩证推理形式的系统化和形式化发展。它为认知心理学理论与应用的发展提供了强... 详细信息

现代逻辑不应片面地拒斥心理学。它与心理学有着本质的区别而又有内在的关联。认知心理学的发展提出了人生认知发展的辩证推理阶段问题。数理辩证逻辑实现了辩证推理形式的系统化和形式化发展。它为认知心理学理论与应用的发展提供了强有力的逻辑支持。

关键词：现代逻辑认知心理学辩证推理数理辩证逻辑

在线全文

学校读者我要写书评

暂无评论

从易经逻辑到数理辩证逻辑

毕节学院学报（综合版） 2007年第5期25卷 35-43页

作者：赵总宽中国人民大学哲学院北京100872

早在6000多年前,中国先人就创造了以爻卦为命题形式,以八卦和六十四卦为体系的辩证逻辑形式演绎系统。此后,又给出了爻辞和卦辞的语义解释系统。后来,又给出了《易经》的语义和语用解释系统。它自古至今,长盛不衰,成为中国的传统逻辑、... 详细信息

早在6000多年前,中国先人就创造了以爻卦为命题形式,以八卦和六十四卦为体系的辩证逻辑形式演绎系统。此后,又给出了爻辞和卦辞的语义解释系统。后来,又给出了《易经》的语义和语用解释系统。它自古至今,长盛不衰,成为中国的传统逻辑、文化发展的活水源头。以互补结构整体思想的形式结构和推理有效式规律为研究对象的数理辩证逻辑,是以易经逻辑为其辩证逻辑基础的,它又是易经逻辑的一致性扩大系统。它为实现易经逻辑的现代化发展提供了现代逻辑形式化方法。易经逻辑形式公理系统DPA++就是其现代化形式公理系统。

关键词：易经逻辑的形式演绎系统中国的传统逻辑数理辩证逻辑易经逻辑的形式公理系统 DPA^++

在线全文

学校读者我要写书评

暂无评论

从易经逻辑到数理辩证逻辑

思维科学通讯 2008年第3期 22-34页

作者：赵总宽中国人民大学哲学院北京100872

早在公元6000多年前，中国先人就创造了以爻卦为命题形式，以八卦和六十四卦为体系的辩证逻辑形式演绎系统。此后，又给出了爻辞和卦辞的语义解释系统。后来，又给出了《易经》的语义和语用解释系统。它自古至今，长盛不衰，成为中国的... 详细信息

早在公元6000多年前，中国先人就创造了以爻卦为命题形式，以八卦和六十四卦为体系的辩证逻辑形式演绎系统。此后，又给出了爻辞和卦辞的语义解释系统。后来，又给出了《易经》的语义和语用解释系统。它自古至今，长盛不衰，成为中国的传统逻辑、文化发展的活水源头。以互补结构整体思想的形式结构和推理有效式规律为研究对象的数理辩证逻辑，是以易经逻辑为其辩证逻辑基础的，它又是易经逻辑的一致性扩大系统。它为实现易经逻辑的现代化发展提供了现代逻辑形式化方法。本文给出的易经逻辑形式公理系统DPA＋＋就是其现代化形式公理系统。

关键词：易经逻辑的形式演绎系统中国的传统逻辑数理辩证逻辑易经逻辑的形式公理系统DPA++

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

从经典逻辑到数理辩证逻辑

毕节学院学报（综合版） 2008年第1期26卷 45-47页

作者：赵总宽中国人民大学哲学院北京100872

经典逻辑是现代逻辑发展早期的最基本最重要的成果。它成为现代逻辑进一步发展的基础。现代逻辑的发展表明,经典逻辑既有其适用性,又有其局限性。数理辩证逻辑是在保障其适用性,又克服其局限性基础上发展起来的现代逻辑系统。数理辩证... 详细信息

经典逻辑是现代逻辑发展早期的最基本最重要的成果。它成为现代逻辑进一步发展的基础。现代逻辑的发展表明,经典逻辑既有其适用性,又有其局限性。数理辩证逻辑是在保障其适用性,又克服其局限性基础上发展起来的现代逻辑系统。数理辩证逻辑将现代逻辑适用领域扩展到非直谓性、不确定性和内涵性推理领域。数理辩证逻辑扬弃了源于经典逻辑的逻辑悖论;防止了基于经典逻辑的逻辑怪论。

关键词：经典逻辑数理辩证逻辑非直谓性推理不确定性推理内涵性推理逻辑悖论逻辑怪论

在线全文

学校读者我要写书评

暂无评论

重新找回人工智能的可解释性

智能系统学报 2019年第3期14卷 393-412页

作者：何华灿西北工业大学计算机学院

针对深度神经网络 AI研究的可解释性瓶颈,指出刚性逻辑(数理形式逻辑)和二值神经元等价,二值神经网络可转换成逻辑表达式,有强可解释性。深度神经网络一味增加中间层数来拟合大数据,没有适时通过抽象把最小粒度的数据(原子)变成粒度较... 详细信息

针对深度神经网络 AI研究的可解释性瓶颈,指出刚性逻辑(数理形式逻辑)和二值神经元等价,二值神经网络可转换成逻辑表达式,有强可解释性。深度神经网络一味增加中间层数来拟合大数据,没有适时通过抽象把最小粒度的数据(原子)变成粒度较大的知识(分子),再把较小粒度的知识变成较大粒度的知识,把原有的强可解释性淹没在中间层次的汪洋大海中。要支持多粒度的知识处理,需把刚性逻辑扩张为柔性命题逻辑(命题级数理辩证逻辑),把二值神经元扩张为柔性神经元,才能保持强可解释性。本文详细介绍了从刚性逻辑到柔性逻辑的扩张过程和成果,最后介绍了它们在 AI研究中的应用,这是重新找回 AI研究强可解释性的最佳途径。

关键词：人工智能可解释性演化不确定性泛逻辑学柔性命题逻辑柔性神经元数理辩证逻辑

在线全文

学校读者我要写书评

暂无评论

辩证逻辑的数学化趋势

逻辑 2007年第4期 6-11页

作者：何华灿艾丽蓉王华

本文首先分析了标准逻辑的局限性，讨论了人工智能深入发展对逻辑学提出的各种要求，指出蓬勃兴起的各种非标准逻辑实质上都在从不同的层次或侧面探索如何处理各种矛盾和不确定性，它们实质上都在探讨辩证逻辑的数学化之路。其次，简单... 详细信息

本文首先分析了标准逻辑的局限性，讨论了人工智能深入发展对逻辑学提出的各种要求，指出蓬勃兴起的各种非标准逻辑实质上都在从不同的层次或侧面探索如何处理各种矛盾和不确定性，它们实质上都在探讨辩证逻辑的数学化之路。其次，简单介绍了作者提出的实现辩证逻辑数学化的规划《泛逻辑学研究纲要》，及在纲要指导下建立的《标准命题泛逻辑学》要点，指出该逻辑系统在包容各种辩证矛盾的同时，有效地排除了逻辑矛盾。文章最后还介绍了世界泛逻辑研究动态和第二届世界泛逻辑大会，希望引起大家的注意。

关键词：标准逻辑非标准逻辑人工智能数理辩证逻辑泛逻辑学

来源：人大复印报刊资料评论

在线全文

人大复印报刊资料

学校读者我要写书评

暂无评论

辩证逻辑的数学化趋势

河池学院学报 2007年第1期27卷 6-11页

作者：何华灿艾丽蓉王华西北工业大学智能与逻辑研究所陕西西安710072

本文首先分析了标准逻辑的局限性,讨论了人工智能深入发展对逻辑学提出的各种要求,指出蓬勃兴起的各种非标准逻辑实质上都在从不同的层次或侧面探索如何处理各种矛盾和不确定性,它们实质上都在探讨辩证逻辑的数学化之路。其次,简单介绍... 详细信息

本文首先分析了标准逻辑的局限性,讨论了人工智能深入发展对逻辑学提出的各种要求,指出蓬勃兴起的各种非标准逻辑实质上都在从不同的层次或侧面探索如何处理各种矛盾和不确定性,它们实质上都在探讨辩证逻辑的数学化之路。其次,简单介绍了作者提出的实现辩证逻辑数学化的规划《泛逻辑学研究纲要》,及在纲要指导下建立的《标准命题泛逻辑学》要点,指出该逻辑系统在包容各种辩证矛盾的同时,有效地排除了逻辑矛盾。文章最后还介绍了世界泛逻辑研究动态和第二届世界泛逻辑大会,希望引起大家的注意。

关键词：标准逻辑非标准逻辑人工智能数理辩证逻辑泛逻辑学