記号論理入門
Author(s)
Bibliographic Information
記号論理入門
（哲学教科書シリーズ）
産業図書, 1994.10
- Title Transcription
-
キゴウ ロンリ ニュウモン
Available at 174 libraries
Search this Book/Journal
Note
3刷(1998年5月), 第6刷(2002.1)-7刷(2004.6)のページ数: vi, 189p (問題の解答: p[171]-183)
Description and Table of Contents
Description
本書は記号論理学の入門書であるが、他の入門書と異なる点は、半期の（つまり半年の）コースでの使用を念頭においている点である。そのために、全体の分量はかなりコンパクトになっている。それにともなって、内容的にかなり大胆な取捨選択を行なわざるを得なかった。基本方針は、（１）命題論理と述語論理を区別せず、最初から述語論理を視野に入れた叙述を行なう、（２）自然演繹法を中心に据える、（３）真理関数は扱わない、ということである。
Table of Contents
- 第１章 形式化
- 第２章 量化子
- 第３章 規則と証明 １
- 第４章 規則と証明 ２
- 第５章 否定
- 第６章 証明の方法と双条件法
- 第７章 量化の規則 １
- 第８章 量化の規則 ２
- 第９章 量化の規則と制約
- 第１０章 同一性と記述
- 第１１章 反例と妥当性
- 第１２章 メタ論理とその他の話題
by "BOOK database"