0787132人目の素数さん垢版2018/09/06(木) 08:11:26.25ID:S17wKvem 概観に良いのを3冊ほど。 [1] 前原昭二 竹内外史 「数学基礎論」ちくま学芸文庫 文庫で200ページ。内容は不完全性定理だけでなく直観論理、ファジー論理、計算論など。 [2] 戸田山和久「論理学をつくる」名古屋大学出版会 多値論理、 直観論理、様相論理など。これは単行本。 >>785 のやつ。 [3] 三浦俊彦「改訂版 可能世界の哲学 「存在」と「自己」を考える」二見文庫 可能世界。