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