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