[논문 리뷰] To What Type of Logic Does the "Tetralemma" Belong?

Rafael D. Sorkin|arXiv (Cornell University)|2010. 03. 30.

Quantum Mechanics and Applications참고 문헌 8인용 수 4

한 줄 요약

이 논문은 전통적으로 비논리적이라고 여겨져 온 불교의 사례론(四種論)을 양자 기초 이론에서 발전시킨 비고전적 논리 프레임워크인 비동형 논리(anhomomorphic logic) 내에서 일관된 구조로 이해할 수 있다고 주장한다. 주장되지 않은 명제와 그 확인/부정 상태를 구분함으로써, 이 논문은 네 가지 대안(A, ¬A, 둘 다, 둘 다 아님)이 모순되지 않음을 보여주며, 진리값이 이진이 아니며 더 넓은 논리적 공간을 반영함을 설명한다. 이는 나가르지운의 논리를 현대 양자 기반 논리와 일치시키는 해석을 가능하게 하며, 신비적 부정이 아니라 논리적 부정으로서의 해석을 가능하게 한다.

ABSTRACT

Although the so called tetralemma might seem to be incompatible with any recognized scheme of logical inference, its four alternatives arise naturally within the anhomomorphic logics which have been proposed in order to accommodate certain features of microscopic (i.e. quantum) physics. This suggests that the possibility of similar, "non-classical" logics might have been recognized in India at the time when Buddhism arose.

연구 동기 및 목표

• 사례론이 'A와 ¬A 둘 다' 또는 'A와 ¬A 둘 다 아님'처럼 서로 모순되는 대안을 포함하는 이유를 오랫동안 풀리지 않은 수수께끼로 해결하기 위해.
• 사례론이 비이성적이거나 의미가 없다는 가정을 도전하며, 오히려 비고전적 논리의 초기로 인정되지 않은 형태일 수 있음을 주장하기 위해.
• 양자역학을 위한 원래 개발된 비동형 논리가 사례론의 구조를 모순 없이 수용할 수 있는 형식적 프레임워크를 제공함을 보여주기 위해.
• 나가르지운의 네 가지 대안에 대한 전반적 부정을 신비적 부정이 아니라 이 비고전적 체계 내에서의 이차 논리 연산으로 재해석하기 위해.

제안 방법

• 진술되지 않은 명제(순수한 가능성으로서)와 그 확인 또는 부정 상태 사이의 구분을 도입하며, 확인 또는 부정을 나타내는 함수 φ를 사용한다.
• 사례론을 A와 ¬A의 확인 및 부정의 네 가지 조합으로 모델링하며, 진리 기능적 복합문이 아니라 진리 기능적 복합문이 아니라고 본다.
• 비동형 논리를 적용하며, 이는 명제가 확인되거나 부정되기 전까지는 미확인 상태로 간주되며, 진리값이 이진이 아니게 하는 방식으로 고전 논리를 일반화함으로써 양자 논리의 분배 법칙 실패 문제를 피한다.
• 기호 논리학을 사용하여 일차 명제의 진리값에 관한 이차 명제를 표현하며, 예를 들어 φ(φ(A)=1 ∧ φ(¬A)=1)=0 와 같이 나가르지운의 전반적 부정을 모델링한다.
• 사례론을 상호 배타적인 대안의 집합이 아니라, 명제와 그 부정에 대한 가능한 진리값 할당의 완전한 논리적 공간으로 해석한다.
• 비동형 논리에서 배제의 법칙과 모순의 법칙이 유지됨을 보여주며, φ(A)는 0 또는 1의 값만을 가지며, 어떤 명제도 동시에 0과 1일 수 없다.

실험 결과

연구 질문

• RQ1 고전 논리가 이러한 형태를 기각함에도 불구하고, 사례론이 왜 'A와 ¬A 둘 다'와 같은 논리적으로 모순되는 형태를 포함하는가?
• RQ2 사례론이 비이성적이거나 언어적 낭비가 아니라, 오히려 비고전적 논리 체계의 초기 형태일 수 있는가?
• RQ3 사례론이 배제의 법칙과 모순의 법칙과 어떻게 형식적으로 조화를 이룰 수 있는가?
• RQ4 나가르지운의 네 가지 대안에 대한 전반적 부정은 신비적 부정으로서 이해할 것인가, 아니면 이차 논리 연산으로서 이해할 것인가?
• RQ5 양자 기초 이론에서 개발된 비동형 논리가 사례론을 일관된 프레임워크로 해석하는 데 적합한가?

주요 결과

• 사례론의 네 가지 대안은 A와 ¬A의 확인 및 부정 조합으로 해석될 경우, 진리 기능적 복합문이 아니라면 모순되지 않는다.
• 비동형 논리는 명제가 확인되거나 부정되기 전까지는 미확인 상태로 간주되므로, 사례론의 구조가 논리적으로 타당하고 포괄적인 일관된 프레임워크를 제공한다.
• 비동형 논리에서 사례론이 기존의 배제의 법칙과 모순의 법칙과의 갈등은 사라지며, φ(A)가 0 또는 1의 값만을 가지며, 어떤 명제도 동시에 두 값을 가질 수 없기 때문이다.
• 나가르지운의 네 가지 대안에 대한 전반적 부정은 신비적 기각이 아니라, 명제와 그 부정에 대한 가능한 모든 진리값 할당을 거부하는 이차 논리 연산으로 해석될 수 있다.
• 인과성에 관한 사례론은 다른 것들과는 다를 수 있으며, '자신에 의해 유도됨'과 '다른 것으로부터 유도됨'은 다수의 원인 또는 원인이 없을 경우 논리적 보완이 아니므로 동일한 해석이 필요로 하지 않는다.
• 이 논문은 고대 인도 논리가 현대 비고전적 논리, 특히 양자 기초 이론에서 발전한 논리들과 유사한 것을 예견했을 수 있으며, 이러한 체계가 순수하게 현대적 혁신이 아니라는 견해에 도전한다.