힐버트와 형식주의

Abstract

이 글은 힐버트 프로그램 시기의 힐버트의 사상을 과연 도구주의로 볼 수 있는가 하는 문제를 다룬다. 이를 위해 먼저 힐버트를 도구주의자로 보는 논거들을 살펴보고, 이 견해에 대한 최근의 비판을 세 가지로 나누어 차례대로 검토한다. 이런 논의를 통해 힐버트를 도구주의자로 보는 견해는 여전히 유지될 수 있음을 보인다.In this paper I discuss if we can regard Hilbert at the time of Hilbert's program as an instrumentalist. For this I first provide some textual evidences for the instrumentalist interpretation, then examine the three recent criticisms in turn. I argue that the reading Hilbert as an instrumentalist is still tenable in spite of these criticisms.