초록
20세기 초반에 등장한 수학기초론의 주류 세 학파 (직관주의 논리주의 형식주의)는 상호 대립관계를 보인다. 큰 틀에서 볼 때, 논리주의는 프레게를 계승하는 입장이다. 이와 대립관계의 기초론 중 하나인 직관주의는 구성주의 수학철학의 주축으로 평가된다. 그리고 직관주의가 터를 닦은 구성주의 수학철학을 후속 개진시킨 주역은 의미론적 반실 재론을 주창한 마이클 더밋이다. 따라서 외형상으로는 더밋이 직관주의를 계승하는 후계세대처럼 여겨질 수 있지만 그의 철학적 기반은 분명 프레게이다. 더밋이 논리주의가 아닌 직관주의 계열에 합류한 사실의 속내는 구성주의 내부의 두 입장 (즉, 직관주의와 반실재론) 이 보이는 배중률을 둘러싼 태도의 드러난 일치뿐만 아니라 가려진 차이까지 헤아려질 때 해명될 수 있다고 본다. 본고는 이런 해명을 통해 구성주의 수학철학에 대한 이해도 한층 더할 수 있다는 판단에 따른 제안적 노력이다.
Constructionists believe that mathematical knowledge is obtained by a series of purely mental constructions, with all mathematical objects existing only in the mind of the mathematician. But constructivism runs the risk of rejecting the classical laws of logic, especially the principle of bivalence and L. E. M.(Law of the Excluded Middle). This philosophy of mathematics also does not take into account the external world, and when it is taken to extremes it can mean that there is no possibility of communication from one mind to another. Two constructionists, Brouwer and Dummett, are common in rejecting the L. E. M. as a basic law of logic. As indicated by Dummett, those who first realized that rejecting realism entailed rejecting classical logic were the intuitionists of the school of Brouwer. However for Dummett, the debate between realists and antirealists is in fact a debate about semantics - about how language gets its meaning. This difference of initial viewpoints between the two constructionists makes Brouwer the intuitionist and Dummettthe the semantic anti-realist. This paper is confined to show that Dummett's proposal in favor of intuitionism differs from that of Brouwer. Brouwer's intuitionism maintained that the meaning of a mathematical sentence is essentially private and incommunicable. In contrast, Dummett's semantic anti-realism argument stresses the public and communicable character of the meaning of mathematical sentences.