ブイツーソリューション出版案内 V2-Solution BOOKS

この本は、消化不良の論理学を、標準的な扱いにとらわれずに復習しようという本である。次のようなテーマを復習する。
論理的な真偽の特徴づけ。
全称命題や存在命題の成り立ち。
論理の体系的な扱い。
背理法、対偶律、矛盾律、排中律など代表的な論理法則の相互関係。
特に、ヒルベルト流公理系や、ゲンツェンの自然演繹風の扱いに照らして述語論理を復習する。
さらに述語論理の世界観を極めるラッセルの記述理論を復習する。
背理法の気持ち悪さとどうつき合ったらよいかも提案してみた。