Kyoto Philosophical Logic Workshop IIIのご案内 (重複してお受け取りの際はご容赦ください。)
京都大学の大森仁です。直前の案内になってしまいましたが、以下の通りワークショップを開催いたします。概要などの詳細はウェブサイトをご覧下さい。
------------------------------------- Kyoto Philosophical Logic Workshop III
【日時】2017年9月7日, 8日, 9日 【場所】京都大学 吉田泉殿(7日、9日)、芝蘭会館別館(8日) 【ウェブサイト】https://sites.google.com/site/hitoshiomori/home/workshops/kplw-3 【プログラム】 September 7: The third workshop on connexive logic, co-organized by Heinrich Wansing and Hitoshi Omori 11:00--12:00 Norihiro Kamide "Bi-classical connexive logic and its modal extension: Cut-elimination, completeness and duality" 12:00--13:00 Tomasz Jarmużek "Connexive logics defined by relating semantics and tableau approach" 13:00--14:30 Lunch 14:30--15:00 Sara Ipakchi "A justification for Aristotle Thesis AT on the basis of LNC" 15:00--16:00 Wolfgang Lenzen "Is connexive logic based on a gross misunderstanding? A Leibnitian approach" 16:00--16:15 Coffee break 16:15--17:15 Heinrich Wansing "Connexive Logic and Chellas-Segerberg Semantics" 17:15--18:15 Andreas Kapsner "What is Connexivity? Lessons from Constructive and Conditional Logics" 19:00-- Dinner
September 8: 09:15--10:15 Yasuo Deguchi "Analytic Nishida: Metaphysics of Self and Non-classial Logic" 10:15--11:15 Rafał Urbaniak "Paradoxes of informal provability and many-valued indeterministic provability logic" 11:15--12:15 Toshiharu Waragai "Lesniewski's Ontology from a Syllogistic Point of View" 12:15--13:30 Lunch Special session on Leibniz's logic 13:30--14:30 Ryosuke Igarashi "A Comparison of the Logical Systems of Leibniz and Kant" 14:30--15:30 Hiroyuki Inaoka "Mathematics as make-believe: Infinite diagram in Leibniz's mathematical study" 15:30--15:45 Coffee break 15:45--16:45 Shinji Ikeda "Extension and Space in Leibniz’s Theory of Abstraction" 16:45--17:45 Wolfgang Lenzen "The evolution of the system of Leibniz’s logic" 18:30-- Dinner
September 9: 10:00--11:00 Vít Punčochář "Between material and strict implication" 11:00--12:00 Igor Sedlár "Term negation in first-order logic" 12:00--13:30 Lunch 13:30--14:30 Yasuo Nakayama "Philosophical Basis for Dynamic Belief-Desire-Obligation Logic" 14:30--15:30 Shunsuke Yatabe "TBA" 15:30--15:45 Coffee break 15:45--16:45 Makoto Kanazawa "Lambek Calculus and Context-Free Grammars: Some Unresolved Issues" 16:45--17:45 Heinrich Wansing "Disentangling FDE-based Paraconsistent Modal Logics" 18:30-- Dinner -------------------------------------
どうぞよろしくお願いいたします。
大森仁