고틀로프 프레게

1902년 6월, 케임브리지의 30세 버트런드 러셀에게서 편지 한 통이 도착했을 때 프레게의 Grundgesetze der Arithmetik(산술의 기본 법칙) 2권은 인쇄 중이었다. 짧게 형식화되는 러셀의 역설은 프레게의 기본법칙 V와 연결된 모순을 드러냈다. 그보다 앞선 1879년, 프레게가 예나에서 재직하던 때 Louis Nebert가 할레에서 출판한 Begriffsschrift는 양화와 함수-논항 분석을 형식화해 현대 술어 논리의 토대를 놓았다. 오늘날의 ∀·∃ 기호를 사용한 것은 아니며 성숙한 진리값 이론도 후대 저작과 구분해야 한다. 동시대인은 이 책을 거의 읽지 않았지만 러셀·후설 등이 프레게의 작업을 이어받았다.

아래 내용은 확인된 역사적 사실이 아니라, 이 인물의 영향을 생각해 보는 가정입니다.

프레게의 Begriffsschrift(1879)는 양화와 함수-논항 분석을 결합한 형식언어를 제시해 현대 술어 논리의 토대를 놓았다. 이후 러셀의 논리주의, 힐베르트의 증명론, 괴델·처치·튜링의 논리와 계산 연구가 발전하는 중요한 선행 맥락이 되었다. 1902년 러셀의 편지는 Basic Law V와 연결된 모순을 드러냈고, 프레게는 Grundgesetze 2권 부록에서 그 문제를 공개적으로 논의했다.