早稲田大学高等研究所主催
「論理学の哲学」ワークショップ：意味，証明，推論/ “Philosophy of Logic” Workshop: Meaning, Proof, and Inference（12/12）
日時・会場 / Date & Time, Venue
- 2017年12月12日（火）/ Tuesday, December 12, 2017
15:00 – 18:15
早稲田大学 早稲田キャンパス 11号館 4階 第一会議室
Meeting Room #1, 4th fl., Bldg. 11, Waseda Campus, Waseda University
プログラム / Program
15:00 – 16:00 西牟田祐樹（慶應義塾大学）/ Yuki Nishimuta (Keio University)
「乗法的論理結合子の導入規則とスイッチングの関係」
“Relationship between the Introduction Rules of the Multiplicative Connectives and the Switching”
16:00 – 16:30 ディスカッション/ Discussion
16:30 – 16:45 休憩/ Break
16:45 – 17:45 大西琢朗（京都大学）/ Takuro Onishi (Kyoto University)
「関係意味論を推論主義的に理解する」
“Understanding Relational Semantics from the Viewpoint of Inferentialism”
17:45 – 18:15 ディスカッション/ Discussion
司会/ Moderator：秋吉亮太（早稲田大学高等研究所）/ Ryota Akiyoshi (WIAS, Waseda University)
使用言語/ Language
日本語（必要に応じて英語）/ Japanese (and English, if necessary)
