第 III 部 論理的意味論の源流,モデル論の誕生,そしてその展開 — 論理と言語の間で
第1章 現代論理学の二つの源流
1.1 論理代数的アプローチ
1.1.1 ブールの論理代数
1.1.2 パースとシュレーダー
1.2 フレーゲの論理的意味論
1.2.1 フレーゲの論理革命と論理・算術の公理体系化
1.2.2 論理的意味論の原型
1.2.3 フレーゲの意義論
1.2.4 体系構築への予備学的解明 (Erläuterung)
1.3 ラッセルとウィトゲンシュタイン
1.3.1 ラッセルの論理的意味論
1.3.2 ウィトゲンシュタインの像理論

第 III 部 論理的意味論の源流,モデル論の誕生,そしてその展開 — 論理と言語の間で 第1章 現代論理学の二つの源流 1.1 論理代数的アプローチ 1.1.1 ブールの論理代数 1.1.2 パースとシュレーダー 1.2 フレーゲの論理的意味論 1.2.1 フレーゲの論理革命と論理・算術の公理体系化 1.2.2 論理的意味論の原型 1.2.3 フレーゲの意義論 1.2.4 体系構築への予備学的解明 (Erläuterung) 1.3 ラッセルとウィトゲンシュタイン 1.3.1 ラッセルの論理的意味論 1.3.2 ウィトゲンシュタインの像理論

野本和幸

論文

アブストラクト

null

詳細情報

掲載資料
完全性定理とモデル理論, p.191-209
参照

null