盡管有很多處理費(fèi)奇悖論的方法,但其中的每種解釋似乎都存在一定的缺陷。實(shí)證主義解釋可以避免涉及到違反先前的解釋而導(dǎo)致違反可知性悖論的問題。在形式解釋方面,可以將新的可知性問題的形式問題轉(zhuǎn)化為在時(shí)間公開宣告邏輯中的可證性問題:如果一個(gè)陳述可以成功地得到執(zhí)行和自我保持,那么該陳述就是可知的。時(shí)間公開宣告邏輯框架可提供良精細(xì)化的邏輯分析,涉及可知性問題的擇代形式系統(tǒng)。事實(shí)上某些形式系統(tǒng)中可能存在更強(qiáng)的新的可知性問題,當(dāng)形式系統(tǒng)得到支持時(shí)就會形成更多的理論從而支持實(shí)證主義的解釋。 

【文章來源】：貴州工程應(yīng)用技術(shù)學(xué)院學(xué)報(bào). 2018,36(06)

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

【文章目錄】：
一、可知性悖論和先驗(yàn)解釋方案
    1. 悖論
    2. 邏輯的可修正性
    3. 語義再生
    4. 語形約束
    5. 動態(tài)認(rèn)知邏輯
二、沒有可知性問題的實(shí)證主義
三、爭鳴
    1. 公理R3:完美回憶和非奇跡
    2. 在某層含義下是可知的
    3. 知識中的邏輯全知
    4. 為什么必須要有語義?
四、結(jié)論



本文編號：3292465