ワークショップLogic, Language, and Ontologyのご案内
(重複してお受け取りの際はご容赦ください。)

JAISTの大森仁と申します。
直前の案内になってしまいましたが、以下の通りワークショップを開催いたします。

-------------------------------------
Logic, Language, and Ontology: A workshop in honor of the 70th birthday of Toshiharu Waragai
【日時】2018年11月7日-8日
【場所】慶應義塾大学 三田キャンパス 北館三階会議室
【ウェブサイト】https://sites.google.com/site/hitoshiomori/home/workshops/waragaifest2018
【プログラム】
11月7日:
09:30--10:30 Rafał Urbaniak "Potential Infinity, Leśniewskian Definitions, Arithmetic & Yablo sequences"
10:30--11:30 Kazushige Terui "Bot in nonclassical logics and proof theory"
11:30--13:00 Lunch
13:00--14:00 Katsuhiko Sano "Functional Weak-Completeness in Belnap-Dunn Logic and its Proof-Theoretic Merit"
14:00--15:00 Satoshi Tojo "TBA"
15:00--15:30 Coffee break
15:30--16:30 Mitsuhiro Okada "Do we need a logical language for logic?"
16:30--17:30 Toshiharu Waragai "Non-reflexive Identity, Demonstratives, and Leśniewski's Ontology"
18:30-- Dinner

11月8日:
09:00--10:00 Yasuo Deguchi "TBA"
10:00--11:00 Naoya Fujikawa "Mereology Meets Paraconsistency"
11:00--11:15 Coffee break
11:15--12:15 Makoto Kikuchi "Some topics on models of arithmetic and set theory"
12:15--13:15 Diderik Batens "The natural place of paraconsistent logics within a pluralist logical landscape"
13:30-- Lunch
-------------------------------------

どうぞ奮ってご参加下さい。よろしくお願いいたします。

大森仁