記号論理入門

著者

• 金子, 洋之 カネコ, ヒロシ

書誌事項

記号論理入門

金子洋之著

（哲学教科書シリーズ）

産業図書, 1994.10

タイトル読み

キゴウ ロンリ ニュウモン

注記

3刷(1998年5月), 第6刷(2002.1)-7刷(2004.6)のページ数: vi, 189p (問題の解答: p[171]-183)

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN11553903
• ISBN:
  • 9784782802014
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: vi, 187p
• 大きさ: 21cm
• 分類:
  • NDC8 : 116.3
• 件名:
  • BSH : 記号論理学
  • NDLSH : 記号論理学
• 親書誌ID:
  • BN1155400X