课题基金 / 基金详情

特定領域研究及び国際共同研究「新しい論理学の展開」のための企画研究

特定領域研究及び国際共同研究「新しい論理学の展開」のための企画研究
特定领域研究和国际联合研究“新逻辑的开发”的计划研究
批准号：
14601001
负责人：
岡田 光弘
金额：
$1.28万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2002
资助国家：
日本
项目状态：
已结题
起止时间：
2002 至 --
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-14601001/
关键词：
論理学論理哲学論理学史

项目摘要

项目成果

岡田 光弘的其他基金

相似基金

相关文献

中文摘要
翻译
特定領域研究及び国際共同研究「新しい論理学の展開」に向けた企画・調査を行った。本企画・調査研究班は、論理哲学者達だけでなく、これに認知言語学者、論理学史学者、情報科学者等も含めて形成されている。特に本年度は国際共同研究の基礎となるネットワーク作りを発展させた。(1)企画にあたっては英米系論理哲学の分野だけでなく、認知科学・情報科学・AIなどとの学際的分野や、西洋・東洋論理哲学史や現象学的論理学をはじめ広い意味での論理の哲学的解明に関わる分野も視野に入れて進めた。又、我々哲学系論理学グループが中心となり、これに情報科学系AI及び認知科学系、数学基礎論系研究者達を交えてオントロジー工学、現象学的論理学、線形論理学等の分野を中心に学際的企画研究を進めた。(2)哲学系論理学グループを中心に欧州及び北米の研究グループとの協議を進め、欧州グループおよび北米グループとも協力して特定領域研究を立ち上げるための調査を進めた。なお、欧米の企画グループGirard及びJoinet及びAbrusciとは欧州の論理哲学界との研究協力の企画を行った。Benoistらとは各々のグループと現象学的論理学の共同研究企画を行った。又北米の論理学者達との間でも調査を進め、特にScedrov.Mitchell等の北米の重要な論理学グループが来日して協議を行った。
英文摘要
特定領域研究及び国際共同研究「新しい論理学の展開」に向けた企画・調査を行った。本企画・調査研究班は、論理哲学者達だけでなく、これに認知言語学者、論理学史学者、情報科学者等も含めて形成されている。特に本年度は国際共同研究の基礎となるネットワーク作りを発展させた。(1)企画にあたっては英米系論理哲学の分野だけでなく、認知科学・情報科学・AIなどとの学際的分野や、西洋・東洋論理哲学史や現象学的論理学をはじめ広い意味での論理の哲学的解明に関わる分野も視野に入れて進めた。又、我々哲学系論理学グループが中心となり、これに情報科学系AI及び認知科学系、数学基礎論系研究者達を交えてオントロジー工学、現象学的論理学、線形論理学等の分野を中心に学際的企画研究を進めた。(2)哲学系論理学グループを中心に欧州及び北米の研究グループとの協議を進め、欧州グループおよび北米グループとも協力して特定領域研究を立ち上げるための調査を進めた。なお、欧米の企画グループGirard及びJoinet及びAbrusciとは欧州の論理哲学界との研究協力の企画を行った。Benoistらとは各々のグループと現象学的論理学の共同研究企画を行った。又北米の論理学者達との間でも調査を進め、特にScedrov.Mitchell等の北米の重要な論理学グループが来日して協議を行った。
期刊论文(8)
专著(0)
科研奖励(0)
会议论文
M.Kanovitch, Mitsuhiro Okada, A.Scedrov: "Phase Semantics for Light Liner Logic"Theoretical Computer Science. 294. 525-549 (2003)
M.Kanovitch、Mitsuhiro Okada、A.Scedrov：“轻线性逻辑的相位语义”理论计算机科学。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Mitsuhiro Okada: "La logique lineaire et les fondements de la logique mtuitioniste"Larevue internationale de philosophie. (近刊). (2004)
Mitsuhiro Okada：“La logique lineaire et les fontements de la logique mtuitioniste”Larevue Internationale de philosophie（即将出版）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
岡田 光弘: "オントロジー工学の論理的基礎I「オントロジーの哲学的・論理学的背景」"人工知能. 17巻2号. 224-231 (2002)
Mitsuhiro Okada：“本体论工程的逻辑基础 I“本体论的哲学和逻辑背景””人工智能，第 17 卷，第 224-231 期。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
岡田 光弘: "オントロジー工学の論理的基礎II「ファサールのフォーマルオントロジーとその影響」"人工知能. 17巻3号. 335-344 (2002)
Mitsuhiro Okada：“本体工程的逻辑基础 II “Fasal 的形式本体论及其影响””人工智能，第 17 卷，第 335-344 期。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
共 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
    海外基金