このアイテムのアクセス数: 1274

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
phs_7_1.pdf303.33 kBAdobe PDF見る/開く
タイトル: <一般論文> 循環性を受け入れる : 構成主義における可述性の位置づけの変更とその影響
その他のタイトル: <Regular Articles> Embracing circularity : A change on an interpretation of predicativity in constructivism
著者: 矢田部, 俊介  KAKEN_name
著者名の別形: YATABE, Shunsuke
発行日: 28-Feb-2013
出版者: 京都大学文学部科学哲学科学史研究室
誌名: 科学哲学科学史研究
巻: 7
開始ページ: 1
終了ページ: 26
抄録: Recently some constructivists try to justify impredicative theories with coinduction which play a very significant role in computer science though it had been thought that predicativity is necessary for constructivity. In this paper we introduce these arguments, by Rathjen and by Coquand, and apply these argument to show a naive set theory CONS in FLew∀, which is intuitionistic logic minus the contraction rule, can be regarded as constructive.
DOI: 10.14989/173335
URI: http://hdl.handle.net/2433/173335
出現コレクション:第7号

アイテムの詳細レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。