イベント公式ウェブサイトは
こちら
（参加無料・要事前登録）
For information in English, click
here
（Preregistration required, free of charge）
開催形態
- 参加無料
- 要事前登録
- ハイブリッド形式
- 使用言語：英語
日時
2025年 2月19日（水曜日） 9:30 ~ 18:30
会場での立食形式懇親会・交流会20:00まで（予定）
会場
住友不動産ベルサール三田ガーデン2階B会議室
（ルート案内図）
JR田町駅または地下鉄三田駅A3出口から徒歩5分，慶應義塾大学三田キャンパスより徒歩10分
事前登録
参加無料，要事前登録
登録フォームはこちら
プログラム
各プログラムの概要は， イベント公式ページ の Title and Abstract / タイトル・アブストラクト のセクションをご参照ください。
| Start time | Speakers (affiliation) and Titles |
|---|---|
| 9:20 | Registration |
| 9:30 | Mitsuhiro Okada (Keio University) Opening remark: An overview of the France-Japan collaborative meeting series on philosophy of logic and reasoning |
| 9:40 | Pierre Wagner (Université Paris 1 Panthéon-Sorbonne and Institute of History
and Philosophy of Science and Technology) Contemporary issues concerning axioms and definitions |
| 10:10 | Yuichiro Hosokawa (Gunma Prefectural Women's University) Temporal Turn of Counterfactual Logic |
| 10:30 | Micol Pasti (University Paris 1 Panthéon-Sorbonne and Institute of History and
Philosophy of Science and Technology) Introducing my research projects (tentative title) |
| 11:00 | Pause |
| 11:15 | Ryo Ito (Waseda University) Material Inferences in Mathematics |
| 11:40 | Andrew Arana (Université de Lorraine) Some advances in syntactic purity of equational proofs |
| 12:10 | Hirohiko Abe (Independent Researcher) Toward Reasoning-first Infinitism |
| 12:35 | Onyu Mikami (Tokyo Metropolitan University) Reconstruction of Meaning-Theoretic Concepts from Reasoning |
| 13:00 | Lunch Break |
| 14:30 | Mauro Engelmann (Federal University of Minas Gerais, Brazil) Make Verificationism Great Again: (Logical) Empiricism and Wittgenstein's "Philosophical Remarks" |
| 15:00 | Jocelyn Benoist (Université Paris 1 Panthéon-Sorbonne) Back to Reality! (Epistemology) |
| 15:30 | Pause |
| 15:40 | Kengo Okamoto (Tokyo Metropolitan Univerity) How to connect Calculation (Computation) with Reasoning (Proof)? － Frege vs. Hilbert vs. Wittgenstein |
| 16:05 | Sandra Laugier (Université Paris 1 Panthéon Sorbonne) The ordinary and the everyday. |
| 16:35 | Kentaro Ozeki (University of Tokyo / Keio University) Developing a logic of emotion |
| 17:00 | Pause |
| 17:10 | Marianna Antonutti Marfori(Institut d'histoire et de philosophie des sciences
et des techniques) Scientific naturalism and finitary theories |
| 17:40 | Ryosuke Igarashi (Kyoto University) To be confirmed TBA |
| 18:00 Closing special talk |
Perig Pitrou (CNRS, Maison Française d'Oxford Team 'Anthropology of Life',
Collège de France, PSL University) From Biological to Social Norms of Life: The Perspective of the Anthropology of Life |
| 18:30 | Discussion with drinks and light food |
主催
慶應義塾大学 未来共生デザインセンター
お問い合せ
logic@abelard.flet.keio.ac.jp