简介:早在公元6000多年前,中国先人就创造了以爻卦为命题形式,以八卦和六十四卦为体系的辩证逻辑形式演绎系统。此后,又给出了爻辞和卦辞的语义解释系统。后来,又给出了《易经》的语义和语用解释系统。它自古至今,长盛不衰,成为中国的传统逻辑、文化发展的活水源头。以互补结构整体思想的形式结构和推理有效式规律为研究对象的数理辩证逻辑,是以易经逻辑为其辩证逻辑基础的,它又是易经逻辑的一致性扩大系统。它为实现易经逻辑的现代化发展提供了现代逻辑形式化方法。本文给出的易经逻辑形式公理系统DPA++就是其现代化形式公理系统。
简介:本文从人类对外界认知的普遍现象入手展开分析,在论证过程中,严格遵守证明论进行论证。所运用的图像模型和数学分析随着论证的不断深入而梯次渐进,首先证明了思维在认知活动时以认知模态形式进行,然后逐层阐释了认知思维的基本特征;等价性和拟容性;揭示了人类思维中存在的不符合既往理论的矛盾关系;关联但恒不属于;论证了思维具有拟它化和变元相容的特殊能力,以及这种特殊能力中蕴含的特殊形式的数——虚数。正是由于这种特殊矛盾和特殊数的存在,使得以往人类文明没能解决认知思维中的许多问题。由大量的认知模态构成意识场。正是意识场的作用把人类的行为与外界联系起来,由外界环境、意识场和人类行为三者共同作用形成了社会场。在人类与外界相互作用与相互联系的整个链条中,人类运用思维的认知、拟它化和变元相容能力,以复数形式处理与外界的关系,达到了与外界相匹配的目的。人类以认知模态与外界相对应。本文既论证了认知思维的基础,同时又证明了虚数在思维中的存在。