....
【利用不可】
記号論理学講義 清水 義夫(著) - 東京大学出版会 【利用不可】
書店員向け情報 HELP
書店注文情報
注文電話番号:
注文ＦＡＸ番号:
注文サイト:
記号論理学講義
基礎理論 束論と圏論 知識論
発行：東京大学出版会
A5判
400ページ
価格
3,800 円+税
4,180 円（税込）
- 初版年月日
- 2013年3月1日
- 登録日
- 2010年2月18日
- 最終更新日
- 2017年8月21日
紹介
記号論理学における中級者を対象にしたテキスト．この領域の代表的理論を学び，数学の抽象化を推し進めた束論および圏論を援用して理解を深める．さらに「論理語がなぜ基本的と見なされるか」などの知識をめぐる根本的な問いを考察．30年間の講義をもとにした集大成．
目次
第I部 記号論理の基礎理論
第１章 推理論――述語論理
第２章 計算論――帰納理論
第３章 計算論――λ計算論
第４章 集合論――公理的集合論ZFC
第II部 束論および圏論と記号論理
第１章 束論
第２章 記号論理と束
第３章 圏論
第４章 記号論理と圏
第III部 記号論理への知識論的考察
第１章 論理語の原始性
第２章 計算論における両義的領域
第３章 選択公理ACの正当性
付録 ゲーデル不完全性定理について
上記内容は本書刊行時のものです。
