- 448 名前：ｾが、
そうなると、結構、良い議論ポイントを探し当てていたといえそう。
いずれにせよ、この誤解は、大々的に言い立てて、修正せねば！まず、来週の特殊講義、その後で、今も出している2014年の月曜日後期の資料を修正。また、今年の月曜日後期では、伝統論理学の教科書をもってお extensive に survey して、その上で、自分の見方として提示する必用あり。
このテキストが役立ちそう。ようするに、僕のATTTのアイデアはラッセルの記述理論から来ているのだな… （昔、Logic of Partial Term というものを考えていたが、その型理論版だった。） :-D
以下略
おわり [] - [ここ壊れてます]
