論理学は、数学・計算機科学・言語学・哲学などの諸分野と密接に関係しつつ、「推論の正しさ」という切り口から人間の思考について考える学問である。本書は、現代的な論理学を初学者〜中級者向けに解説。理系・文系の枠を超えて学べる入門書。
第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章 様相演算子としての否定
レビュー(0件)