現(xiàn)代邏輯

用形式化方法研究思維的形式結(jié)構(gòu)及其規(guī)律的學(xué)科。與“傳統(tǒng)邏輯”相對。是傳統(tǒng)邏輯發(fā)展的最新階段。形式化指用一套意義可以解釋的特制表意符號去表示詞項(xiàng)、命題、推理,獲得它們的形式結(jié)構(gòu)(詞項(xiàng)形式、命題形式、推理形式 ......    （本文共 1368 字 ）     [閱讀本文] >>