夜、スターバックスでアイス・ショート・ラテを飲みながら、Suppesの入門書の定義のChapterを読みつつ、自分が定義というもののどこをどのように理解していないか検討する。 定義で使われる同一性記号と同値記号の役割の違いが理解できていないことはわかる…

石飛道子 『ブッダ論理学五つの難問』 今日明日辺りに出る新刊のようです。まえがきを見ますとブッダの阿含経典を現代論理学を踏まえて読むならば、すごくよくわかるというもののようです。明日本屋で見ることができたら買おうかな。

Josep Font and Petr Hajek ‘Lukasiewicz and Modal Logic’ Abstract. Lukasiewicz's four-valued modal logic is surveyed and analyzed. Wilfrid Hodges ‘Ibn Sina’s ‘Al-Ibara’ on multiple quantification: how East and West saw the issues’ Chapter 9…