现代逻辑

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