• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2006 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number 18650067
Research InstitutionKeio University

Principal Investigator

岡田 光弘  慶應義塾大学, 文学部, 教授 (30224025)

Co-Investigator(Kenkyū-buntansha) 安藤 寿康  慶應義塾大学, 文学部, 教授 (30193105)
大野 裕  慶應義塾大学, 文学部, 教授 (70138098)
Keywords論理学 / 論理推論 / 論理哲学
Research Abstract

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

  • Research Products

    (3 results)

All 2007 2006

All Journal Article (2 results) Book (1 results)

  • [Journal Article] A proof-theoretic study of the correspondence of classical logic and hybrid logic2007

    • Author(s)
      Hirohiko Kushida, Mitsuhiro Okada
    • Journal Title

      Journal of Logic, Language and Information 16

      Pages: 35-61

  • [Journal Article] Drug Interaction Ontology (DIO) an the Resource-Sensitive Logical Inferences2006

    • Author(s)
      Mitsuhiro Okada, Yutaro Sugimoto, Sumi Yoshikawa, Akihiko Konagaya
    • Journal Title

      Essays Dedicated to Joseph A. Goguen 2006

      Pages: 616-642

  • [Book] Essays in the Foundations of Logical and Phenomeological Studies2007

    • Author(s)
      Mitsuhiro Okada (editor and author)
    • Publisher
      Keio University Press

URL: 

Published: 2008-05-08   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi