Item Type |
Article |
ID |
|
Preview |
Image |
|
Caption |
|
|
Full text |
AN00150430-00000135-0045.pdf
Type |
:application/pdf |
Download
|
Size |
:252.3 KB
|
Last updated |
:Apr 14, 2015 |
Downloads |
: 1980 |
Total downloads since Apr 14, 2015 : 1980
|
|
Release Date |
|
Title |
Title |
ゲンツェンの1935年版無矛盾性証明と含意解釈
|
Kana |
ゲンツェン ノ 1935ネンバン ムムジュンセイ ショウメイ ト ガンイ カイシャク
|
Romanization |
Gentsen no 1935nenban mumujunsei shomei to gani kaishaku
|
|
Other Title |
Title |
Gentzen's 1935 consistency proof and an interpretation of implications
|
Kana |
|
Romanization |
|
|
Creator |
Name |
高橋, 優太
|
Kana |
タカハシ, ユウタ
|
Romanization |
Takahashi, Yuta
|
Affiliation |
慶應義塾大学文学部非常勤講師
|
Affiliation (Translated) |
|
Role |
|
Link |
|
|
Edition |
|
Place |
|
Publisher |
Name |
三田哲學會
|
Kana |
ミタ テツガクカイ
|
Romanization |
Mita tetsugakukai
|
|
Date |
Issued (from:yyyy) |
2015
|
Issued (to:yyyy) |
|
Created (yyyy-mm-dd) |
|
Updated (yyyy-mm-dd) |
|
Captured (yyyy-mm-dd) |
|
|
Physical description |
|
Source Title |
Name |
哲學
|
Name (Translated) |
|
Volume |
|
Issue |
135
|
Year |
2015
|
Month |
3
|
Start page |
45
|
End page |
58
|
|
ISSN |
|
ISBN |
|
DOI |
|
URI |
|
JaLCDOI |
|
NII Article ID |
|
Ichushi ID |
|
Other ID |
|
Doctoral dissertation |
Dissertation Number |
|
Date of granted |
|
Degree name |
|
Degree grantor |
|
|
Abstract |
Gentzen, in his papers for consistency proofs of arithmetic, remarked that one of the aims of his 1935 consistency proof is to give an interpretation for the implications in arithmetic. However, Gentzen eventually replaced each implication A⊃B with the formula ¬(A&¬B) at the beginning of the proof: he treated the implications A⊃B as the formulas of the form ¬(A&¬B). In the present paper, first we note that the implications can be dealt with directly in Gentzen's 1935 consistency proof. Specifically, the reduction steps (Reduktionsschritt) for the implications are made explicit in terms of his method. Second, by using Gentzen's reduction steps extended in this way, we propose an interpretation of the implications, which is stipulated without replacing the implications with other formulas.
|
|
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 |
|