초록 close

본 논문에서는 괴델 이후 힐베르트주의자들과 카르납에 있어 체계 상대성의 의미를 비교 ․ 검토하고 있다. 이로써 그들 양자 사이의 체계 상대성에 대한 차이가 어떻게 일관성에 대한 증명의 강박 여부로 나타났는가를 밝히게 된다. 이러한 작업의 결과, 최근까지 여전히 남아 있는 카르납에 대한 몇몇 오해를 명료히 해소하여, 그러한 작업의 유용성을 예증코자 한다.


In this paper, I examine the differences in the meanings of system relativity between the Hilbertians and Carnap after Gödel. And it is shown how the differences lead to whether or not it is thought to be necessary to prove the consistency of a system. As a result of this work, I illustrate an usefulness of the work by showing how it solves clearly some misunderstandings that still remain until now.