Principia Mathematicaにおける命題函数II(I 哲学,慶応義塾創立百年記念論文集)
スポンサーリンク
概要
- 論文の詳細を見る
I 哲学,慶応義塾創立百年記念論文集1. 命題構造論の整備2. 命題函数の定義の変更3. 還元可能公理について4. 集合及び関係の理論5. 数学的帰納法6. 批判的考察En suite de deux articles concernant la fonction propositionelle de la premiere edition de Principia Mathematica (PM_1) les caracteres principaux de la FP de la deuxieme edition de Principia (PM_2) sont analyses dans cet article. PM_2 definit la FP de la maniere differente que PM_1 en utilisant 1) le symbole de Sheffer p|q (il n'est pas vrai que p et q sont vrais) et 2) le principe de l'extensionalite de FP qui dit que la FP n'apparait que par ses valeurs dans une fonction composee. Le symbole de Sheffer contribue a simplifier la notion de FP, car il se sert a supprimer l'aspect intensionel de FP qui n'est pas necessaire pour deduire des notions mathematiques. D'autre part, le principe de l'extensionalite de FP a la consequence de remplacer en partie l'axiome de reductibilite; plus en details, a) s'il s'agit de la FP du premier ordre, le principe peut prendre la place de l'axiome en admettant (φ). f!(φ!z, x). ⊃. f!(φ_1z, x) pour une proposition primitive, et b) s'il s'agit des FP de plus hauts ordres, le principe nous offert les raisonnements necessaires aux cas ou la proposition affirmee exprime une verite logique. Le principe d'ailleurs supprime la difference d'entre l'attribut et la classe, mais cet avantage introduit, sans l'axiome de reductibilite, les ordres differencies dans le domaine de classes. Mais les difficultes apparaissent, si l'on considere les cas ou l'on doit substituer des fonctions ou des classes du m^ieme ordre (2≦m) a la matrice ou la classe elementaire apparue dans une fonction qui n'exprime pas la verite logique, et elles nous semblent serieuses, si nous traitons l'induction mathematique et les raisonnements necessaires aux theories du nombre reel. En conclusion, malgre l'effort de reconstituer les demonstrations PM_2 n'est pas capable de surmonter suffisamment les difficultes.
- 慶應義塾大学の論文
著者
関連論文
- アリストテレスにおける《回顧的説明》パターン
- アリストテレスの三段論法における格の問題
- 確率論の基礎概念 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