Item Type |
Article |
ID |
|
Preview |
Image |
|
Caption |
|
|
Full text |
AN00150430-00000083-0061.pdf
Type |
:application/pdf |
Download
|
Size |
:1.4 MB
|
Last updated |
:Sep 30, 2010 |
Downloads |
: 1323 |
Total downloads since Sep 30, 2010 : 1323
|
|
Release Date |
|
Title |
Title |
論理的意味論と整合性証明
|
Kana |
ロンリテキ イミロン ト セイゴウセイ ショウメイ
|
Romanization |
Ronriteki imiron to seigosei shomei
|
|
Other Title |
Title |
Logical semantics and consistency proofs
|
Kana |
|
Romanization |
|
|
Creator |
Name |
岡田, 光弘
|
Kana |
オカダ, ミツヒロ
|
Romanization |
Okada, Mitsuhiro
|
Affiliation |
慶應義塾大学大学院文学研究科博士課程
|
Affiliation (Translated) |
|
Role |
|
Link |
|
|
Edition |
|
Place |
|
Publisher |
Name |
三田哲學會
|
Kana |
ミタ テツガクカイ
|
Romanization |
Mita tetsugakukai
|
|
Date |
Issued (from:yyyy) |
1986
|
Issued (to:yyyy) |
|
Created (yyyy-mm-dd) |
|
Updated (yyyy-mm-dd) |
|
Captured (yyyy-mm-dd) |
|
|
Physical description |
|
Source Title |
Name |
哲學
|
Name (Translated) |
|
Volume |
|
Issue |
83
|
Year |
1986
|
Month |
11
|
Start page |
61
|
End page |
86
|
|
ISSN |
|
ISBN |
|
DOI |
|
URI |
|
JaLCDOI |
|
NII Article ID |
|
Ichushi ID |
|
Other ID |
|
Doctoral dissertation |
Dissertation Number |
|
Date of granted |
|
Degree name |
|
Degree grantor |
|
|
Abstract |
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.
|
|
Table of contents |
|
Keyword |
|
NDC |
|
Note |
|
Language |
|
Type of resource |
|
Genre |
|
Text version |
|
Related DOI |
|
Access conditions |
|
Last modified date |
|
Creation date |
|
Registerd by |
|
History |
|
Index |
|
Related to |
|