述語論理

論理学 - 正しい推論の学問

論理学の歴史と主要概念を解説。アリストテレスの三段論法から現代の記号論理学まで、正しい推論の形式を探究する学問の全体像。