費奇悖論的形成原因是沒有將證實原則和摩爾句子進(jìn)行準(zhǔn)確刻畫。證實原則"真命題都是可知的"并不是指每個真命題都在當(dāng)下可能被知道,而應(yīng)該是指對每個真命題來說都存在一個時間點使得在這個時間點上此命題被知道。摩爾句子"p并且主體不知道p"應(yīng)該是指"p并且在t時主體不知道p"。利用混合邏輯的技術(shù)可以對認(rèn)知算子進(jìn)行時間標(biāo)記,進(jìn)而可以形式化出證實原則和摩爾句子的準(zhǔn)確思想,最終可以消解費奇悖論。 

【文章來源】：邏輯學(xué)研究. 2020,13(05)CSSCI

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

【參考文獻(xiàn)】：
期刊論文
[1]直覺主義真與可知性悖論[J]. 李娜,袁旭亮.  哲學(xué)動態(tài). 2019(02)
[2]Fitch-悖論的達(dá)米特解決方案研究[J]. 王晶.  湖北大學(xué)學(xué)報(哲學(xué)社會科學(xué)版). 2019(01)
[3]可知性悖論的條件句分析[J]. 蘇慶輝.  世界哲學(xué). 2016(03)
[4]證實原則的認(rèn)知邏輯分析[J]. 郭美云.  自然辯證法研究. 2014(05)



本文編號：3641744