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

論理的二元論論争再考のための現代論理学及び認知心理学の手法を用いた推論研究

使用现代逻辑和认知心理学方法的推理研究重新考虑逻辑二元论争论

基本信息

批准号：
10J07388
负责人：
中山茂之
金额：
$ 0.9万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2010
资助国家：
日本
起止时间：
2010 至 2011
项目状态：
已结题

项目摘要

本年度は以下の点を中心に研究を進めた.1.量化表現を含む論理推論を対象としたメンタルロジック理論の形式化をおこない,その性質を研究した.具体的には,Ripsによるメンタルロジック理論の体系の一つ(PSYCOP)を現代論理学の手法を用いて形式化をおこない,その証明可能性や論証構成についての明らかにした.これにより,これまで不明確であった量化表現を含むメンタルロジック理論と標準的な述語論理との関係を解明する糸口を得られた.本年度までに得られたメンタルロジックの形式化に関する成果をまとめ,来年度にその成果を発表する予定である.2.Johnson-Lairdらが提唱したメンタルモデルと証明論における体系的モデル検査手法や有限モデル理論のモデル検査手法との関係について研究をおこなった.これまでに得られたRipsらのメンタルロジック理論についての証明論的性質と結びつけて,メンタルロジック理論とメンタルモデル理論の認知科学的制約が現代論理学における一般的な証明構成法と反例検索法にどのような制限を与えたものになるかを論理学的な立場から研究を進めた.3.一般に,意味論的推論は反例モデルを構成する(論証の非妥当性を示す)のに有用であり,また構文論的推論は証明を構成する(論証の妥当性を示す)のに有用であることが知られている.そこで,メンタルモデルを反例モデルの構築,メンタルロジックを規則に従った証明構成の推論と仮定し,論理学のエキスパートを対象にそれぞれの推論時の脳内活動の相違(と類似性)を調査するための準備実験をおこなった.現在,実際の論理推論がメンタルモデル的な推論かメンタルロジック的な推論か,あるいはそれらを状況により使いわけているのかは依然解決されていない問題である.この実験は長年続いている論理推論のプロセスの問題を解決するために重要な意義をもつ.また,この実験は論理推論のプロセスが空間処理の操作であるか,言語処理の操作であるかという問題に対しての示唆を得る可能性も有す.

This year, the following points have been studied: 1. Quantitative performance, including logical inference, formalization of theory, and research on its properties Specifically,Rips is a system of theory (PSYCOP), a method of modern logic, a formalization, a proof of possibility, an argumentation, a composition. The relationship between the theory and the standard of expression logic is explained. 2.Johnson-Laird's research methods of finite element theory, research methods of relation, and research methods of proof theory. This is the result of Rips 'theory of proof theory, its properties and conclusions, its theory of proof and its constraints on cognitive science in modern logic. 3. General proof construction method, counterexample search method, its constraints and its research on logic standpoints. The inference of meaning theory is useful for the construction of counterexample (demonstration of inappropriateness of argument). In logic, the object of the Now, the logical inference of reality is that the inference of reality is that the inference of reality is that the The significance of solving the problem of logical inference in the course of many years. The logical inference of speech processing is based on the operation of spatial processing, and the operation of speech processing is based on the possibility of expression.