本文選題：修正真理論　切入點(diǎn)：修正序列　出處：《邏輯學(xué)研究》2017年01期

【摘要】：古普塔和赫茲伯格在1982年各自獨(dú)立地提出了修正真理論,建立了可用于分析真與相關(guān)悖論的修正序列。修正真理論根據(jù)語句在所有修正序列中的表現(xiàn),對(duì)語句進(jìn)行分類。然而,修正真理論在某些語句的分類上不能令人滿意,如修正真理論把柯瑞悖論的逆命題斷定為絕對(duì)地真,這與直覺不一致。本文將從兩種路徑引入鄰域語義研究修正真理論。路徑一是在基模型上引入鄰域基模型,建立鄰域基模型修正序列。這類修正序列比經(jīng)典修正序列更多,增加的修正序列可使包括柯瑞悖論的逆命題在內(nèi)的一些語句的病態(tài)呈現(xiàn)出來。路徑二是通過引入鄰域語義模型,使得對(duì)任意不含模態(tài)詞的公式φ,模態(tài)公式□φ在后繼階段的真值可以反映φ在上一階段的真值,并且□φ在極限階段的真值可以反映φ在至這個(gè)極限階前是否穩(wěn)定真。從而可以通過□φ的真值來限定Tφ的真值,使得滿足相應(yīng)限制的模型類表示了相應(yīng)的修正序列。本文最后將對(duì)兩個(gè)路徑進(jìn)行整合,構(gòu)造出能表示鄰域基模型修正序列的整體修正序列模型。
[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.
【作者單位】： 華南師范大學(xué)政治與行政學(xué)院;中山大學(xué)邏輯與認(rèn)知研究所;
【分類號(hào)】：B812
，

本文編號(hào)：1677239