“传统逻辑”的对称。19世纪末20世纪初发展起来的用形式化方法研究思维的形式结构及其规律的各种逻辑体系的总称。即数理逻辑以及运用数理逻辑方法研究某些特定领域的特殊逻辑问题的各种应用逻辑。一说还应包括辩证逻辑及其现代进展。