邻域语义与修正真理论.pdfVIP

逻辑学研究 2017 年第1 期，5–29 文章编号：1674-3202(2017)-01-0005-25 邻域语义与修正真理论 林其清 梁晓龙 华南师范大学 政治与行政学院 中山大学 逻辑与认知研究所 linqiqing@ lianghillon@ 摘 要：古普塔和赫兹伯格在 1982 年各自独立地提出了修正真理论，建立了可用于 分析真与相关悖论的修正序列。修正真理论根据语句在所有修正序列中的表现，对语 句进行分类。然而，修正真理论在某些语句的分类上不能令人满意，如修正真理论把柯 瑞悖论的逆命题断定为绝对地真，这与直觉不一致。本文将从两种路径引入邻域语义 研究修正真理论。路径一是在基模型上引入邻域基模型，建立邻域基模型修正序列。这 类修正序列比经典修正序列更多，增加的修正序列可使包括柯瑞悖论的逆命题在内的 一些语句的病态呈现出来。路径二是通过引入邻域语义模型，使得对任意不含模态词 的公式ϕ，模态公式ϕ 在后继阶段的真值可以反映ϕ 在上一阶段的真值，并且ϕ 在 极限阶