記号論理入門
著者
書誌事項
記号論理入門
（哲学教科書シリーズ）
産業図書, 1994.10
- タイトル読み
-
キゴウ ロンリ ニュウモン
大学図書館所蔵 件 / 全174件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
3刷(1998年5月), 第6刷(2002.1)-7刷(2004.6)のページ数: vi, 189p (問題の解答: p[171]-183)
内容説明・目次
内容説明
本書は記号論理学の入門書であるが、他の入門書と異なる点は、半期の（つまり半年の）コースでの使用を念頭においている点である。そのために、全体の分量はかなりコンパクトになっている。それにともなって、内容的にかなり大胆な取捨選択を行なわざるを得なかった。基本方針は、（１）命題論理と述語論理を区別せず、最初から述語論理を視野に入れた叙述を行なう、（２）自然演繹法を中心に据える、（３）真理関数は扱わない、ということである。
目次
- 第１章 形式化
- 第２章 量化子
- 第３章 規則と証明 １
- 第４章 規則と証明 ２
- 第５章 否定
- 第６章 証明の方法と双条件法
- 第７章 量化の規則 １
- 第８章 量化の規則 ２
- 第９章 量化の規則と制約
- 第１０章 同一性と記述
- 第１１章 反例と妥当性
- 第１２章 メタ論理とその他の話題
「BOOKデータベース」 より