반 멕기의 반례와 해결책

Abstract

반 멕기는 전건긍정규칙의 반례라고 하는 것을 제시하였다. 지금까지 그것이 과연 진정한 반례인지를 두고 많은 논의가 있었다. 이 논문에서 나의 목적은 조금 다르다. 나는 여기서 반 멕기의 반례가 생겨나는 구조를 밝히고자 한다. 우선 나는 내 자신이 구성한 반례를 하나 제시할 것이다. 그런 다음 반례가 생겨나는 기본 구조를 찾아내고, 이런 분석이 다른 반례에도 그대로 적용된다는 점을 보임으로써 나의 제안이 옳은 분석이라는 점을 확증하기로 한다. 이를 통해 최종적으로 우리는 반례가 만들어지는 메커니즘을 분명히 할 수 있을 것이다. 나는 여기에는 조건문에 대한 특정한 이해가 들어 있다는 점을 보일 것이다. 반례가 생겨나는 구조를 파악하고 나면 반례의 해결책을 마련하는 일은 그다지 어렵지 않다. 끝에서 나는 그런 해결책을 간단히 언급하고자 한다.

In 1985 vann McGee suggested a counterexample to modus ponens. His example has been the subject of much controversy. In this paper, I explain why his example is or looks like a genuine counterexample. For this I provide my own counterexample, and discern a mechanism of how a counterexample is regenerated. In closing I briefly mention the morale and some possible solutions.