みなさま，

早稲田大学高等研究所の秋吉と申します．以下の要領で論理学の哲学に 関するワークショップを開催いたします．参加自由ですので，皆さまのご参加を お待ちしております．

早稲田大学高等研究所主催 「論理学の哲学」ワークショップ：意味，証明，推論 WIAS Event “Philosophy of Logic” Workshop: Meaning, Proof, and Inference

日時：2017年12月12日（火）15:00 - 18:15 Date: December 12, 2017 (Tue.) Time: 15:00 - 18:15

場所：早稲田大学早稲田キャンパス　11号館4階第一会議室 Venue: Meeting Room #1, 4th floor, Bldg. 11, Waseda Campus, Waseda University

URL: https://www.waseda.jp/inst/wias/news/2017/11/14/4733/ https://www.waseda.jp/inst/wias/news/2017/11/14/4733/

プログラム/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

使用言語/ Language：日本語（必要に応じて英語）/ Japanese (and English, if necessary)

司会/ Moderator：秋吉亮太（早稲田大学高等研究所）/ Ryota Akiyoshi (WIAS, Waseda University)

問い合わせ先/ Contact E-mail：秋吉亮太（早稲田大学高等研究所 ) georg.logic@gmail.com mailto:georg.logic@gmail.com 早稲田大学高等研究所/ Waseda Institute for Advanced Study, Waseda University