模態邏輯作爲一種非古典邏輯是與古典邏輯不同類型的邏輯。
透過引入斷詞,勾通了多值邏輯與古典邏輯的聯繫,使全部古典理論在多值邏輯中都有直接應用;
排中律是思維的基本規律之一,它構成古典邏輯中所有*的基礎。
*古典邏輯思想的發掘,尤其是對墨家邏輯的重新研究是在西方邏輯的系統引進,印度因明的復興推動下得以實現的特徵;
邏輯學邏輯學倡導前後一致且並然有序的思考。形式的古典邏輯,可細分爲元素論(概念、判斷、推理)與方法學(研究過程與*成過程)。現代邏輯追求形式化與數理化的最大可能,所護行的邏輯演算可理解爲符號系統加上一套運算規則。此外,它也引進了多值的系統,即命題除了“真/假”之外可以有其他的真理值。