ワークショップ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 -------------------------------------
どうぞ奮ってご参加下さい。よろしくお願いいたします。
大森仁