A Paracomplete Multi-agent Epistemic Logic System Facing Epistemic Paradoxes

一個面向認知悖論的弗完全認知邏輯系統

Xudong HAO(郝旭東)

《哲學與文化》 50卷2期 (2023/02) Pp. 153-169

摘要

P_1 is a paracomplete logic system, in which the law of excluded middle is generally invalid. Based on P_1, a paracomplete multi-agent epistemic logic systems P_1E_mK can be constructed by logical expansion. The soundness and completeness of these systems are proved, and their special theorems are also presented in this study. In this type of system, the epistemic version of the law of excluded middle and the principle of explosion are invalid. This study applies the logical technique of paracomplete logic to epistemic logic, constructs a new philosophical logic system, i.e. a paracomplete epistemic logic system. This study not only promotes the further development of paracomplete logic, but also fully demonstrates the value of paracomplete logic as a solution to the underlying logic of epistemic paradox.

關鍵字

Paracomplete logic ； Epistemic Logic ； The Law of Excluded Middle ； Dialetheia ； Paradox

並列摘要

P_1是一個弗完全邏輯系統，在其中排中律在一般意義上是無效的。基於P_1通過邏輯擴充的方法，可以構造出弗完全多主體認知邏輯系統P_1E_mK。本研究證明了這種系統的可靠性和完全性，並給出了表徵其特徵的內定理。在這種邏輯系統中，排中律和爆炸原理的認識論版本是無效的。本研究將弗完全邏輯的邏輯技術應用於認知邏輯，構建了一種新的哲學邏輯系統，即弗完全認知邏輯系統；本研究不僅進一步推動了弗完全邏輯的進一步發展，而且還充分表明了弗完全邏輯可以作為解決認知悖論底層邏輯的價值。

並列關鍵字

弗完全邏輯 ； 認知邏輯 ； 排中律 ； 真矛盾 ； 悖論

參考文獻

Arruda, Ayda I. “A Survey of Paraconsistent,” in Mathematical Logic in Latin America. Ed. by A. I. Arruda, R. Chuaqui and N. C. A. da Costa. Amsterdam: North Holland, 1980, pp.1-41.

Abar, Celina A. A. P. “On Non-Alethic Logic,” Lecture Notes in Computer Science 945(1995): 339-347.

Chellas, Brian F. Modal Logic: An Introduction. New York: Cambridge University Press, 1980.

da Costa, Newton C. A. “Logics That Are Both Paraconsistent and Paracomplete,” Rendiconti dell’ Accademia Nazionale dei Lincei 83(1989): 29-32.

da Costa, Newton C. A., Decio Karuse and Otávio Buéno. “Paraconsistent Logics and Paraconsistency,” in Handbook of the Philosophy of Science. Philosophy of Logic. Ed. by Dov M. Gabbay, P. Thagard and J. Woods. Amsterdam: Elsevier, 2007, pp.790-910.