2013-01-13 第IV部 論理学はここから先が面白い！ 進んだ話題のロードマップ ぱらぱらめくる『論理学をつくる』 ぱらぱらめくるシリーズ 論理学 目次 第11章 めくるめく非古典論理の世界にようこそ！ 第12章 古言論理にもまだ学ぶことがたくさん残っている 第IV部のまとめ 第11章 めくるめく非古典論理の世界にようこそ！ ２値論理・多値論理、ファジー論理→集合・ファジー集合(こちらとか) 様相論理 第12章 古言論理にもまだ学ぶことがたくさん残っている First-order logic 第IV部のまとめ
