論理と分析

文系のための記号論理入門

晃洋書房
金子裕介　

• 価格: 3,190円（本体2,900円＋税）
• 発行年月: 2019年08月
• 判型: Ａ５
• ISBN: 9784771032071

内容情報

[BOOKデータベースより]

ゲンツェンの自然演繹ＮＫを中心に据え、述語論理の完全性定理、健全性定理まで見通しのよい道筋を描く。

イントロダクション
第１部　構文論と意味論
第２部　命題論理の構文論
第３部　命題論理の意味論
第４部　述語論理の構文論
第５部　述語論理の意味論
第６部　完全性定理と健全性定理

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

記号論理は、日常言語という大海に浮かぶ孤島のようなものである。では、記号論理はメタ言語である日常言語に呑み込まれてしまうのだろうか？対立する論理の関係を徹底して問い直すことで、論理学の豊かさと可能性を見出す。