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