論理学復習

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