초록 열기/닫기 버튼
기존의 증명론적 의미론은 대부분 논리상항의 의미에 대한 증명론적규명에 그 초점이 맞추어져왔다. 그러나 원자문장의 의미에 대한 증명론적 규명이 이루어지지 않는 한 증명론적 의미론은 불완전한 이론에 머무르게 된다. 이 글에서는 증명론적 의미론의 원자적 기반에 관한 문제가 검토되고 그 해결책이 모색될 것이다. 증명론적 의미론의 대표적인 형태인 프라위츠와 덤밋의증명론적 타당성개념의 핵심 사항들에 대해 논의하고, 이 이론에 대한 원자적기반의 문제를 제기한 후, 최소한 귀납적으로 정의된 술어에 관해서는 만족스런 원자적 기반이 마련될 수 있음을 보일 것이며, 이를 넘어서 보다 포괄적인원자적 기반을 제시하는 문제가 검토되고 그 해결책이 모색될 것이다.
Many works in proof-theoretic semantics focus on proof-theoretic analyses of the meanings of logical constants. However, without a proper proof-theoretic analysis of the meanings of atomic sentences, proof-theoretic semantics cannot be complete. We examine the problem of atomic base for proof-theoretic semantics. We discuss the core ideas of Prawitz’s and Dummett’s prooftheoretic accounts of validity and underscore the need for an appropriate atomic base for their accounts. We argue that a proper atomic base can be provided at least for inductively defined predicates following the lead of Martin-Löf’s intuitionistic theory of inductive definitions. The problem of providing a more general atomic base is examined and possible solutions are indicated.
키워드열기/닫기 버튼
Proof-Theoretic Semantics, Proof-Theoretic Validity, Atomic System, Inductive Definition, Dag Prawitz, Per Martin-Löf
