慶應義塾大学学術情報リポジトリ(KOARA)KeiO Associated Repository of Academic resources

慶應義塾大学学術情報リポジトリ(KOARA)

ホーム  »»  アイテム一覧  »»  アイテム詳細

アイテム詳細

アイテムタイプ Article
ID
AN00150430-00000035-0100  
プレビュー
画像
thumbnail  
キャプション  
本文
AN00150430-00000035-0100.pdf
Type :application/pdf Download
Size :1.7 MB
Last updated :Aug 24, 2010
Downloads : 903

Total downloads since Aug 24, 2010 : 903
 
本文公開日
 
タイトル
タイトル Principia Mathematicaにおける命題函数II  
カナ Principia Mathematica ニ オケル メイダイ カンスウ II  
ローマ字 Principia Mathematica ni okeru meidai kansu II  
別タイトル
名前 La fonction propositionelle de Principia Mathematica II  
カナ  
ローマ字  
著者
名前 大出, 晁  
カナ オオイデ, アキラ  
ローマ字 Oide, Akira  
所属 慶応義塾大学  
所属(翻訳)  
役割  
外部リンク  
 
出版地
東京  
出版者
名前 三田哲學會  
カナ ミタ テツガクカイ  
ローマ字 Mita tetsugakukai  
日付
出版年(from:yyyy) 1958  
出版年(to:yyyy)  
作成日(yyyy-mm-dd)  
更新日(yyyy-mm-dd)  
記録日(yyyy-mm-dd)  
形態
 
上位タイトル
名前 哲學  
翻訳  
 
35  
1958  
11  
開始ページ 95  
終了ページ 119  
ISSN
05632099  
ISBN
 
DOI
URI
JaLCDOI
NII論文ID
 
医中誌ID
 
その他ID
 
博士論文情報
学位授与番号  
学位授与年月日  
学位名  
学位授与機関  
抄録
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.
 
目次
1. 命題構造論の整備
2. 命題函数の定義の変更
3. 還元可能公理について
4. 集合及び関係の理論
5. 数学的帰納法
6. 批判的考察
 
キーワード
 
NDC
 
注記
I 哲学,慶応義塾創立百年記念論文集
 
言語
日本語  
資源タイプ
text  
ジャンル
Journal Article  
著者版フラグ
publisher  
関連DOI
アクセス条件

 
最終更新日
Aug 24, 2010 09:00:00  
作成日
Aug 24, 2010 09:00:00  
所有者
mediacenter
 
更新履歴
 
インデックス
/ Public / 文学部 / [哲学] 哲学 / 35 (195811)
 
関連アイテム
 

ランキング

最も多く閲覧されたアイテム
1位 新自由主義に抗す... (427) 1st
2位 斎藤隆夫の「粛軍... (340)
3位 慶應義塾図書館史... (271)
4位 認知文法から考え... (265)
5位 M&Aにおける... (263)

最も多くダウンロードされたアイテム
1位 <<Qu'... (1470) 1st
2位 新参ファンと古参... (437)
3位 731部隊と細菌戦 ... (314)
4位 日本における美容... (268)
5位 新自由主義に抗す... (267)

LINK

慶應義塾ホームページへ
慶應義塾大学メディアセンターデジタルコレクション
慶應義塾大学メディアセンター本部
慶應義塾研究者情報データベース