<div dir="ltr">皆さま、<br><br>BCCにて失礼します。名古屋大学情報学研究科の久木田です。この度、岸田功平さんをお招きして

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