발표의 놀람 조항을 발표 자체에서 도출할 수 없음으로 읽을 때 생기는 자기언급을 나타냈다.

그림에서 무엇을 볼까요?

생각그림 10 · 발표의 놀람 조항을 발표 자체에서 도출할 수 없음으로 읽을 때 생기는 자기언급을 나타냈다.

“시험 날짜는 이 발표로부터도 미리 도출되지 않는다”라고 엄밀히 적으려 하면 발표가 자기 자신을 가리킨다. 학생들은 시험이 있다는 부분만 아니라 놀람을 보장한다는 부분까지 전제로 삼아 날짜를 지운다. 티머시 차우는 단순히 “빈 전제에서 날짜를 증명할 수 없다”는 식의 약한 해석으로는 학생들의 논증이 시작되지 않고, 발표 자체를 공리로 삼는 강한 해석에는 자기언급이 들어간다고 설명한다. 문제는 자기언급이라는 이름만 붙이는 데서 끝나지 않고, 어떤 자기언급을 허용했는지 살피는 데 있다.