톰슨의 양자택일 논증과 그 안에 필요한 종료 상태 전제를 단계별로 표시했다.

그림에서 무엇을 볼까요?

생각그림 9 · 톰슨의 양자택일 논증과 그 안에 필요한 종료 상태 전제를 단계별로 표시했다.

톰슨의 원 논증은 다음처럼 진행된다. 2분에 전등이 켜져 있다고 가정하면, 어느 켜기 누름 뒤에도 다시 끄는 누름이 있었으므로 켜짐일 수 없다고 말한다. 꺼져 있다고 가정해도 어느 끄기 누름 뒤에 다시 켜는 누름이 있으므로 같은 방식으로 배제한다. 그런데 전등은 켜짐 또는 꺼짐이어야 하므로 모순이라는 결론을 낸다. 이 논증이 설득력을 가지려면 2분의 상태가 앞선 누름들의 ‘최종 결과’로 반드시 결정된다는 전제가 필요하다.