皆さま、
BCCにて失礼します。名古屋大学情報学研究科の久木田です。この度、岸田功平さんをお招きして 下記の通り講演会を開催します。岸田功平さんはDalhousie大学のDepartment of Mathematics and Statisticsに所属されており、様相論理や圏論がご専門です。今回は様相述語論理と形而上学に関連するお話をしていただきます。
岸田さんのウェブサイト https://www.mathstat.dal.ca/~kishida/
皆様、どうぞ振るってご参加ください。また、興味のありそうな方に声をかけていただけると幸いです。
久木田水生
記
日時：2019年7月18日（木）、14時30分から 場所：名古屋大学情報学棟1F第4講義室。アクセス→ https://www.i.nagoya-u.ac.jp/access/ 講演者：岸田功平 タイトル：Quantified Logic for Modal Reasoning and Theorizing 要旨： Logicians and metaphysicians have developed various models and semantics of quantified modal logic. These semantics come with ontological and metaphysical implications regarding the references of singular terms --- such as the necessity of Hesperus being Phosphorus. My primary question in this talk is how these metaphysical facts can be a posteriori facts, as opposed to a matter of logic, of the sort that a cognizer can come to know. The goal of this talk is to give a semantics that sheds new light on this aposteriority. I will take an approach in terms of intensional logic that treats all singular terms, predicates, and quantifiers as uniformly intensional. Combined with epistemic logic, my approach will provide a semantics and logic in which metaphysical principles regarding cross-world reference are substantial facts that a cognizer can both learn and use in their modal reasoning and theorizing.
以上