[logic-ml] ワークショップLogic, Language, and Ontologyのご案内

[Hitoshi Omori]

ワークショップ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
-------------------------------------

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

大森仁
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20181105/1d2890c6/attachment.html>