课题基金 / 基金详情

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

国際共同研究及び特定領域研究「新しい論理学の展開」のための企画
规划国际联合研究和特定领域研究“新逻辑的开发”
批准号:
13891001
负责人:
岡田 光弘
金额:
$0.83万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (C)
财政年份:
2001
资助国家:
日本
项目状态:
已结题
起止时间:
2001 至 --

项目摘要

项目成果

岡田 光弘的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
特定領域研究及び国際共同研究「新しい論理学の展開」に向けた企画・調査を行った。本企画・調査研究班は、論理哲学者達だけでなく、これに認知言語学者、論理学史学者、情報科学者含めて形成されている。各々の分担者が各自の専門分野を担当する形で、特定領域研究の企画を進めた。1.企画にあたっては英米系論理哲学の分野だけでなく、認知科学・情報科学・AIなどとの学際的分野や、西洋・東洋論理哲学史や現象学的論理学をはじめ広い意味での論埋の哲学的解明に関わる分野も視野に入れて進めた。本チームメンバー(および研究協力者グループ)との研究会を重ねて各分野から出された共同研究の企画を検討した。又、我々哲学系論理学グループが中心となり、これに情報科学系AI及び認知科学系、数学基礎論系研究者達を交えて「哲学と工学におけるオントロジー」ワークショップ、「ヒルベルト」国際ワークショップ、「ウィトゲンシュタインの数学の哲学」ワークショップ等多数の研究会を行い、学際的企画研究を進めた。2.哲学系論理学グループを中心に欧州及び北米の研究グループとの協議を進め、欧州グループおよび北米グループのそれぞれの地域での研究費申請と連動して、日本側も特定領域研究を立ち上げるための準備を進めた。なお、欧米の企画グループvan Dalen及びJoinet及びAbrusciとは欧州の論理哲学界との研究協力の企画を行った。Benoistとは各々のグループと現象学的論理学の共同研究企画を行った。Girard及びBarendregtとは欧州の惰報論理学界との共同研究企画を行った。Mancosu及びZach及びDrummondとは北米論理哲学界との共同研究の企画を行った。Vandervekenとは北米の言語行為論者達および「AIの論理」研究者達との研究協力の企画を行った。
期刊论文(6)
专著(0)
科研奖励(0)
会议论文
M.Okada, F.Biarqui, J-P Jouannand: "Inductive Data Type Systems"Theoretical Computer Science. 272. 41-68 (2002)
M.Okada、F.Biarqui、J-P Jouannad:“归纳数据类型系统”理论计算机科学。
DOI: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
M.Okada, M.Kanouchi, A.Scedrov: "Phase Semantics for Light Linear Logic and Semantic Cut-Elimination Proof"Theoretical Computer Science. (近刊). (2002)
M.Okada、M.Kanouchi、A.Scedrov:“轻线性逻辑的相位语义和语义剪切消除证明”理论计算机科学(即将出版)。
DOI: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
M.Okada: "La logique lineaire et les fondements de la logique intuitioniste,"La reme internationale de philosophie. (近刊). (2002)
M. Okada:“La logique lineaire et les fontements de la logique intuitioniste”,《La reme Internationale de philosophie》(即将出版)。
DOI: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
M.Okada: "A Uniform Proof for Higher Order Cut-Elimination-and Normalization Theorem"Theoretical Computer Science. (近刊). (2002)
M.Okada:“高阶削减消除和标准化定理的统一证明”理论计算机科学(即将出版)。
DOI: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
6
    論証・証明の哲学の深化に向けた学際的「論理の哲学」研究
    • 批准号:
      23K20416
    • 项目类别:
      Grant-in-Aid for Scientific Research (B)
    • 资助金额:
      $3.24万
    • 财政年份:
      2024
    • 负责人:
      岡田 光弘
    • 依托单位:
    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
    • 负责人:
      岡田 光弘
    • 依托单位:
    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
    • 负责人:
      岡田 光弘
    • 依托单位:
    Study on "Disagreement" in logic
    • 批准号:
      19KK0006
    • 项目类别:
      Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
    • 资助金额:
      $7.49万
    • 财政年份:
      2019
    • 负责人:
      岡田 光弘
    • 依托单位:
    海外基金