論理は現実世界での推論とどう関係しており、どう応用できるのか？論理プログラミング言語Ｐｒｏｌｏｇへの貢献でも有名なＲ・コワルスキ、ロジックをインフォーマルに語る。Ｎｅｕｒｏ全盛の今だからこそ、Ｓｙｍｂｏｌｉｃ　ＡＩを考える。
もくじ情報：第１章　地下鉄の論理；第２章　論理の心理学；第３章　カラスとキツネ；第４章　探索；第５章　失敗としての否定；第６章　英国市民になる方法；第７章　ダンゴムシと火星探査機；第８章　生命の駆動力としての持続目標；第９章　生命の意味；第１０章　アブダクション；第１１章　囚人のジレンマ；第１２章　動機が重要；第１３章　変化する世界；第１４章　論理とオブジェクト；第１５章　双方向条件文；第１６章　計算論理と選択課題；第１７章　メタ論理；本書の結論；補遺

コワルスキ，ロバート(コワルスキ，ロバート)
インペリアル・カレッジ・ロンドン計算機工学科名誉教授、Ｄｉｓｔｉｎｇｕｉｓｈｅｄ　Ｒｅｓｅａｒｃｈ　Ｆｅｌｌｏｗ。「自動定理証明および論理プログラミングに関する先駆的研究を含む、知識表現と問題解決のための論理学への貢献」によるＩＪＣＡＩ卓越研究賞（２０１１年）など、受賞多数。論理型プログラミング言語Ｐｒｏｌｏｇへの貢献でも知られる