부정 방법론: Via Negativa와 배제율의 형식 구조

Han Qin (秦汉)

왜 긍정은 닫히지 않는가

직접 서명, 물리적 소유 증명, 당사자의 인정처럼 결정적인 긍정 증거가 없는 문제가 있다. “누가 X인가”, “이것은 무엇인가”, “누가 이 일을 했는가” 같은 열린 귀속이다. “X는 Y다”라고 확정하려면 Y의 모든 필요조건을 다 갖추고 충분한 배제조건이 하나도 없음을 보여야 한다. 열린 후보 집합에서 그 목록의 완전성을 증명할 수 없다. 반면 “X는 Y가 아니다”에는 양립할 수 없는 한 사실이면 충분하다.

포퍼는 명제의 반증 가능성에서 이 비대칭을 다뤘다. 여기서는 대상을 특정하는 문제로 넓힌다. ZFCρ의 ρ(C,U)≠∅는 어떤 형식화도 여항을 남긴다고 말한다. 순수 형식만으로 긍정적 폐쇄를 끝내려면 ρ=∅가 되어야 하므로 원리상 불가능하다. Via Negativa는 증거가 부족할 때 쓰는 차선책이 아니라 결정적 증인이 없는 열린 문제에서 정직한 기본 작동이다.

세 가지 정의

D1 배제율은 “X는 Y가 아니다”라는 명제이며 세 조건을 갖춘다. 증거 사슬이 공개 문서, 코드, 판결, 등록 기록 같은 검증 가능한 사실로 거슬러 올라가야 한다. 문체 느낌이나 심리 추측 같은 주관 판단에 기대지 않아야 한다. 실제로 비어 있지 않은 후보 집합을 제거해야 한다. 직관적으로 매력적이어도 이 조건을 통과하지 못하면 단단한 배제가 아니다.

D2 잠금률은 “X를 배제할 수 없다”라는 쌍대 작동이다. 모든 알려진 배제율을 통과한 뒤에만 검사한다. 후보가 매우 적을 때 대상의 부인은 자신을 후보 밖으로 보내는 대신 “왜 굳이 부인하는가”라는 새 여항을 만들 수 있다. 부인의 구별력은 부인 자체가 아니라 배제 연쇄와의 교차에서 나온다.

D3 ρ-극한은 S₀⊃S₁⊃…처럼 줄어드는 후보 집합의 끝이다. 측도는 아주 작아질 수 있지만 형식화만으로 공집합이라고 선언할 수 없다. 그 극한과 최종 긍정 사이의 틈은 인정, 서명, 물리적 소유를 바탕으로 한 증명 같은 적극적 주체 행위만 건널 수 있다. 침묵은 그 틈을 건너지 않기로 한 행위이지 긍정적 귀속이 아니다.

네 정리

T1 부정–긍정 비대칭. 한 단단한 배제는 무한한 후보를 제거할 수 있지만 유한한 긍정 목록은 열린 체계를 하나로 닫지 못한다.
T2 배제력 비등가. 배제율의 힘은 같지 않다. 여항의 주된 방향을 정확히 자르는 병목 배제 하나가 나머지 전체보다 강할 수 있다.
T3 잠금 반전. 후보 집합이 영역별 문턱 θ 아래로 줄면 부인의 새 여항이 부인의 배제 효과보다 커져 후보의 무게를 높일 수 있다.
T4 여항 불소거. 형식 귀속은 실용적으로 매우 높은 확률에 이를 수 있지만 자기 힘으로 주체적 확정이 되지는 않는다.

따라서 “배제되지 않았다”와 “바로 그 사람이다”는 다르다. 잠금은 확률과 정보 구조의 반전이지 긍정 증명이 아니다.

사용자에게 필요한 다섯 규율

첫째, 배제만으로 긍정 결론을 얻으려 하지 않는다. 둘째, 자기 직관에 유리한 명제에도 같은 경도 검사를 적용한다. 셋째, 모든 배제율에 어떤 새 증거가 그것을 무너뜨릴지 적는다. 넷째, ρ를 신성화하지 않는다. 여항은 형식의 한계이지 숨은 신이 아니다. 다섯째, 증거 독립성을 감사한다. 같은 기록을 다른 말로 쓴 두 배제율이나 한쪽이 다른 쪽을 논리적으로 함의하는 경우는 하나로 센다.

방법은 자기 자신에도 부정적으로 적용된다. “참임이 증명되었다”는 권위를 요구하지 않고, 구체적 반례가 자신을 무너뜨릴 수 있게 한다. 신뢰는 문체의 장엄함이 아니라 절단의 추적 가능성에서 나온다.

법·암호·심리·윤리로 뻗기

형법의 합리적 의심 배제는 이미 부정 방법론을 제도화한다. 그러나 배심원의 최종 판단은 형식적 합법성과 진실이 자동으로 같은 것이 아님을 남긴다. 암호학에서 개인키 서명은 키를 갖지 않은 모든 사람을 한 번에 배제하는 매우 단단한 법칙이다. 영지식 증명은 “나는 안다”보다 “나는 알지 않을 수 없다”는 이중 부정의 구조에 가깝다.

자기 인식도 “나는 누구인가”라는 긍정 핵보다 “나는 이것이 아니다”라는 경계 축적으로 접근할 수 있다. 부정신학과는 도구가 같고 방향이 다르다. 디오니시우스와 마이모니데스, 쿠자누스가 술어를 지워 신성을 보호했다면 SAE는 부정을 통해 신격화를 벗기고 대상을 더 유한하고 인간적으로 만든다.

윤리적 함의도 의무를 늘리는 쪽이 아니다. 상대에게 좋은 선택을 더 명령하기보다 거짓 “해야 한다”를 제거한다. 함양은 답을 가르치는 일이 아니라 상대가 자기 목적을 세울 공간을 돌려주는 일이다.

예측과 반증 조건

독립된 배제가 충분히 많은 실제 조사에서는 하나의 병목 배제가 총 배제력을 지배할 것이다. 후보가 매우 작아지는 문턱 뒤에는 공개 부인이 오히려 잠금을 강화할 것이다. 배제가 늘수록 새 배제의 한계효과는 대체로 감소할 것이다. ρ-극한의 틈을 건너는 주체 행위는 인정, 서명·증명, 건너지 않는 침묵의 세 계열로 환원될 것이다.

힘이 고르게 분포한 반례, 작은 후보 집합에서도 일관되게 혐의를 낮추는 부인, 후반 배제의 한계효과가 줄지 않는 사례, 세 계열로 환원되지 않는 넷째 행위가 나오면 해당 명제는 수정되어야 한다. Via Negativa는 조사나 판단을 대신하지 않는다. 사실이 허용하는 ‘믿지 않음’과 주체가 끝내 선택하는 ‘믿음’ 사이의 도약을 숨기지 않게 한다.