逻辑沙龙 | 文学锋:语境中的条件句、模态与有效性

文摘   2024-09-23 10:44   北京  

逻辑沙龙 Logic Salon

文学锋
Xuefeng Wen:

语境中的条件句、模态与有效性
Conditionals, Modals, and Validity in Contexts

  

摘要:
We provide a semantics for a language containing indicatives and epistemic modals, which are elusive in formal semantics. The main idea is to evaluate a formula at a world in a context. An indicative is true at a world in a context if its consequent is true at the world in the new context updated by its antecedent in the old context. An epistemic necessity is true at a world in a context if it is true at all worlds in the context. Armed with the semantics, we define a ternary notion of validity, by which an inference is not valid per se, but valid under a set of assumptions, which are used to specify the context. The ternary notion of validity is meant to give a unified solution to several puzzles concerning indicatives and epistemic modals.


报告人:文学锋(中山大学)

中山大学哲学系教授,研究方向为非经典逻辑、形式语义学。

时间:2024年9月28日(周六)16:00-17:30

地点:清华大学逻辑学研究中心

    (蒙民伟人文楼 329)




关注我们,及时获取更多关于清华-阿姆斯特丹逻辑学联合研究中心的研究成果、科研教学活动、前沿问题研究进展及其他相关资讯。


水木逻辑
Tsinghua-UvA Joint Research Center in Logic 的研究成果、科研教学活动资讯、逻辑学前沿问题研究进展、与中心相关的其他信息。
 最新文章