記号論理学

朝倉書店
山本新（１９４９ー）　入江俊夫　田村高幸　

• 価格: 3,520円（本体3,200円＋税）
• 発行年月: 2023年11月
• 判型: Ａ５
• ISBN: 9784254500387

内容情報

[BOOKデータベースより]

第１章　論理学とはなにか（正しい推論；対象言語とメタ言語；公理体系）
第２章　命題論理（命題の記号化；論理式　ほか）
第３章　述語論理（命題の記号化；限量記号の用法　ほか）
第４章　様相論理（様相命題論理；意味論；健全性；完全性；決定可能性；様相述語論理；意味論；健全性；完全性）
第５章　直観主義論理（直観主義命題論理；意味論；健全性；完全性；決定可能性；直観主義述語論理；意味論；健全性；完全性）
補論１　ゲンツェンの論理体系
補論２　様相論理への補論
補論３　線形論理について

[日販商品データベースより]

記号論理学の入門書。命題論理，述語論理，様相論理，直観主義論理の完全性までを扱う。独習書として，また「論理学」の講義テキストとしても使用可能。

【主な目次】
第1章　論理学とはなにか
第2章　命題論理
第3章　述語論理
第4章　様相論理
第5章　直観主義論理
補論1　ゲンツェンの論理体系
補論2　様相論理への補論
補論3　線形論理について