非標準模態邏輯(non-standard model logic)見“廣義模態邏輯”。
非標準模態邏輯(non-standard model logic)見“廣義模態邏輯”。
非標準模態邏輯(non-standard model logic)見“廣義模態邏輯”。...
非標準邏輯(non-standard logic)“非經典邏輯”的別稱。與“標準邏輯”相對。隨著現代邏輯的發展而產生的直覺主義邏輯、多值邏輯、模態邏輯、模糊(弗晰)邏輯等等。邏輯學家在稱經典邏輯為標準邏輯的同時,也就相應地將這些非經典邏輯...
60年代以來模態邏輯有很大發展,出現了許多新的系統,特別出現了許多非標準的模態邏輯系統,如認知邏輯、道義邏輯、時態邏輯等。模態邏輯由於研究和闡明了必然、可能、應當、知道等本體論和認識論概念的邏輯性質,因而具有深刻的哲學意義。
非標準邏輯中的自動演繹是指許多複雜的常識推理問題如能直接用高階邏輯或非經典邏輯來處理最為自然,然而這種技術還不夠成熟。已出現一些運用非單調邏輯的自動演繹系統,但理論根據還不充分。許多複雜的常識推理問題如能直接用高階邏輯或非...
60年代以來出現了許多非標準模態系統,如認知邏輯、義務邏輯、時態邏輯、道義邏輯。它們大多與哲學中認識論、倫理學等有關。模態邏輯介紹 在客觀世界中,事物是相互聯繫、相互制約的。但有聯繫得密切與不密切的區別。人們對客觀事物的認識...
此後,現代邏輯蓬勃發展,方興未艾,演繹部分出現了模態邏輯、多值邏輯等非經典或非標準邏輯分支群,歸納邏輯也與機率、統計等方法相結合,開拓了許多新的研究領域。此外,黑格爾首創了辯證邏輯體系,因其具有哲學和邏輯雙重性質,一般不將其...