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

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

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

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



本文編號(hào)：3496080