现代逻辑

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