Why, in 1902, wasn't Frege prepared to accept Hume's Principle as the Primitive Law for his Logicist Program?
スポンサーリンク
概要
- 論文の詳細を見る
The so-called Frege Arithmetic (FA), recently developed by C. Wright, G. Boolos, R. Heck and others, is without doubt a remarkable contribution to both the philosophy of mathematics and Frege-studies. Nevertheless FA is not a historically faithful representation of Frege's own logicist program, because it is dubious whether FA is compatible with some of Frege's fundamental logical notions, such as the sharp boundary condition of concepts, consequently the law of excluded middle, his rejection of piecemeal definition and of the type distinction among objects.
- 科学基礎論学会の論文
- 2000-03-05