火と代数 [何か無駄なことをしよう]

ボルヘスのものとされる有名な言葉に「藝術とは（あるいは詩とは、またあるいは幻想文学とは）火と代数（の結合）である」というものがある。「ボルヘスのものとされる」ともってまわった言いかたをしたのは、この言葉で検索をかけてひっかかった記事にはその出典情報がまったく見あたらないからだ。

いよいよ寒くなってきました。 [日々]

今年は例年よりとてもあたたかく、知らない人との会話など（こちらは日本にくらべると知らない人との会話というのがかくだんにおおく発生する）「今年はあったかいねえ」というのがおきまりのあいさつだったのですが、先週あたりからぐんぐん寒くなってきて、「北米の北のほうの冬」という観がつよまってきました。

というか今週寒すぎじゃないですか。

今日のひとこと [「いい」とも「ダメ」とも言いがたい話]

今日オフィスアワーのとき質問をしにきた学生さんに "You're crazy in a good way" といわれました。

愛と性／生と死の哲学 [雑]

ラップトップ内の文書を整理していたら、今年の冬学期にうけもっていた「愛と性／生と死をとおしてする哲学入門」の試験対策資料がでてきたのでおいときますね。

というか、この授業をやったの数年前のような気がしていたんだけど、今年のことだったのか……。

ちょっといじわる [雑]

初級論理学の試験のためにつくった問題集に「解答なし」が解答の問題をまぎれこませたところ、すごく出来のいい学生さんから「この問題ずーっと考えてるんだけどぜんぜん答えがでない。くやしいけど解答おしえて！」というメールがきたので、「『解答なし』が解答」と返答したところ "Ahhh!" という返信がきて、ちょっと（ほんとうに、ちょっと）「わるかったな」とはおもったんですが、でも、式の意味をかんがえれば答えがないことは明白な問題だし、そもそも、「解法を機械的に適用するのではなく、問題の意味をちゃんとみすえてとりくもうぜ」というメッセージをこめた問題だったので、まあしかたないですね。

ちなみに、奥さんにこのことをはなしたら「なんで学部生にそんな問題だすの！」とおこられました。

ものを書くにはエネルギーがいる。 [気づき]

数時間にわたり集中して執筆にはげんだあと鏡を見ると、眼は落ちくぼみ、あまつさえ頬がこけていたりするので、ものを書くのはエネルギーを消費するんだなあ、とあらためて思う。

初級論理学のスタディ・ガイド, Revisited [雑]

来週、ぼくが演習を担当している初級論理学の試験があるので、それに向けてのスタディ・ガイドを用意しているのですが、量化文（「すべての」とか「ある」が現れる文章ですね）が現れる議論の例をチャールズ・ラトウィッジ・ドッジソンの『記号論理』から採ろうと思ったら、同じ例を戸田山さんがすでに『論理学をつくる』でつかっているのを発見し「なんだよー」って感じです。

あと、命題論理の健全性の（真理木にもとづいた）証明を『論理本』流に階層の概念をつかって書き下ろしたところ、「こんなん、初級論理学の受講生は誰も読まないよ」というものになってしまったので、結果、戸田山さんのやりかた（真理木の健全性を、真理木の経路の充足可能性＝開放経路と真理木規則の真理保全性に帰着させる）を踏襲することになりそう。なんか、くやしい。

ある日のオフィスアワー [日々]

ある日のオフィスアワーでの学生さんとの会話。

ものぐさ [雑]

ぼくには、ぼくほどものぐさな人間もそうそういるまい、という自負がある。毎日好きなだけ寝て、好きなこと（この「好きなこと」というのも、音楽を聞いたり映画を見たりという、負荷の低いものが望ましい）だけをして過ごせたらどんなにかいいだろうと思う。

夕食時の風景 [日々]

今日、奥さんが夕飯の用意をしながら "Love Will Tear Us Apart" を口笛で吹いていて、しかもそれをあまりに何食わぬ顔で軽快に吹いていたので思わず笑ってしまった。