⒈ 數(shù)理邏輯和應(yīng)用數(shù)理邏輯而形成的邏輯系統(tǒng)。其基本特點(diǎn)是形式化，就是用一套特制的表意符號(hào)去表示概念、判斷、推理，獲得它們的形式結(jié)構(gòu)，從而把對(duì)概念、判斷、推理的研究轉(zhuǎn)化為對(duì)形式系統(tǒng)中符號(hào)的研究。