"Logic and AI"

"Logic and AI" Session, on the occasion of the UNESCO World Logic Day, Jan. 10th. 2026,

A session of the Logic Festa, organized by the Japan Association for Philosophy of Science.

JST 13:30-16:30, Online Session, In Japanese only, Pre-registration required,

科学基礎論学会2025年度研究例会ロジックフェスタ内ワークショップ

「論理とAI」

オンライン形式 2026年1月10日13:30-16:30

UNESCO世界論理デー記念登録行事

要事前登録：定員300名になり次第締め切り

事前登録は次の科学基礎論学会公式ウェブサイトから行ってください。

科学基礎論学会 https://phsc.jp/

ロジックフェスタ当日午前の部の情報及び主催学会連絡先もこの学会サイトをご覧ください。

論理とＡＩはそれぞれの分野で著しい新展開が見られる。両者の新しい出会いが両者の未知の拡がりを示唆しているようにも見える。他方で、「論理や論理的形式手法・記号計算処理的AI」と「機械学習、特に深層学習系ＡＩ（例えば言語モデルー生成ＡＩ）」との間にある原理的対立（たとえば論理的合理推論対経験主義・学習ベース推定）が強調されてきた。では現状はどうなのか。両者間でどのような組み合わせや融合の試みがなされているのか。組み合わせや融合にどのような革新的成果が期待されるのか。両者のさらなる協調や融合のためにはどのような課題があるのか。どのような限界があるのか。論理学の視点からはそれらをどのようにとらえられるか。「論理と新しいAIの協調により論理学の方法論や成果は大きく拡張される可能性はあろうが、それでも論理学そのものは変わらない」であろうと予想されよう。しかしそう言い切れるのか。このワークショップでは、前半で論理とAIの出会いに関わる研究例について、学会外部からお二人の方にゲスト講演をしていただく。また中盤で、そのお二人を中心に、科学哲学系学会員のパネリストとコーディネータも加わり、論理とAIの組み合わせ・融合研究の現状と展望と限界、挑戦的課題群の同定、上述の予想について、等をパネル形式で議論することを試みる。後半の討論の部では指定コメンテータの各視点からの問いやオンライン参加者からの質問やコメント、ご自身の融合研究などの文献のチャットによる紹介も含めて討論をひろげていく。

プログラム（事前登録及び当日午前の部の情報は下の科学基礎論学会公式サイトをご覧ください。ZOOM遠隔形式、定員300人、非会員の方は学会参加料千円。）

13:30 第一部開会にあたって：岡田光弘・峯島宏次(慶應義塾大学）

13:35-14:10 （招待講演１）末永幸平（京都大学）「論理的形式手法と機械学習（仮題）」

14:10-14:45 （招待講演２）横井祥（国立国語研究所）「TBA」

14:45-15:00 （報告１）岡田光弘・峯島宏次（慶應義塾大学）「形式論理推論と言語モデル推論」（仮題）

15:00-15:15 （報告２）大塚淳（ZEN 大学）「科学哲学・機械学習の哲学の観点から」（仮題）

15:15-15:45 パネル討論コーディネータ岡田光弘・峯島宏次

パネリスト末永幸平（京都大学）横井祥（国立国語研究所）大塚淳（ZEN 大学）

15:45-15:50 休憩

第２部 15:50-16:10 討論

指定コメンテータ１：細川雄一郎（群馬県立女子大学）「AI の反事実的公平性研究の視点から」（仮題）

指定コメンテータ２：村上祐子（立教大学）「AI研究・教育と論理学研究・教育」（仮題）

指定コメンテータ３：（交渉中）

登壇者返答

16:10-16:30 フロアとの質疑応答

16:30 終了（予定）　状況によっては質疑応答終了時刻が多少遅れる可能性があります。

「論理とAI」セッションに関する問い合わせ先：

慶應義塾大学文学部哲学専攻内「論理とAI」事務局

logic[AT]abelard.flet.keio.ac.jp