昨日次の文を読んだ。 冨田恭彦 「あしながのっぽのクワイン先生」、『ちくま』、no. 434、筑摩書房、2007年5月 「茶目っ気のある優しいおじいちゃん」としてのQuineさんのお姿が描かれていてほほえましいです。この文を読んで思いましたことを一つ、記しま…

John Halleckさん @ Univ. of Utah のHPを見ると、Modal Logicに関する充実したページが公開されている。 Modal Logicの様々なsystemの一覧が掲げられており、かなり詳しい。たぶんHughes and Cresswellさん以来の、かつ以上の詳しさだと思う。 様々なaxiom…