<一般論文> 循環性を受け入れる : 構成主義における可述性の位置づけの変更とその影響

矢田部, 俊介

ダウンロード数: 2251

https://doi.org/10.14989/173335

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
phs_7_1.pdf		303.33 kB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	矢田部, 俊介	ja
dc.contributor.alternative	YATABE, Shunsuke	en
dc.contributor.transcription	ヤタベ, シュンスケ	ja-Kana
dc.date.accessioned	2013-04-17T05:27:55Z	-
dc.date.available	2013-04-17T05:27:55Z	-
dc.date.issued	2013-02-28	-
dc.identifier.issn	1883-9177	-
dc.identifier.uri	http://hdl.handle.net/2433/173335	-
dc.description.abstract	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.	en
dc.format.mimetype	application/pdf	-
dc.language.iso	jpn	-
dc.publisher	京都大学文学部科学哲学科学史研究室	ja
dc.publisher.alternative	Department of Philosophy and History of Science Faculty of Letters, Kyoto University	en
dc.subject.ndc	401	-
dc.title	<一般論文> 循環性を受け入れる : 構成主義における可述性の位置づけの変更とその影響	ja
dc.title.alternative	<Regular Articles> Embracing circularity : A change on an interpretation of predicativity in constructivism	en
dc.type	departmental bulletin paper	-
dc.type.niitype	Departmental Bulletin Paper	-
dc.identifier.ncid	AA12164361	-
dc.identifier.jtitle	科学哲学科学史研究	ja
dc.identifier.volume	7	-
dc.identifier.spage	1	-
dc.identifier.epage	26	-
dc.textversion	publisher	-
dc.sortkey	01	-
dc.identifier.selfDOI	10.14989/173335	-
dcterms.accessRights	open access	-
dc.identifier.pissn	1883-9177	-
dc.identifier.jtitle-alternative	PHS Studies	en
出現コレクション:	第7号

アイテムの簡略レコードを表示する

Export to RefWorks

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