著者
Ryota AKIYOSHI
出版者
Japan Association for Philosophy of Science
雑誌
Annals of the Japan Association for Philosophy of Science (ISSN:04530691)
巻号頁・発行日
vol.17, pp.13-29, 2009-03-31 (Released:2017-08-01)
参考文献数
22
被引用文献数
2 2

We can find in several places an assertion that Gödel'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 Gödel'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 Gödel's second incompleteness theorem defeats Hilbert's program. Moreover we clarify what is essentially needed for such an argument to succeed.

言及状況

外部データベース (DOI)

Twitter (2 users, 2 posts, 5 favorites)

@asonosakan 手前味噌で恐縮ですが,この話は私の修士論文のテーマで論文を書いたこともあります.可証性述語が可導性条件を満たすべきであると主張する議論を取り上げました. https://t.co/xpHCiJuiXR

収集済み URL リスト