关键词：
拉姆塞检验
真值函式
概率论
可能世界语义学
摘要：
在条件句逻辑研究中,条件句怪论历来备受关注。条件句怪论之所以称为“怪论”是因为在经典逻辑刻画下,一个为真的条件句是有悖于我们日常直观的。为了避免条件句怪论,逻辑学家们创造出严格蕴涵、相干蕴涵等等,但都没能摆脱经典逻辑给条件句带来的悖论问题。直到1929年英国著名的数学家、哲学家、逻辑学家和经济学家拉姆塞(***)“普通命题和因果关系(General Propositions and Casuality)”(1929)一文中给出了对条件句的新解释——拉姆塞检验。他将主观概率的思想带入到条件句研究中,开辟出解决条件句怪论的新道路。遗憾的是他本人对拉姆塞检验的阐述仅为几个脚注。也正因为拉姆塞检验的阐述不清晰,使得拉姆塞检验有三中解释:真值函式的、概率论的和可能世界语义学的。本文理清需要研究的条件句类型和引发拉姆塞检验有三种解释的原因,以斯蒂芬·里德(Stephen Read)的对拉姆塞检验的可能世界语义学解释作为文章主线,与笔者阐述的其他两种拉姆塞检验的解释用进行分析、比较的方法,全面的展示里德思想的精巧之处。笔者在里德的和斯塔尔内克的拉姆塞检验可能世界语义学之间进行比较,论证里德解释的拉姆塞检验的优势。最后,回应对里德解释的批评意见,试图为其辩护。本文主要内容如下:首先,介绍条件句怪论与拉姆塞检验在条件句中的运用及拉姆塞检验的早期发展。梳理本文研究的条件句类型:直陈条件句、虚拟条件句;根据不同类型的条件句找出产生条件句怪论的主要原因:(1)真命题被任意命题所蕴涵,(2)假命题蕴涵任意命题;阐述拉姆塞检验的内容,由于对拉姆塞检验的双向式中“K*A”的解释不当导致有多种对拉姆塞检验的解释(以加登福斯的理解错误为例);再介绍拉姆塞检验的最具代表性的两种解释:真值函式的、概率论的,为引出里德对拉姆塞检验的可能世界语义学解释。其次,通过对真值条件立场的辩护(主要是批评概率论的解释)和阐述真值函式解释的不足,为里德选择可能世界语义学的解释提供依据。在此基础之上,展示里德的拉姆塞检验可能世界语义学解释能够成功筛选出的条件句。在说明里德赞同刘易斯(David Lewis)的“平凡的结果”反驳拉姆塞检验概率论解释中的“条件概率=条件句概率”观点之后,具体解释里德对拉姆塞检验概率论解释的代表人物埃金顿的“条件句无真值也无真值条件”观点的批评,以此辩护条件句是有真值条件的;接着,拉讨论姆塞检验真值函式解释的不足,包括真值函式解释中有效推理规则的失效和会话论者解释不能用于嵌套条件句;最后,阐明里德对拉姆塞检验的可能世界语义学解释,并列举该理论能够筛选出的条件句:带有真前件和假后件的条件句,带有不可能前件的条件句。最后,对里德的拉姆塞检验可能世界语义学解释做评价。首先,将里德的拉姆塞检验可能世界语义学解释与斯塔尔内克的拉姆塞检验可能世界语义学解释进行比较,体现出里德解释的优势,再阐述里德的拉姆塞检验可能世界语义学解释中存在的问题,主要是回应概率论解释的代表人物埃金顿对里德理论的批评;最后简要的评价里德的拉姆塞检验可能世界语义学解释。里德对拉姆塞见检验的解释可能没有完全还原拉姆塞检验的原意,但这并不影响里德在解决条件句问题中所作出的贡献。里德利用可能世界语义学去避免条件句怪论正如同拉姆塞引入主观概率去解决条件句问题的目的相同,都是为了让被逻辑刻画的后条件句更加接近自然语言中条件句的语义。
欢迎来到三峡大学图书馆！
