科哲とMLGの連続出張から帰ってきてからもなぜか忙しい。その間の日記はおいおい追加していくことにしよう。

17時より21時半、p148第1パラグラフからp151第1パラグラフまで。心の哲学の解釈主義。 しかし「全能の理解者」論法って、本当に正しい論証なのだろうか。0.5*0.5=0.25だし（謎）。

久しぶりに出勤。午前中はSTと集合論における内包的アプローチについて議論。ついでに科哲で聞いた集合論の発表についてお話（STはメールを送りつけてやると息巻いていたが、彼にそんな暇はあるのだろうか）。午後は出張帰りの雑用。

2005年度 MLG 数理論理学研究集会、最終日の朝一発表。眠い。 発表の要約をここに置かせて頂いております。興味のある方はどうぞご覧ください。

科学哲学会での発表要旨。 Lukasiewicz無限値述語論理の上で包括原理(the comprehension principle)を持つ集合論（ここではHと表記する）は、Whiteによって無矛盾性の証明が証明されたが、そのモデルの構成法は証明論的な技法による複雑な扱いにくいものであ…

起床は7時50分、平日と同じ。

出発。18時45分ののぞみで、実家到着は22時。疲れた。 あまり関係ないが、荷物が多すぎて読もうと思った本がカバンに入らないので、新大阪駅で村上春樹の「海辺のカフカ」（上）を買い、中央線お茶の水駅あたりで読了。面白かったです。しかし主人公よりナカ…

忙しい一日。午前中は科哲原稿の打ち直し。午後科哲・MLGで配布する資料を計80部印刷し、MLG分は宅急便で発送。ついでに来週月曜必着の数学会の講演申込書+abstractを1時間で書き上げる。その後K助教授の出張手続き（科哲大会だそうで）とB助教授の科研費謝…

17時より20時半、p146第3パラグラフからp148第1パラグラフまで。p147の"phenomena on other level"って何よ。 またNg氏と私の科哲での発表の予行演習をさせてもらう。前回よりは好評だったが、まだまだ改善が必要なようだ。色々アドバイスをいただく。

本日は午前中健康診断。一応健康体らしい。

２冊、先週末に届いていたが、忙しかったので記入するのを忘れていた。三中先生のページで紹介されていた「浜辺の誕生」と「自然の占有」、あまりにおもしろそうなので買ってしまった。2冊合わせて1500ページ、重くて出張に持って行けない。いつになったら読…

起床は8時。眠い。勤務表を提出に出かける。 K助教授の授業は "Hilbert programme" (Kreisel)の続き。「論理式に対するモデルではなく、証明に対するモデル」というKreiselの希望を実現するのがLinear Logicでのproof netだとか。あまり時間で発表をする。So…

レフリーレポート、早速編集者が著者に送り返したところ、著者から「論理についてもっと勉強したいのですが、教科書でどんなものがいいかお教え下さい」とのお返事が来たそうだ。

昨日の疲れのせいか、とても眠い。家を出た後、財布を忘れていたことに気づいて取りに戻る。科哲原稿をチェック&発表練習、総務係、留学生センター、大学図書館。比較的ヒマな一日。 夜にJPL編集部からメール。著作権の書類もそろい、すべて出版社に送ったと…

一応、サンリオ版と同じ深見弾の名訳ベースのはずだが、一部のあまりにも名訳すぎる部分は変更されたらしい。 "metamathematics"を、サンリオ版では「数而上学」と訳していてのけぞった記憶がある。国書刊行会版ではおとなしく「超数学」(p125)になっていた…

学科の実験の補助。学科３年生が自分で設計して床面（模造紙）に文字を書く自走式ロボットをつくる、という授業。担当は資材管理と電動ノコギリ・ドリルなどの補助。「プラ版を5枚重ねて穴を開けたいけれど、固定がテープだけで大丈夫でしょうか」とか聞かれ…

本日は忙しい一日。午前中は某書類を書き上げ、昼休みに郵便局に行って発送する。今年で5件目。 夕方は残業して科哲の発表原稿作り。レフリーレポートを仕上げて発送。21時に帰宅。夕飯は鮭のクリームシチュー。24時に就寝。

今週は忙しく、さすがに力尽きたので本日は休養。 起床は12時半。朝食はカレーうどん。2時半頃岡本へ出発。写真館で履歴書写真を撮影。しかしその写真館は航空会社のキャビン・アテンダント志望者が多く利用するらしく待合室にはCA希望者のための就職情報誌…

朝10時に叩き起こされる。10時半から教会の地区会。すぐ隣のミッション系私立男子校に向かい、そこの聖堂でミサ、その後昼食会。Cと敷地を散歩して帰る。紅葉がちょうど見頃でした。14時に帰宅後、Cはお茶のお稽古で私は駅前へ。Book 1stで「おおきく振りか…

イギリスの大学からドイツ人のS氏がやって来た。空港から10時に電話があり、空港バスで11時20分頃にバス停に来るとのこと。学生のE君が迎えに行くが、11時半頃「来てないです」と電話してきた。その後やきもきしながら連絡を待つ。13時にやっと電話で、電話…

起床は8時。昨日遅かったせいか、とても眠い。著作権の書類をスキャンして、編集部にメールで送る。今日はCが職場の懇親会で遅くなるので、大学に残って書類作成。 帰宅は22時頃。郵便で「古代憧憬と機械信仰」が届いていたが、中身を見て少しがっかり（活字…

17時より20時半、p144第2パラグラフからp146第3パラグラフまで。欠席2人。訳が長いところばかり当たる。 その後、h師と私の科哲での発表の予行演習をさせてもらう。h師の発表は面白かった（Tarskiの実閉体理論の完全性との関係は自分でも考えてみたい）。私…

起床は8時。しんどい。 大学では朝から雑用。編集者にメールとssh接続制限など。昼休みは図書館に行き、「書物の中世史」と「魔術の帝国」を借りてくる。午後はDavidsonを読む（泥縄）。 読書会後、帰宅は22時。疲労困憊。夕食はエビカレー。

起床は11時。Cがケーキ生地をミキサーでかき混ぜる音で目が覚める。うるさいので早々に大学へ出かける。雑用を片づける。refree reportとサーバーの接続制限とJPL編集者への問い合わせと発表原稿の読み合わせ。 帰宅は19時。夕食はベーコンとパブリカのパス…

中絶などの倫理問題にもSorites Paradoxのような線引き問題が起こり、このような規範的問題にはsupervaluationalismが解決としてふさわしいと論じる。 曖昧さの問題に関してはいろいろな問題意識から研究が進められているのだと感心する。

朝一で編集者にお礼のメールを送る。自分では感動的な文面だと思ったが、しかし実は時制を間違えていた。恥ずかしい。 今日は一日科哲原稿。空き時間はbibliotheca hermeticaの日記を読んですごす。 ついでになぜかN大のM助教授が来ていた。帰宅は19時、夕食…

午前中送ったメールの返事が22時頃に来ていた。"It all seems to work well. I will pass it on to the Springer office. " だそうだ。これであとは著作権の書類にサインするだけ。 ここまで来れたのは、もともとのEvansの論文を読むきっかけとなったDummett…

起床は8時。h師のお許しがでたので、編集者に論文の改訂版をメールで送る。このままokがでればいいが。 アメリカのSTからメールで、向こうの大学に所蔵されていない本がこちらにないか問い合わせ。見つけたので（ここの図書室は意外とすごい）必要箇所を事務…

眠い一日。10時半にCに叩き起こされる。玄関掃除。 12時半頃義母と義弟一家が到着。私は自室に引っ込んで原稿うち、食事とお茶のときだけ顔を出す。夕食は近所のうどんや。その近くのケーキ屋によってお茶。帰宅は20時頃。23時に寝る。眠い一日だった。

起床は11時半。洗濯をしていると、お茶の稽古にいっていたCから電話で呼び出され、駅前で昼食。その後大学へ。 人文系図書館で "Structured meanings"(Cresswell) "Propositional attitude"(Richard) と「労働階級と危険な階級」（シュヴァリエ）を借りる。…