「論理と数学と計算の哲学」日仏会議 2026年2月25日 Philo of Logic,Math & Comp.
Yuta Takahashi
“Philosophy of Logic, Mathematics, and Computing-algorithms”, Franco-Japanese Hybrid Meeting, Feb. 25th, 2026
最新情報 / For updated information：
https://abelard.flet.keio.ac.jp/2026/0225_France-Japan_Meeting
*上記URLは2月21日に情報がアップデートされます。以下の情報が最新情報です。 / The above URL will be open by Feb. 21th.
パリ第一大学IHPST（Institute of History and Philosophy of Science and Technology）から、論理の哲学を専門とするPierre Wagner氏、数学の哲学を専門とするMarianna Antonutti Marfori氏、証明論的意味論などの研究で知られるAlberto Naibo 氏（遠隔参加）、コンピューティング・アルゴリズムの哲学を専門とするThomas Seiller氏（パリ13大LIPN, パリ1大IHPST）をお招きして、「論理、数学、コンピューティングの哲学」日仏会議を開催します。
Pre-regtration form / 事前登録フォーム【Pre-regtration required / 要事前登録】
https://forms.gle/JqgbMG8t7WwoptZJ6
Date / 日時:
February 25th, Wednesday, 2026. 10:00-18:20 (JST)
2026年2月25日(水) 10:00-18:20 途中入退室自由
Venue / 場所:
慶應義塾大学三田キャンパス東館6階G-Lab /
G-Lab, 6th floor, East Building, Mita Campus, Keio University
(7 minutes walk from JR-Tamachi, Subway Mita or Akabanebashi)
キャンパスマップ 13番の建物: https://www.keio.ac.jp/ja/maps/mita.html
Campus Map Building #13: https://www.keio.ac.jp/en/maps/mita.html
Program / プログラム アブストラクトが下にあります/See below for Anstracts
9: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 , 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 - 16: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:00 Clarifying "Computation Models", "Algorithm", "Program”: An Introduction to the Central Issues (tentative title)
Thomas Seiller (University of Paris-13 CNRS LIPN, University of Paris 1 IHPST)
*様々な計算モデル概念、アルゴリズム概念、プログラム概念などの定義、公理化、論理的特徴づけに関する論争について（例えば「AIアルゴリズム」はアルゴリズムか）主要論争点を概説していただく。また、そのなかでのSeiller教授の、相互作用幾何学・相互作用グラフ論のアプローチの位置づけを解説していただく。
17:00 - 18:20 Session on Proof-theoretic Semantics and and Related Topics / 「証明論的意味論およびその周辺」に関するセッション
17:00 - 18:20
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:00 - 17:40 Yuta Takahashi
17:40-18:00 Alberto Naibo
18:00-18:20 Open Discussion
18:20 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
The organization office / 主催
Center for Design of Future Symbiosis of Keio University (tentative) / 慶應義塾大学未来共生デザインセンター（予定）
Contact address /問合わせ先
同センター論理班 lo...@abelard.flet.keio.ac.jp
Abstracts / アブストラクト
Jacques Bouveresse and the Introduction of Analytic Philosophy in France
Pierre Wagner (Université Paris 1, IHPST)
In 1971, the French philosopher Jacques Bouveresse (1930-2021) did a French translation of Carnap's Logical Syntax of Language (1937). This translation will be published in a few weeks, in March 2026, 55 years later. This event gives the opportunity to discuss 1) the reception of analytic philosophy in France 2) the importance of Bouveresse's work for this reception 3) the place of Carnap's thought in contemporary philosophy.
Logicism and Understanding of Mathematical Concepts
Ryo Ito (Waseda University)
In this paper, I introduce an account of two different ways one can understand a mathematical concept before I argue that the distinction between those ways of understanding can be used to explicate a difference between Gottlob Frege's logicism and Bertrand Russell's. I first introduce Robert Brandom's inferentialism and a possible way to develop it. The idea is that Brandom distinguishes between two ways of attributing a commitment to others - de re and de dicto ways - and we can draw a corresponding distinction between two ways we acknowledge a commitment ourselves. With this distinction, I develop the account of two different ways of understanding a mathematical concept. It enables us to shed new light on the difference between the logicist programmes that the two giants put forward.
An Ongoing Research Project Report: The Mutual Determination of Operations and
Onyu Mikami (Tokyo Metropolitans University)
This talk introduces my ongoing project on how operations (what agents can do: infer, compute, communicate, intervene) and abstract structures (models, types, semantic values, constraints) co-develop through a feedback loop. Drawing on Floridi’s notion of semanticisation and Levels of Abstraction, I argue that choosing observables is not arbitrary: model-building and evaluation refine what counts as a relevant variable, while the resulting structure constrains subsequent operations and explanations. I then suggest that this mutual-determination idea is not only central to contemporary philosophy of information, but also illuminates key moves in the formative period of analytic philosophy, where philosophy of language, logic, and semantics were being established. I'll briefly indicate several directions this framework opens up for future research and invite feedback on how to develop the project further.
Gandy on the Mechanisation of Mathematical Thought: Toward “Mechanical Intelligence”
Marianna Antonutti Marfori (Université Paris 1, IHPST)
This talk reconstructs the philosophical view put forward by Robin Gandy on the finiteness and concreteness of computation and on the idealisations embedded in the notion of ‘machine computability’, and analyses what kind of mechanistic theory of reasoning is generated by Gandy’s analysis. Because we do not know what future machines will be like, we should not define the notion of “computability by a machine” e.g. in terms of computable functions, but we should instead attempt to give a characterisation of the notion of “mechanical intelligence”.