1 0 0 0 OA シーザー問題

著者
井上 直昭
出版者
日本科学哲学会
雑誌
科学哲学 (ISSN:02893428)
巻号頁・発行日
vol.34, no.1, pp.49-60, 2001-05-30 (Released:2009-05-29)
参考文献数
7

This paper deals with the so-called Julius Caesar Problem. Crispin Wright has recently shown that it is possible to derive the axioms of second-order arithmetic from a principle which is called Hume's Principle (HP). Depending upon this result, Wright resurrected a version of Fregean logicistic project. But historical Frege suspected HP as not a fundamental law of arithmetic in the face of Caesar Problem in his Die Grundlagen der Arithmetik section 66. He supposed, I think, that this problem was to be solved through axiom V, the basic law in his Grundgesetze der Arithmetik. But this strategy failed because of the inconsistency of axiom V. And this failure must be seen from a point of view of semantic ill-foundedness, which in general would be included in Fregean abstract principle. This difficulty is an important reason for Russell's Paradox, thus makes it impossible to give any answer to Julius Caesar Problem.

言及状況

外部データベース (DOI)

はてなブックマーク (1 users, 1 posts)

収集済み URL リスト