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

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

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

アイテム詳細

アイテムタイプ Article
ID
AN00150430-00000064-0021  
プレビュー
画像
thumbnail  
キャプション  
本文
AN00150430-00000064-0021.pdf
Type :application/pdf Download
Size :869.4 KB
Last updated :Aug 19, 2010
Downloads : 793

Total downloads since Aug 19, 2010 : 793
 
本文公開日
 
タイトル
タイトル Booleの論理学  
カナ Boole ノ ロンリガク  
ローマ字 Boole no ronrigaku  
別タイトル
名前 On Boole's logic  
カナ  
ローマ字  
著者
名前 西脇, 与作  
カナ ニシワキ, ヨサク  
ローマ字 Nishiwaki, Yosaku  
所属 慶応義塾大学三田哲学会  
所属(翻訳) Mita philosophy society, Keio University  
役割  
外部リンク  
 
出版地
東京  
出版者
名前 三田哲學會  
カナ ミタ テツガクカイ  
ローマ字 Mita tetsugakukai  
日付
出版年(from:yyyy) 1976  
出版年(to:yyyy)  
作成日(yyyy-mm-dd)  
更新日(yyyy-mm-dd)  
記録日(yyyy-mm-dd)  
形態
 
上位タイトル
名前 哲學  
翻訳  
 
64  
1976  
1  
開始ページ 21  
終了ページ 38  
ISSN
05632099  
ISBN
 
DOI
URI
JaLCDOI
NII論文ID
 
医中誌ID
 
その他ID
 
博士論文情報
学位授与番号  
学位授与年月日  
学位名  
学位授与機関  
抄録
The symbolic logic has been developed rapidly from the later half of 19th century. It is G. Boole who first founded the basis of this logic. His significant contribution was the consistent introduction of mathematical operations to the representation of logic. And these were performed by his nominalistic uses of symbols and by the principle of extensionality. His success, unlike all of his predecessors, depends on this two points. But as Boole's logic was theoretically refined and became to be called boolean algebra or algebra of logic, it's meaning changed gradually and it was investigated only as one of abstract algebras. Moreover as a result of Frege's inovative logical system, insufficiency of Boole's logic came to be clear, especially about quantification. Surely Frege's logical system is superior to Boole's in many respects. But we can't discard Boole's results, because of following two points. Frege's view about logic, that logic must be the universal logic, can't bring forth meta-logical results. Conversely Boole's relative logics become useful for them. Secondly in the studies of model theories we can't succeed without the knowledge of boolean algebraic structure of model's universe. This shows Boole's logic is not only an incomplete part of Frege's logic, but it supplies semantical parts to Frege's. Therefore we can conclude that modern logic is the union of Frege's system and Boole's relativistic view of logic.
 
目次

 
キーワード
 
NDC
 
注記

 
言語
日本語  
資源タイプ
text  
ジャンル
Journal Article  
著者版フラグ
publisher  
関連DOI
アクセス条件

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

ランキング

最も多く閲覧されたアイテム
1位 日豪「ミドルパワ... (613) 1st
2位 新自由主義に抗す... (612)
3位 ドイツのSNS対策... (435)
4位 グラウンデッド・... (434)
5位 なぜ日本ユニテリ... (420)

最も多くダウンロードされたアイテム
1位 日豪「ミドルパワ... (2614) 1st
2位 Research on elec... (2162)
3位 新たなかたちのひ... (2010)
4位 Linguistic encod... (1974)
5位 経営者が語るアン... (1781)

LINK

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