<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">みなさま，<br class=""><br class="">早稲田大学高等研究所の秋吉と申します．以下の要領で論理学の哲学に<br class="">関するワークショップを開催いたします．参加自由ですので，皆さまのご参加を<br class="">お待ちしております．<br class=""><br class="">早稲田大学高等研究所主催<br class="">「論理学の哲学」ワークショップ：意味，証明，推論<br class="">WIAS Event<br class="">“Philosophy of Logic” Workshop: Meaning, Proof, and Inference<br class=""><br class="">日時：2017年12月12日（火）15:00 - 18:15<br class="">Date: December 12, 2017 (Tue.)<br class="">Time: 15:00 - 18:15<br class=""><br class="">場所：早稲田大学早稲田キャンパス 11号館4階第一会議室<br class="">Venue: Meeting Room #1, 4th floor, Bldg. 11, Waseda Campus, Waseda University<br class=""><br class="">URL: <a href="https://www.waseda.jp/inst/wias/news/2017/11/14/4733/" class="">https://www.waseda.jp/inst/wias/news/2017/11/14/4733/</a><br class=""><br class="">プログラム/Program：<br class=""><br class="">15:00 - 16:00 西牟田祐樹（慶應義塾大学）/ Yuki Nishimuta (Keio University)<br class=""> 乗法的論理結合子の導入規則とスイッチングの関係<br class=""> Relationship between the Introduction Rules of the Multiplicative Connectives and the Switching<br class=""><br class="">16:00 - 16:30 ディスカッション/ Discussion<br class=""><br class="">16:30 - 16:45 休憩/ Break<br class=""><br class="">16:45 - 17:45 大西琢朗（京都大学）/ Takuro Onishi (Kyoto University)<br class=""> 関係意味論を推論主義的に理解する<br class=""> Understanding Relational Semantics from the Viewpoint of Inferentialism<br class=""><br class="">17:45 - 18:15 ディスカッション/ Discussion<br class=""><br class="">使用言語/ Language：日本語（必要に応じて英語）/ Japanese (and English, if necessary)<br class=""><br class="">司会/ Moderator：秋吉亮太（早稲田大学高等研究所）/ Ryota Akiyoshi (WIAS, Waseda University)<br class=""><br class="">問い合わせ先/ Contact E-mail：秋吉亮太（早稲田大学高等研究所 ) <a href="mailto:georg.logic@gmail.com" class="">georg.logic@gmail.com</a><br class="">早稲田大学高等研究所/ Waseda Institute for Advanced Study, Waseda University</body></html>