http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
형식체계로서의 상대역이론(Counterpart Theory)의 결함에 대하여
이창후(Chang Hoo Lee) 한국분석철학회 2008 철학적 분석 Vol.0 No.17
상대역 이론(CT)은 양상 논리 체계에 대한 경쟁이론 중의 하나이며 1차 술어 논리에 원초적 술어와 공준들을 더하여 술어논리의 하부이론으로서 양상적 담론을 형식화하려는 시도이다. 하지만 이런 CT의 시도는 처음에 의도된 바와는 달리 “□P”와 같은 명제양상논리의 바른식을 CT로 번역하지 못한다는 결함을 안고 있다. 그리고 이 문제는 CT의 단순한 변형에 의해서는 수정될 수 있는 것이 아닌 것으로 보인다. 이 때문에 CT가 양상 논리의 담론을 1차 술어 논리로 완전히 형식화하는 데에는 부분적으로 실패한다는 것이 이 논문의 주장이다. 양상 형이상학의 맥락에서 CT에 대한 비판은 많지만, 형식체계의 결함에 대한 메타논리적 비판은 거의 없거나 매우 적은 것으로 보이는데, 이 논문은 이 측면에서의 CT에 대한 재고를 주장한다. The counterpart theory(CT) is an alternative theory that competes with modal logic, and it is an extended theory of the predicate logic(PL) that includes more primitive predicates and postulates, trying to formalize modal discourse in PL. But I argue that CT, unlike what was intended at first, has a defect that wff of propositional modal logic like "□P" cannot be translated into CT. And it doesn't seem this defect can be compensated by simple modification of CT. This defect makes CT fail at least partly in complete formalization of modal discourse into first order language, which is the point of this paper. There have been many critics on CT in the context of modal metaphysics, but there seems to have been almost no critic on its defect as a formal system from metalogical point of view. Thus this paper, which is one of that rare study, can be somewhat meaningful.