内容説明
日常的な推論の方法に近いかたちで形式化された、直観主義論理と古典論理の中間のシステム。
目次
第１章 推論とは（論理の目覚め；論理学の誕生；推論の構造）
第２章 文を単位とする推論（推論の表わし方；推論の規則；排中律について；文の真・偽と推論規則；直観主義・古典論理のモデル；推論規則の応用例）
第３章 文の内部に立ち入る推論（文の内部構造；推論規則の使い方；モデルとタブロー；妥当性と健全性；完全性；集合論とその推論の例）
付録（他の論理系との関連；タブローの基本定理；量子論理その他；メタ定理の証明法についてのコメント）
-
- 和書
- 犬語の話し方 文春文庫
