[論文レビュー] 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 数学的整合性と応用可能性の観点から、見直された体系は元々の体系と比べてどのように異なるか？

主な発見

• 元々のニュートロソフィック論理の定義には、非標準解析の誤用による重大な誤りが含まれている。
• 標準実数と古典的解析を用いることで、完全に厳密なニュートロソフィック論理体系を構築できる。
• 見直されたフレームワークは、標準論理演算における論理的一致性と閉包性を保証する。
• 非標準解析の排除により、基礎的曖昧性が解消され、数学的信頼性が向上する。
• 新しい定式化は、将来のニュートロソフィック論理の理論的および応用的研究の安定的で形式的な基盤を提供する。
• この論文は、非標準解析がニュートロソフィック論理を定義するために必要ではないことを示しており、数学的基盤を単純化している。