ラッセルのタイプ理論の初期受容に関して，ゲーデルの哲学を考察する．まず，ゲーデルの「ラッセルの数理論理学」（1944）におけるタイプ理論批判の論点を確認する．その論文でゲーデルは，論理に対するラッセルの実在論的態度を受け入れ，その思想的起源を…

応用哲学会ワークショップのアブスト。