[论文解读] Comments to Neutrosophy

Carlos Gershenson|ArXiv.org|Nov 21, 2001

Computability, Logic, AI Algorithms参考文献 7被引用 6

一句话总结

本文批判並拓展了模糊邏輯，主張所有公理系統本質上都是不完備的，但模糊邏輯透過納入多種脈絡，提供了一個較不不完備的框架。本文引入「元脈絡性」以統合多種觀點，解決「愚蠢定理問題」，並將真實性、虛假性與不確定性重新定義為脈絡相對，提出更具綜合性的認識論範式。

ABSTRACT

Any system based on axioms is incomplete because the axioms cannot be proven from the system, just believed. But one system can be less-incomplete than other. Neutrosophy is less-incomplete than many other systems because it contains them. But this does not mean that it is finished, and it can always be improved. The comments presented here are an attempt to make Neutrosophy even less-incomplete. I argue that less-incomplete ideas are more useful, since we cannot perceive truth or falsity or indeterminacy independently of a context, and are therefore relative. Absolute being and relative being are defined. Also the "silly theorem problem" is posed, and its partial solution described. The issues arising from the incompleteness of our contexts are presented. We also note the relativity and dependance of logic to a context. We propose "metacontextuality" as a paradigm for containing as many contexts as we can, in order to be less-incomplete and discuss some possible consequences.

研究动机与目标

• 解決公理系統固有的不完備性，特別是在認識論框架中的問題。
• 主張模糊邏輯比其他系統更不不完備，因其能涵蓋並統合其他系統。
• 提出「元脈絡性」作為整合多種脈絡並減少認識論不完備性的範式。
• 探討邏輯與真實性的相對性，挑戰絕對解釋，主張應以脈絡依賴的推理為優先。
• 透過在脈絡框架內重新定義邏輯一致性，解決「愚蠢定理問題」。

提出的方法

• 主張真實性、虛假性與不確定性相對於脈絡，而非絕對。
• 引入「絕對存在」與「相對存在」的概念，以區分不受脈絡影響與受脈絡影響的存在。
• 應用「元脈絡性」概念以統合多種系統，透過脈絡整合最小化不完備性。
• 分析「愚蠢定理問題」——即從不一致的公理中產生平凡或無意義的定理——並透過脈絡過濾提供部分解決方案。
• 將邏輯重新框架為脈絡相依，主張邏輯有效性無法在特定框架之外評估。
• 運用哲學與邏輯分析，顯示不完備性不可避免，但可透過系統性包容性加以最小化。

实验结果

研究问题

• RQ1 一個系統如何能在仍不完備的情況下，比其他系統更不不完備？
• RQ2 脈絡在決定真實性、虛假性與不確定性中扮演何種角色？
• RQ3 如何透過元脈絡性統合多種系統以減少認識論上的不完備性？
• RQ4 「愚蠢定理問題」的本質為何？如何在脈絡邏輯中加以緩解？
• RQ5 邏輯本身在多大程度上依賴脈絡？這對公理系統有何影響？

主要发现

• 所有公理系統都是不完備的，因為公理無法在系統內被證明，僅能被假設。
• 模糊邏輯被視為比其他系統更不不完備，因其整合並統合了多種框架。
• 真實性、虛假性與不確定性並非絕對，而是相對於其評估的脈絡。
• 「愚蠢定理問題」發生於從不一致的公理中產生平凡或無意義的定理，並可透過脈絡過濾部分解決。
• 元脈絡性被提出作為整合多種系統以達致更大認識論覆蓋範圍的可行範式。
• 邏輯本身被證明是脈絡相依的，挑戰了普遍邏輯有效性的觀念。