존재와 일관성을 둘러싼 프레게/힐버트 논쟁

초록

Frege and Hilbert have expressed quite different views on the significance of the consistency proof. The aim of this paper is to discern what exactly their views were and what made them disagree. For this, I examine first Hilbert's consistency proof given in the Foundations of Geometry, and then try to pinpoint the cause of the disagreements. In so doing it will be shown that Frege and Hilbert had different concepts of consistency. Finally I suggest that what made Frege reluctant to accept Hilbert's consistency proof was his unique conception of inference.

키워드