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

特定领域研究和国际联合研究“新逻辑的开发”的计划研究

基本信息

  • 批准号:
    14601001
  • 负责人:
  • 金额:
    $ 1.28万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
  • 财政年份:
    2002
  • 资助国家:
    日本
  • 起止时间:
    2002 至 无数据
  • 项目状态:
    已结题

项目摘要

特定領域研究及び国際共同研究「新しい論理学の展開」に向けた企画・調査を行った。本企画・調査研究班は、論理哲学者達だけでなく、これに認知言語学者、論理学史学者、情報科学者等も含めて形成されている。特に本年度は国際共同研究の基礎となるネットワーク作りを発展させた。(1)企画にあたっては英米系論理哲学の分野だけでなく、認知科学・情報科学・AIなどとの学際的分野や、西洋・東洋論理哲学史や現象学的論理学をはじめ広い意味での論理の哲学的解明に関わる分野も視野に入れて進めた。又、我々哲学系論理学グループが中心となり、これに情報科学系AI及び認知科学系、数学基礎論系研究者達を交えてオントロジー工学、現象学的論理学、線形論理学等の分野を中心に学際的企画研究を進めた。(2)哲学系論理学グループを中心に欧州及び北米の研究グループとの協議を進め、欧州グループおよび北米グループとも協力して特定領域研究を立ち上げるための調査を進めた。なお、欧米の企画グループGirard及びJoinet及びAbrusciとは欧州の論理哲学界との研究協力の企画を行った。Benoistらとは各々のグループと現象学的論理学の共同研究企画を行った。又北米の論理学者達との間でも調査を進め、特にScedrov.Mitchell等の北米の重要な論理学グループが来日して協議を行った。
Project and investigation in specific field research and international joint research "New Logic Development" This project and research class is composed of logical philosophers, cognitive linguists, logical historians, and information scientists. In particular, this year's international joint research foundation has been developed. (1)The division of logic and philosophy of English system in planning, cognitive science, information science, AI and interdisciplinary, western logic and philosophy history, phenomenological logic, meaning and explanation of logic and philosophy Department of Philosophy, Department of Logic, Department of Information Science, Department of AI and Cognitive Science, Department of Fundamental Mathematics Researcher, Division of Engineering, Phenomenological Logic, Linear Logic, etc. (2)Philosophy Department Logic Center European and North American Research Center Girard and Joinet and Abrusci are the project managers of European logic and philosophy research cooperation. The logic of phenomenology and the joint research plan of Benoist are carried out. In addition, the logicians of North America have made great efforts to investigate the future of logic.

项目成果

期刊论文数量(8)
专著数量(0)
科研奖励数量(0)
会议论文数量(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:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
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:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
岡田 光弘: "オントロジー工学の論理的基礎I「オントロジーの哲学的・論理学的背景」"人工知能. 17巻2号. 224-231 (2002)
Mitsuhiro Okada:“本体论工程的逻辑基础 I“本体论的哲学和逻辑背景””人工智能,第 17 卷,第 224-231 期。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
岡田 光弘: "オントロジー工学の論理的基礎II「ファサールのフォーマルオントロジーとその影響」"人工知能. 17巻3号. 335-344 (2002)
Mitsuhiro Okada:“本体工程的逻辑基础 II “Fasal 的形式本体论及其影响””人工智能,第 17 卷,第 335-344 期。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
岡田 光弘: "数学における直感と言語"思想. (近刊). (2003)
Mitsuhiro Okada:“数学中的直觉和语言”思想(即将出版)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

岡田 光弘其他文献

オーバラップMCとMPを反復する動画像符号化 -MCの性能改善に関する-検討-
重复重叠MC和MP的视频编码 -改善MC性能的研究-
The role of Japanese Inter-organizational Network for Statistics Education (JINSE)
日本组织间统计教育网络 (JINSE) 的作用
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    森井 真広;井出野 尚;坂上 貴之;竹村 和久;岡田 光弘;福田円;Yasuto Yoshizoe
  • 通讯作者:
    Yasuto Yoshizoe
Ingarden’s Dual-Bearer Theory of Fictional Objects
英加登虚构物体的双重承载理论
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    小関 健太郎;岡田 光弘;Kentaro Ozeki
  • 通讯作者:
    Kentaro Ozeki
Examining Examinations : on logic of practices in OSCE 医学教育の相互行為分析-「OSCE」における実践の論理-(英文)
考试:欧安组织实践逻辑医学教育中的互动分析 - 欧安组织实践逻辑(英语)
  • DOI:
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    樫田 美雄;他;藤崎宏子;岡田 光弘;平岡公一;樫田 美雄;藤守 義光
  • 通讯作者:
    藤守 義光
The designs of teacher's interventional-acts to promote students' autonomic clinical inference : From a case of Problem-Based Learning
促进学生自主临床推理的教师干预行为设计——以问题为基础的学习为例
  • DOI:
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    樫田 美雄;他;藤崎宏子;岡田 光弘;平岡公一;樫田 美雄;藤守 義光;原田謙・杉澤秀博・柴田博;田代和子・杉澤秀博;五十嵐素子
  • 通讯作者:
    五十嵐素子

岡田 光弘的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('岡田 光弘', 18)}}的其他基金

論証・証明の哲学の深化に向けた学際的「論理の哲学」研究
旨在深化论证和证明哲学的跨学科“逻辑哲学”研究
  • 批准号:
    23K20416
  • 财政年份:
    2024
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
On information presentation methods for easier decison making: Studies on multi-attribute decision making
便于决策的信息呈现方法:多属性决策研究
  • 批准号:
    21K18339
  • 财政年份:
    2021
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Challenging Research (Exploratory)
Interdisciplinary studies on philosophy of logic: Toward the development of philosophy of proof and demonstration
逻辑哲学的跨学科研究:走向证明和论证哲学的发展
  • 批准号:
    21H00467
  • 财政年份:
    2021
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Study on "Disagreement" in logic
逻辑学中的“分歧”研究
  • 批准号:
    19KK0006
  • 财政年份:
    2019
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
Reading "Zen-no-kenkyu" of Nishida from the view of Wittgenstein's Language Game
从维特根斯坦的语言游戏看西田的《禅之研究》
  • 批准号:
    18F18798
  • 财政年份:
    2018
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
論理学・認知科学・遺伝学を統合した論理推論研究
整合逻辑学、认知科学和遗传学的逻辑推理研究
  • 批准号:
    18650067
  • 财政年份:
    2006
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Exploratory Research
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
超越模型检验方法限制的动态实时系统逻辑验证方法
  • 批准号:
    16016276
  • 财政年份:
    2005
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究
日美科学合作项目“软件验证的逻辑方法”更新计划研究
  • 批准号:
    15630002
  • 财政年份:
    2003
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
超越模型检验方法限制的动态实时系统逻辑验证方法
  • 批准号:
    15017278
  • 财政年份:
    2003
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
超越模型检验方法限制的动态实时系统逻辑验证方法
  • 批准号:
    14019078
  • 财政年份:
    2002
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas

相似海外基金

なぜ情報は「新しい」可能性を生むか-行為の規範性の論理哲学的な解明
为什么信息创造“新”的可能性?对行为规范性的逻辑哲学阐释
  • 批准号:
    22KJ1471
  • 财政年份:
    2023
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
形式主義の哲学の新展開:竹内外史の論理哲学の解明を通じて
形式主义哲学的新发展——通过竹内文逻辑哲学的阐释
  • 批准号:
    19K00022
  • 财政年份:
    2019
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
証明論と論理的意味論の二元論に対する論理哲学と認知科学による統合的研究
利用逻辑哲学和认知科学综合研究证明论和逻辑语义的二元论
  • 批准号:
    07J06005
  • 财政年份:
    2007
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
初期ラッセルと周辺の論理哲学・形而上学に関する意味理論的・哲学史的観点からの研究
从语义和哲学历史角度研究早期罗素及其周围的逻辑哲学和形而上学
  • 批准号:
    05J06334
  • 财政年份:
    2005
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
意味と言語行為に関する論理・哲学的研究
关于意义和言语行为的逻辑和哲学研究
  • 批准号:
    59450001
  • 财政年份:
    1984
  • 资助金额:
    $ 1.28万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (B)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了