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

慶應義塾大学学術情報リポジトリ（KOARA）

Home  »»  Listing item  »»  Detail

Detail

Item Type Article
ID
KO12002001-20090331-0387 　
Preview
Image
thumbnail 　
Caption 　
Full text
KO12002001-20090331-0387.pdf
Type :application/pdf Download
Size :1.1 MB
Last updated :May 7, 2020
Downloads : 803

Total downloads since May 7, 2020 : 803
　
Release Date
　
Title
Title A report on Euler diagrammatic reasoning system : theory and experiment design 　
Kana 　
Romanization 　
Other Title
Title 　
Kana 　
Romanization 　
Creator
Name 峯島, 宏次 　
Kana ミネシマ, コウジ 　
Romanization Mineshima, Koji 　
Affiliation 　
Affiliation (Translated) 　
Role 　
Link 　
Name 岡田, 光弘 　
Kana オカダ, ミツヒロ 　
Romanization Okada, Mitsuhiro 　
Affiliation 　
Affiliation (Translated) 　
Role 　
Link 　
Name 佐藤, 有理 　
Kana サトウ, ユリ 　
Romanization Sato, Yuri 　
Affiliation 　
Affiliation (Translated) 　
Role 　
Link 　
Name 竹村, 亮 　
Kana タケムラ, リョウ 　
Romanization Takemura, Ryo 　
Affiliation 　
Affiliation (Translated) 　
Role 　
Link 　
Edition
　
Place
Tokyo 　
Publisher
Name Centre for Advanced Research on Logic and Sensibility The Global Centers of Excellence Program, Keio University 　
Kana 　
Romanization 　
Date
Issued (from:yyyy) 2009 　
Issued (to:yyyy) 　
Created (yyyy-mm-dd) 　
Updated (yyyy-mm-dd) 　
Captured (yyyy-mm-dd) 　
Physical description
　
Source Title
Name CARLS series of advanced study of logic and sensibility 　
Name (Translated) 　
Volume 2 　
Issue 　
Year 2008 　
Month 　
Start page 387 　
End page 402 　
ISSN
　
ISBN
　
DOI
URI
JaLCDOI
NII Article ID
　
Ichushi ID
　
Other ID
　
Doctoral dissertation
Dissertation Number 　
Date of granted 　
Degree name 　
Degree grantor 　
Abstract 
In this paper we are concerned with logical and cognitive aspects of reasoning with Euler circles. We give a proof-theoretical analysis of diagrammatic reasoning with Euler circles involving unification and deletion rules. Diagrammatic syllogistic reasoning is characterized as a particular class of the general diagrammatic proofs. Given this prooftheoretical analysis, we propose an experiment for a cognitive psychological study.
　
Table of contents 

　		
        	       		

		

	

			
Keyword
							

			

             		        				
　
        	       		

		

	

			
NDC
							

			

             		        				
　
        	       		

		

	

			
Note
							

			

             		        				
Part 5 : Logic and Informatics

　		
        	       		

		

	

			
Language
							

			

             		        				英語
　
        	       		

		

	

			
Type of resource
							

			

             		        				text
　
        	       		

		

	

			
Genre
							

			

             		        				Research Paper
　
        	       		

		

	

			
Text version
							

			

             		        				publisher
　
        	       		

		

	

			
Related DOI
							

			

                                	

        	

		

	

			
Access conditions
							

			

             		        				

　		
        	       		

		

	

			
Last modified date
							

			

             		        				May 07, 2020 15:18:00
　
        	       		

		

	

			
Creation date
							

			

             		        				Oct 24, 2011 09:00:00
　
        	       		

		

	

			
Registerd by
							

			

             		        				

			

			mediacenter
							
				
				
				
				
					

		

　		
        	       		

		

	

			
History
							

			

             		        						

									
Nov 30, 2012    フリーキーワード を変更

												
May 7, 2020    Creator を変更

							

	　		
        	       		

		

	

			
Index
							

			

             		        						

					

				 / Public / Keio University Global COE Program Center for Advanced Research on Logic and Sensibility / CARLS series of advanced study of logic and sensibility  / 2 (2008)
									
					
						
						
					
					
							

				

		
	
　		
        	       		

		

	

			
Related to