詞語	現代邏輯
拼音	xiàn dài luó jí
字數	4字詞語
形式	abcd式詞語

意思：

數理邏輯和應用數理邏輯而形成的邏輯系統。其基本特點是形式化，就是用一套特制的表意符號去表示概念、判斷、推理，獲得它們的形式結構，從而把對概念、判斷、推理的研究轉化為對形式系統中符號的研究。

解釋：

數理邏輯和應用數理邏輯而形成的邏輯系統。其基本特點是形式化，就是用一套特制的表意符號去表示概念、判斷、推理，獲得它們的形式結構，從而把對概念、判斷、推理的研究轉化為對形式系統中符號的研究。