「論理とAI」Online Workshop（2026年1月10日：UNESCO世界論理デー記念行事「論理フェスタ」午後の部
15 views
Skip to first unread message
Yuta Takahashi
Dec 24, 2025, 6:07:30 PM12/24/25
to sonoteno
みなさま、
青森大学の高橋優太と申します。慶應義塾大学・岡田光弘先生と峯島宏次先生の代理として
以下のイベントの告知をさせていただけませんでしょうか。
なにとぞよろしくお願いいたします。
-------------------
「論理とAI」オンラインワークショップ：UNESCO世界論理デー記念行事「論理フェスタ」午後の部
オンライン形式 2026年1月10日13:30-16:30、使用言語：日本語
最新情報; https://abelard.flet.keio.ac.jp/2026/01_Logic_and_AI
科学基礎論学会2025年度研究例会 ロジックフェスタ内ワークショップ
（午前にはワークショップ「数学は論理的か/論理学は数学的か」が開催されます。）
要事前登録：締め切り2026年1月５日正午
事前登録は次の科学基礎論学会公式ウェブサイトから行ってください。
科学基礎論学会 https://phsc.jp/
ロジックフェスタ当日午前の部の情報はこの学会サイトをご覧ください。
論理とＡＩはそれぞれの分野で著しい新展開が見られる。両者の新しい出会いが両者の未知の拡がりを示唆しているようにも見える。他方で、「論理や論理的形式手法・自動定理証明/証明支援系」と「機械学習、特に深層学習系ＡＩ（言語モデル-生成ＡＩなど）」との間にある原理的対立（たとえば合理論的論理推論対経験論的学習ベース推定）が強調されてきた。では現状はどうなのか。両者間でどのような組み合わせや融合の試みがなされているのか。組み合わせや融合にどのような革新的成果が期待されるのか。両者のさらなる協調や融合のためにはどのような課題があるのか。どのような限界があるのか。論理学の視点からはそれらをどのようにとらえられるか。「論理と新しいAIの協調により論理学の方法論や成果は大きく拡張される可能性はあろうが、それでも論理学そのものは変わらない」であろうと予想されよう。しかしそう言い切れるのか。このワークショップでは、前半で論理とAIの出会いに関わる研究例について、学会外部からお二人の方にゲスト講演をしていただく。また中盤で、そのお二人を中心に、科学哲学系学会員のパネリストとコーディネータも加わり、論理とAIの組み合わせ・融合研究の現状と展望と限界、挑戦的課題群の同定、上述の予想について、等をパネル形式で議論することを試みる。後半の討論の部では指定コメンテータの各視点からの問いやオンライン参加者からの質問やコメント、ご自身の融合研究などの文献のチャットによる紹介も含めて討論をひろげていく。
プログラム （事前登録及び当日午前の部の情報は下の科学基礎論学会公式サイトをご覧ください。ZOOM遠隔形式、定員300人、非会員の方は学会参加料千円。）
最新情報URL: https://abelard.flet.keio.ac.jp/2026/01_Logic_and_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 終了（予定） 状況によっては質疑応答終了時刻が多少遅れる可能性があります。
質疑応答時間では、AIと論理の融合研究・組み合わせ研究を進めていらっしゃるグループからのZOOM
Chat機能を通じた文献紹介を歓迎いたします。よろしくお願い申し上げます。
「論理とAI」WSに関する問い合わせ先：
慶應義塾大学文学部（哲学専攻内）「論理とAI」事務局
logic[AT]abelard.flet.keio.ac.jp
青森大学の高橋優太と申します。慶應義塾大学・岡田光弘先生と峯島宏次先生の代理として
以下のイベントの告知をさせていただけませんでしょうか。
なにとぞよろしくお願いいたします。
-------------------
「論理とAI」オンラインワークショップ：UNESCO世界論理デー記念行事「論理フェスタ」午後の部
オンライン形式 2026年1月10日13:30-16:30、使用言語：日本語
最新情報; https://abelard.flet.keio.ac.jp/2026/01_Logic_and_AI
科学基礎論学会2025年度研究例会 ロジックフェスタ内ワークショップ
（午前にはワークショップ「数学は論理的か/論理学は数学的か」が開催されます。）
要事前登録：締め切り2026年1月５日正午
事前登録は次の科学基礎論学会公式ウェブサイトから行ってください。
科学基礎論学会 https://phsc.jp/
ロジックフェスタ当日午前の部の情報はこの学会サイトをご覧ください。
論理とＡＩはそれぞれの分野で著しい新展開が見られる。両者の新しい出会いが両者の未知の拡がりを示唆しているようにも見える。他方で、「論理や論理的形式手法・自動定理証明/証明支援系」と「機械学習、特に深層学習系ＡＩ（言語モデル-生成ＡＩなど）」との間にある原理的対立（たとえば合理論的論理推論対経験論的学習ベース推定）が強調されてきた。では現状はどうなのか。両者間でどのような組み合わせや融合の試みがなされているのか。組み合わせや融合にどのような革新的成果が期待されるのか。両者のさらなる協調や融合のためにはどのような課題があるのか。どのような限界があるのか。論理学の視点からはそれらをどのようにとらえられるか。「論理と新しいAIの協調により論理学の方法論や成果は大きく拡張される可能性はあろうが、それでも論理学そのものは変わらない」であろうと予想されよう。しかしそう言い切れるのか。このワークショップでは、前半で論理とAIの出会いに関わる研究例について、学会外部からお二人の方にゲスト講演をしていただく。また中盤で、そのお二人を中心に、科学哲学系学会員のパネリストとコーディネータも加わり、論理とAIの組み合わせ・融合研究の現状と展望と限界、挑戦的課題群の同定、上述の予想について、等をパネル形式で議論することを試みる。後半の討論の部では指定コメンテータの各視点からの問いやオンライン参加者からの質問やコメント、ご自身の融合研究などの文献のチャットによる紹介も含めて討論をひろげていく。
プログラム （事前登録及び当日午前の部の情報は下の科学基礎論学会公式サイトをご覧ください。ZOOM遠隔形式、定員300人、非会員の方は学会参加料千円。）
最新情報URL: https://abelard.flet.keio.ac.jp/2026/01_Logic_and_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 終了（予定） 状況によっては質疑応答終了時刻が多少遅れる可能性があります。
質疑応答時間では、AIと論理の融合研究・組み合わせ研究を進めていらっしゃるグループからのZOOM
Chat機能を通じた文献紹介を歓迎いたします。よろしくお願い申し上げます。
「論理とAI」WSに関する問い合わせ先：
慶應義塾大学文学部（哲学専攻内）「論理とAI」事務局
logic[AT]abelard.flet.keio.ac.jp
Reply all
Reply to author
Forward
0 new messages