自然な推論のための論理学
著者
書誌事項
自然な推論のための論理学
勁草書房, 1991.1
- タイトル読み
-
シゼンナ スイロン ノ タメ ノ ロンリガク
大学図書館所蔵 件 / 全109件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p237-238
内容説明・目次
内容説明
日常的な推論の方法に近いかたちで形式化された、直観主義論理と古典論理の中間のシステム。
目次
- 第1章 推論とは(論理の目覚め;論理学の誕生;推論の構造)
- 第2章 文を単位とする推論(推論の表わし方;推論の規則;排中律について;文の真・偽と推論規則;直観主義・古典論理のモデル;推論規則の応用例)
- 第3章 文の内部に立ち入る推論(文の内部構造;推論規則の使い方;モデルとタブロー;妥当性と健全性;完全性;集合論とその推論の例)
- 付録(他の論理系との関連;タブローの基本定理;量子論理その他;メタ定理の証明法についてのコメント)
「BOOKデータベース」 より