自然な推論のための論理学

自然な推論のための論理学

  • ただいまウェブストアではご注文を受け付けておりません。
  • サイズ A5判/ページ数 251p/高さ 22X16cm
  • 商品コード 9784326100873
  • NDC分類 116
  • Cコード C3010

内容説明

日常的な推論の方法に近いかたちで形式化された、直観主義論理と古典論理の中間のシステム。

目次

第1章 推論とは(論理の目覚め;論理学の誕生;推論の構造)
第2章 文を単位とする推論(推論の表わし方;推論の規則;排中律について;文の真・偽と推論規則;直観主義・古典論理のモデル;推論規則の応用例)
第3章 文の内部に立ち入る推論(文の内部構造;推論規則の使い方;モデルとタブロー;妥当性と健全性;完全性;集合論とその推論の例)
付録(他の論理系との関連;タブローの基本定理;量子論理その他;メタ定理の証明法についてのコメント)