[논문 리뷰] Note on the definition of neutrosophic logic

Takuma Imamura|arXiv (Cornell University)|2018. 11. 07.

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 수학적 타당성과 적용 가능성 측면에서 수정된 체계는 원래 체계와 어떻게 비교되는가?

주요 결과

• 원래 네우트로소픽 논리 정의는 비표준 해석의 부적절한 사용으로 인해 중대한 오류를 포함하고 있다.
• 표준 실수와 고전적 해석을 사용하여 완전히 엄밀한 네우트로소픽 논리 체계를 구성할 수 있다.
• 수정된 프레임워크는 표준 논리 연산 하에서 논리적 일관성과 닫힘성을 보장한다.
• 비표준 해석의 제거는 기초적 모호성을 해소하고 수학적 신뢰성을 향상시킨다.
• 새로운 정의는 향후 네우트로소픽 논리의 이론적 및 응용 연구를 위한 안정적이고 형식적인 기반을 제공한다.
• 논문은 비표준 해석이 네우트로소픽 논리 정의에 필요하지 않음을 입증하며, 그 수학적 기초를 단순화한다.