内容説明
論理学は、数学・計算機科学・言語学・哲学などの諸分野と密接に関係しつつ、「推論の正しさ」という切り口から人間の思考について考える学問である。本書では現代的な論理学を初学者～中級者向けに解説。理系・文系の枠を超えて学べる入門書である。
目次
第１部 計算と表現（古典命題論理（１）―論理式で計算する
古典命題論理（２）―推論の妥当性
様相論理（１）―可能世界意味論
様相論理（２）―対応理論
古典述語論理（１）―量化子
古典述語論理（２）―多重量化
古典述語論理（３）―計算と表現
第２部 正しい論理を求めて（厳密含意の論理―古典論理を批判する；直観主義論理（１）―数学的構成
直観主義論理（２）―真理と様相
多値論理―真理値は２つで十分か
関連性論理（１）―３項関係
関連性論理（２）―構造規則・状況推論
様相演算子としての否定
著者等紹介
大西琢朗［オオニシタクロウ］
京都大学学際融合教育研究推進センター人社未来形発信ユニット特定准教授。２０１２年、京都大学大学院文学研究科博士課程修了。博士（文学）。専門は哲学・論理学（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
-
- 電子書籍
- レビュダン！（２）
