权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

図的推論を含む論理推論の認知特性に関する論理学研究

包括图解推理在内的逻辑推理认知特征的逻辑研究

基本信息

批准号：
09J07357
负责人：
佐藤有理
金额：
$ 1.34万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2009
资助国家：
日本
起止时间：
2009 至 2011
项目状态：
已结题

项目摘要

本研究は、演繹的推論における図形の有効性、特にEuler図は量化文から成る三段論法推論においてどのように効果的であるのか、またなぜそのような特定の図形表現が有効性を持つのかという問いに答えることを目的とした。以上の研究により、哲学や認知科学の問題設定を出発点としながら、図形を用いた推論の具体的な現象を詳細に分析する一方、実際に形式的理論構築に携わることを通して、認知科学・論理学双方との統合的研究から得られる新たな知見を獲得することを目指した。より具体的には、量化文から成る三段論法推論に関して、通常の言語的表現にまる推論系と、さらにEuler図やVenn図を用いた推論系について、証明論・自然言語意味論に基づく分析、実験心理学・脳科学の手法による検証を行った。最終年度である本年は、Euler図と同様の構造を持つ線図の有効性を検討することを通して、三段論法推論とEuler図推論はともに関係構造に基づく推論として分析することが可能であり、そうした対応(模倣)が、三段論法推論におけるEuler 図の有効性を説明に重要な役割を果たすことを示した。研究成果は、2011年Cognitive Science Society年次大会、2012年Diagrams国際会議に査読付き国際会議論文として、また学内紀要の英語論文としてまとめた。さらに以上の研究成果をまとめ、英語学術雑誌に論文投稿を準備中であり、来年度前期中には投稿可能な見込みである。また、これまで進めてきた図的推論に関する機能的MRIを用いた研究を本年度とりまとめ終えた。研究成果は、本年度の国内会議において途中報告した上で、英語学術雑誌への論文投稿を現在進めている。

This study は, deductive reasoning における図の have sharper sex, especially に Euler 図は quantitative article から into る syllogism reasoning においてどのように unseen fruit であるのか, またなぜそのような specific の図 form performance が have sharper sex を hold つのかという asked いに answer えることを purpose とした. Above の research によりやの cognitive science, philosophy problem set をと発 point しながら, 図を with いた inference の phenomenon of concrete なをに detailed analysis する one party, the theoretical construction of the event be に form に with わることを tong して, cognitive science, logic both sides との integration research から must られる new たな knowledge を get することを refers した. より specific には, quantitative から into る syllogism reasoning に masato して, usually の words にまる inference system と, さらに Euler 図や Venn 図を with いた inference system について, proof theory, theory of natural words mean に base づく analysis, be 験 psychology, の脳 science technique による検 line card をった. Final year であるは this year, Euler 図と with others の tectonic line を hold つ図の have sharper sex を beg す検ることを tong して, syllogism reasoning と Euler 図 inference はともに masato に system structure base づく inference として analysis することが may であり, そうした応 seaborne (imitation) が, syllogism reasoning における Euler The efficacy of the figure を indicates に important な harvest を results たすとをとをとを shows た. Research results に, 2011 Cognitive Science Society Annual Conference, 2012 Diagrams International Conference に読 submitted 読 international conference papers とてて, また proceedings of the academic committee <s:1> English papers ととてまとめたてまとめた. Research achievements above さらにのをまとめ, English academic 雑 tzu に paper submitted を prepared であり, to annual upfront には submissions may see な込みである. また, これまで into めてきた図 inference に masato する functional MRI を with いをた research this year とりまとめ eventually えた. Research は, this year's の domestic conference において way report したで, English academic 雑 tzu への paper submitted を now into めている.