Works Interview 05 / Later Wittgenstein

Remarks on the Foundations of Mathematics

증명은 이미 존재하는 진리를 발견하는가, 아니면 새로운 개념과 규칙을 세우는가. 수학적 필연성, 모순, 무한, 괴델을 둘러싼 가장 논쟁적인 단상들을 실제 계산의 문법 안에서 다시 읽는다.

Wittgenstein · Work 05

『수학의 기초에 관한 고찰』

이 책은 완성된 논문이 아니라 여러 시기의 원고를 편집한 단상집이다. 수학을 경험과 무관한 초월적 대상의 학문으로 보지도, 임의적 기호 조작으로 축소하지도 않는다. 계산과 증명이 인간의 실천 안에서 어떤 규범을 세우고 개념을 바꾸는지 묻는다.

형식: 대화적 단상과 사례의 연쇄
핵심 문제: proof · rule · necessity
논쟁 범위: 모순 · 무한 · 괴델

Parts I · III · proof as a new picture

증명과 개념 형성

증명이 미지의 사실을 보고하는 대신 계산과 판단의 새로운 기준을 세운다는 주장을 해명한다.

Paul

Part I · 증명과 문법

증명은 이미 참이었던 수학 명제를 발견하는 일이 아닙니까?

증명 이전에도 결론이 어떤 추상적 영역에서 참으로 대기하고 있었다는 그림은 수학자가 실제로 무엇을 하는지 설명하지 못합니다. 증명은 공리와 규칙에서 한 문장을 도출할 수 있음을 보여 줄 뿐 아니라, 앞으로 그 문장을 계산과 판단의 기준으로 사용하도록 가르칩니다.

피타고라스 정리의 증명을 받아들인 뒤 우리는 도형을 분류하고 길이를 계산하며 오류를 판정하는 방식을 바꿉니다. 증명 경로는 발견되기 전부터 완성된 정신적 사물로 존재한 것이 아니라, 우리가 구성하고 반복해 볼 수 있는 배열입니다. 이 배열이 설득력을 얻을 때 개념의 연결도 달라집니다.

그렇다고 수학자가 마음대로 진리를 만든다는 뜻은 아닙니다. 기존 계산법, 기호, 훈련, 적용이 증명 가능한 이동을 엄격히 제한합니다. ‘발견’과 ‘발명’ 가운데 하나만 택하기보다, 증명이 주어진 실천 안에서 새로운 필연성을 세운다는 이중적 성격을 보아야 합니다.

Paul

Parts I · VII · 수학 명제의 역할

“25 곱하기 3은 75”가 사실의 기술이 아니라 규칙이라는 말은 무슨 뜻입니까?

이 등식은 사과 꾸러미를 관찰해 우연히 확인한 일반화와 다릅니다. 같은 계산에서 74가 나오면 우리는 반례를 발견했다고 말하지 않고 계산이나 셈에 오류가 있다고 판단합니다. 등식은 경험을 보고하는 문장보다 경험을 기술하고 정리하는 기준으로 기능합니다.

수학 명제의 규범성은 적용과 분리되지 않습니다. 3개씩 25묶음을 세는 행위, 필산 절차, 교환법칙, 측정 관행 속에서 등식은 무엇을 동일한 결과로 인정할지 정합니다. 현실이 수학을 ‘따르는’ 것처럼 보이는 까닭은 우리가 이 규칙을 사용해 현실을 기술하기 때문입니다.

그러나 규칙이라는 말이 진리나 객관성을 약화시키지는 않습니다. 규칙은 개인의 순간적 선택이 아니라 공적으로 배우고 교정하며 새로운 상황에 확장하는 실천에 속합니다. 수학의 단단함은 신비한 대상보다 계산 규칙이 삶 전체에 깊이 박혀 있다는 사실에서 드러납니다.

Paul

Part III · surveyability

왜 증명은 한눈에 조망하고 반복할 수 있는 형태여야 합니까?

증명이 결론에 대한 심리적 확신만 준다면 최면이나 권위의 명령과 구별되지 않습니다. 우리는 각 단계를 따라가고, 다른 사람이 같은 절차를 재현하며, 어디서 규칙이 적용됐는지 지적할 수 있어야 합니다. 조망 가능성은 증명이 공동의 기준이 되는 조건입니다.

매우 긴 계산이나 컴퓨터 보조 증명은 이 요구를 반박하는 듯합니다. 하지만 모든 기호를 한 번에 시각적으로 본다는 뜻이 아니라, 검증 절차와 신뢰의 분업을 설명할 수 있다는 뜻으로 이해해야 합니다. 어떤 장치와 프로그램을 믿고 어떤 오류 가능성을 배제하는지도 수학적 실천의 문법에 포함됩니다.

따라서 증명의 권위는 개인적 직관도, 맹목적 합의도 아닙니다. 정해진 변환을 확인하고 반복할 수 있는 공적 기술에서 나옵니다. 증명을 이해한다는 것은 결론을 암기하는 것이 아니라 그 증명이 새로운 판단 기준으로 쓰이는 방식을 익히는 일입니다.

Parts I · VI · following a rule

규칙과 필연성

수학의 ‘반드시’가 정신적 강제나 자연 법칙이 아니라 규칙을 따르는 기술 안에서 성립하는 방식을 묻는다.

Paul

Part I · logical compulsion

수학적 필연성의 ‘반드시’는 우리를 무엇으로 강제합니까?

계산식이 손을 물리적으로 움직이게 하거나 다음 단계를 마음속에서 인과적으로 발생시키지는 않습니다. ‘반드시’는 이 규칙을 따르면서도 정반대 결과를 옳다고 부를 여지를 인정하지 않는 문법적 태도입니다. 다른 결과를 낸 사람에게 우리는 새로운 사실을 발견했다고 하지 않고 규칙을 바꾸었거나 잘못 적용했다고 말합니다.

이 필연성은 훈련과 독립적이지 않습니다. 숫자열을 이어 쓰고 같은 계산을 여러 맥락에 적용하는 법을 배운 사람이 규칙의 강제를 경험합니다. 교육은 감춰진 궤도를 보게 하는 일이 아니라 예와 교정, 반복을 통해 반응의 안정된 패턴을 형성하는 일입니다.

그렇다고 ‘반드시’가 단순한 심리 습관이라는 뜻도 아닙니다. 습관은 흔들릴 수 있지만 수학적 규칙은 흔들린 반응을 교정할 기준으로 사용됩니다. 필연성은 자연적 인과와 초월적 명령 사이가 아니라, 규칙이 우리 판단의 척도로 작동하는 제도적 층위에 있습니다.

Paul

Part VI · rule-following

공동체의 일치가 수학적 진리를 만든다는 주장입니까?

인간들이 계산에서 대체로 일치한다는 사실은 수학 정리의 경험적 증명이 아닙니다. 일치가 참을 투표로 결정하는 것도 아닙니다. 더 근본적으로, 판단과 행동에서 충분한 일치가 없다면 ‘같은 규칙’, ‘오류’, ‘계산’이라는 개념 자체가 사용할 자리를 잃는다는 뜻입니다.

언어의 일치는 의견의 일치만이 아니라 생활형식의 일치입니다. 종이에 기호를 쓰고, 대상을 세며, 잘못을 고치고, 증명을 보존하는 관행이 함께 작동합니다. 이 배경 위에서 특정 정리는 다수의 기호가 아니라 규칙에 따라 정당화됩니다.

그러므로 제 입장을 사회학적 상대주의로 읽는 것은 잘못입니다. 공동체는 아무 결과나 참으로 만들지 못하지만, 수학이 의미 있는 활동으로 존재하는 조건을 제공합니다. 객관성은 인간 실천에서 벗어나는 데 있지 않고 개인의 변덕을 넘어 공적 교정이 가능하다는 데 있습니다.

Paul

Parts I · VI · deviant pupil

아무리 설명해도 수열을 다르게 잇는 학생은 규칙을 이해하지 못한 것입니까?

한두 번 다른 답을 냈다면 실수인지 다른 해석인지 더 많은 사례를 살펴봅니다. 그러나 모든 설명을 우리가 예상하지 못한 방식으로 적용한다면, 그의 머릿속에 잘못된 의미가 들어 있다고 단정하기보다 ‘규칙 이해’라는 말의 기준이 어디까지 적용되는지 묻게 됩니다.

유한한 예시는 무한한 적용을 논리적으로 결정하지 못한다는 회의가 여기서 생깁니다. 하지만 규칙을 따르는 근거를 또 다른 해석에서 찾으면 해석의 무한 regress만 남습니다. 어느 지점에서 설명은 끝나고, 훈련된 사람이 근거 없이가 아니라 정당화의 배경 안에서 계속하는 행위가 남습니다.

낯선 학생은 우리 규칙의 초월적 토대를 폭로하기보다, ‘같게 계속하기’가 인간의 자연사와 교육에 기대고 있음을 보여 줍니다. 이 사실은 수학을 약화하지 않지만, 규칙이 모든 가능한 적용을 그림자처럼 미리 포함한다는 철학적 신화를 약화합니다.

Parts II · V · foundations and consistency

모순과 기초

형식 체계의 모순이 무엇을 파괴하며, 철학이 수학에 최종 토대를 제공해야 한다는 요구가 왜 혼동을 낳는지 검토한다.

Paul

Part II · contradiction

모순이 발견되어도 반드시 수학 전체가 무너지는 것은 아니라는 뜻입니까?

형식 논리에서 모순으로부터 모든 문장을 도출할 수 있다면 계산의 구별 능력이 사라집니다. 그 위험을 가볍게 여기는 것이 아닙니다. 다만 ‘모순’이라는 단어만 듣고 아직 어떤 계산에서 어떤 역할을 하는지 보기 전에 우주적 재앙을 상상하는 철학적 공포를 경계합니다.

실제 문제가 발견되면 수학자는 해당 규칙의 범위를 제한하거나 체계를 수정하고, 모순이 어떤 증명과 적용에 영향을 주는지 조사합니다. 한 구역의 오류가 모든 산술 계산을 즉시 무효화하지는 않습니다. 체계의 사용과 연결을 보지 않고 순수한 기호적 가능성만으로 피해의 크기를 결정할 수 없습니다.

이 말은 무모한 비일관주의가 아니라 진단의 우선순위입니다. 모순이 실제 추론을 무차별하게 만들면 제거할 이유가 분명합니다. 그러나 일관성 증명이 모든 수학의 의미를 외부에서 보증한다는 생각은 또 다른 계산으로 계산 전체를 정당화하려는 순환을 낳습니다.

Paul

Parts II · IV · foundations

수학에는 흔들리지 않는 최종 기초가 필요하지 않습니까?

건물의 은유는 모든 정리가 가장 아래의 명제들 위에 놓이고, 그 명제들이 무너지면 전체가 붕괴한다고 상상하게 합니다. 공리화는 증명의 관계를 명료하게 만드는 강력한 수학적 방법이지만, 그 방법을 수학 전체의 의미를 보증하는 형이상학으로 바꾸어서는 안 됩니다.

산술의 확실성은 우리가 아직 증명하지 못한 더 깊은 명제에 매달려 있지 않습니다. 계산법, 적용, 교육, 다른 실천과의 연결이 서로 지지하는 복잡한 구조를 이룹니다. ‘기초’ 연구도 이 구조 안의 중요한 수학이지, 구조 전체 바깥에서 내려오는 최종 허가증은 아닙니다.

철학의 역할은 수학자에게 새 공리를 명령하는 것이 아니라 기초 위기가 어떤 그림에서 생겼는지 밝히는 것입니다. 수학적 문제는 수학적으로 풀어야 하고, 철학적 혼동은 증명·명제·규칙을 잘못된 대상으로 상상하는 방식을 교정해 풀어야 합니다.

Paul

Parts III · V · invention and convention

당신의 입장은 수학을 자의적 관습으로 보는 규약주의입니까?

수학적 규칙이 인간의 활동 안에서 세워진다고 해서 체스 규칙처럼 언제든 가볍게 바꿀 수 있는 것은 아닙니다. 산술은 측정, 거래, 과학, 기술과 촘촘히 연결되어 있습니다. 한 규칙을 바꾸면 같은 게임에서 다른 선택을 한 것이 아니라 계산과 적용의 광범위한 체계를 바꾸게 됩니다.

규약주의라는 이름은 규칙의 인간적 성격은 보지만 규칙을 채택하게 하는 자연사와 실천의 압력을 놓칠 수 있습니다. 우리는 많은 계산법을 발명하지만 무엇이 유용하고 일관되며 확장 가능한지는 마음대로 결정하지 못합니다. 증명도 기존 문법과 저항하는 사례에 응답해야 합니다.

저는 플라톤주의와 단순 규약주의 사이에 제3의 이론을 세우기보다 두 그림이 실제 수학의 다양한 용법을 어떻게 가리는지 보여 주려 합니다. 수학은 인간이 만든 것이면서 우리를 구속합니다. 그 역설은 규칙을 만드는 행위와 규칙 아래에서 판단하는 행위를 구별하면 완화됩니다.

Parts I · VII · disputed remarks

무한과 괴델

완성된 무한의 그림과 괴델 문장의 해석을 둘러싼 비판을 정면으로 다루고, 이 단상집의 미완성 지위를 평가한다.

Paul

Parts I · II · Cantor

칸토어의 대각선 논법과 실제 무한을 왜 의심합니까?

문제는 대각선 절차가 형식적으로 잘못됐다는 단순한 주장이 아닙니다. 그 절차에서 얻은 결과를 ‘이미 완성된 무한 집합의 서로 다른 크기를 발견했다’는 그림으로 해석할 때 어떤 문법이 작동하는지 묻습니다. 유한한 목록의 누락과 무한 수열의 구성 규칙을 같은 장면으로 보면 혼동이 생깁니다.

대각선 구성은 새로운 수열을 만드는 규칙을 제공합니다. 이것만으로도 수학적 성과는 분명합니다. 그러나 그 성과를 끝없이 펼쳐진 대상 전체를 위에서 관찰한 발견으로 바꾸는 것은 별도의 철학적 해석입니다. 저는 계산 절차와 그것을 둘러싼 산문적 그림을 분리하려 합니다.

많은 수학자와 철학자는 이 비판이 칸토어 이론의 실제 구조를 충분히 존중하지 않는다고 반박합니다. 그 반론은 유효한 검토 대상입니다. 이 단상들의 가치는 집합론을 폐기하는 판결보다 ‘무한’이라는 명사가 우리를 어떤 대상으로 이끄는지 시험하는 질문에 있습니다.

Paul

Part I, Appendix III · Gödel

괴델의 불완전성 정리를 오해했다는 비판에 어떻게 답하겠습니까?

제가 문제 삼은 것은 형식 체계 안의 증명 불가능성 결과 자체보다, 괴델 문장을 일상어의 “나는 증명될 수 없다”와 곧바로 동일시하는 해석입니다. 어떤 문장이 체계 안에서 어떤 기호열이고, 메타수학적 번역에서 어떤 뜻을 얻는지 구별해야 한다고 보았습니다.

하지만 제 단상은 압축적이고 도발적이며, 정리의 기술적 세부를 부정하는 듯 읽힐 만합니다. 실제로 많은 연구자는 제가 증명 가능성과 진리의 차이를 충분히 처리하지 못했다고 비판했습니다. 다른 해석자들은 논점이 정리 반박이 아니라 문장의 의미와 사용에 대한 철학적 경고라고 방어합니다.

책임 있는 독해는 저를 무조건 구제하거나 무지로 기각하지 않아야 합니다. 형식적 정리는 정확히 받아들이고, 그 정리에 붙는 “체계가 자신의 진리를 말한다”는 의인화가 무엇을 설명하는지 별도로 물어야 합니다. 제 문장은 그 구별을 촉발하지만 최종 해답을 제공하지는 않습니다.

Paul

1937–1944 원고 · 1956 편집본

이 책을 당신의 완성된 수학철학 체계로 읽어도 됩니까?

아닙니다. 여러 시기의 원고에서 뽑은 부분들은 같은 문제를 되풀이하고 때로 서로 다른 강조를 보입니다. 저는 대화 상대의 목소리를 세우고 극단적 비유를 시험한 뒤 다시 수정합니다. 모든 문장을 최종 교리로 모으면 작업 중인 사유를 정지된 체계로 바꾸게 됩니다.

그렇다고 단편이어서 책임 있게 해석할 수 없다는 뜻도 아닙니다. 증명은 개념을 형성하고, 수학 명제는 규범으로 작동하며, 규칙 따르기는 인간의 실천에 뿌리내린다는 반복되는 축이 있습니다. 이 축을 따라야 개별 도발이 어떤 문제를 겨냥하는지 알 수 있습니다.

가장 좋은 독법은 수학을 공격하거나 찬양하는 선언문으로 보지 않고, 수학적 실천과 그것에 대한 철학적 그림을 한 사례씩 대조하는 것입니다. 이 책의 미완성은 약점이지만, 독자가 각 예에서 자신의 필연성 관념을 다시 검사하게 하는 방법의 일부이기도 합니다.

Wittgenstein Archive

언어의 문법에서 수학의 문법으로

『철학 탐구』의 규칙 따르기 논의와 함께 읽으면 수학적 필연성이 생활형식과 공적 교정 안에서 어떤 특별한 지위를 갖는지 비교할 수 있다.

비트겐슈타인 인터뷰로 돌아가기 작업실에서 답변 만들기

Editor Note

이 문답은 실제 인터뷰가 아니라 1937–1944년 원고를 바탕으로 사후 편집된 『수학의 기초에 관한 고찰』과 관련 연구를 토대로 한 편집적 재구성이다. 일인칭 답변은 직접 인용이 아니다. 특히 칸토어와 괴델에 관한 단상은 해석상 논쟁이 크므로 정리 자체에 대한 반박과 수학 문장의 철학적 해석에 대한 비판을 구분했다. 첫 화면 이미지는 사용자 제공 시안 자산이며 공개· 상업적 사용에는 원작 이미지 권리 확인이 필요하다.