现代逻辑

【词语拼音】xiàn dài luó jí

【词语繁体】現代邏輯

【词语结构】ABCD式词语

【词语字数】四字词语

【词语解释】
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。

【网络解释】

现代逻辑是指数理逻辑和应用数理逻辑而形成的逻辑系统。