非經典邏輯中的否定

Negations in non-classical Logics

余俊偉(Jun-Wei Yu)

《哲學論集》 41期 (2008/07) Pp. 63-72

https://doi.org/10.29699/FJPS.200807.0005

摘要

直覺主義邏輯中的否定強於經典否定，它有直觀而清晰的說明；而相干邏輯與弗協調邏輯中的否定缺乏直觀性。原因在於直覺主義邏輯中的否定可以通過經典否定來說明，而後兩種邏輯中的否定卻不能。非經典否定只有通過經典否定得以說明才能獲得清晰的含義。弗協調邏輯容忍矛盾、不承認不矛盾律等說法不準確，其中所謂的矛盾並非通常意義的矛盾。

關鍵字

否定 ； 直覺主義邏輯 ； 相干邏輯 ； 弗協調邏輯 ； 矛盾

並列摘要

The negation in intuitionistic logic is stronger than the classical negation. It is intuitionistic and intelligible, while those in the other two logics are not intuitionistic. The reason is that the former can be defined by classical negation but the good property is absent from the latter two negations. Any non-classical negation is clear only if it can be explained by classical negation. It is not precise that the law of noncontradiction doesn't hold for paraconsistent logic. The meaning of the contradiction here is different from the usual.

參考文獻

馮棉(1989)。經典邏輯與直覺主義邏輯。華東師範大學出版社。

馮棉(1993)。相干與衍推邏輯。上海人民出版社。

科斯塔、張清宇譯(1989)。弗協調邏輯的哲學含義。哲學譯叢。1989(2)，68-72。

劉壯虎(1993)。謂詞演算。中國社會科學出版社。

劉壯虎(1995)。直覺主義邏輯的完全性和不完全性。哲學研究。增刊