資料詳細

【図書】 記号論理入門

哲学教科書シリーズ --
金子洋之／著 -- 産業図書 -- １９９４．１０ -- ２１ｃｍ -- １８７ｐ

タイトル	記号論理入門
シリーズ名	哲学教科書シリーズ
著者名等	金子洋之／著
出版	産業図書１９９４．１０
大きさ等	２１ｃｍ１８７ｐ
分類	116.3
件名	記号論理学
要旨	本書は記号論理学の入門書であるが、他の入門書と異なる点は、半期の（つまり半年の）コースでの使用を念頭においている点である。そのために、全体の分量はかなりコンパクトになっている。それにともなって、内容的にかなり大胆な取捨選択を行なわざるを得なかった。基本方針は、（１）命題論理と述語論理を区別せず、最初から述語論理を視野に入れた叙述を行なう、（２）自然演繹法を中心に据える、（３）真理関数は扱わない、ということである。
目次	第１章　形式化；第２章　量化子；第３章　規則と証明　１；第４章　規則と証明　２；第５章　否定；第６章　証明の方法と双条件法；第７章　量化の規則　１；第８章　量化の規則　２；第９章　量化の規則と制約；第１０章　同一性と記述；第１１章　反例と妥当性；第１２章　メタ論理とその他の話題
ISBN(13)、ISBN	4-7828-0201-3
書誌番号	1194072624

所蔵

所蔵は 2 件です。現在の予約件数は 0 件です。