論理学の方法 大窪徳行 - 北樹出版の大学教科書

北樹出版の大学教科書

前のページにもどる

論理学の方法

論理学の方法
大窪徳行
田畑博敏
価格: 2,600円+税

商品の紹介

【目  次】


第1章 論理とは何か?
 §1 論理学の歴史
 §2 論理学の方法
 §3 論理学の分類
 
第2章 文論理
 §1 文関数と真理表
 §2 トートロジーと正しい推論
 §3 トートロジーの判定とその応用
 §4 自然演繹法による推論(1)
 §5 自然演繹法による推論(2)
 §6 公理論的方法

第3章 述語論理
 §1 量化子とその用法
 §2 モデルと妥当性――述語論理の意味論
 §3 自然演繹法による推論(1)ゲンツェンNK体系
 §4 自然演繹法による推論(2)ゲンツェンLK体系
 §5 公理論的方法

第4章 様相論理学
 §1 歴史的概観
 §2 様相文論理の公理
 §3 クリプキモデル
 §4 決定手続き
 §5 自然演繹法

商品の詳細

ISBN: 4893843451
判型: A5
ページ数: 216
ジャンル: 哲学・倫理・宗教
刊行年: 2003

AmigoDatabase - 管理