Non-classical Topological Evidence Logic

개요: 우리가 무엇을 어떻게 아는가

당신이 어떤 가설이 참인지 알아내려고 노력하고 있다고 상상해 보십시오. 논리학의 세계에서 우리는 보통 결정을 내리는 데 도움을 주는 '도구 상자'의 규칙들을 사용합니다. 오랫동안 논리학자들은 매우 엄격한 흑백 논리인 **고전 논리(Classical Logic)**라는 도구 상자를 사용해 왔습니다. 이 논리는 모든 문장이 100% 참이거나 100% 거짓이라고 가정하며, 한 가지를 알면 그로부터 파생되는 모든 것을 자동으로 알게 된다고 가정합니다.

하지만 저자인 이고르 세들라르(Igor Sedlár)는 실제 사람(그리고 일부 컴퓨터 시스템)은 그렇게 추론하지 않는다고 주장합니다. 우리는 종종 불완전한 정보, 모순, 또는 회색 지대를 다룹니다. 이 논문은 이러한 복잡하고 현실적인 시나리오에 더 잘 작동하는 새로운 종류의 '증거 논리'를 구축하고자 합니다.

원래의 아이디어: "조밀한(Dense)" 지도

이 논문은 **위상적 증거 논리(Topological Evidence Logic, TEL)**라는 개념에서 시작합니다. 이를 이해하기 위해, 당신이 영토를 지도화하려는 지도 제작자라고 상상해 보십시오.

• 지도 (위상): 모든 나무를 일일이 그리는 대신, 당신은 확인된 증거가 있는 "열린 영역(open areas)"을 그립니다.
• 일관된 정당화: 원래의 TEL에서 가설이 "일관되게 정당화되었다"(또는 진정으로 알려졌다)고 간주되는 것은, 그 가설이 **조밀한 열린 집합(dense open set)**에 의해 뒷받침될 때입니다.
  • 비유: 당신이 초원에서 특정 종류의 꽃을 찾고 있다고 상상해 보십시오. 당신은 초원의 모든 평방 인치마다 꽃을 볼 필요는 없습니다. 단지 증거의 구역(열린 집합)을 찾아내기만 하면 됩니다. 그런데 그 구역이 너무 광범위해서("조밀해서"), 당신이 초원의 어디를 보더라도 그 구역에 근접할 수밖에 없다면 충분합니다. 만약 당신의 증거가 초원을 아주 철저하게 덮고 있어서 그 증거를 피할 수 없다면, 당신의 가설은 정당화됩니다.

이 원래 버전의 논리는 매우 잘 작동했지만, 엄격한 흑백 논리인 고전 논리 도구 상자에 의존했습니다. 이 논문은 다음과 같은 질문을 던집니다: 만약 우리가 도구 상자를 회색 지대나 모순을 다룰 수 있는 것으로 바꾼다면 어떤 일이 벌어질까?

제1부: 직관주의 버전 (The "Maybe" Logic)

먼저, 저자는 **직관주의 논리(Intuitionistic Logic)**를 시도합니다. 이것을 "지식을 쌓아가는" 논리라고 생각하십시오. 이 세계에서는 어떤 것이 불가능하다는 증명을 하지 못하는 한, 단순히 "그것은 사실이 아니다"라고 말할 수 없습니다. 이것은 건설 현장과 같습니다. 벽을 실제로 다 짓기 전까지는 벽이 "완성되었다"라고 말할 수 없는 것과 같습니다.

• 과제: 원래의 TEL은 "조밀함"을 정의하기 위해 특정한 도구(불 대수적 부정, Boolean negation)가 필요했습니다. 하지만 "쌓아가는" 논리에서는 그 특정한 도구가 같은 방식으로 존재하지 않습니다.
• 해결책: 저자는 만약 특수한 "전역 양상(Global Modality)"(현재 위치뿐만 아니라 전체 지도를 한꺼번에 볼 수 있게 해주는 도구)을 추가한다면, 여전히 "조밀함"을 정의할 수 있음을 보여줍니다.
• 결과: 당신은 "아마도(maybe)"라는 성격을 가진 증거를 다룰 수 있는 버전의 TEL을 성공적으로 구축할 수 있습니다. 이 논리는 여전히 견고하며, 단지 "아마도"의 특성을 처리하기 위해 약간 다른 일련의 지침이 필요할 뿐입니다.

제2부: 관련성 버전 (The "Connected" Logic)

다음으로, 저자는 **관련성 논리(Relevant Logic)**를 시도합니다. 이것이 가장 흥란한 부분입니다. 고전 논리에서는 만약 당신이 "달은 치즈로 만들어졌다"라고 믿는다면, 실수로 "달은 치즈로 만들어졌으므로, 나는 프랑스 왕이다"라는 결론까지 믿어야 하는 상황에 처할 수 있습니다(엄격한 논리에서는 거짓 전제가 무엇이든 증명할 수 있기 때문입니다).

관련성 논리는 다음과 같이 말합니다: 안 된다! 당신의 결론은 반드시 전제와 실제로 연결되어 있어야 한다. 만약 전제가 결론과 아무런 관련이 없다면, 그 논증은 타당하지 않습니다. 이는 대화 중에 브릿지(연결 고리) 없이 갑자기 전혀 상관없는 주제로 건너뛸 수 없는 대화와 같습니다.

• 실패: 저자는 먼저 표준적인 관련성 논리 도구 상자를 사용하여 원래의 TEL 규칙을 적용해 보았습니다. 그러나 실패했습니다.
  • 왜인가? 이 "연결된" 세계에서는 표준적인 도구들이 "여집합의 내부(interior of a complement)"를 표현할 수 없습니다(이는 조밀함을 정의하는 데 필요합니다). 이는 마치 고체만을 측정하는 자만을 가지고 상자 안의 빈 공간을 측정하려고 하는 것과 같습니다. 수학적 구조가 무너집니다. 즉, 증거가 충분히 "조밀"하다는 것을 증명할 수 없게 됩니다.
• 해결책: 저자는 도구 상자에 새로운 도구인 "여집합의 내부(Interior-of-Complement)" 연산자를 발명했습니다.
  • 비유: 당신에게 방의 내부를 보여주는 손전등(표준 도구)이 있다고 상상해 보십시오. 새로운 도구는 방 외부의 빈 공간의 모양을 보여주는 "그림자 손전등"입니다. 이 새로운 도구를 추가함으로써, 논리는 마침내 빈 공간을 "볼" 수 있게 되었고 조밀함을 올바르게 계산할 수 있게 되었습니다.
• 결과: 이 새로운 도구를 추가함으로써, 저자는 성공적으로 **관련 위상적 증거 논리(Relevant Topological Evidence Logic)**를 만들어냈습니다. 그들은 이 새로운 시스템이 건전하며(nonsense를 생성하지 않음), 완전하다(증명해야 할 모든 것을 증명할 수 있음)는 것을 입증했습니다.

핵심 요점

이 논문은 **견고성(robustness)**에 대한 기술적인 입증입니다.

원래의 위상적 증거 논리를 특정 종류의 콘크리트(고전 논리) 위에 지어진 집이라고 생각해 보십시오. 저자는 이렇게 묻습니다: "만약 우리가 콘크리트를 더 부드러운 것(직관주의)이나 다른 구조용 빔이 필요한 것(관련성)으로 바꾼다면, 집이 무너질까?"

• 답변: 아니오, 집은 굳건히 서 있습니다.
• 방법은?
  • "부드러운" 콘크리트의 경우, 전역적 관점(Global Modality)을 추가하기만 하면 되었습니다.
  • "구조적" 콘크리트의 경우, 수학이 작동하도록 새로운 도구(여집합의 내부 연산자)를 발명해야 했습니다.

이 논문은 "일관된 정당화"(증거가 어디에나 있기 때문에 무언가를 아는 것)라는 개념이 우리가 추론하는 근본적인 규칙을 바꿀 때조차 살아남을 수 있는 강력한 개념이라는 결론을 내립니다. 이 개념은 무너지지 않으며, 단지 적응이 필요할 뿐입니다.