岸田さんのウェブサイト

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.  

以上