記号論理学

一般化と記号化
Ｌｏｇｉｃａｌ　ｌａｂｙｒｉｎｔｈｓ．

丸善出版
レーモンド・Ｍ．スマリヤン　高橋昌一郎　川辺治之　

• 価格: 2,640円（本体2,400円＋税）
• 発行年月: 2013年01月
• 判型: Ａ５
• ISBN: 9784621085721

内容情報

[BOOKデータベースより]

第１部　一般化のすすめ（正直者と嘘つきの論理学；男性か女性か；沈黙する騎士と悪漢；マトモかイカれているか；二重の厄介さ；統一原理）
第２部　記号化のすすめ（命題論理入門；正直者と嘘つきの命題論理；日がわり嘘つき；論理結合子と日がわり嘘つき；タブロー法；「すべて」と「少なくとも一つ」；第１階述語論理入門）

[日販商品データベースより]

スマリヤン著「ロジカル・ラビリンス」前半の全訳。「一般化のすすめ」「記号化のすすめ」の２部構成で、記号論理学の大学院レベルの学期コースに相当する知識を得ることができる１冊。