简介:早在公元6000多年前,中国先人就创造了以爻卦为命题形式,以八卦和六十四卦为体系的辩证逻辑形式演绎系统。此后,又给出了爻辞和卦辞的语义解释系统。后来,又给出了《易经》的语义和语用解释系统。它自古至今,长盛不衰,成为中国的传统逻辑、文化发展的活水源头。以互补结构整体思想的形式结构和推理有效式规律为研究对象的数理辩证逻辑,是以易经逻辑为其辩证逻辑基础的,它又是易经逻辑的一致性扩大系统。它为实现易经逻辑的现代化发展提供了现代逻辑形式化方法。本文给出的易经逻辑形式公理系统DPA++就是其现代化形式公理系统。
简介:现实往往是如此地出人意料,有时,人们对于越熟悉的东西反而越不理解。千百年来多少人都看到过物体的下落,但直到伽利略方发现了物体的下落速度与其重量无关;有人每天要数次登上同一个熟悉的楼梯,但却不一定知道它究竟有多少级台阶;同样,多少古生物地层工作者每天都在进行着十分娴熟的生物地层对比工作,然而,如果细细追究起来,他们也不一定完全了解其对比的真实含义。近来,“穿时”之概念在各种论文、专著中被广泛采用,而且一直方兴未艾,但对其实质性的内涵又有多少人去深研细究呢?正如本书后面所讨论的那样,甚至连每个地质工作者天天所见的极为熟悉的地层,也并非人人都能说出其所以然,以至于造成到目前为止人们在发表的论文和专著中也极难找到一个严格的定义。