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