现代逻辑

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

现代逻辑是逻辑学的一个分支，主要研究符号逻辑和形式逻辑，以及逻辑推理和论证的规范和方法。现代逻辑学在数理逻辑、哲学逻辑、计算逻辑等方面有着广泛的应用和发展。