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

定义

现代逻辑指逻辑发展的最高阶段，即对称逻辑。逻辑的发展经过形式逻辑与辩证逻辑两大阶段，辩证逻辑的发展经过矛盾逻辑与对称逻辑两大阶段。对称逻辑既指对称的思维规律与思维方式，也指研究人的整体思维规律的学说。对称逻辑以对称规律为基本的思维规律，是思维内容与思维形式、思维主体与思维客体、科学本质与客观本质对称的逻辑。对称逻辑是辩证逻辑的高级阶段，是具象逻辑与抽象逻辑相统一的、逻辑发展的最高阶段。对称逻辑整体运用人类的思维规律，综合运用形式逻辑与辩证逻辑，成功化解了困扰人类几千年的悖论。

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