프레게와 불가결성 논증

Abstract

최근 불가결성 논증을 프레게와 연결짓는 시도가 자주 있다. 가령 메디, 레스닉, 발라궈, 콜리반 등은 불가결성 논증의 단초를 프레게에게서 찾고 있다. 한편 가라바소는 최근 논문에서 이를 부정하였다. 나는 이 글에서 프레게가 그런 논증을 제시했다고 보기는 어렵다고 주장한다. 이 점에서 나는 가라바소의 결론에 동의하는 셈이다. 하지만 내가 드는 근거는 그의 것과는 다르다. 나아가 나는 “왜 그러면 사람들이 프레게와 불가결성 논증을 연관시키게 되는가?”라는 물음에 나름의 대답을 제시한다. 나는 불가결성 논증의 구조를 새롭게 분석하게 되면, 거기에 불가결성 논증과 프레게를 연관지을 만한 요소가 있음이 드러난다고 생각한다. 아울러 불가결성 논증의 구조를 이처럼 새롭게 파악하게 되면, 현대 수학철학에서 이루어지고 있는 존재론 논의의 여러 흐름을 새롭게 조망할 수 있는 길이 열린다는 점이 밝혀진다.