論理学は、数学・計算機科学・言語学・哲学などの諸分野と密接に関係しつつ、「推論の正しさ」という切り口から人間の思考について考える学問である。本書は、現代的な論理学を初学者〜中級者向けに解説。理系・文系の枠を超えて学べる入門書。
第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章 様相演算子としての否定
ゲスト
大西琢朗『論理学（3STEPシリーズ）』は、論理学の基礎を段階的に学べる入門書です。命題、論理記号、推論規則、論理的誤謬などを丁寧に解説しており、初心者でも体系的に理解できる構成になっています。具体例や演習問題が豊富で、抽象的な論理概念を実践的に確認できる点が特徴です。論理的思考力を身につけたい学生や、哲学・数学・情報学の基礎学習者に適した一冊です。
