アイテムタイプ |
Article |
ID |
|
プレビュー |
画像 |
|
キャプション |
|
|
本文 |
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 |
|
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 |
|
注記 |
|
言語 |
|
資源タイプ |
|
ジャンル |
|
著者版フラグ |
|
関連DOI |
|
アクセス条件 |
|
最終更新日 |
|
作成日 |
|
所有者 |
|
更新履歴 |
|
インデックス |
|
関連アイテム |
|