课题基金 / 基金详情

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

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

项目摘要

项目成果

岡田 光弘的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
特定領域研究「新しい論理学の展開」及びそれと並行して行う国際共同研究に向けて,その準備のための企画・調査を行った.現在進みつつある新しい論理学の展開を把握し,論理学の進むべき方向を明らかにしていくには,哲学系論理学者達が中心となり,これに西洋・東洋の論理学史の学者達および認知科学,言語学,人工知能論,情報科学基礎論,数学基礎論を含めて特定領域研究チームを形成する必要がある.このため,本企画・調査研究においても,論理哲学者だけでなく,これに認知言語学者,論理学史者,情報科学者に加わってもらった.昨年度に引続き,岡田は論理哲学(数学基礎論やフッサール後期の論理学も含む)を,飯田は言語分析哲学を,野矢は日常言語と論理との関係を,土屋は認知科学的立場からの論理を,岩田はおもに印度論理を中心に企画調査を行った.また,これらのメンバーの各々は,哲学以外の他の分野との交流も盛んに行ってきた.例えば,土屋は言語学界および認知科学界においても哲学的立場から多くの成果をあげており,また 岡田及び佐藤は人工知能論や情報科学や数学との境界領域の研究者達との打ち合わせも進めてきた.また,これまでも哲学系の研究代表者岡田と分担者土屋は情報科学系の分担者佐藤と分野を超えて本企画調査のための学術交流を重ねてきた.これと並行して,岡田が海外における代表的な哲学系論理学の共同研究プロジェクトの視察・調査を行った.特に4月にソルボンヌ大(パリ大学第1校)哲学科において欧州側共同研究者達と共同研究企画のための会合を行ったのに続いて,7月末のヨーロッパ論理学会の折には米国側の共同研究者達も含めて上記課題の国際共同研究の企画会議を行った.
期刊论文(5)
专著(0)
科研奖励(0)
会议论文
M.Nagayama,M.Okada: "A Linear Time Characterization Theorem for Non-Commutative Linear Logic"Journal of Symbolic Logic. (近刊).
M.Nagayama、M.Okada：“非交换线性逻辑的线性时间表征定理”符号逻辑杂志（即将出版）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
F.Blanqui,J-P.Jouanraud and M.Okada: "Inductive Data Type Systems"Theoretical Computer Science. (近刊).
F. Blanqui、J-P. Jouanraud 和 M. Okada：“归纳数据类型系统”理论计算机科学（即将出版）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
岡田光弘: "法律人工知能(共著)"創成社出版. (2000)
冈田光宏：《法律人工智能（合着）》创成社出版社（2000）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
M.Kanovich,M.Okada and A.Scedrov: "Phase Semantics for Light Linear Logic"Theoretical Computer Science. (近刊).
M. Kanovich、M. Okada 和 A. Scedrov：“轻线性逻辑的相位语义”理论计算机科学（即将出版）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
論証・証明の哲学の深化に向けた学際的「論理の哲学」研究
  • 批准号：
    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
海外基金