記号論理入門

哲学教科書シリーズ　

産業図書
金子洋之　

• 価格: 2,640円（本体2,400円＋税）
• 発行年月: 1994年10月
• 判型: Ａ５
• ISBN: 9784782802014

内容情報

[BOOKデータベースより]

本書は記号論理学の入門書であるが、他の入門書と異なる点は、半期の（つまり半年の）コースでの使用を念頭においている点である。そのために、全体の分量はかなりコンパクトになっている。それにともなって、内容的にかなり大胆な取捨選択を行なわざるを得なかった。基本方針は、（１）命題論理と述語論理を区別せず、最初から述語論理を視野に入れた叙述を行なう、（２）自然演繹法を中心に据える、（３）真理関数は扱わない、ということである。

第１章　形式化
第２章　量化子
第３章　規則と証明　１
第４章　規則と証明　２
第５章　否定
第６章　証明の方法と双条件法
第７章　量化の規則　１
第８章　量化の規則　２
第９章　量化の規則と制約
第１０章　同一性と記述
第１１章　反例と妥当性
第１２章　メタ論理とその他の話題