[logic-ml] 「論理学の哲学」ワークショップ：意味，証明，推論 のご案内です。

[秋吉 亮太]

みなさま，

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

早稲田大学高等研究所主催
「論理学の哲学」ワークショップ：意味，証明，推論
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 at gmail.com <mailto:georg.logic at gmail.com>
早稲田大学高等研究所/ Waseda Institute for Advanced Study, Waseda University
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20171209/c433cd8c/attachment.html>