APP 用形式化方法研究思維的形式結(jié)構(gòu)及其規(guī)律的學(xué)科。與“傳統(tǒng)邏輯”相對。是傳統(tǒng)邏輯發(fā)展的最新階段。形式化指用一套意義可以解釋的特制表意符號去表示詞項、命題、推理,獲得它們的形式結(jié)構(gòu)(詞項形式、命題形式、推理形式 （本文共 1368 字 ） [閱讀本文] >>
海量資源，盡在掌握
用形式化方法研究思維的形式結(jié)構(gòu)及其規(guī)律的學(xué)科。與“傳統(tǒng)邏輯”相對。是傳統(tǒng)邏輯發(fā)展的最新階段。形式化指用一套意義可以解釋的特制表意符號去表示詞項、命題、推理,獲得它們的形式結(jié)構(gòu)(詞項形式、命題形式、推理形式 （本文共 1368 字 ） [閱讀本文] >>
說明： 本文檔由創(chuàng)作者上傳發(fā)布，版權(quán)歸屬創(chuàng)作者。若內(nèi)容存在侵權(quán)，請點擊申訴舉報
