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

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

https://gyazo.com/0965cc147e1239030e043e6d91e021e5

書評

難波完爾

https://gyazo.com/31aa22f31ab3acdac7cc65668bb1deb6

目次

第1章 推論とは

§ 1. 論理の目覚め

§ 2. 論理学の誕生

3.推論の構造

第2章 文を単位とする推論

§ 4. 推論の表わし方

§ 5. 推論の規則 II

§ 6. 排中律について

§ 7. 文の真偽と推論規則

§ 8. 真観主義 古典論理のモデル

§ 9. 推論規則の応用例

第3章 文の内部に立ち入る推論

§ 10. 文の内部構造

§ 11. 推論の規則 II

§ 12. 推論規則の使い方

§ 13.モデルとタブロー

§ 14. 妥当性と健全性

§ 15. 完全性

§ 16. 集合論とその推論の例

付録1. 他の論理系との関連

付録2. タブローの基本定理

付録3. 量子論理 その他

付録4. メタ定理の証明法についてのコメント

付録5. 練習問題