2005-07-23から1日間の記事一覧

Dream Theater, Octavarium, 2005. 次はDTのライブに行きたいなぁ。

ラッセル

比較的進んだ方か。項と関数についてのフレーゲの分析にラッセルがコメントをつけている箇所。

カリー・ハワード対応 (7)

矛盾タイプを入れて前と同じものの証明。まったく同じような定理の証明の手間がどんどん増えていく。ぬるい。

異動

Lisa Bortolotti (philosophy of mind, psychology, and science; applied ethics) @ the University of Manchester → University of Birmingham. Yujin Nagasawa (philosophy of mind, philosophy of religion, applied ethics) @ the Australian National …

寝坊して読書会に行ったら、一番最初に来たのは自分だった。よくあることである。読書会で証明を書いていたら地震。最初にちょっと揺れてから本震が来たので身構えもできていた。あんま大したことなかったな。しかし地震が起こりすっかり不安になった某氏が…

Vyacheslav Stepin, Theoretical Knowledge, Synthese Library 326, Springer, €176.55. Matthew Kieran, Contemporary Debates in Aesthetics and the Philosophy of Art, Blackwell, £19.99. David Ford & Rachel Muers, The Modern Theologians: An Intro…