이진법을 넘어: 불리언 사고에 반대하는 논거

인간이 세상을 이진법적—참 또는 거짓, 옳음 또는 그름, 선 또는 악—으로 범주화하려는 경향은 단순한 인지적 지름길 그 이상입니다. 이는 깊이 뿌리박힌 논리적 프레임워크의 반영입니다. 프로그래밍과 형식 논리의 세계에서 이는 불리언 논리(Boolean logic)로 알려져 있습니다. 이 시스템은 현대 컴퓨팅의 근간이지만, 이를 인간의 경험을 해석하는 보편적 교리로 적용하는 것은 종종 명확성의 붕괴와 현실의 미묘한 차이를 다루지 못하는 무능력으로 이어집니다.

불리언 사고의 함정

"불리언 사고"는 모든 문장이 반드시 참 또는 거짓 중 하나로 분류되어야 한다는 전제 조건을 의미합니다. 이는 어떤 명제에 대해 그 명제가 참이거나, 혹은 그 부정(negation)이 참이라는 "배중률(law of the excluded middle)"에 뿌리를 두고 있습니다.

이것은 구체적인 계획을 세우거나 코드를 작성하는 데는 효율적인 도구이지만, 복잡한 시스템에 적용될 때는 취약점이 됩니다. 주요 문제는 **맥락(context)**의 무시입니다. 현실 세계에서 문장의 진릿값은 결코 절대적이지 않습니다. 그것은 우리가 가정하는 전제와 공리(axioms)에 따라 달라집니다. 맥락에 따라 문장은 다음과 같을 수 있습니다:

  • 알 수 없거나 알 수 없는 것: 가용한 맥락이 불완전할 때.
  • 무의미한 것: 질문이 의미 있는 프레임워크 없이 제기될 때.
  • 참이면서 동시에 거짓인 것: 문제의 서로 다른 차원에 따라 맥락이 변할 때.

우리가 불리언 모델을 유용한 근사치로 보는 대신 절대적인 진리로 취급할 때, 우리는 모델의 불완전함을 세상의 불완전함으로 보기 시작합니다. 우리는 무언가가 알 수 없는 것이라면 단순히 정보가 부족하기 때문이라고 가정하거나, 문장이 무의미해 보인다면 우리가 그것을 해석하기 위해 충분히 노력하지 않았기 때문이라고 가정합니다. 이러한 사고방식은 존재의 복잡성을 이분법으로 강제하는 "흑백 논리"를 유발합니다.

정치적 및 철학적 비용

단일하고 보편적인 논리적 프레임워크를 고집하는 것은 단순한 학술적 관심사가 아닙니다. 이는 우리가 사회를 조직하는 방식에 심오한 영향을 미칩니다. 모든 문장에 대해 포괄적이고 유효한 보편적 공리 집합은 정치 철학자들이 권위주의적 교리로 설명하는 것과 유사합니다.

권위주의는 전제의 통제에서 번성합니다. 허용되는 좁은 공리의 집합을 정의함으로써, 권력자는 뒤따르는 결론을 지시할 수 있습니다. 다음과 같은 문구처럼 말입니다:

"전제를 통제하는 자가 결론을 통제한다."

선전(Propaganda)은 거짓된 이분법을 제시함으로써 불리언 사고를 활용합니다. 만약 어떤 관점이 "공식적인" 전제와 일치하지 않는다면, 그것은 거짓으로 분류됩니다. 이러한 이분법은 경쟁하는 프레임워크 간의 공존을 허용하지 않고, 오직 어느 쪽이 지배할 것인가에 대한 투쟁만을 만드는 세상을 만듭니다.

대안: 직관주의 논리

불리언 논리가 이진법의 감옥이라면, 직관주의(또는 구성적) 논리는 탈출구를 제공합니다. 참과 거짓에 초점을 맞추는 고전 논리와 달리, 직관주의 논리는 **증명(proof)**이라는 개념을 중심으로 합니다.

이 프레임워크에서 증명은 하나의 객체로 취급됩니다. 즉, 문장의 참을 입증하는 구성을 의미합니다. 결정적으로, 직관주의 논리는 배중률을 거부합니다. 두 개의 진릿값 대신, 다음과 같은 세 가지 가능성을 인정합니다:

  1. 문장이 임을 보여주는 증명이 구성될 수 있다.
  2. 문장이 거짓임을 보여주는 증명이 구성될 수 있다.
  3. 어느 쪽의 증명도 구성될 수 없다. 즉, 문장은 현재 참도 거짓도 아니다.

이 접근 방식은 맥락에 대한 예리한 인식을 강제합니다. 문장을 평가하기 전에, 직관주의적 사고가는 "맥락이 무엇인가? 우리가 작동하는 전제는 무엇인가?"라고 묻습니다.

반론 및 기술적 비판

불리언 사고에 반대하는 논거는 철학적 관점에서 설득력이 있지만, 기술적 및 과학적 커뮤니티로부터 상당한 반발을 마합니다합니다. 비판가들은 저자가 형식 논리와 인지적 편향을 혼동하고 있다고 주장합니다.

기본 사례의 유용성

일부에서는 불리언 대수가 NAND gate와 유사하다고 주장합니다. 즉, 다른 어떤 시스템도 구축할 수 있는 단순한 기초가 된다는 것입니다. 복잡한 문장을 일련의 참/거짓 평가로 환원하여, 우리는 추론론을 위한 관리 가능한 토대를 구축합니다. 한 논평가는 불리언 논리가 종종 다차원 시스템의 한 차원일 뿐이라고 언급했습니다. 각 차원이 이진법적일지라도, $N$ 차원의 조합은 엄청난 표현력을 가집니다.

인식론적 vs. 의미론적 진리

더욱 엄밀한 비판은 저자가 의미론적 진릿값(어떤 것이 참인지 여부)과 인식론적 상태(우리가 그것이 참임을 알고 있는지 여부)를 혼동하고 있다고 제안합니다. 이 관점에서, "내일 비가 올 것이다"와 같은 문장은 현재 우리에게 알 수 없는 상태라 하더라도, 이진법적 의미에서 여전히 참 또는 거짓 중 하나입니다. "알 수 없는" 상태는 지식의 상태이지, 진리 자체의 속성이 아닙니다.

경험적 진리의 역할

나아가 비판가들은 직관주의 증명 이론이 분석적 주장(수학적 주장)에는 작동하지만 종합적 주장(현실 세계에 대한 경험적 관찰)에는 실패한다고 지적합니다. 예를 들어, 중력은 정리(theorem)처럼 "증명"되는 것이 아니라, 경험적 증거에 의해 뒷받침되며 수정의 대상이 됩니다. 형식적 증명 이론을 심리학과 정치학에 적용하려는 시도는 경험적 진리가 실제로 어떻게 작동하는지 무시할 수 있습니다.

결론

불리언 논리를 필수적인 토대라고 보리느냐, 아니면 제한적인 교리로 보느냐에 관계없이, 이 긴장은 인간 인지에 대한 근본적인 진리를 강조합니다. 우리의 모델은 근사치입니다. 위험은 불리언 논리를 사용하는 데 있는 것이 아니라, 그것이 하나의 모델임을 잊는 데 있습니다. 여러 프레임워크가 공존할 수 있고 맥락이 진리의 주된 동력임을 인식함으로써, 우리는 흑백 논리의 취약함에서 벗어나 세상에 대한 더 탄력적이고 미묘한 이해로 나아갈 수 있습니다.

Sources