資料內容:
非經典邏輯 ⑩與經典邏輯平行的邏輯:多值、模糊邏輯 一些定理不成立,有新概念、新定理 o 1⑩0對經典邏輯的擴充:模態(tài)、時態(tài)邏輯 一般承認經典邏輯的定理。一是擴充語言;二是擴充定理。 例如:模態(tài)邏輯增加了L(是必然的)算子和M(是可能的)算子。