<div dir="ltr">ワークショップLogic, Language, and Ontologyのご案内<br>(重複してお受け取りの際はご容赦ください。)<br><br>JAISTの大森仁と申します。<br>直前の案内になってしまいましたが、以下の通りワークショップを開催いたします。<br><br>-------------------------------------<br>Logic, Language, and Ontology: A workshop in honor of the 70th birthday of Toshiharu Waragai<br>【日時】2018年11月7日-8日<br>【場所】慶應義塾大学 三田キャンパス 北館三階会議室<br>【ウェブサイト】<a href="https://sites.google.com/site/hitoshiomori/home/workshops/waragaifest2018">https://sites.google.com/site/hitoshiomori/home/workshops/waragaifest2018</a><br>【プログラム】<br>11月7日:<br>09:30--10:30 Rafał Urbaniak "Potential Infinity, Leśniewskian Definitions, Arithmetic & Yablo sequences"<br>10:30--11:30 Kazushige Terui "Bot in nonclassical logics and proof theory"<br>11:30--13:00 Lunch<br>13:00--14:00 Katsuhiko Sano "Functional Weak-Completeness in Belnap-Dunn Logic and its Proof-Theoretic Merit"<br>14:00--15:00 Satoshi Tojo "TBA"<br>15:00--15:30 Coffee break<br>15:30--16:30 Mitsuhiro Okada "Do we need a logical language for logic?"<br>16:30--17:30 Toshiharu Waragai "Non-reflexive Identity, Demonstratives, and Leśniewski's Ontology"<br>18:30-- Dinner<br><br>11月8日:<br>09:00--10:00 Yasuo Deguchi "TBA"<br>10:00--11:00 Naoya Fujikawa "Mereology Meets Paraconsistency"<br>11:00--11:15 Coffee break<br>11:15--12:15 Makoto Kikuchi "Some topics on models of arithmetic and set theory"<br>12:15--13:15 Diderik Batens "The natural place of paraconsistent logics within a pluralist logical landscape"<br>13:30-- Lunch<br>-------------------------------------<br><br>どうぞ奮ってご参加下さい。よろしくお願いいたします。<br><br>大森仁</div>