用形式化方法研究思维的形式结构及其规律的学科。与“传统逻辑”相对。是传统逻辑发展的最新阶段。形式化指用一套意义可以解释的特制表意符号去表示词项、命题、推理,获得它们的形式结构(词项形式、命题形式、推理形式 (本文共 1368 字 ) [阅读本文] >>
海量资源,尽在掌握
 用形式化方法研究思维的形式结构及其规律的学科。与“传统逻辑”相对。是传统逻辑发展的最新阶段。形式化指用一套意义可以解释的特制表意符号去表示词项、命题、推理,获得它们的形式结构(词项形式、命题形式、推理形式 (本文共 1368 字 ) [阅读本文] >>