>>385 つづき
実は、Hoare さんが、変な言葉の使い方をしていて、Record Handlingの 1.3 節で、The objects of the real world are often conveniently classified into a number of mutually exclusive classes, and each class is named by some collective noun, s.uch as “person”, “bankloan”, “expression”, etc. と書いている。
"people” なら良いのだが、"person” は、集合名詞 collective noun ではない。集合名辞を集合名詞と結び付けて理解していなかった僕は、それに気が付かず、「僕の意味集合名辞」として理解して話してしまい、それで川西君は「えっ?」という顔をしたらしい。
Hoareさんの間違い(ここでわざわざ collective nouns という必要ない。Plural nouns と書けば十分)と、僕の間違いが重層し、それに川西君が否定的に反応し、それに僕が気が付く、という契機が触媒して、見つかった事実。まあ、発見とは、こういうものですね。実に面白い! :-D
で、それが契機となって、全体が明瞭になった。とはいっても、伝統論理学やらヨーロッパ言語文法における名辞、名詞の分類は、非常に曖昧に見えるし、納得いかないというところがどこかにある。恐らく、多くの日本人には、そうなのでは?この辺りが、西田の出発点の一つではないのかとも思うのだが、
そうなると、結構、良い議論ポイントを探し当てていたといえそう。
いずれにせよ、この誤解は、大々的に言い立てて、修正せねば!まず、来週の特殊講義、その後で、今も出している2014年の月曜日後期の資料を修正。また、今年の月曜日後期では、伝統論理学の教科書をもってお extensive に survey して、その上で、自分の見方として提示する必用あり。
このテキストが役立ちそう。ようするに、僕のATTTのアイデアはラッセルの記述理論から来ているのだな… (昔、Logic of Partial Term というものを考えていたが、その型理論版だった。) :-D
以下略
おわり
現代数学の系譜11 ガロア理論を読む29 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
2017/04/12(水) 07:20:28.45ID:JwtGN80z
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 高木豊氏 本田圭佑のW杯解説に私見「相手の選手も知らないと、野球ではボロカス言われるよ」 [jinjin★]
- 中傷動画より突っ込まれたくない高市事務所の“急所” 疑惑の本丸「サナエトークン」国会での追及本格化 [バイト歴50年★]
- 東京 北区 小学校で火事 児童ら計11人病院搬送 うち3人が骨折 ★2 [蚤の市★]
- トランプ氏の「侮辱的発言」にメローニ氏反論、外相の訪米中止に発展 [蚤の市★]
- 湖池屋 ポテトチップスなど値上げ 8月出荷分から [安倍聖帝★]
- 《皇室乗っ取りクーデター》麻生太郎氏 “養子案”主導に広がる反発…“天皇の外戚になる可能性”との指摘も [バイト歴50年★]
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★97【メキシコ/カナダ/アメリカ】
- 西武線 7
- わしせん3
- はません ★3
- 巨専】
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★96【メキシコ/カナダ/アメリカ】
- 妹「えへへ、お兄ちゃんの精子おまんこから一滴も零さないからね♪」←おもむろに逆立ちをして股を開いたり閉じたりし始める
- 最高の景色をー🏡⚽👊😅👊⚽
- 【FIFAワールドカップ2026】 D組アメリカ×オーストラリア4:00(NHK3:45~,DAZN),C組スコットランド×モロッコ7:00(フジテレビ6:00~,DAZN) [226731781]
- ニュー速愛国保守「日本はもうどうにもならんので一度完全に壊さないとダメ。もうすべて手遅れだから」 [819729701]
- おっさん「切符落とした」東京駅駅員「じゃあ一番遠い区間(博多東京間)の三倍の運賃払うまで駅から出さねぇ」→どっちが悪いかXで紛糾 [793117252]
- 【画像】このお母さん何歳だと思う?? [632966346]