科学哲学
Online ISSN : 1883-6461
Print ISSN : 0289-3428
ISSN-L : 0289-3428
シーザー問題
井上 直昭
著者情報
ジャーナル フリー

2001 年 34 巻 1 号 p. 49-60

詳細
抄録

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.

著者関連情報
© 日本科学哲学会
前の記事 次の記事
feedback
Top