Item Type |
Article |
ID |
|
Preview |
Image |
|
Caption |
|
|
Full text |
AN00150430-00000146-0083.pdf
Type |
:application/pdf |
Download
|
Size |
:318.2 KB
|
Last updated |
:Aug 31, 2023 |
Downloads |
: 595 |
Total downloads since Aug 31, 2023 : 595
|
|
Release Date |
|
Title |
Title |
竹内の整礎性証明再訪
|
Kana |
タケウチ ノ セイソセイ ショウメイ サイホウ
|
Romanization |
Takeuchi no seisosei shōmei saihō
|
|
Other Title |
Title |
Takeuti's well-ordering proofs revisited
|
Kana |
|
Romanization |
|
Title |
Takeuti's well-foundedness arguments revisited
|
Kana |
|
Romanization |
|
|
Creator |
Name |
秋吉, 亮太
|
Kana |
アキヨシ, リョウタ
|
Romanization |
Akiyoshi, Ryōta
|
Affiliation |
早稲田大学高等研究所・招聘研究員
|
Affiliation (Translated) |
|
Role |
|
Link |
|
Name |
Arana, Andrew
|
Kana |
アラナ, アンドリュー
|
Romanization |
|
Affiliation |
Université de Lorraine, département de philosophie, Professeur
|
Affiliation (Translated) |
|
Role |
|
Link |
|
|
Edition |
|
Place |
|
Publisher |
Name |
三田哲學會
|
Kana |
ミタ テツガクカイ
|
Romanization |
Mita tetsugakukai
|
|
Date |
Issued (from:yyyy) |
2021
|
Issued (to:yyyy) |
|
Created (yyyy-mm-dd) |
|
Updated (yyyy-mm-dd) |
|
Captured (yyyy-mm-dd) |
|
|
Physical description |
|
Source Title |
Name |
哲學
|
Name (Translated) |
Philosophy
|
Volume |
|
Issue |
146
|
Year |
2021
|
Month |
3
|
Start page |
83
|
End page |
110
|
|
ISSN |
|
ISBN |
|
DOI |
|
URI |
|
JaLCDOI |
|
NII Article ID |
|
Ichushi ID |
|
Other ID |
|
Doctoral dissertation |
Dissertation Number |
|
Date of granted |
|
Degree name |
|
Degree grantor |
|
|
Abstract |
Gaisi Takeuti extended Gentzen's work to higher-order case in 1950's–1960's and proved the consistency of impredicative subsystems of analysis. He has been chiefly known as a successor of Hilbert's school, but we pointed out in the previous paper that Takeuti's aimed to investigate the relationships between "minds" by carrying out his proof-theoretic project rather than proving the "reliability" of such impredicative subsystems of analysis. Moreover, as briefly explained there, his philosophical ideas can be traced back to Nishida's philosophy in Kyoto's school.
For the proving the consistency of such systems, it is crucial to prove the well-foundedness of ordinals called "ordinal diagrams" developed for it. Takeuti presented such arguments several times in order to show that they are admitted in his stand point. As a starting point of investigating his finitist stand point, we formulate the system of ordinal notations up to ε0 and reconstruct the well-foundedness arguments of them.
|
|
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 |
Apr 16, 2021 | | インデックス を変更 |
Aug 31, 2023 | | Other Title Title,Other Title Kana,Other Title Romanization,Creator 著者ID,Creator Name,Creator Kana,Creator Romanization,Creator Affiliation,Creator Affiliation (Translated),Creator Role,Creator Link,Abstract 内容,Note 注記 を変更 |
|
|
Index |
|
Related to |
|