초록 close

정인교는 그의 최근 논문에서 논리적 귀결 관계에 의해 논리 상항의 의미를 정의함에 있어 통상적인 도입 규칙과 제거 규칙에 의거하는 포퍼의 접근법과, 도입 규칙에만 의존하는 정당화주의적 접근법, 그리고 제거 규칙에만 의존하는 실용주의적 접근법을 구분한 바 있다. 이 글에서는 연언과 선언의 연결어의 경우에는 그 세 가지가 동등하다는 것을, 그리고 조건과 부정의 연결어의 경우에는 제거 규칙에 의거하는 실용주의적 접근법과 포퍼의 접근법이 대등하다는 것을, 타르스키가 처음 확립한 논리적 귀결에 관한 공리적 체계에 의존하여 보일 것이다.


Chung In-Kyo, discussing how the logical constants can be defined in terms of logical consequence in one his recent articles, distinguished three definitions. One is Popper's approach which utilizes both introduction rules and elimination rules, the second the justificationists' definition which uses only introduction rules; and lastly, the pragmatists' approach which involves only elimination rules. In this essay, by making use of an axiomatic system for logical consequence first formulated by Tarski, I will show that in cases of conjunction and disjunction the three definitions are equivalent, and that in cases of connectives for conditional and negation, the pragmatists' definition is equivalent to Popper's one.