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

2007 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number 18650067
Research InstitutionKeio University

Principal Investigator

岡田 光弘  Keio University, 文学部, 教授 (30224025)

Co-Investigator(Kenkyū-buntansha) 安藤 寿康  慶應義塾大学, 文学部, 教授 (30193105)
大野 裕  慶應義塾大学, 保健管理センター, 教授 (70138098)
Keywords認知哲学 / 論理推論 / 証明論 / 三段論法
Research Abstract

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

  • Research Products

    (4 results)

All 2008 2007

All Journal Article (2 results) (of which Peer Reviewed: 2 results) Book (2 results)

  • [Journal Article] Some Remarks on Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic2008

    • Author(s)
      Mitsuhiro Okada
    • Journal Title

      Annals of the Japan Association for Philosophy of Science 16巻

      Pages: 1-18

    • Peer Reviewed
  • [Journal Article] Computational Semantics for Basic Protocol Logic-A Stochastic Approach,accepted to 12th Annual Asian Computing Science Conference(ALIAN'07)2007

    • Author(s)
      Gergei Bana, Koji Hasebe, Mitsuhiro Okada
    • Journal Title

      Lecture Notes in Computer Science vol.4846

      Pages: 86-94

    • Peer Reviewed
  • [Book] Reports on Interdisciphnary Logical Reasonimg Studies2008

    • Author(s)
      Yuri Sato, Ryo Takemura, Koji Mineshima, Chizuru S hikishima, Yutaro Sugimoto, (chapter authors) M. Okada, et. al.(editors)
    • Total Pages
      72
    • Publisher
      Keio University Press
  • [Book] Interdisciplinary Logic2008

    • Author(s)
      M. Okada(editor and chapter author)
    • Total Pages
      153
    • Publisher
      Keio University Press

URL: 

Published: 2010-02-04   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi