close
1.

図書
図書
1. こころの哲学
J. A. シャッファー著 ; 清水義夫訳
出版情報: 東京 : 培風館, 1971.6  vi, 175p ; 22cm
シリーズ名: 哲学の世界 ; 12
所蔵情報: loading…
2.

図書
図書
2. 記号論理学
清水義夫著
出版情報: 東京 : 東京大学出版会, 1984.11  ii, 181p ; 21cm
所蔵情報: loading…
3.

図書
図書
3. フレーゲ・ラッセル・ラムジー・ヘンペル・シュリック・ノイラート・カルナップ
G. フレーゲほか著 ; 土屋俊 [ほか] 訳
出版情報: 東京 : 勁草書房, 1986.10  v, 256, 22p ; 20cm
シリーズ名: 双書プロブレーマタ ; 6 . 現代哲学基本論文集 / 坂本百大編||ゲンダイ テツガク キホン ロンブンシュウ ; 1
所蔵情報: loading…
目次情報: 続きを見る
意義と意味について = Über Sinn und Bedeitung / ゴットロープ・フレーゲ [執筆] ; 土屋俊訳
指示について = On denoting / バートランド・ラッセル [執筆] ; 清水義夫訳
事実と命題 = Facts and propositions / フランク・P・ラムジー [執筆] ; 内井惣七訳
意味の経験論的基準における問題と変遷 = Problems and changes in the empiricist criterion of meaning / ヘンペル [執筆] ; 竹尾治一郎, 山川学訳
事実的ア・プリオリは存在するか = Gibt es ein materiales Apriori? / モーリッツ・シュリック [執筆] ; 竹尾治一郎訳
プロトコル言明 = Protokollsätze / オットー・ノイラート [執筆] ; 竹尾治一郎訳
科学の普遍言語としての物理的言語 = Die physikalische Sprache als Universalsprache der Wissenschaft / ルドルフ・カルナップ [執筆] ; 竹尾治一郎訳
意義と意味について = Über Sinn und Bedeitung / ゴットロープ・フレーゲ [執筆] ; 土屋俊訳
指示について = On denoting / バートランド・ラッセル [執筆] ; 清水義夫訳
事実と命題 = Facts and propositions / フランク・P・ラムジー [執筆] ; 内井惣七訳
4.

図書
図書
4. 記号論理学講義 : 基礎理論 束論と圏論 知識論
清水義夫著
出版情報: 東京 : 東京大学出版会, 2013.3  vii, 382p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
第1部 記号論理の基礎理論 : 推理論—述語論理
計算論1—帰納理論
計算論2—λ計算論
集合論—公理的集合論ZFC
第2部 束論および圏論と記号論理 : 束論
記号論理と束
圏論
記号論理と圏
第3部 記号論理への知識論的考察 : 論理語の原始性
計算論における両義的領域
選択公理ACの正当性
結び—学全体の中での記号論理の位置など
付録 : ゲーデルの不完全性定理
第1部 記号論理の基礎理論 : 推理論—述語論理
計算論1—帰納理論
計算論2—λ計算論
5.

図書
図書
5. 圏論による論理学 : 高階論理とトポス
清水義夫著
出版情報: 東京 : 東京大学出版会, 2007.12  iv, 216p ; 21cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼