놀라운 시험 역설 해체

초록

이 논문은 ‘놀라운 시험(paradox)’을 명제 논리와 증명 가능성으로 재구성하여, 학생들의 논리적 오류를 정확히 지적하고 모달 논리 S5와의 비교를 통해 역설이 실제로는 존재하지 않음을 보인다.

상세 분석

논문은 먼저 “놀라움”을 ‘어떤 공리계로부터 해당 명제가 증명되지 않음’으로 정의한다. 여기서 공리계는 학생들이 현재 알고 있는 수학적 사실들의 집합이며, 새로운 증명 과정을 통해 공리계를 확장할 수 있다. “지식”은 바로 이러한 공리계 자체로 모델링된다. 교사의 발표는 “다음 주에 시험이 있을 것이며 그 날은 놀라울 것이다”라는 명제 σ를 포함한다. 학생들은 이를 □σ(항상 σ가 참이다)로 오해하지만, 실제로는 ◇σ(가능하게 σ가 참이다) 수준의 정보만 제공한다는 점을 지적한다.

자기언급성은 σ 안에 “학생들은 시험 날을 알 수 없다”는 조건이 포함돼 있어, σ 자체가 자신의 증명 가능성을 언급한다. 이를 명제 논리의 메타문장으로 취급하면, σ는 ‘공리계 A에서 증명되지 않는다’는 형태가 된다. 학생들의 전통적 역설 논증은 “시험이 금요일에 있을 경우, 전날까지 시험이 없었으므로 금요일 아침에 시험을 예측하게 된다”는 귀류법을 반복한다. 그러나 이 과정에서 두 가지 중요한 오류가 발생한다. 첫째, “시험이 반드시 존재한다”는 전제가 실제로는 ‘시험이 없을 가능성도 포함한 선택’이라는 점을 간과한다. 둘째, ‘증명 불가능함’을 ‘불가능함’으로 착각하여, 모순 상황에서 모든 명제가 증명될 수 있다는 원리를 무시한다.

논문은 이러한 오류를 공리계 A와 A+ (학생들이 추가로 도출한 가정) 사이의 관계로 formalize한다. A+가 A로부터 귀류법을 통해 도출되면, A 자체가 모순을 포함하게 되므로 A+는 허용될 수 없다. 따라서 학생들의 전체 귀류는 처음부터 잘못된 전제에 기반한다.

또한, 논문은 S5 시스템을 이용해 □σ와 ◇σ의 차이를 Kripke 모델로 시각화한다. 여기서 가능한 세계는 각 요일에 시험이 열리는 경우와 시험이 없을 경우이며, ‘알 수 없음’은 접근 관계가 없는 세계로 표현된다. 이 모델에서 □σ는 모든 세계에서 σ가 참임을 요구하지만, 실제 발표는 특정 세계(시험이 존재하는 경우)에서만 σ가 참이므로 ◇σ에 해당한다. 따라서 학생들이 □σ를 전제로 삼는 것은 모델링 오류이다.

마지막으로, ‘합리적 교사’ 개념을 도입해 교사가 자신의 선택을 최적화하려는 행동을 가정한다. 이 경우에도 교사의 선택은 학생들의 공리계에 새로운 정보를 제공하지 않으며, 학생들은 여전히 ‘놀라움’의 정의에 따라 시험을 예측할 수 없다. 전체적으로 논문은 명제 논리와 증명 가능성, 그리고 모달 논리의 정밀한 구분을 통해 기존 역설 논증의 근본적인 오류를 밝히고, paradox가 실제로는 존재하지 않음을 증명한다.