記号論理入門
著者
書誌事項
記号論理入門
(哲学教科書シリーズ)
産業図書, 1994.10
- タイトル読み
-
キゴウ ロンリ ニュウモン
大学図書館所蔵 全174件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
3刷(1998年5月), 第6刷(2002.1)-7刷(2004.6)のページ数: vi, 189p (問題の解答: p[171]-183)
内容説明・目次
内容説明
本書は記号論理学の入門書であるが、他の入門書と異なる点は、半期の(つまり半年の)コースでの使用を念頭においている点である。そのために、全体の分量はかなりコンパクトになっている。それにともなって、内容的にかなり大胆な取捨選択を行なわざるを得なかった。基本方針は、(1)命題論理と述語論理を区別せず、最初から述語論理を視野に入れた叙述を行なう、(2)自然演繹法を中心に据える、(3)真理関数は扱わない、ということである。
目次
- 第1章 形式化
- 第2章 量化子
- 第3章 規則と証明 1
- 第4章 規則と証明 2
- 第5章 否定
- 第6章 証明の方法と双条件法
- 第7章 量化の規則 1
- 第8章 量化の規則 2
- 第9章 量化の規則と制約
- 第10章 同一性と記述
- 第11章 反例と妥当性
- 第12章 メタ論理とその他の話題
「BOOKデータベース」 より