論理学は、数学・計算機科学・言語学・哲学などの諸分野と密接に関係しつつ、「推論の正しさ」という切り口から人間の思考について考える学問である。本書では現代的な論理学を初学者～中級者向けに解説。理系・文系の枠を超えて学べる入門書である。
もくじ情報：第１部　計算と表現（古典命題論理（１）―論理式で計算する；古典命題論理（２）―推論の妥当性；様相論理（１）―可能世界意味論；様相論理（２）―対応理論；古典述語論理（１）―量化子；古典述語論理（２）―多重量化；古典述語論理（３）―計算と表現；第２部　正しい論理を求めて（厳密含意の論理―古典論理を批判する；直観主義論理（１）―数学的構成；直観主義論理（２）―真理と様相；多値論理―真理値は２つで十分か；関連性論理（１）―３項関係；関連性論理（２）―構造規則・状況推論；様相演算子としての否定

大西　琢朗(オオニシ　タクロウ)
京都大学学際融合教育研究推進センター人社未来形発信ユニット特定准教授。２０１２年、京都大学大学院文学研究科博士課程修了。博士（文学）。専門は哲学・論理学（本データはこの書籍が刊行された当時に掲載されていたものです）