资料内容:
非经典逻辑 ⑩与经典逻辑平行的逻辑:多值、模糊逻辑 一些定理不成立,有新概念、新定理 o 1⑩0对经典逻辑的扩充:模态、时态逻辑 一般承认经典逻辑的定理。一是扩充语言;二是扩充定理。 例如:模态逻辑增加了L(是必然的)算子和M(是可能的)算子。