国際共同研究及び特定領域研究「新しい論理学の展開」のための企画
国際共同研究及び特定領域研究「新しい論理学の展開」のための企画
批准号:
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:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
M.Okada, M.Nagayama: "A New Correctness Criterion for the Proof-Nets of Non-Commutative Multiplicative Linear Logic"Journal of Symbolic Logic. (近刊). (2002)
M.Okada、M.Nagayama:“非交换乘法线性逻辑证明网的新正确性准则”符号逻辑杂志(即将出版)。
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
-
负责人:岡田 光弘
-
依托单位:
Reading "Zen-no-kenkyu" of Nishida from the view of Wittgenstein's Language Game
-
批准号:18F18798
-
项目类别:Grant-in-Aid for JSPS Fellows
-
资助金额:$0.9万
-
财政年份:2018
-
负责人:岡田 光弘
-
依托单位:
論理学・認知科学・遺伝学を統合した論理推論研究
-
批准号:18650067
-
项目类别:Grant-in-Aid for Exploratory Research
-
资助金额:$2.11万
-
财政年份:2006
-
负责人:岡田 光弘
-
依托单位:
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
-
批准号:16016276
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$3.52万
-
财政年份:2005
-
负责人:岡田 光弘
-
依托单位:
日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究
-
批准号:15630002
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.34万
-
财政年份:2003
-
负责人:岡田 光弘
-
依托单位:
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
-
批准号:15017278
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$1.66万
-
财政年份:2003
-
负责人:岡田 光弘
-
依托单位:
特定領域研究及び国際共同研究「新しい論理学の展開」のための企画研究
-
批准号:14601001
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.28万
-
财政年份:2002
-
负责人:岡田 光弘
-
依托单位:
モデルチェッキング法の限界を超えるダイナミック実時間システムのための論理的検証法
-
批准号:14019078
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$2.24万
-
财政年份:2002
-
负责人:岡田 光弘
-
依托单位:
発展的実時間システムの自動検証を可能にする新しい論理的検証理論
-
批准号:13878059
-
项目类别:Grant-in-Aid for Exploratory Research
-
资助金额:$1.28万
-
财政年份:2001
-
负责人:岡田 光弘
-
依托单位:
モデルチェッキング法の限界を超える新しい論理的手法によるダイナミックな実時間システムのための検証ツールの実現
-
批准号:13224081
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas (C)
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:岡田 光弘
-
依托单位:
国際共同研究及び特定領域研究「新しい論理学の展開」のための企画研究
-
批准号:12891001
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.66万
-
财政年份:2000
-
负责人:岡田 光弘
-
依托单位:
実時間システムの形式仕様・検証のための新しい論理的方法論
-
批准号:11878054
-
项目类别:Grant-in-Aid for Exploratory Research
-
资助金额:$0.51万
-
财政年份:1999
-
负责人:岡田 光弘
-
依托单位:
特定領域研究「新しい論理学の展開」のための企画研究
-
批准号:11891001
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.66万
-
财政年份:1999
-
负责人:岡田 光弘
-
依托单位:
構成的論理と代数的仕様言語を融合した発展的ソフトウェア開発言語
-
批准号:10139237
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas (A)
-
资助金额:$0.9万
-
财政年份:1998
-
负责人:岡田 光弘
-
依托单位:
構成的論理言語と代数的仕様言語を融合した発展的ソフトウェア開発言語
-
批准号:09245224
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$0.96万
-
财政年份:1997
-
负责人:岡田 光弘
-
依托单位:
線形論理の意味論的手法による並行計算概念および実行可能計算量概念の論理的分析
-
批准号:09878062
-
项目类别:Grant-in-Aid for Exploratory Research
-
资助金额:$1.22万
-
财政年份:1997
-
负责人:岡田 光弘
-
依托单位:
タイプ理論および線形論理の情報科学への応用に関する国際共同研究の企画
-
批准号:09898005
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.54万
-
财政年份:1997
-
负责人:岡田 光弘
-
依托单位:
海外基金