现代逻辑学理论分科

现代逻辑学理论分科现代逻辑学基本理论是多方面的，大致分为四个方面：一，数理逻辑包括一阶逻辑、高阶逻辑、模型论、证明论、递归论和公理集合论；二，哲学逻辑包括经典逻辑的各种扩充和各种非经典逻辑，如模态逻辑、时态逻辑、条件句逻辑、多值逻辑、相干逻辑、直觉主...