■

• David Papineau　　Philosophical Devices: Proofs, Probabilities, Possibilities, and Sets, Oxford University Press, 2012

以下の四つの事柄の、初歩的な概念を説明しています。集合論、真理に関する区別 (analyticity, a prioricity, and necessity), 確率論、metalogic.
内容の level は、たぶん大学一年生向けぐらいだと思います。軽い内容の本なので、日本語に訳して出版すると、少し売れそうな感じがします。
ただ個人的には、このような平易な本を邦訳していただくよりも、難しくて分厚い本を訳してもらった方が助かりますが…。

先日購入した次の雑誌

• 『現代思想』、総特集 チューリング、シリーズ 現代思想の数学者たち、2012年11月臨時増刊号

に載っていた、以下の論考を拝読致しました。

• 照井一成　　「相互作用としての計算」

大変興味深いものがありました。