"Logic Festa" Two Workshops:

WS1 “Is Mathematics Logical?/Is logic mathematical?”

WS2 “Logic and AI”

(https://abelard.flet.keio.ac.jp/2026/01_Logic_and_AI)

Jan. 10th. 2026, Organized by the Japan Association

for Philosophy of Science (,https://phsc.jp/)

on the occasion of the UNESCO World Logic Day

Online Meeting, Language: Japanese only, this time

Pre-registration required by 12:00 Noon (JST). See the website (in Japanese) of J. A. P. S. for the information and the pre-registration. https://phsc.jp/

PROGRAM

9:30-10:00 (JST) About a J.A.P.S.’s publication plan and other J.A.P.S. plans

10:00-12:30 (JST)WS1 “Is Mathematics Logical?/Is logic mathematical?”

12:30-13:30 Lunch Break

13:30-16:30(JST) WS2 “Logic and AI”
https://abelard.flet.keio.ac.jp/2026/01_Logic_and_AI

Contact: the J.A.P.S. office indicated in the Association Website, or
The director of international exchanges of the Association: Mitsuhiro Okada (mitsu [AT] abelard.flet.keio.ac.jp)

PROGRAM in Japanese

9:30～10:00　　学会企画「論理学事典」刊行について
10:00～12:30　 [WS1] 数学は論理的か/論理は数学的か
　企画・司会：藤田博司（愛媛大学）、山田竹志（神戸大学）
　提題：池田真治（富山大学）、藤田博司（愛媛大学）、黒川英徳（金沢大学）
(各アブストラクトは学会ページ参照)
13:30～16:30　 [WS2] 論理とAI
企画・司会：岡田光弘（慶應義塾大学）、峯島宏次（慶應義塾大学）13:30 第一部 開会にあたって：岡田光弘・峯島宏次(慶應義塾大学）
13:35-14:10 （招待講演１）末永幸平（京都大学）トピック「論理的形式手法と機械学習」：題目：TBA
14:10-14:45 （招待講演２）横井祥（国立国語研究所）トピック「自然言語処理的観点から」題目:TBA
14:45-15:00 （報告１）岡田光弘・峯島宏次（慶應義塾大学）「形式論理推論、言語モデル推論、人の論理的推論」
15:00-15:15 （報告２）大塚淳（ZEN 大学）「科学哲学・機械学習の哲学の観点から」題目:TBA
15:15-15:45 パネル討論 コーディネータ 岡田光弘・峯島宏次
パネリスト 末永幸平（京都大学） 横井 祥（国立国語研究所） 大塚淳（ZEN 大学）
15:45-15:50 休憩
第２部 15:50-16:10 討論
指定コメンテータ１：細川雄一郎（群馬県立女子大学）「AI の反事実的公平性研究の視点から」
指定コメンテータ２：村上祐子（立教大学）「AI研究・教育と論理学研究・教育」
指定コメンテータ３：小関健太郎（東京大学）　TBA
登壇者返答
16:10-16:30 フロアとの質疑応答
16:30 終了（予定）　状況によっては質疑応答終了時刻が多少遅れる可能性があります。