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