Bibliographic Information

完全性定理とモデル理論

田中一之編

(ゲーデルと20世紀の論理学 (ロジック) / 田中一之編, 2)

東京大学出版会, 2006.10

Other Title

Completeness theorem and model theory

Title Transcription

カンゼンセイ テイリ ト モデル リロン

Access to Electronic Resource 1 items

Available at  / 243 libraries

Note

欧文タイトルは標題紙裏による

参考文献: 各部末

Description and Table of Contents

Description

「完全」とは何か?ゲーデルが博士論文で示した重要定理とその発展を、数学・哲学の両側面から、立体的に解説。

Table of Contents

  • 序 ゲーデルの完全性定理とその背景(背景;ゲーデルの証明;完全性定理の周辺)
  • 第1部 述語論理入門(ケーニヒの補題;命題論理;述語論理;述語論理の諸性質と一般化)
  • 第2部 モデル理論とコンパクト性(基本事項;コンパクト性;量化記号の消去;eq構造;範疇性)
  • 第3部 論理的意味論の源流、モデル論の誕生、そしてその展開—論理と言語の間で(現代論理学の二つの源流;モデル論の誕生;内包的意味論の展開;指示と信念)

by "BOOK database"

Related Books: 1-1 of 1

Details

Page Top