未来共生デザインセンター Center for Design of Future Symbiosis

未来共生デザインセンター Center for Design of Future Symbiosis

お知らせ&イベント情報

【イベント】ハイブリッド「論理と数学と計算の哲学」日仏会議（2026年2月25日）

Event 20260225 | Philosophy of Logic, Mathematics, and Computing-algorithms", Franco-Japanese Hybrid Meeting

イベント公式ウェブサイトは こちら （参加無料・要事前登録）
For information in English, click here （Preregistration required, free of charge）

開催概要

　パリ第一大学IHPST(Institute of History and Philosophy of Science and Technology)から、 論理の哲学を専門とするPierre Wagner氏、数学の哲学を専門とするMarianna Antonutti Marfori氏、証明論的意味論などの研究で知られるAlberto Naibo 氏(遠隔参加)、コンピューティング・アルゴリズムの哲学を専門とするThomas Seiller氏(パリ13大LIPN, パリ1大IHPST)をお招きして、 「論理、数学、コンピューティングの哲学」日仏会議を開催します。

形態

  • 参加無料
  • 要事前登録
  • ハイブリッド形式

日時

2月25日（水）10:00〜18:20（途中入退室自由）

会場

慶應義塾大学三田キャンパス 東館6階G-Lab
キャンパスマップ13番の建物です

事前登録

参加無料，要事前登録
登録フォームはこちら

プログラム

Time Program Details
09:45 Open / 開場
10:00 - 10:10 Opening Remarks
Pierre Wagner (Université Paris 1 and IHPST) and Mitsuhiro Okada (Keio University)
10:10 - 12:50 Session on Contemporary Perspectives on Early Logic and Analytic Philosophy / 初期論理・分析哲学の現代的再考セッション

10:10 - 11:00
Jacques Bouveresse and the Introduction of Analytic Philosophy in France
Pierre Wagner (Université Paris 1 , IHPST)
*コレ―ジュ・ド・フランス哲学教授としてフランス分析哲学界で先導的役割を果たしたジェック・ブーヴレスの仕事について。

11:00 - 11:40
Logicism and Understanding of Mathematical Concepts
Ryo Ito (Waseda University)
*現代推論主義的観点によりフレーゲ論理主義者とラッセル論理主義を捉え直す。

11:40 - 11:50 Break

11:50 - 12:20
Erbrand and Completeness Theorem
Marianna Antonutti Marfori (Université Paris 1 and IHPST)
*若くして登山事故で亡くなったフランスの数学者・論理学者Erbrandが当時の最先端の証明論的業績に至った経緯を特にゲーデルとの関係から考察する。

12:20 - 13:10 Session on Young Researchers Project Reports / 若手研究者セッション

12:20 - 12:45
Resolute Exclusion of Hinge Epistemology
Eigo Niigaki (Keio University)

12:45 - 13:10
An Ongoing Research Project Report: The Mutual Determination of Operations and Abstract
Onyu Mikami (Tokyo Metropolitan University)

13:10 - 14:10 Lunch Break
14:10 - 15:00 Session on Philosophy of Mathematics, Logic, and Computing 数学的論理的推論・思考と計算諸概念の研究セッション
14:10 - 15:00
Gandy on the Mechanisation of Mathematical Thought: Toward "Mechanical Intelligence"
Marianna Antonutti Marfori (Université Paris 1, IHPST)
15:00 - 16:00 An empirical approach toward philosophy of logic

15:00 - 15:20
Issues and tasks on logical inference studies with language models, and their relationships with traditional issues of philosophical logics and cognitive science
Mitsuhiro Okada (Keio University) and Koji Mineshima (Keio University)

15:20 - 15:40 A Case Study 1: TBA Risako Ando (Keio University)

15:40 - 16:00 A Case Study 2: TBA Hirohiko Abe (Keio University)
16:00 - 16:10 Break
16:10 - 17:10 Clarifying "Computation Models", "Program", "Algorithm": An Introduction to the Central Issues (tentative title)
Thomas Seiller (University of Paris-13 CNRS LIPN, University of Paris 1 IHPST)
*様々な計算モデル概念、アルゴリズム概念、プログラム概念などの定義、公理化、論理的特徴づけに関する論争について概説。また、相互作用幾何学・相互作用グラフ論のアプローチの位置づけを解説。
17:10 - 18:30 The Computational Content of Read's Bullet Connective
Alberto Naibo (Université Paris 1 , IHPST) and Yuta Takahashi (Aomori University)
*Speaker: Yuta Takahashi, Discussant: Alberto Naibo
  • 17:10 - 17:50 Yuta Takahashi
  • 17:50 - 18:10 Alberto Naibo
  • 18:10 - 18:30 Open Discussion
18:30 Concluding

The organizing committee

Hirohiko Abe (*)
Risako Ando (Keio University)
Yuichiro Hosokawa (Gunma Prefectural Women's University)
Ryo Ito (Waseda University)(**)
Onyu Mikami (Tokyo Metropolitan University)
Koji Mineshima (Keio University) (**)
Mitsuhiro Okada (Keio University)(**)
Kentaro Ozeki (University of Tokyo / Keio University)
(*) Chief coordinator, (**) Co-Chairs

主催

慶應義塾大学 未来共生デザインセンター

お問い合せ

logic@abelard.flet.keio.ac.jp

ページトップに戻る