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

大出晁 著

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

「BOOKデータベース」より

[目次]

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

「BOOKデータベース」より

この本の情報

書名 自然な推論のための論理学
著作者等 大出 晁
書名ヨミ シゼンナ スイロン ノ タメノ ロンリガク
出版元 勁草書房
刊行年月 1991.1
ページ数 251p
大きさ 22cm
ISBN 4326100877
NCID BN05789199
※クリックでCiNii Booksを表示
全国書誌番号
91023268
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想