推論と論理

可能世界論理の階型理論的展開のための研究

晃洋書房
二本柳賢司　

• 価格: 6,380円（本体5,800円＋税）
• 発行年月: 1989年02月
• 判型: Ａ５
• ISBN: 9784771004238

内容情報

[BOOKデータベースより]

本書はこれから論理学を研究しようとする学生のため、論理学の基礎的知識と特殊なテーマの追求の試論を提示することによって、研究の端緒を与えんとするものである。

第１章　思考法の構造
第２章　証明の構造
第３章　ギリシア論理学の構造
第４章　インド論理学の構造
第５章　論理学構築の方法
第６章　論理関数の賦値論的表現
第７章　同一性の公理と還元の公理
第８章　超逆理と階型理論の条件
第９章　日常言語の深層構造
第１０章　可能世界の論理の重複性
第１１章　論理関数の微分と可能世界生成の機構
第１２章　超高次言語群と論理空間
第１３章　可能世界の層構造と分岐構造