[logic-ml] 論理学と形而上学についての講演会；7月18日14時30分より、名古屋大学情報学棟第4講義室

[久木田水生]

皆さま、

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.

以上
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20190712/b7c21d0c/attachment.html>