特集 査読付き論文
「付録B」タイプ理論とは何だったのか
―ラッセル『数学の原理』再訪―
2021 年 53 巻 2 号 p. 45-63
詳細
2021 年 53 巻 2 号 p. 45-63
In the “Appendix B” to his Principles of Mathematics (1903), Bertrand Russell developed a theory of types that is different explicitly from his so-called “ramified” theory of types in Principia Mathematica (1910). It is not easy to evaluate properly this “Appendix B” theory of types, because (A) it is sometimes thought that it is only a rough sketch added hastily, and (B) it seems to play no role for Russellʼs later theoretical developments. But in this paper, I shall show that both (A) and (B) are not correct and that the “Appendix B” theory of types played an important role for his theoretical developments leading to the ramified theory of types.
