- 著者
- AKIYOSHI Ryota
- 出版者
- 科学基礎論学会
- 雑誌
- Annals of the Japan Association for Philosophy of Science (ISSN:04530691)
- 巻号頁・発行日
- vol.17, pp.13-29, 2009-03-31
- 被引用文献数
- 1
We can find in several places an assertion that Godel's second incompleteness theorem defeated Hilbert's program. But, (as M. Detlefsen argued in his book) in order to establish this assertion, we need to address additional issues. First we formulate Hilbert's program. Second we reconstruct a standard argument for the claim that Godel's second incompleteness theorem defeated Hilbert's program. In doing so, we formulate a critical, and problematic assumption which we call "DCT" (Derivability Conditions Thesis). Finally we examine three arguments whose aims are to justify DCT. We show that the first and the second argument are not valid, and discuss the third argument, which is based on Kreisel's idea. We identify a difficulty in this argument as well. After examining the difficulty, we conclude that we cannot claim that Godel's second incompleteness theorem defeats Hilbert's program. Moreover we clarify what is essentially needed for such an argument to succeed.