비트겐슈타인과 힐베르트 프로그램

Abstract

힐베르트의 프로그램에 관한 한, 비트겐슈타인의 생각의 발전 과정에는 뭔가 중요한 차이가 있는 것처럼 보인다. 1929년 비트겐슈타인이 철학에 복귀하는 과정에서 빈 학파의 슐리크와 바이즈만을 만나 함께 토론한 내용을 정리한 『비트겐슈타인과 빈 학파』, 또 그 과정에서 비트겐슈타인이 자신의 생각을 정리하여 쓴 『철학적 고찰』과 『철학적 문법』에서의 비트겐슈타인의 주요 주장은 1939년에 행한 『수학의 기초에 관한 강의』, 또 이 강의를 전후해서 비트겐슈타인이 쓴 『수학의 기초에 관한 고찰』에서의 비트겐슈타인의 생각과 중요한 차이를 보이고 있기 때문이다. 나는 그 차이가 무엇인지를 보이기 위해서 먼저 힐베르트의 프로그램과 형식주의를 간략하게 살펴보고자 한다. 다음으로 나는 비트겐슈타인이 힐베르트의 형식주의로부터 어떤 영향을 받았으며, 또 그것을 어떻게 비판했는지를 조명할 것이다. 또한 나는 힐베르트의 프로그램에 대해서 중기 비트겐슈타인이 어떻게 비판했는지를 조명하고자 한다. 우리는 중기 비트겐슈타인이 힐베르트 프로그램에 대해서 칸토어의 집합론에 대해 했던 전기 비트겐슈타인의 주장만큼이나 과격한 주장을 했다는 것을 확인하게 될 것이다. 그러나 후기 비트겐슈타인은 더 이상 그러한 과격한 주장을 하지 않는데, 나는 중기 비트겐슈타인의 주장을 직접 비판함으로써, 또 비트겐슈타인 자신이 스스로 어떤 비판을 했을지를 논의하면서, 후기 비트겐슈타인이 왜 더 이상 그러한 주장을 하지 않는지 그 이유를 조명하고자 한다.