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

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

Home  »»  Listing item  »»  Detail

Detail

Item Type Article
ID
AN00150430-00000064-0021  
Preview
Image
thumbnail  
Caption  
Full text
AN00150430-00000064-0021.pdf
Type :application/pdf Download
Size :869.4 KB
Last updated :Aug 19, 2010
Downloads : 862

Total downloads since Aug 19, 2010 : 862
 
Release Date
 
Title
Title Booleの論理学  
Kana Boole ノ ロンリガク  
Romanization Boole no ronrigaku  
Other Title
Title On Boole's logic  
Kana  
Romanization  
Creator
Name 西脇, 与作  
Kana ニシワキ, ヨサク  
Romanization Nishiwaki, Yosaku  
Affiliation 慶応義塾大学三田哲学会  
Affiliation (Translated) Mita philosophy society, Keio University  
Role  
Link  
Edition
 
Place
東京  
Publisher
Name 三田哲學會  
Kana ミタ テツガクカイ  
Romanization Mita tetsugakukai  
Date
Issued (from:yyyy) 1976  
Issued (to:yyyy)  
Created (yyyy-mm-dd)  
Updated (yyyy-mm-dd)  
Captured (yyyy-mm-dd)  
Physical description
 
Source Title
Name 哲學  
Name (Translated)  
Volume  
Issue 64  
Year 1976  
Month 1  
Start page 21  
End page 38  
ISSN
05632099  
ISBN
 
DOI
URI
JaLCDOI
NII Article ID
 
Ichushi ID
 
Other ID
 
Doctoral dissertation
Dissertation Number  
Date of granted  
Degree name  
Degree grantor  
Abstract
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.
 
Table of contents

 
Keyword
 
NDC
 
Note

 
Language
日本語  
Type of resource
text  
Genre
Journal Article  
Text version
publisher  
Related DOI
Access conditions

 
Last modified date
Aug 19, 2010 09:00:00  
Creation date
Aug 19, 2010 09:00:00  
Registerd by
mediacenter
 
History
 
Index
/ Public / Faculty of Letters / Philosophy / 64 (197601)
 
Related to
 

Ranking

most accessed items
1st 新自由主義に抗す... (427) 1st
2nd 斎藤隆夫の「粛軍... (340)
3rd 慶應義塾図書館史... (271)
4th 認知文法から考え... (265)
5th M&Aにおける... (263)

most downloaded items
1st <<Qu'... (1470) 1st
2nd 新参ファンと古参... (437)
3rd 731部隊と細菌戦 ... (314)
4th 日本における美容... (268)
5th 新自由主義に抗す... (267)

LINK

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