• HOME
  • 早稲田大学TOP
  • お問合せ
  • アクセス
  • サイトマップ
  • ENGLISH
Loading
  • facebook
  • twitter
  • 研究所について
  • 研究プロジェクト
  • 研究員
  • イベント情報
  • 研究成果
  • 国際研究交流
  • 採用情報

高等研究所主催ワークショップ
“Philosophy of Logic Workshop: Kant, Husserl, and Linear Logic”
「論理学の哲学ワークショップ:カント,フッサール,線型論理」


日時/ Date & Time 2016年10月21日(金)15:00~18:00
3:00 pm - 6:00 pm, Friday, October 21, 2016
会場/Venue 早稲田大学早稲田キャンパス26号館11階 1102会議室新規ウィンドウが開きます
Meeting Room 1102, 11th floor, 26th building, Waseda University.
プログラム/ Program  
15:00
Opening Remarks (Ryota Akiyoshi, WIAS)
15:05 
“Proof-forms vs. formal-proofs: Towards reconsideration of "formal proofs" and related notions”
Speaker: Mitsuhiro Okada (Keio University)
16:25
Break
16:40
“Phenomenology of Mathematics à la Kant”
Speaker: Yasuo Deguchi (Kyoto University)
18:00
Closing Remarks
使用言語/ Language 日本語・英語/ Japanese and English
申込み/ Registarion 参加にあたり、事前登録は不要です。当日直接会場までお越しください。
No Pre-Registration Required.

PAGE TOP