명제의 뜻을 ‘푸는 방법’으로
읽을 수 있을까요?

논문은 일상과 수학에서 우리가 참인 명제를 말하고, 풀어야 할 문제도 세운다고 출발합니다. 문제에는 참·거짓만 붙이는 대신 해결 가능성과 해결 방법이 중요합니다.

콜모고로프는 직관주의 명제논리의 형식이 문제들을 결합하고 한 해결에서 다른 해결을 만드는 규칙과 잘 맞는다고 보았습니다. 형식식 하나를 수행해야 할 과제로 읽는 전환입니다.

해결은 문제의 요구에 맞는 대상이나 방법을 제시하는 일입니다. 계산 문제라면 값을 구하는 절차, 존재 문제라면 대상을 찾고 조건을 확인하는 근거, 함의 문제라면 한 해결을 다른 해결로 바꾸는 일반 방법이 필요합니다.

따라서 결과가 같은 두 해결도 방법과 정보가 다를 수 있습니다. 이 관점은 논리 기호의 뜻을 진리표에만 두지 않고 어떤 해결 데이터를 내놓아야 하는지에 둡니다.

논리는 원자 문제의 구체적 해결법을 자동으로 주지 않습니다. 콜모고로프는 기본 문제들을 출발점으로 두고, 논리연결사가 그 문제들을 새 문제로 조립하는 방식을 설명합니다.

예를 들어 “이 수를 인수분해하라”의 실제 계산법은 수학 내용에서 와야 합니다. 문제의 논리는 “A와 B를 모두 풀라” 또는 “A의 어떤 해결에서도 B의 해결을 만들라” 같은 조합의 요구를 명료하게 합니다.

두 문제를 정해 보겠습니다. A는 “양의 짝수 n을 하나 찾고 n=2k가 되는 자연수 k를 제시하라”입니다. B는 “4 이상인 짝수 m을 하나 찾고 m=2ℓ이 되는 자연수 ℓ을 제시하라”입니다. 수와 그 수가 조건을 만족한다는 계산을 함께 제출합니다.

A의 해결로 n=6, k=3, 6=2×3을 낼 수 있습니다. B의 해결로 m=8, ℓ=4, 8=2×4와 8≥4를 낼 수 있습니다. A∧B는 두 해결을 한 쌍으로 제출하라는 요구입니다. 어느 한쪽만 제출했다면 다른 쪽 문제는 남아 있습니다.

복합 문제 A∨B의 해결은 A 또는 B 가운데 적어도 하나의 해결을 제공해야 합니다. 실제로 쓸 수 있는 해결이라면 어느 갈래의 해결인지도 드러나야, 뒤의 절차가 그에 맞게 움직일 수 있습니다.

“둘 중 하나는 해결될 것이다”라는 정보만으로는 아직 선택한 갈래의 해결을 사용할 수 없습니다. 이 점에서 문제 해석의 선언은 막연한 가능성보다 구체적인 선택 자료를 요구합니다.

앞서 정한 A와 B를 그대로 사용합시다. A의 해결 n=2k를 받으면 m=n+2, ℓ=k+1로 정합니다. 그러면 m=2k+2=2(k+1)=2ℓ입니다. n은 양의 짝수이므로 n≥2이고, 따라서 m≥4입니다. B가 요구한 두 조건을 모두 만족합니다.

(6, 3)을 받으면 (8, 4)를 내고, (10, 5)를 받으면 (12, 6)을 냅니다. 모든 허용된 입력에 같은 계산을 적용할 수 있으므로 A→B의 해결 방법이 됩니다. 특정 입력 하나의 결과뿐 아니라 일반적인 변환 규칙과 그 규칙이 조건을 보존하는 이유를 제출해야 합니다.

문제 해석에서 ¬A는 A의 해결을 가정하면 모순적인 문제에 이르게 하는 방법으로 읽습니다. 즉 A의 해결을 받아 불가능성을 드러내는 변환을 요구합니다.

A의 해결을 아직 찾지 못했다는 사실만으로 ¬A가 해결되지는 않습니다. 찾지 못함과 불가능성을 보이는 방법은 서로 다릅니다.

같은 짝수 문제 A와 B를 연결해도 제출물은 달라집니다. A∧B에는 두 해결의 쌍이 필요합니다. A∨B에는 선택한 갈래를 표시하고 그 갈래의 해결을 제출합니다. A→B에는 임의의 A 해결을 받았을 때 B 해결을 만드는 일반 방법을 제출합니다.

선언에서 “A 쪽을 선택했다”고 밝히는 이유는 어떤 문제의 해결을 검사해야 하는지 알려 주기 위해서입니다. 함의에서는 입력 수가 달라져도 계산 규칙이 계속 작동하는지 확인합니다.

전칭 문제는 허용된 임의의 x가 주어졌을 때 A(x)를 푸는 일반 방법을 요구합니다. 유한한 몇 사례를 모아 놓는 것으로는 충분하지 않습니다.

존재 문제는 구체적인 x 하나와 그 x에 대한 A(x)의 해결을 함께 내놓아야 합니다. “어딘가에 있을 것”이라는 주장만으로는 해결 자료가 완성되지 않습니다.

논문 후반부는 명제 A에 대해 “A의 증명을 제시하라”라는 문제를 생각하며 두 층을 연결합니다. 명제 자체와 그 명제를 증명하는 문제는 같은 대상이 아니지만, 증명 문제를 통해 관계를 세울 수 있습니다.

이 구분 덕분에 명제의 고전적 진리값을 문제 해결의 구조와 곧바로 동일시하지 않고도, 수학적 증명 활동을 논리 연산의 대상으로 다룰 수 있습니다.

콜모고로프의 독특한 점은 명제와 문제를 분리한다는 데 있습니다. 그는 문제 계산의 형식이 직관주의 논리와 맞는다고 보면서도, 명제의 참·거짓 논의를 문제의 해결과 곧장 같은 것으로 만들지 않습니다.

따라서 이 논문을 “고전 논리는 틀렸고 모든 명제는 곧 증명이다”라고 요약하면 원문의 구분을 잃습니다. 문제의 논리는 명제의 논리와 나란히 둘 수 있는 다른 층으로 제안됩니다.

오늘날에는 브라우어–헤이팅–콜모고로프 해석이라는 이름으로 구성적 증명 조건을 묶어 설명하는 일이 많습니다. 그러나 역사적으로 헤이팅의 증명 해석과 콜모고로프의 문제 해석은 출발점과 철학적 구분이 같지 않습니다.

2023년 계보 연구는 콜모고로프가 문제와 명제를 더 강하게 구분했고, 문제의 계산을 직관주의의 특정 철학에 종속시키지 않았다고 분석합니다. 공통 형식과 역사적 차이를 함께 적는 편이 정확합니다.

여행 계획에서 “기차표를 사고 숙소를 예약하라”는 연언형 과제는 두 확인 자료를 요구합니다. “기차나 버스 가운데 하나로 이동하라”는 선언형 과제는 선택한 교통수단과 실제 표가 필요합니다.

이 비유는 연결사의 요구를 익히는 데 유용하지만, 원논문의 수학적 해석을 일상 업무 관리법과 동일시하지는 않습니다. 실제 문제에는 비용·시간·불확실성처럼 논리식에 아직 담지 않은 조건이 더 있습니다.

직관주의 논리의 식을 문제의 결합으로 읽으면, 각 연결사가 어떤 해결 방법과 자료를 요구하는지 분명해집니다. 연언은 두 해결, 선언은 선택한 갈래의 해결, 함의는 일반 변환, 전칭은 임의 입력을 다루는 방법, 존재는 증인과 해결을 요구합니다.

다만 콜모고로프는 명제 자체와 문제를 구분했습니다. 모든 참을 곧바로 해결 방법으로 바꾸기보다 “A를 증명하라”라는 문제를 사이에 두어 두 층을 연결한 점이 이 논문의 선명한 특징입니다.