記号論理入門

Author(s)

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

Bibliographic Information

記号論理入門

金子洋之著

（哲学教科書シリーズ）

産業図書, 1994.10

Title Transcription

キゴウ ロンリ ニュウモン

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"

Details

• NCID: BN11553903
• ISBN:
  • 9784782802014
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: vi, 187p
• Size: 21cm
• Classification:
  • NDC8 : 116.3
• Subject Headings:
  • BSH : 記号論理学
  • NDLSH : 記号論理学
• Parent Bibliography ID:
  • BN1155400X