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

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
phs_6_1.pdf228.82 kBAdobe PDF見る/開く
タイトル: <一般論文> 大きな数としての超準数 : 超準数と厳格有限主義
その他のタイトル: <Regular Articles> Non-standard natural numbers as large numbers : Non-standard numbers and strict finitism
著者: 矢田部, 俊介  KAKEN_name
著者名の別形: YATABE, Shunsuke
発行日: 28-Feb-2012
出版者: 京都大学文学部科学哲学科学史研究室
誌名: 科学哲学科学史研究
巻: 6
開始ページ: 1
終了ページ: 15
抄録: In his 2003 paper, Peacocke insisted that our implicit conception of natural numbers essentially uses a primitive recursion which consists of three clauses, and claimed that this excludes the non-standard models of natural numbers. In this article, we construct a counter “model” to his argument, which contains a non-standard natural number though the set ω of natural numbers is defined as an analogy to his primitive recursion, in a set theory with the comprehension principle within many-valued logic. This result suggests that we should interpret non-standard natural numbers from a philosophical viewpoint. We discuss this by reviewing Strict Finitism, and we conclude that non-standard natural numbers can be interpreted as “large numbers” in a Strict Finitist sense: It expresses new numbers which are introduced by expanding the notation system of natural numbers.
DOI: 10.14989/153499
URI: http://hdl.handle.net/2433/153499
出現コレクション:第6号

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

Export to RefWorks


出力フォーマット 


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