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

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

Research Project

Project/Area Number 18650067
Research Category

Grant-in-Aid for Exploratory Research

Allocation TypeSingle-year Grants
Research Field Cognitive science
Research InstitutionKeio University

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) 安藤 寿康  慶應義塾大学, 文学部, 教授 (30193105)
大野 裕  慶應義塾大学, 保健管理センター, 教授 (70138098)
Project Period (FY) 2006 – 2007
Project Status Completed (Fiscal Year 2007)
Budget Amount *help
¥3,300,000 (Direct Cost: ¥3,300,000)
Fiscal Year 2007: ¥1,600,000 (Direct Cost: ¥1,600,000)
Fiscal Year 2006: ¥1,700,000 (Direct Cost: ¥1,700,000)
Keywords認知哲学 / 論理推論 / 証明論 / 三段論法 / 論理学 / 論理哲学
Research Abstract

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

Report

(2 results)
  • 2007 Annual Research Report
  • 2006 Annual Research Report
  • Research Products

    (7 results)

All 2008 2007 2006

All Journal Article (4 results) (of which Peer Reviewed: 2 results) Book (3 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

    • NAID

      110007033705

    • Related Report
      2007 Annual Research Report
    • 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

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [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

    • Related Report
      2006 Annual Research Report
  • [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

    • Related Report
      2006 Annual Research Report
  • [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
    • Related Report
      2007 Annual Research Report
  • [Book] Interdisciplinary Logic2008

    • Author(s)
      M. Okada(editor and chapter author)
    • Total Pages
      153
    • Publisher
      Keio University Press
    • Related Report
      2007 Annual Research Report
  • [Book] Essays in the Foundations of Logical and Phenomeological Studies2007

    • Author(s)
      Mitsuhiro Okada (editor and author)
    • Publisher
      Keio University Press
    • Related Report
      2006 Annual Research Report

URL: 

Published: 2006-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi