身から出た錆 [留学]

今日おれの指導教官とおしゃべりをしているとき、このシリーズのネタ本であるTypes, Tableaus, and Gödel's God を「これ、高階様相論理のけっこういいteaching materialになるかも」と紹介したら、「これとPlantingaのontological proofを比較対照させて1本ペーパー書いたら？」という話になってしまった。それだけならまだしも（まだしも！）、よせばいいのに「van Inwagenもontological proofやってましたよね」と余計なことを言ってしまい、最終的には"ontological proofs after Gödel"とでも言うべき、modern ontological proofのサーヴェイをするところまで話は広がり、そこで先生が「これって、『ペーパー』とかじゃなくって『本』とか、そういう規模のネタだよなあ」とぽつり。いや、そんな厄介なネタで本なんか書きたくないですよ！