[论文解读] Note on the definition of neutrosophic logic

Takuma Imamura|arXiv (Cornell University)|Nov 7, 2018

Advanced Algebra and Logic参考文献 4被引用 8

一句话总结

本文通过消除对非标准分析的依赖，严格重新定义了中性逻辑，纠正了斯马兰达赫原始表述中的基础性错误。它利用标准分析建立了数学上严谨的中性逻辑框架，解决了概念上的模糊性，并为未来的研究提供了连贯且形式化的系统。

ABSTRACT

Smarandache introduced a new logic called `neutrosophic logic'. Its definition contains many misuses of nonstandard analysis, and its description is entirely hand-waving. In this note, we describe a rigorous definition of neutrosophic logic and correct all the errors in the original definition. We point out some problems concerning neutrosophic logic. Furthermore, we formulate neutrosophic logic with no use of nonstandard analysis.

研究动机与目标

• 纠正原始定义中对非标准分析的误用。
• 使用标准分析，提供一个数学上严谨且一致的中性逻辑表述。
• 解决原始定义中存在的概念模糊性和逻辑不一致问题。
• 消除模糊的描述性语言，代之以精确、形式化的定义。
• 建立一个适合正式数学和计算应用的中性逻辑基础。

提出的方法

• 使用标准实数而非非标准实数来重构中性逻辑。
• 将真值度、不确定度和假值度定义为标准单位区间 [0, 1] 中的元素，而非非标准扩张中的元素。
• 通过 [0, 1]^3 上的明确定义的函数来建立逻辑运算（例如合取、析取、否定）。
• 在新框架下确保运算的封闭性和一致性，以保持逻辑完整性。
• 使用经典实分析工具来验证所提出的中性逻辑系统的性质。
• 证明修正后的系统避免了原始表述中固有的悖论和不一致性。

实验结果

研究问题

• RQ1 如何在不依赖非标准分析的前提下重新定义中性逻辑？
• RQ2 斯马兰达赫原始定义的中性逻辑中存在哪些基本的逻辑与数学缺陷？
• RQ3 能否仅使用标准实数构建一个一致且严谨的中性逻辑系统？
• RQ4 移除非标准分析对中性逻辑运算的逻辑封闭性和一致性有何影响？
• RQ5 在数学严谨性和适用性方面，修正后的系统与原始系统相比有何差异？

主要发现

• 原始定义的中性逻辑因非标准分析的不当使用而存在重大错误。
• 仅使用标准实数和经典分析，即可构建一个完全严谨的中性逻辑系统。
• 修正后的框架确保了在标准逻辑运算下的逻辑一致性和封闭性。
• 消除非标准分析消除了基础性模糊性，增强了数学可信度。
• 新表述为未来中性逻辑的理论与应用研究提供了稳定且形式化的基础。
• 本文证明了非标准分析对于定义中性逻辑并非必要，从而简化了其数学基础。