WIAS Event “Philosophy of Logic” Workshop: Meaning, Proof, and Inference(12/12)
Date & Time, Venue
- 15:00 – 18:15 Tuesday, December 12, 2017
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)