出版社内容情報
哲学、数学、情報科学に必須の記号論理学を、中級者を対象にさらなる理解へと導くテキスト。30年に及ぶ講義をもとにした集大成。
記号論理学における中級者を対象にしたテキスト．この領域の代表的理論を学び，数学の抽象化を推し進めた束論および圏論を援用して理解を深める．さらに「論理語がなぜ基本的と見なされるか」などの知識をめぐる根本的な問いを考察．30年間の講義をもとにした集大成．
第I部 記号論理の基礎理論
第１章 推理論――述語論理
第２章 計算論――帰納理論
第３章 計算論――λ計算論
第４章 集合論――公理的集合論ZFC
第II部 束論および圏論と記号論理
第１章 束論
第２章 記号論理と束
第３章 圏論
第４章 記号論理と圏
第III部 記号論理への知識論的考察
第１章 論理語の原始性
第２章 計算論における両義的領域
第３章 選択公理ACの正当性
付 録 ゲーデル不完全性定理について
【著者紹介】
清水義夫：千葉工業大学名誉教授
目次
第１部 記号論理の基礎理論（推理論―述語論理；計算論１―帰納理論；計算論２―λ計算論；集合論―公理的集合論ＺＦＣ）
第２部 束論および圏論と記号論理（束論；記号論理と束；圏論；記号論理と圏）
第３部 記号論理への知識論的考察（論理語の原始性；計算論における両義的領域；選択公理ＡＣの正当性）
結び―学全体の中での記号論理の位置など
付録 ゲーデルの不完全性定理
著者等紹介
清水義夫［シミズヨシオ］
１９３９年東京に生まれる。１９６３年東京大学文学部哲学科卒業。１９６７年東京大学大学院人文科学研究科博士課程退学。千葉工業大学情報科学部教授を経て、千葉工業大学名誉教授（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
へんかんへん
ちろたん
