公理化真理論把真看作一個(gè)原始謂詞,并用一組公理和規(guī)則給出真謂詞的意義,真首先是語形概念。在公理化真理論的標(biāo)準(zhǔn)模型中,一個(gè)定理可解釋為真。因此模型真和語形真在概念上需要作出區(qū)分。通過不同的技術(shù)手段大部分公理化真理論都能較好地處理悖論,但DT和KF系統(tǒng)同時(shí)證明"說謊者語句λ"與"λ不是真的",此時(shí)語形真和模型真產(chǎn)生了沖突。莫德林和費(fèi)弗曼等國(guó)外學(xué)者從哲學(xué)解釋或技術(shù)上對(duì)此進(jìn)行的辯護(hù)都存在不足之處,本文通過從語義視角入手建立起一種真對(duì)應(yīng)關(guān)系后指出,這一受到質(zhì)疑的結(jié)論既不應(yīng)歸結(jié)為形式技術(shù)問題,不是一個(gè)意外的推論,也不必從其他哲學(xué)角度進(jìn)行辯護(hù),問題是由克里普克語義真理論自身在處理強(qiáng)化說謊者悖論時(shí)失效所導(dǎo)致的。KF系統(tǒng)兩種真的沖突,反而以形式方法揭示了當(dāng)內(nèi)、外邏輯不一致時(shí),真理論所具有的性質(zhì)。 

【文章來源】：哲學(xué)研究. 2018,(05)北大核心CSSCI

【文章頁數(shù)】：8 頁

【文章目錄】：
一、語形真和模型真的區(qū)分
二、說謊者悖論語句的形式化
三、公理化真理論處理說謊者語句的分析
四、我們的論證



本文編號(hào)：3496080