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

【文章來源】：貴州工程應用技術(shù)學院學報. 2018,36(06)

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

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



本文編號：3292465