起床は10時半、電話で起こされる。昼食はほうれん草のパスタにミートソ−ス。 夕方、美容院に行くが、いすの上で爆睡する。夕食はラザーニャ、ひさしぶり。Cと録画した「絶望先生」を見る。

だいぶ肌寒くなってきた。起床は8時、出勤して科研書類。午後までかかって書類を作成し、提出する。Ms-wordで作成したことを後悔している。雑用をして21時15分に帰宅。夕食はミートソースパスタ。

前回は、ウカシェーヴィチ3値論理では、包括原理が矛盾を導くという話をいたしました。そのとき、「3値論理はアリストテレスの分析の結果、アリストテレスの意図を3値論理として再定式化したもの」と受け取れるような書き方をしましたが、それは実は間違いで…

起床は8時15分、とても眠い。出勤して論文を読み、紙にシャーペンでプログラムの骨組みを書く。午後は談話会、LTLのグラフィカルな表現について。19時半に退出、21時15分に帰宅。夕食は昨日のクリームシチューにマカロニを入れたもの。

Journal of Philosophy, vol. 64, p.5-22. 1967. 18時半より22時まで。参加者4人、p.5よりp.10第二段落まで。饒舌なパットナムの論文を輪読で読むのは無理があるのか、訳に苦労した割には内容がない。面白いところは次回に持ち越し。 p.9で、 "Mathematics a…

起床は8時15分、最近寝坊ぎみ。出勤して雑用。一日中Agdaでの定理証明の練習。早退して読書会へ。読書会に向かう途中、阪急線でK氏と遭遇。読書会終了後、ビールがないので、阪急駅前のスーパーまで他の参加者と一緒に行き、ビールを買って帰る。帰宅は22時…

朝方、強い雨が降る。出勤時には雨はほぼ上がっていたが、湿度が高く肌寒い一日。23時過ぎにまた雨が降り出す。 起床は9時15分。阪急駅で朝食をとっていたら、いつもより遅くなってしまう。郵便局で某書類を発送してから出勤。論文読みと科研書類。Kt氏と金…

天気は雨。起床は10時半。昼頃に雨が上がったので、岡本へ行き、頼んでいた証明書写真を受け取る。DONQで昼食後帰宅、某書類を作成。夕食はカボチャのクリームパスタ。食後、録画した「絶望先生」をCともう一回見た後、某書類の仕上げ。 うちにある「絶望先…

さて次には、元祖3値論理である Lukasiewicz 3値論理では、ラッセル・パラドックスは解決できるものの、Moh Shaw-Kwei のパラドックスを導いてしまうことをご紹介しましょう。 ウカシェーヴィチ3値論理とは 数ある多値論理の中で、歴史的に一番古いのがポー…

まず最初に、クリーネの3値論理をご紹介しましょう。 これは真理値として 真(t)、偽(f)、不定(i)の三つを持ちます。 論理結合子に関して、以下の二つの例を紹介しましょう。 否定 ¬ に関して A が t (f) ならば ¬A は f (t)：古典論理と同じ A が i ならば ¬…

みなさま、いかがお過ごしでしょうか。ラッセル・パラドックスを解決するためのあまり知られていない方法を紹介しようというこの企画、前回はパラドックスの解決のため古典論理を制限しようと言う "Restriction of logic" 方式で、証明論的に古典論理を弱く…

よく晴れた日、日差しは強いが、秋らしく風が涼しい。起床は11時半。昼食は明太子スパゲティー、洗濯をしてから本を読んだりエントリーを書いたりして過ごす。夕食はトマトとベーコンのスパゲッティ、唐辛子が効いていた。 食後、風呂掃除をすると、小さなウ…

広島カープの佐々岡シンジ投手が引退。引退試合の際、9回裏2アウトで登板し、横浜の4番・村田からソロホームランを浴びる。えーと、別に「村田空気読め」とか言わない。ただ、佐々岡って昔からそういう選手だったし、結局最後まで佐々岡だったんだなぁ、と思…

よくはれた暑い日。起床は11時半、洗濯をし、HDレコーダーとPCのバックアップをとる。 16時にCと外出。阪急駅前にある銀行のCDコーナーにいくと、入り口にJR東日本のSuicaと横浜市内の喫茶店のコーヒー券が落ちていた。土曜のため支店には誰もおらず、緊急連…

実は Agda の上で impredicative な議論が強力に展開できるということ、そして証明論的にはアホみたいに強いということ。驚きました。

残暑。長袖シャツを脱いでTシャツで過ごす。 8時15分に起床、阪急駅前でサンドイッチと紅茶で朝食、出勤して論文読み。昼はカキフライ弁当、奮発して付け合わせにサバと秋なすの香味揚げを食べる。午後は研究打ち合わせ。 18時にKTさんと議論を始め、気がつ…

午前は晴れ。8時15分に起床、郵便局によってから出勤。昼食はカキフライ弁当、満足。午前・午後と論文読み、昨日の課題をやり直すと、ずっと簡単だった。夕方は談話会、Agdaのcore language（候補）について。19時に帰宅しようとしたが、ついつい飲むグルー…

まだ日中は暑い。起床は9時、慌てる（フレックスだけど）。出勤する。前日に私が帰宅するとき、部屋の鍵を閉めず帰ってしまったことが判明して平謝り。あとは論文読み、午後いっぱいを空費して、自分の間違いに気づく。 帰宅は21時15分。夕食後、某書類を完…

起床は8時半。久しぶりに長袖で出勤、しかし長袖には少し早かったか。午前中は業務研究、午後は書類原稿。15時から情報科学関係部局の合同セミナー、認証について。懇親会で酔っぱらう。21時に帰宅。夕食は二日目のカレー。 9月30日付けのエントリーの一部が…

えーと、2年前ぐらいに買って、半分読んで放置して、最近再開して通勤電車内で読んでいたもの。やっと終わりました。シュトゥム将軍の登場から始まるが、平行運動もアルンハイム×ディオティーマも膠着状態。

18時半より21時まで、4人出席。著者のwebsite はこちら。Introduction と第一節をK氏のレジュメで。 高階論理や Best logic, 抽象化原理について面白い議論となりました、が、やはり本題から脱線しすぎか。あまりに脱線しすぎたので、結局この論文は今回で打…

湿度が高い一日。朝、駅前の本屋で「よつばと」7巻を買って出勤（創作ダンスを見られて赤面する しまうー 萌え）。上司と打ち合わせ、当座の課題が決まる（業務研究であっても興味が持てるものでないと。満足です）。 16時半に退出（フレックス様々）、読書…