[논문 리뷰] Cognitive Binary Logic - The Natural Unified Formal Theory of Propositional Binary Logic

Nicolaie Popescu-Bodorin, Luminiţa State|arXiv (Cornell University)|2011. 06. 12.

Logic, Reasoning, and Knowledge참고 문헌 5인용 수 5

한 줄 요약

이 논문은 문맥적으로도 잘 정의된 공식, 형식적 증명, 추론, CNF 변환, 분해를 하나의 데이터 구조인 추론적 논의를 통해 표현하고 계산적으로 검증할 수 있는 통합적이고 의미적으로 닫혀 있는 형식 체계인 인지 이진 논리(Cognitive Binary Logic, CBL)를 제안한다. 주요 기여는 CBL 내에서 라이어 역설을 분해하여, 고전적 이진 논리의 논리적 결함이 아니라 의미적으로 타당하지 않은 공식임을 보여주는 것이다.

ABSTRACT

This paper presents a formal theory which describes propositional binary logic as a semantically closed formal language, and allows for syntactically and semantically well-formed formulae, formal proofs (demonstrability in Hilbertian acception), deduction (Gentzen's view of demonstrability), CNF-ization, and deconstruction to be expressed and tested in the same (computational) formal language, using the same data structure. It is also shown here that Cognitive Binary Logic is a self-described theory in which the Liar Paradox is deconstructed.

연구 동기 및 목표

• 문자, 의미, 계산을 통합한 통일된 이진 논리 이론을 개발하여, 문장적 구조, 의미적 타당성, 계산적 검증을 통합하는 데 목적이 있다.
• 유효한 추론과 문장적으로 참이지만 의미적으로 빈약한 함의를 구분함으로써 인간과 유사한 논리적 추론을 모델링하는 데 목적이 있다.
• 자기 참조적 형식이 의미적으로 타당하지 않음을 보여줌으로써 라이어 역설을 해소하는 데 목적이 있다.
• 자기 참조적 형식 체계 내에서 고전적 이진 논리가 여전히 일관성 있고 완전함을 유지함을 보여주는 데 목적이 있다.
• 증명, 추론, 분해가 균일하게 표현되고 검증 가능한 계산적 프레임워크를 구축하는 데 목적이 있다.

제안 방법

• 이진 논리의 이중 의미-계산 형식화(SCBL 및 CCBL)로 인지 이진 논리(CBL)를 도입한다.
• 단일 데이터 구조인 추론적 논의를 사용하여 문장적 타당성, 의미적 타당성, 형식적 증명, 분해를 표현하고 검증한다.
• 모든 논리적 변수 p ∈ V가 V 자체 내에서 추론될 수 있도록, 추론에 닫혀 있는 어휘 V를 정의한다. 이는 자가술적 표현을 가능하게 한다.
• 물리적 함의와 구별되는 의미적 함의를 정의함으로써, 진리의 전제만이 유효한 추론을 산출함을 보장한다.
• 공식 (t → p) ↔ ¬(p → f) 가 CCBL에서 추론적으로 증명 가능하다는 것을 증명하여, 논리적 일致성에 핵심적인 정체성을 확립한다.
• 자기 참조적 공식이 '나는 거짓이다'라고 주장할 경우 모순이 발생하므로, V 내에서 잘 정의된 공식일 수 없다는 점을 보여줌으로써 라이어 역설을 분해한다.

실험 결과

연구 질문

• RQ1 단일 프레임워크 내에서 이진 논리의 문장적, 의미적, 계산적 측면을 통합할 수 있는가?
• RQ2 인간과 유사한 논리적 추론—유효한 추론과 단순히 문장적으로 참인 진술을 구분하는 것—을 어떻게 형식적으로 모델링할 수 있는가?
• RQ3 의미적으로 닫혀 있는 형식 체계 내에서 라이어 역설은 진정으로 역설적인가, 아니면 잘못된 표현 뿐인가?
• RQ4 자기 설명이 가능하면서도 일관성을 유지할 수 있는 형식 이론은 가능한가, 자기 참조의 함정을 피할 수 있는가?
• RQ5 어떤 조건이 계산적 논리 체계에서 공식이 문장적으로도 의미적으로도 잘 정의된 상태임을 보장하는가?

주요 결과

• 라이어 역설은 인지 이진 논리(CCBL) 내에서 의미적으로 잘 정의된 공식이 아니며, 자기 참조적 타당하지 않은 구조로 인해 의미적 타당성 위반이 발생한다.
• 공식 (t → p) ↔ ¬(p → f) 는 CCBL에서 추론적으로 증명 가능하며, 논리적 일관성에 핵심적인 정체성을 확립한다.
• 공식 ((t → p) ∧ (p → f)) → f 는 CCBL에서 증명 가능한 참으로 확인되며, 어떤 p도 동시에 t → p 와 p → f 를 만족시킬 수 없음을 확인한다.
• 자기 참조적 명제 변수 p 가 참이지만 거짓이라고 주장하는 경우, 모순이 발생하므로 p ∉ V 임을 증명한다.
• 라이어 역설은 어휘 V 외부의 추가 기호가 포함되어 있어 의미적으로 타당하지 않기 때문에, 진정한 논리적 공식이 아니라 논리의 그림자 표현에 불과하다는 점이 분석된다.
• CCBL는 완전하고 타당한 형식 이론이며, 라이어 역설은 잘 정의된 공식으로 표현될 수 없어 고전 논리의 일관성이 유지된다.