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