课题基金 / 基金详情

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

論理学・認知科学・遺伝学を統合した論理推論研究
整合逻辑学、认知科学和遗传学的逻辑推理研究
批准号：
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の転写量の差を調べるという方法論を導入することによって認知能力の関連遺伝子の所在とその効果量について調査する方法論を開発した。
期刊论文(7)
专著(0)
科研奖励(0)
会议论文
Drug Interaction Ontology (DIO) an the Resource-Sensitive Logical Inferences
药物相互作用本体论（DIO）和资源敏感的逻辑推理
DOI： --
发表时间： 2006
期刊： Essays Dedicated to Joseph A. Goguen 2006
影响因子： --
作者： [Mitsuhiro Okada, Yutaro Sugimoto, Sumi Yoshikawa, Akihiko Konagaya]
通讯作者： Akihiko Konagaya
Reports on Interdisciphnary Logical Reasonimg Studies
跨学科逻辑推理研究报告
DOI： --
发表时间： 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)录用
DOI： --
发表时间： 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
经典逻辑与混合逻辑对应关系的证明论研究
DOI： --
发表时间： 2007
期刊： Journal of Logic, Language and Information 16
影响因子： --
作者： [Hirohiko Kushida, Mitsuhiro Okada]
通讯作者： Mitsuhiro Okada
共 7 条
    論証・証明の哲学の深化に向けた学際的「論理の哲学」研究
    • 批准号：
      23K20416
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $3.24万
    • 财政年份：
      2024
    • 负责人：
      岡田 光弘
    • 依托单位：
      Keio University
    On information presentation methods for easier decison making: Studies on multi-attribute decision making
    • 批准号：
      21K18339
    • 项目类别：
      Grant-in-Aid for Challenging Research (Exploratory)
    • 资助金额：
      $4.08万
    • 财政年份：
      2021
    • 负责人：
      岡田 光弘
    • 依托单位：
      Keio University
    Interdisciplinary studies on philosophy of logic: Toward the development of philosophy of proof and demonstration
    • 批准号：
      21H00467
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $8.49万
    • 财政年份：
      2021
    • 负责人：
      岡田 光弘
    • 依托单位：
      Keio University
    Study on "Disagreement" in logic
    • 批准号：
      19KK0006
    • 项目类别：
      Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
    • 资助金额：
      $7.49万
    • 财政年份：
      2019
    • 负责人：
      岡田 光弘
    • 依托单位：
      Keio University
    海外基金