集合と外延
スポンサーリンク
概要
- 論文の詳細を見る
Il n'est pas difficile de deduire une contradiction dans un systeme, auquel on accepte les suppositions suivantes: (I) l'extension du concept est un ensemble des objets, auxquels le concept peut s'appliquer; (II) tous les concepts ont des extensions; (III) l'ensemble quelconque peut etre un membre de l'ensemble. Il s'ensuit de la que nous sommes obliges de reviser ces suppositions. On peut dire que la construction des theories formelles des ensembles est un effort de cette sorte. Principia Mathematica d'ailleurs restreint la formation des concepts, d'ou il resulte que (I), (II) et (III) n'y sont maintenus qu'avec une restriction. Quine, dans "New Foundation", postule que les concepts stratifies seuls aient des extensions. Le systeme de Zermelo-Fraenkel n'accepte pas que l'extension soit un ensemble des objets quelconques et il precise axiomatiquement les objets qui sont capables de former des extensions. "Mathematical Logic" de Quine est aussi dans cet ordre de pensee: l'extension est un ensemble des objets qualifies ("elements") et les extensions des concepts stratifies seuls peuvent etre des elements. Le systeme de von Neumann-Godel-Bernays n'admet pas, lui non plus, (I) et fait une distinction nette entre l'ensemble et l'extension: celui-la peut etre un membre, tandis que l'ensemble et l'extension: celui-la peut etre un membre, tandis que celle-ci ne peut appartenir comme membre ni a l'ensemble ni a l'extension. Apres avoir ainsi eclairci la prise de position de chaque systeme concernant l'ensemble et l'extension, je discute le probleme de realisme et nominalisme dans les fondations des mathematiques. Je pense que le realisme peut justifier plus facilement les procedes et notions fondamentaux des mathematiques, mais on ne peut dire la conclusion definitive en situation actuelle. Il serait bien raisonable de respecter "plea for tolerance" de Curry.
- 慶應義塾大学の論文
著者
関連論文
- アリストテレスにおける《回顧的説明》パターン
- アリストテレスの三段論法における格の問題
- 確率論の基礎概念 II
- 確率論の基礎概念 I(名誉教授宮崎友愛先生記念論文集)
- Quineの集合論(橋本孝先生古希記念論文集)
- 沢田氏の論評に答える : ふたたび「日本語の論理構造の問題」をめぐつて
- 集合と外延
- 「は」と「が」について : 日本語の論理構造の問題
- Principia Mathematicaにおける命題函数II(I 哲学,慶応義塾創立百年記念論文集)
- 初等及び一般回帰凾数の理論とその適用 : 論理構造論研究I
- 米国論理学界の二つの代表的近着書紹介 Hans Reichenbach, Elements of Symbolic Logic, Macmillan, New York, 1947 James F, Anderson, The Bond of Being, Herder, London, 1949