哲学教科書シリーズ 記号論理入門

金子 洋之【著】

産業図書（1994/10発売）

• サイズ A5判／ページ数 187p／高さ 21cm
• 商品コード 9784782802014
• NDC分類 116.3
• Cコード C3310

内容説明

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

目次

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