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

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

• 批准号: 13891001
• 负责人: 岡田 光弘
• 金额: $ 0.83万
• 依托单位: Keio University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2001
• 资助国家: 日本
• 起止时间: 2001 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-13891001/
• 关键词: 論理学; 論理哲学; 論理学史

特定領域研究及び国際共同研究「新しい論理学の展開」に向けた企画・調査を行った。本企画・調査研究班は、論理哲学者達だけでなく、これに認知言語学者、論理学史学者、情報科学者含めて形成されている。各々の分担者が各自の専門分野を担当する形で、特定領域研究の企画を進めた。1.企画にあたっては英米系論理哲学の分野だけでなく、認知科学・情報科学・AIなどとの学際的分野や、西洋・東洋論理哲学史や現象学的論理学をはじめ広い意味での論埋の哲学的解明に関わる分野も視野に入れて進めた。本チームメンバー(および研究協力者グループ)との研究会を重ねて各分野から出された共同研究の企画を検討した。又、我々哲学系論理学グループが中心となり、これに情報科学系AI及び認知科学系、数学基礎論系研究者達を交えて「哲学と工学におけるオントロジー」ワークショップ、「ヒルベルト」国際ワークショップ、「ウィトゲンシュタインの数学の哲学」ワークショップ等多数の研究会を行い、学際的企画研究を進めた。2.哲学系論理学グループを中心に欧州及び北米の研究グループとの協議を進め、欧州グループおよび北米グループのそれぞれの地域での研究費申請と連動して、日本側も特定領域研究を立ち上げるための準備を進めた。なお、欧米の企画グループvan Dalen及びJoinet及びAbrusciとは欧州の論理哲学界との研究協力の企画を行った。Benoistとは各々のグループと現象学的論理学の共同研究企画を行った。Girard及びBarendregtとは欧州の惰報論理学界との共同研究企画を行った。Mancosu及びZach及びDrummondとは北米論理哲学界との共同研究の企画を行った。Vandervekenとは北米の言語行為論者達および「AIの論理」研究者達との研究協力の企画を行った。

Specific field research and び international joint research "New <s:1> <s:1> Theoretical Development <s:1>" に to けた planning and investigation を line った. This enterprise painting seminar は, investigation and logical philosophy of だ け で な く, こ れ に cognitive words, logic history scholars, the intelligence science including め て form さ れ て い る. Each 々 <s:1> undertaker が is responsible for する type で and specific field research <s:1> planning を in めた. 1. Enterprises draw に あ た っ て は the m series logical philosophy の eset だ け で な く, cognitive science, information science, AI な ど と の interstate eset や, Atlantic, Oriental や phenomenology of logical philosophy of logic を は じ め hiroo い mean で の theory of interpret buried の philosophy に masato わ る eset も に view into れ て in め た. This チ ー ム メ ン バ ー (お よ び research together グ ル ー プ) と の seminar を heavy ね て the eset か ら out さ れ た joint research の enterprise を beg し 検 た. Again, I 々 philosophy logic グ ル ー プ が center と な り, こ れ に intelligence sciences AI and cognitive science, mathematics base chakra び researchers achieve を submit え て "philosophy と engineering に お け る オ ン ト ロ ジ ー" ワ ー ク シ ョ ッ プ, "ヒ ル ベ ル ト" international ワ ー ク シ ョ ッ プ, "ウ ィ ト ゲ ン シ ュ タ イ ン の mathematical の philosophy" ワ ー ク シ ョ ッ プ Most of the を research will conduct を and inter-academic planning research を into めた. 2. Philosophy logic グ ル ー プ を center に Europe and び north meters の research グ ル ー プ と の agreement を め, Europe グ ル ー プ お よ び north m グ ル ー プ の そ れ ぞ れ の regional で の research と application charges moving し て, Japan side も を made researches on the specific ち on げ る た め の prepare を into め た. な お, omega is の enterprise グ ル ー プ van Dalen and び Joinet and び Abrusci と は Europe の logical philosophy と の research together の enterprise line を っ た. Benoistと と each 々 と グ グ グ プと プと プと joint research project of phenomenological theory <e:1> った line った. Girard and びBarendregtと と と joint research project of the European <s:1> report theory community を った. Mancosu and び, Zach and び, Drummond, と,, と, in the field of theoretical philosophy at northern University of science and Technology, jointly conducted research and planning on を and った. Vandervekenと と north mi, a speechist, da および, a researcher of "AI <s:1> theory", da と, a research collaboration, を project, った.

项目成果

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：“归纳数据类型系统”理论计算机科学。

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：“轻线性逻辑的相位语义和语义剪切消除证明”理论计算机科学（即将出版）。

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》（即将出版）。

M.Okada: "A Uniform Proof for Higher Order Cut-Elimination-and Normalization Theorem"Theoretical Computer Science. (近刊). (2002)

M.Okada：“高阶削减消除和标准化定理的统一证明”理论计算机科学（即将出版）。

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：“非交换乘法线性逻辑证明网的新正确性准则”符号逻辑杂志（即将出版）。