邻域语义与修正真理论

发布时间：2018-03-28 17:04

  本文选题：修正真理论　切入点：修正序列　出处：《逻辑学研究》2017年01期

【摘要】：古普塔和赫兹伯格在1982年各自独立地提出了修正真理论,建立了可用于分析真与相关悖论的修正序列。修正真理论根据语句在所有修正序列中的表现,对语句进行分类。然而,修正真理论在某些语句的分类上不能令人满意,如修正真理论把柯瑞悖论的逆命题断定为绝对地真,这与直觉不一致。本文将从两种路径引入邻域语义研究修正真理论。路径一是在基模型上引入邻域基模型,建立邻域基模型修正序列。这类修正序列比经典修正序列更多,增加的修正序列可使包括柯瑞悖论的逆命题在内的一些语句的病态呈现出来。路径二是通过引入邻域语义模型,使得对任意不含模态词的公式φ,模态公式□φ在后继阶段的真值可以反映φ在上一阶段的真值,并且□φ在极限阶段的真值可以反映φ在至这个极限阶前是否稳定真。从而可以通过□φ的真值来限定Tφ的真值,使得满足相应限制的模型类表示了相应的修正序列。本文最后将对两个路径进行整合,构造出能表示邻域基模型修正序列的整体修正序列模型。
[Abstract]:In 1982, Gupta and Herzberg independently proposed the modified truth theory, which can be used to analyze the truth and related paradoxes. The modified truth theory classifies the sentence according to the expression of the sentence in all the modified sequences. The modified truth theory is not satisfactory in the classification of some sentences, for example, the modified truth theory determines the inverse proposition of Cory's paradox as absolutely true. This is not consistent with intuition. In this paper, we will introduce neighborhood semantic correction theory from two paths. Path one is to introduce neighborhood base model to base model and establish neighborhood base model correction sequence. This kind of modified sequence is more than classical modified sequence. The added modified sequence can bring out some morbid statements, including the inverse proposition of Cory's paradox. Path two is by introducing neighborhood semantic model. So that for any formula without modal words 蠁, the true value of modal formula-蠁 in subsequent stage can reflect the truth value of 蠁 in the previous stage. Moreover, the true value of-蠁 in the limit stage can reflect whether 蠁 is stable and true before the limit order. Thus, the true value of T 蠁 can be defined by the true value of-蠁. Finally, the two paths are integrated to construct a global modified sequence model which can represent the modified sequence of the neighborhood base model.
【作者单位】： 华南师范大学政治与行政学院;中山大学逻辑与认知研究所;
【分类号】：B812
，

本文编号：1677239