以下の本が来年1月に出る予定なので注文する。 Dag Prawitz Natural Deduction: A Proof-theoretical Study とても有名な本で私もcopyで持っていますが製本せず、ファイリングしてあるだけなので、やはり本としてほしく注文。Doverものなので安い。

Chris Fraser “The School of Names” SEP新着。いわゆる中国古代の名家の解説。名家と言えばLogician達なので入手。Introは次のよう。 The “School of Names” (ming jia) is the traditional Chinese label for a diverse group of Warring States (479-221 …

スターバックスにてChetの伝記を読み、薬袋本で英語の復習をし、三浦さんのラッセル本を読む。部屋に帰って線形代数をノートにとって勉強し、末木先生の『記号論理学 −その成立史の研究』を読む。