本文關(guān)鍵詞：Fitch-悖論的直覺主義邏輯解決方案探析

  更多相關(guān)文章： Fitch-悖論 直覺主義邏輯 可知性原則 反實(shí)在論

【摘要】：Fitch-悖論從可知性原則和"非全知"的觀點(diǎn)出發(fā),導(dǎo)出結(jié)論"每個真理事實(shí)上被知道",該結(jié)論對反實(shí)在論提出了嚴(yán)苛的挑戰(zhàn)。以T.Williamson為代表的反實(shí)在論者采用直覺主義邏輯,并根據(jù)雙重否定消去規(guī)則失效的原理,成功地避免了該結(jié)論的出現(xiàn)。然而,直覺主義邏輯的解決方案并非無懈可擊,它面臨著不同的責(zé)難。反實(shí)在論者如果把研究重點(diǎn)轉(zhuǎn)向Fitch-悖論的實(shí)質(zhì)——模態(tài)算子◇的消失,或許對完善其直覺主義邏輯解決方案有所裨益。
【作者單位】： 廈門大學(xué)哲學(xué)系;
【基金】：2012年度教育部人文社會科學(xué)重點(diǎn)研究基地重大項目“跨文化交流的形式化研究”(12JJD720005)
【分類號】：B812
【正文快照】： 一、Fitch-悖論的緣起1963年,Fitch首次在文章A Logical Analysis of Some Value Concepts中提出定理5!"("#$K")├!"("#$◇K")。[1]直觀上來說,定理5表達(dá)的是“存在一個真理"并且真理"不被知道,推導(dǎo)出存在一個真理"并且真理"不可能被知道”。然而,該定理的等價式:%"("→◇K")

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前1條

1 馮艷;論經(jīng)典否定、直覺主義否定和弗協(xié)調(diào)否定[J];自然辯證法研究;2005年02期

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前1條

1 趙偉莉;;關(guān)于弗協(xié)調(diào)邏輯的否定與矛盾[J];淮陰師范學(xué)院學(xué)報(哲學(xué)社會科學(xué)版);2007年01期

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 顏中軍;;論直覺主義邏輯對經(jīng)典邏輯的挑戰(zhàn)[J];湘潭大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2011年03期

2 劉壯虎;哲學(xué)邏輯概論[J];北京航空航天大學(xué)學(xué)報(社會科學(xué)版);2000年01期

3 任曉明;谷飆;;達(dá)米特對直覺主義邏輯的辯護(hù)[J];南開學(xué)報(哲學(xué)社會科學(xué)版);2007年04期

4 ;金岳霖學(xué)術(shù)獎(邏輯學(xué))獲獎作品簡介(二)[J];思維與智慧;1991年02期

5 劉新文;;函數(shù)完備性問題[J];重慶理工大學(xué)學(xué)報(社會科學(xué));2011年08期

6 陸尚強(qiáng);存在怪論的推導(dǎo)與分析及有關(guān)語意問題[J];廣西師院學(xué)報(自然科學(xué)版);1998年03期

7 劉大中,董克誠;一階命題演算的希爾伯特型直覺主義系統(tǒng)[J];河北大學(xué)學(xué)報(自然科學(xué)版);2001年02期

8 閆坤如;對排中律的辯證理解[J];淮陰師范學(xué)院學(xué)報(哲學(xué)社會科學(xué)版);2004年03期

9 余俊偉;;經(jīng)典邏輯視野下的非經(jīng)典否定[J];哲學(xué)動態(tài);2010年07期

10 馮棉;;一類命題邏輯的一般弱框架擇類語義[J];邏輯學(xué)研究;2011年02期

中國重要會議論文全文數(shù)據(jù)庫 前1條

1 俞穎杰;;達(dá)米特論指稱和涵義[A];第二屆中國科技哲學(xué)及交叉學(xué)科研究生論壇論文集（博士卷）[C];2008年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前3條

1 張保壘;表列演算探究[D];華東師范大學(xué);2011年

2 任貴龍;達(dá)米特反應(yīng)在論的邏輯觀及其意義[D];山西大學(xué);2013年

3 陳珊;核證邏輯研究[D];中國社會科學(xué)院研究生院;2011年

，

本文編號：1184274