1/18-19 Wittgenstein Meeting

"Logical Inference and Proofs" Franco-Japanese Workshop

"論理推論と証明"学際ワークショップ

Organized by the Research Center for Thinking and Behavioral Judgment, Keio University

in cooperation with the Global Research Center for Logic and Sensitivity, Keio University

慶應義塾大学 思考と行動判断の研究拠点 主催

慶應義塾大学 論理と感性のグローバル研究センター 後援


  • 2015年1月12日(月)13:00〜18:00 / 13日(火) 10:00〜16:00 (*開始時間変更の可能性あり)
  • January 12th (13:00-18:00) / 13th (10:00-17:00), 2015
  • 慶應義塾大学三田キャンパス 東館6階G-Sec Lab (最寄駅:JR 田町、地下鉄三田又は赤羽橋) (キャンパスマップ)
  • G-Sec Lab, 6th Floor of East Research Building, Mita campus of Keio University. (Campus Map)

(* 開始時間変更の可能性あり.ゲスト講演者リストやプログラムは随時このページにアップデートいたします.)

参加方法:

参加方法:参加費無料.会場準備のため氏名、所属を明記して「集会参加希望」と件名を記したメールを事務局 logic[AT]abelard.flet.keio.ac.jp 宛に 1/9 までにお送りください。(※12日セッション終了後のレセプションも参加自由です。)

主な講演者:

Speakers:

フランス側:

  • Pierre Wagner (University of Paris I and Institute of History and Philosophy of Science)) 論理哲学
  • Jean-Baptiste Joinet (University of Lyon III and Jean-Cavaiiles Institute, ENS-Paris) 線形論理
  • Gilles Dowek (INRIA) タイプ理論・Coq証明支援系
  • Jérôme Prado (University of Lyon I―CNRS Language-Brain-cognition Lab)) 推論の脳科学
  • Alberto Naibo (University of Paris I and Institute of History and Philosophy of Science) 証明と計算の論理
  • Philippe Codognet (CNRS-Tokyo Joint Lab Director, University of Paris VI)
  • その他ゲスト講演者はこちらにアップデートされます

日本側:

  • Kazushige Terui (Mathematical Science Institute, Kyoto University) (情報論理)
  • Koji Mineshima (Center for Simulation Science, Ochanomizu University) (タイプ理論的言語学)
  • その他ゲスト講演者はこちらにアップデートされます

Program (tentative):

Jan.12
13:00 Opening Remark
13:00-18:00
Session on Proofs and Computation:
  • Baptiste-Joinet "Computatonal basis of semantics"
  • Kazushige Terui "TBA"
  • Pierre Wagner "Logical Pluralism"
--
Discussion
  • Discussion coordinator, Phillipe Codognet)
  • Discussant Mitsuhiro Okada and others
18:30 Reception
Jan.13
10:00
10:00
Session on Logic and Types:
  • Alberto Naibo (Typed vs untyped proof theory)
  • Koji Mineshima (Type theory and natural language)
  • Pierre Wagner (Logical Pluralism)
--
Discussion
  • Discussion coordinator, Mitsuhiro Okada
12:30-14:00 Lunch Break
14:00
Session on Logical Inference and Cognition:
  • Shigeru Watanabe (Comparative Cognitive-Neuroscientific Study of logical inference)
  • Jerome Prado (Brain Imaging Study of Logical Inference)
  • Yuri Sato (Cognitive Scientific Study of Logical Inference)
Concluding Discussion
17:30 Closing

主催慶應義塾大学「思考と行動判断」の研究拠点

後援:慶應義塾大学「論理と感性」のグローバルリサーチセンター

後援:論理思考の次世代型研究と論理的思考力発達支援への応用研究

Back to all news

公開日時: December 28, 2013 16:10


Copyright © 2017 慶應義塾大学「思考と行動判断」研究拠点