特定領域研究「新しい論理学の展開」のための企画研究

特定领域研究的计划研究“新逻辑的开发”

基本信息

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

项目摘要

特定領域研究「新しい論理学の展開」に向けて、その準備のための企画・調査を行った。現在進みつつある新しい論理学の展開を把握し、論理学の進むべき方向を明らかにしていくには、哲学系論理学者達が中心となり、これに西洋・東洋の論理学史の学者達および認知科学、言語学、人工知能論、情報科学基礎論、数学基礎論を含めて特定領域研究チームを形成する必要がある。このため、本企画・調査研究においても、論理哲学者達だけでなく、これに認知言語学者、論理学史学者、情報科学者に加わってもらった。岡田は論理哲学(数学基礎論やフッサール後期の論理学も含む)を、飯田は言語分析哲学を、野矢は日常言語と論理との関係を、土屋は認知科学的立場からの論理を、岩田はおもに印度論理を中心に企画調査を行った。また、これらのメンバーの各々は、哲学以外の他の分野との交流も盛んに行ってきた。例えば、土屋は言語学界および認知科学界においても哲学的立場から多くの成果をあげており、また岡田は人工知能論や情報科学や数学との境界領域の研究者たちとの打ち合わせも進めてきた。また、これまでも哲学系の研究代表者岡田と分担者土屋は情報科学系の分担者佐藤と分野を超えて本企画調査のための学術交流を重ねてきた。これと並行して、岡田が海外における代表的な哲学系論理学の共同研究プロジェクトの視察・調査を行った。また、ソルボンヌ大学哲学科Joinet博士、パリ・エコールノルマールシュープリュールのLongo博士ら欧州の論理学者およびホンコン大学哲学科及び米国テキサス大哲学科Thomason博士らアジア、米国の何人かの分析哲学者や言語行為論の論理研究者らを招いて、本研究企画のためのディスカッションを行い、助言を仰いだ。
我们进行了规划和研究,为特定领域研究“新逻辑的开发”做准备。哲学逻辑学家在把握新逻辑的发展现状、明确逻辑的发展方向方面发挥着核心作用,需要组建一个包括科学、语言学、人工智能理论、基础信息科学理论和基础理论的具体研究团队。数学理论。为此,我们不仅邀请了逻辑哲学家参与这个项目和研究,还邀请了认知语言学家、逻辑历史学家和信息科学家。冈田侧重于逻辑哲学(包括数学基础理论和晚期胡塞尔逻辑),饭田侧重于语言分析哲学,野谷侧重于日常语言与逻辑之间的关系,土屋侧重于认知科学立场的逻辑,岩田侧重于哲学我们进行了一项主要针对印度逻辑的规划调查。此外,这些成员中的每一位都积极与哲学以外的其他领域进行互动。例如,土屋在语言学和认知科学领域从哲学角度取得了许多成果,冈田还与人工智能理论、信息科学和数学交叉领域的研究人员举行了会议。此外,哲学领域的首席研究员冈田、共同研究员土屋、信息科学领域的研究伙伴佐藤也为本研究项目进行了跨学科的学术交流。与此同时,冈田考察了国外哲学逻辑领域具有代表性的联合研究项目。此外,索邦大学哲学系儒瓦内博士、巴黎高等师范学院哲学系隆戈博士等欧洲逻辑学家,以及托马森博士等来自亚洲和美国的多位分析哲学家和语言学家,我们邀请了香港大学哲学系和德克萨斯大学哲学系的研究人员来讨论这个研究项目并征求他们的意见。

项目成果

期刊论文数量(8)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
M.Okada: "A Phase-Semantic Higher Cut-elimination and Normalization Proofs of Classical Linear Logic"Theoretical Computer Science. 227. 333-396 (1999)
M.Okada:“经典线性逻辑的阶段语义更高消去和归一化证明”理论计算机科学。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
F.Blanqui,J-P.Jouannaud and M.Okada: "Calculus of Inductive Construction"Proc.of Rewriting Technique and Application(RTA99),Springer-Lecture Note in Computer Science. 1631. 301-316 (1999)
F.Blanqui、J-P.Jouannad 和 M.Okada:“Calculus of Induction Construction”Proc.of Rewriting Technique and Application(RTA99),Springer-计算机科学讲义。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
岡田 光弘: "法律人工知能(共著)"創成社出版. (2000)
冈田光宏:《法律人工智能(合着)》创成社出版社(2000)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
M.Okada and K.Terui: "Finite Model Property for Various Fragments of Intuitionistic Linear Logic"Journal of Symbolic Logic. 64. 790-801 (1999)
M.Okada 和 K.Terui:“直觉线性逻辑各种片段的有限模型属性”符号逻辑杂志。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
F.Blanqui,J-P.Jouannaud and M.Okada: "Inductive Data Type Systems"Theoretical Computer Science. (近刊).
F. Blanqui、J-P. Jouannad 和 M. 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 }}

岡田 光弘其他文献

意思決定研究における眼球運動データの測定と分析
决策研究中眼动数据的测量与分析
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    森井 真広;井出野 尚;坂上 貴之;竹村 和久;岡田 光弘
  • 通讯作者:
    岡田 光弘
意思決定研究における眼球運動データの測定と分析
决策研究中眼动数据的测量与分析
  • DOI:
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    森井 真広;井出野 尚;坂上 貴之;竹 村 和久;岡田 光弘
  • 通讯作者:
    岡田 光弘
オーバラップMCとMPを反復する動画像符号化-適応算術符号化の導入-
重复重叠MC和MP的视频编码 - 自适应算术编码的介绍 -
  • DOI:
  • 发表时间:
    2004
  • 期刊:
  • 影响因子:
    0
  • 作者:
    岡田 光弘
  • 通讯作者:
    岡田 光弘
医学教育のための応用エスノメソドロジー研究
医学教育应用民族方法学研究
  • DOI:
  • 发表时间:
    2005
  • 期刊:
  • 影响因子:
    0
  • 作者:
    岡田 光弘
  • 通讯作者:
    岡田 光弘
オーバラップMCとMPを反復する動画像符号化-非可分型基底を用いたMPの高速化-
重复重叠 MC 和 MP 的视频编码 - 使用不可分离的基础加速 MP -
  • DOI:
  • 发表时间:
    2005
  • 期刊:
  • 影响因子:
    0
  • 作者:
    岡田 光弘
  • 通讯作者:
    岡田 光弘

岡田 光弘的其他文献

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

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

On information presentation methods for easier decison making: Studies on multi-attribute decision making
便于决策的信息呈现方法:多属性决策研究
  • 批准号:
    21K18339
  • 财政年份:
    2021
  • 资助金额:
    $ 1.66万
  • 项目类别:
    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.66万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Study on "Disagreement" in logic
逻辑学中的“分歧”研究
  • 批准号:
    19KK0006
  • 财政年份:
    2019
  • 资助金额:
    $ 1.66万
  • 项目类别:
    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.66万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
モデルチェッキング法の限界を超える新しい論理的手法によるダイナミックな実時間システムのための検証ツールの実現
使用超越模型检查方法限制的新逻辑方法实现动态实时系统的验证工具
  • 批准号:
    13224081
  • 财政年份:
    2001
  • 资助金额:
    $ 1.66万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas (C)
国際共同研究及び特定領域研究「新しい論理学の展開」のための企画
规划国际联合研究和特定领域研究“新逻辑的开发”
  • 批准号:
    13891001
  • 财政年份:
    2001
  • 资助金额:
    $ 1.66万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
国際共同研究及び特定領域研究「新しい論理学の展開」のための企画研究
国际联合研究和特定领域研究“新逻辑的开发”的计划研究
  • 批准号:
    12891001
  • 财政年份:
    2000
  • 资助金额:
    $ 1.66万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
実時間システムの形式仕様・検証のための新しい論理的方法論
实时系统的形式化规范和验证的新逻辑方法
  • 批准号:
    11878054
  • 财政年份:
    1999
  • 资助金额:
    $ 1.66万
  • 项目类别:
    Grant-in-Aid for Exploratory Research
構成的論理と代数的仕様言語を融合した発展的ソフトウェア開発言語
一种结合了构造逻辑和代数规范语言的进化软件开发语言。
  • 批准号:
    10139237
  • 财政年份:
    1998
  • 资助金额:
    $ 1.66万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas (A)
線形論理の意味論的手法による並行計算概念および実行可能計算量概念の論理的分析
使用线性逻辑的语义方法对并行计算概念和可执行复杂性概念进行逻辑分析
  • 批准号:
    09878062
  • 财政年份:
    1997
  • 资助金额:
    $ 1.66万
  • 项目类别:
    Grant-in-Aid for Exploratory Research

相似海外基金

ルイ・アルチュセールにおける「哲学」の問題:「イデオロギー」との関係を基点に
阿尔都塞的“哲学”问题:基于与“意识形态”的关系
  • 批准号:
    22KJ1102
  • 财政年份:
    2023
  • 资助金额:
    $ 1.66万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
ヘーゲル論理学における「概念」の哲学史的再解釈を通じた存在と当為の区別の再考
通过对黑格尔逻辑中“概念”的哲学历史重新解释来重新思考存在与应当的区别
  • 批准号:
    22KJ2034
  • 财政年份:
    2023
  • 资助金额:
    $ 1.66万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
The Making of Historiology in Modern Japan
近代日本历史学的形成
  • 批准号:
    22K00096
  • 财政年份:
    2022
  • 资助金额:
    $ 1.66万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Political Theory and Intellectual History
政治理论与思想史
  • 批准号:
    22K01304
  • 财政年份:
    2022
  • 资助金额:
    $ 1.66万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Conditions of the possibility to create a basis for contemporary deontology
为当代道义论奠定基础的可能性条件
  • 批准号:
    22K01109
  • 财政年份:
    2022
  • 资助金额:
    $ 1.66万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了