慶應義塾大学学術情報リポジトリ(KOARA)KeiO Associated Repository of Academic resources

慶應義塾大学学術情報リポジトリ(KOARA)

ホーム  »»  アイテム一覧  »»  アイテム詳細

アイテム詳細

アイテムタイプ Article
ID
AN00150430-00000083-0061  
プレビュー
画像
thumbnail  
キャプション  
本文
AN00150430-00000083-0061.pdf
Type :application/pdf Download
Size :1.4 MB
Last updated :Sep 30, 2010
Downloads : 1309

Total downloads since Sep 30, 2010 : 1309
 
本文公開日
 
タイトル
タイトル 論理的意味論と整合性証明  
カナ ロンリテキ イミロン ト セイゴウセイ ショウメイ  
ローマ字 Ronriteki imiron to seigosei shomei  
別タイトル
名前 Logical semantics and consistency proofs  
カナ  
ローマ字  
著者
名前 岡田, 光弘  
カナ オカダ, ミツヒロ  
ローマ字 Okada, Mitsuhiro  
所属 慶應義塾大学大学院文学研究科博士課程  
所属(翻訳)  
役割  
外部リンク  
 
出版地
東京  
出版者
名前 三田哲學會  
カナ ミタ テツガクカイ  
ローマ字 Mita tetsugakukai  
日付
出版年(from:yyyy) 1986  
出版年(to:yyyy)  
作成日(yyyy-mm-dd)  
更新日(yyyy-mm-dd)  
記録日(yyyy-mm-dd)  
形態
 
上位タイトル
名前 哲學  
翻訳  
 
83  
1986  
11  
開始ページ 61  
終了ページ 86  
ISSN
05632099  
ISBN
 
DOI
URI
JaLCDOI
NII論文ID
 
医中誌ID
 
その他ID
 
博士論文情報
学位授与番号  
学位授与年月日  
学位名  
学位授与機関  
抄録
We consider the philosophical and historical significance of the consistency problem of mathematical systems, from the view point of logical semantics theories. In §1 we present a traditional problem which is related to the consistency problem, and discuss Leibniz's attitude to this traditional problem, from the view point of his contextual theory of meaning. In §2 we see that the tranditional problem is identified with the consistency problem in Hilbert's verification theory of meaning. In §3 we see that Husserl's treatment on the manifold-axiom system relation can be interpreted in the frame-work of the sematics-syntax relation in the sense of Tarski's meaning theory, and how Husserl's solution for the traditional problem is related to the consistency problem. In §4 we present Gentzen's standpoint which is based on a verification theory of meaning, and discuss the philosophical significance of his consistency proof of number theory from the view point of his meaning theory. In §5 we present Wittgenstein's criticism on the consistency problem from the conventionalist view, and reanalize the philosophical significance of Gentzen's consistency proof through the Wittgenstein's criticism.
 
目次

 
キーワード
 
NDC
 
注記

 
言語
日本語  
資源タイプ
text  
ジャンル
Journal Article  
著者版フラグ
publisher  
関連DOI
アクセス条件

 
最終更新日
Sep 30, 2010 09:00:00  
作成日
Sep 30, 2010 09:00:00  
所有者
mediacenter
 
更新履歴
 
インデックス
/ Public / 文学部 / [哲学] 哲学 / 83 (198611)
 
関連アイテム
 

ランキング

最も多く閲覧されたアイテム
1位 新自由主義に抗す... (425) 1st
2位 斎藤隆夫の「粛軍... (342)
3位 認知文法から考え... (263)
4位 慶應義塾図書館史... (261)
5位 M&Aにおける... (249)

最も多くダウンロードされたアイテム
1位 <<Qu'... (1469) 1st
2位 新参ファンと古参... (427)
3位 731部隊と細菌戦 ... (316)
4位 新自由主義に抗す... (273)
5位 日本における美容... (259)

LINK

慶應義塾ホームページへ
慶應義塾大学メディアセンターデジタルコレクション
慶應義塾大学メディアセンター本部
慶應義塾研究者情報データベース