鄰域語義與修正真理論
關(guān)鍵詞：修正真理論 修正序列 鄰域語義 柯瑞悖論的逆命題
摘要：古普塔和赫茲伯格在1982年各自獨立地提出了修正真理論,建立了可用于 分析真與相關(guān)悖論的修正序列.修正真理論根據(jù)語句在所有修正序列中的表現(xiàn),對語 句進行分類.然而,修正真理論在某些語句的分類上不能令人滿意,如修正真理論把柯 瑞悖論的逆命題斷定為絕對地真,這與直覺不一致.本文將從兩種路徑引入鄰域語義 研宄修正真理論.路徑一是在基模型上引入鄰域基模型,建立鄰域基模型修正序列.這 類修正序列比經(jīng)典修正序列更多,增加的修正序列可使包括柯瑞悖論的逆命題在內(nèi)的 一些語句的病態(tài)呈現(xiàn)出來.路徑二是通過引入鄰域語義模型,使得對任意不含模態(tài)詞 的公式Ф,模態(tài)公式口Ф在后繼階段的真值可以反映Ф在上一階段的真值,并且口Ф在 極限階段的真值可以反映Ф在至這個極限階前是否穩(wěn)定真.從而可以通過口Ф的真值 來限定T＇Ф＇的真值,使得滿足相應(yīng)限制的模型類表示了相應(yīng)的修正序列.本文最后將 對兩個路徑進行整合,構(gòu)造出能表示鄰域基模型修正序列的整體修正序列模型.
中山大學(xué)學(xué)報論叢雜志要求:
{1}來稿務(wù)求論點明確，論據(jù)可靠，數(shù)字準(zhǔn)確、文字精練。并具原創(chuàng)性，不侵犯他人著作權(quán)，稿件未投它刊，未在其它任何期刊(包括內(nèi)部出版物)刊登或研討會上發(fā)表過(特約除外)。
{2}提供作者簡介：姓名、性別、民族（漢族可省略）、工作單位（寫到二級學(xué)院）、職稱或職務(wù)、主要研究方向或?qū)W科特長或從事何種專業(yè)技術(shù)工作、郵政編碼、電子郵箱地址、聯(lián)系電話。
{3}獲得基金資助的文章應(yīng)在文章首頁地腳以“基金項目”作為標(biāo)志注明項目名稱及編號，并附項目證書復(fù)印件。
{4}正文內(nèi)容要求論點明確，資料可靠，文字精煉，層次清楚，數(shù)據(jù)準(zhǔn)確，具有學(xué)術(shù)性、創(chuàng)新性和實踐性。
{5}注釋是對文內(nèi)某一特定內(nèi)容的進一步解釋或補充說明，注釋序號用帶圓圈的阿拉伯?dāng)?shù)字表示（如①、②），并按順序列于當(dāng)頁地腳。
注：因版權(quán)方要求，不能公開全文，如需全文，請咨詢雜志社
