• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

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

研究課題

研究課題/領域番号 13891001
研究種目

基盤研究(C)

配分区分補助金
応募区分企画調査
研究分野 哲学
研究機関慶應義塾大学

研究代表者

岡田 光弘  慶應義塾大学, 文学部, 教授 (30224025)

研究分担者 野矢 茂樹  東京大学, 教養学部, 教授 (50198636)
土屋 俊  千葉大学, 文学部, 教授 (50155404)
飯田 隆  慶應義塾大学, 文学部, 教授 (10117327)
佐藤 雅彦  京都大学, 情報学研究科, 教授 (20027387)
岩田 孝  早稲田大学, 文学部, 教授 (80176552)
研究期間 (年度) 2001
研究課題ステータス 完了 (2001年度)
配分額 *注記
1,300千円 (直接経費: 1,300千円)
2001年度: 1,300千円 (直接経費: 1,300千円)
キーワード論理学 / 論理哲学 / 論理学史
研究概要

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

報告書

(1件)
  • 2001 実績報告書
  • 研究成果

    (7件)

すべて その他

すべて 文献書誌 (7件)

  • [文献書誌] M.Okada: "A Uniform Proof for Higher Order Cut-Elimination-and Normalization Theorem"Theoretical Computer Science. (近刊). (2002)

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] M.Okada, M.Kanouchi, A.Scedrov: "Phase Semantics for Light Linear Logic and Semantic Cut-Elimination Proof"Theoretical Computer Science. (近刊). (2002)

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] M.Okada, F.Biarqui, J-P Jouannand: "Inductive Data Type Systems"Theoretical Computer Science. 272. 41-68 (2002)

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] 岡田光弘: "オントロジーの哲学的・論理学的背景"人工知能学会誌. 17,2. 224-231 (2002)

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] M.Okada: "La logique lineaire et les fondements de la logique intuitioniste"La reme internationale de philosophie. (近刊). (2002)

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] M.Okada, M.Nagayama: "A New Correctness Criterion for the Proof-Nets of Non-Commutative Multiplicative Linear Logic"Journal of Symbolic Logic. (近刊). (2002)

    • 関連する報告書
      2001 実績報告書
  • [文献書誌] 岡田光弘(共著): "Discover Science"Springer社. (2002)

    • 関連する報告書
      2001 実績報告書

URL: 

公開日: 2001-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi