Abstract

기존의 증명론적 의미론은 대부분 논리상항의 의미에 대한 증명론적 규명에 그 초점이 맞추어져왔다. 그러나 원자문장의 의미에 대한 증명론적 규명이 이루어지지 않는 한 증명론적 의미론은 불완전한 이론에 머무르게 된다. 이 글에서는 증명론적 의미론의 원자적 기반에 관한 문제가 검토되고 그 해결책이 모색될 것이다. 증명론적 의미론의 대표적인 형태인 프라위츠와 덤밋의 증명론적 타당성개념의 핵심 사항들에 대해 논의하고, 이 이론에 대한 원자적 기반의 문제를 제기한 후, 최소한 귀납적으로 정의된 술어에 관해서는 만족스런 원자적 기반이 마련될 수 있음을 보일 것이며, 이를 넘어서 보다 포괄적인 원자적 기반을 제시하는 문제가 검토되고 그 해결책이 모색될 것이다.