論理学は、数学・計算機科学・言語学・哲学などの諸分野と密接に関係しつつ、「推論の正しさ」という切り口から人間の思考について考える学問である。本書は、現代的な論理学を初学者〜中級者向けに解説。理系・文系の枠を超えて学べる入門書。 第1部　計算と表現 第1章　古典命題論理（1）--論理式で計算する 第2章　古典命題論理（2）--推論の妥当性 第3章　様相論理（1）--可能世界意味論 第4章　様相論理（2）--対応理論 第5章　古典述語論理（1）--量化子 第6章　古典述語論理（2）--多重量化 第7章　古典述語論理（3）--計算と表現 第2部　正しい論理を求めて 第8章　厳密含意の論理ーー正しい論理を求めて 第9章　直観主義論理（1）--数学的構成 第10章　直観主義論理（2）--真理と様相 第11章　多値論理ーー真理値は2つで十分か 第12章　関連性論理（1）--3項関係 第13章　関連性論理（2）--構造規則・状況推論 第14章　様相演算子としての否定