出版社内容情報
理論パズルを通じて記号論理学を解説。パズルを解き進めることで記号論理学の本筋に進めるスマリヤン独特の手法。
目次
第1部 一般化のすすめ(正直者と嘘つきの論理学;男性か女性か;沈黙する騎士と悪漢;マトモかイカれているか;二重の厄介さ;統一原理)
第2部 記号化のすすめ(命題論理入門;正直者と嘘つきの命題論理;日がわり嘘つき;論理結合子と日がわり嘘つき;タブロー法;「すべて」と「少なくとも一つ」;第1階述語論理入門)
著者等紹介
高橋昌一郎[タカハシショウイチロウ]
ウエスタンミシガン大学数学科および哲学科卒業後、ミシガン大学大学院哲学研究科修士課程修了。現在は國學院大學教授。専門は論理学・哲学
川辺治之[カワベハルユキ]
東京大学理学部数学科卒業。現在、日本ユニシス株式会社上席研究員。入社以来、主にプログラミング言語およびミドルウェアの企画・設計・開発に従事(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。