論理学・認知科学・遺伝学を統合した論理推論研究

整合逻辑学、认知科学和遗传学的逻辑推理研究

• 批准号: 18650067
• 负责人: 岡田 光弘
• 金额: $ 2.11万
• 依托单位: Keio University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Exploratory Research
• 财政年份: 2006
• 资助国家: 日本
• 起止时间: 2006 至 2007
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18650067/
• 关键词: 認知哲学; 論理推論; 証明論; 三段論法; 論理学; 論理哲学

1)昨年度に引き続き線形論理や種々の新しい論理学理論の立場から、伝統的な認知科学的理論推論モデルや理論哲学的論理推論モデルの批判的分析や改訂を行った。特に、メンタルモデル理論とメンタルロジック理論に関する認知心理学の古典的論争やシンタクスとセマンティクスに関する論理哲学、情報科学等における二元論を現代論理学的観点から見直した。2)これまでは比較的少数の被験者調査を行うのが常であったが、統計的手法による実証的なデータ解析による大規模調査の方法論の研究を行った。「Baroco論理推論課題集」と呼ばれる演繹推論標準課題集を本申請グループが開発してきたが、これをさらに改良した。この課題集を用いて通常のIQ課題の関連性や、図形的表現による論理推論と言語的理論推論の(パフォーマンス)比較、抽象的推論と内容的推論の比較、信念相反的推論や領域依存的推論、論証構成と反例検索などに関わるデータの分析を行った。白血球中のRNAの転写量の差を調べるという方法論を導入することによって認知能力の関連遺伝子の所在とその効果量について調査する方法論を開発した。

1)Last year, we introduced the new theory of linear logic, the theoretical inference of cognitive science, the logical inference of theoretical philosophy and the critical analysis of logic. The dualism of cognitive psychology, logic philosophy, information science, etc. is the key point of modern logic. 2) Research on the methodology of large-scale investigation by means of statistical methods and analysis of actual data. "Baroco Logic Reasoning Problem Set" and "Deductive Reasoning Standard Problem Set" are proposed in this application. This topic set uses the usual IQ topic correlation, logical inference, verbal theoretical inference, comparison, abstract inference, content-based inference, domain-dependent inference, argumentative counterexample, analysis, etc. Methodological research on the regulation of differences in RNA content in leukocytes was developed to investigate the location and effect of cognitive correlates.

项目成果

Drug Interaction Ontology (DIO) an the Resource-Sensitive Logical Inferences

药物相互作用本体论（DIO）和资源敏感的逻辑推理

• 发表时间: 2006
• 期刊: Essays Dedicated to Joseph A. Goguen 2006
• 作者: Mitsuhiro Okada;Yutaro Sugimoto;Sumi Yoshikawa;Akihiko Konagaya
• 通讯作者: Akihiko Konagaya

Reports on Interdisciphnary Logical Reasonimg Studies

跨学科逻辑推理研究报告

• 发表时间: 2008
• 作者: Yuri Sato;Ryo Takemura;Koji Mineshima;Chizuru S hikishima;Yutaro Sugimoto;(chapter authors) M. Okada;et. al.(editors)
• 通讯作者: et. al.(editors)

Computational Semantics for Basic Protocol Logic-A Stochastic Approach,accepted to 12th Annual Asian Computing Science Conference(ALIAN'07)

基本协议逻辑的计算语义-随机方法，被第12届亚洲计算科学年会(ALIAN07)录用

• 发表时间: 2007
• 期刊: Lecture Notes in Computer Science vol.4846
• 作者: Gergei Bana;Koji Hasebe;Mitsuhiro Okada
• 通讯作者: Mitsuhiro Okada

A proof-theoretic study of the correspondence of classical logic and hybrid logic

经典逻辑与混合逻辑对应关系的证明论研究

• 发表时间: 2007
• 期刊: Journal of Logic, Language and Information 16
• 作者: Hirohiko Kushida;Mitsuhiro Okada
• 通讯作者: Mitsuhiro Okada

Essays in the Foundations of Logical and Phenomeological Studies

逻辑学和现象学研究基础论文

• 发表时间: 2007
• 作者: Hirohiko Kushida;Mitsuhiro Okada;M. Okada(editor and chapter author);Mitsuhiro Okada (editor and author)
• 通讯作者: Mitsuhiro Okada (editor and author)