达米特论逻辑与元逻辑的关系

作     者：蒂莫西·威廉姆森 徐召清 Timothy WILLIAMSON

作者机构：英国牛津大学哲学系 四川大学哲学系 

出 版 物：《逻辑学动态与评论》 (Trends and Reviews in Logic)

年 卷 期：2022年第1卷第1期

页      面：3-23页

学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 

基　　金：国家社科基金重大项目(编号17ZDA024)的阶段性成果 

主　　题：逻辑 元逻辑 达米特 模态逻辑 语义理论 溯因方法论 

摘      要：威廉姆森反驳了达米特的观点，即为了有助于逻辑原则的支持者和反对者相互理解，语义理论应该尽可能使对象语言的逻辑对元语言的逻辑不敏感。文章首先概述了谐音语义理论的一般优点。然后以模态逻辑为例，特别讨论了关于模态命题逻辑的布劳威尔公式(B)和量化模态逻辑的巴坎公式的争议。可能世界框架内的模态逻辑语义理论符合达米特的要求，因为该语义的非模态性质使对象语言的模态逻辑与元语言的模态逻辑无关。然而，这并不能帮助有争议的模态原则的支持者和反对者相互理解。相反，它使语义理论几乎与争论无关，该争论最好主要以对象语言进行；这甚至适用于达米特自己对B原则的反驳。文章证明，模态语言的其他语义形式不会从根本上改变这幅图景。可以论证的是，在逻辑争论的语义和更普遍的元语言方面远没有达米特认为的那么重要。文章也强调了(非因果的)溯因方法在逻辑和哲学中的作用，这与达米特的观点相反，他认为最佳解释推理在这些领域不是一种合法的论证方法。