学びをささえる出版社

論理学の方法

大窪徳行・田畑博敏
ISBN 4893843451
A5判
216ページ
2003/01/01 刊行
定価 ¥ 2,600+税

発達の物語、家族の物語/「制度化」について/障害学のディスクール/教育人間学におけるエリクソンのライフサイクル論の受容/シュタイナーの〈Erziehungskunst〉概念に関する思想的考察ほか。(2003年刊行)

目次




第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 自然演繹法