多元量化和無(wú)類(lèi)型集合論對(duì)邏輯悖論的規(guī)避

作者:何佳 南開(kāi)大學(xué)哲學(xué)院; 天津

摘要:近百年來(lái),數(shù)學(xué)家、邏輯學(xué)家們使用了公理集合論、類(lèi)型論等方法多次重塑我們對(duì)邏輯悖論及其解決方案的理解。發(fā)現(xiàn)悖論與拯救悖論的過(guò)程對(duì)推動(dòng)現(xiàn)代數(shù)學(xué)、分析哲學(xué)、語(yǔ)義學(xué)的發(fā)展起到不可替代的作用。在本文中,筆者對(duì)一些邏輯悖論中的某些關(guān)鍵推理并沒(méi)有如常規(guī)操作那樣,刻意去解決或阻止;而是在分析悖論產(chǎn)生的過(guò)程中,探求其本質(zhì),找到悖論為我們所用的觀(guān)點(diǎn)。如果采取更廣義的邏輯和數(shù)學(xué)框架,邏輯悖論也能從“威脅論”重塑為一種極重要的資源,推動(dòng)邏輯學(xué)科的發(fā)展,尤其是對(duì)高階邏輯的應(yīng)用。與類(lèi)型論相比,一種無(wú)類(lèi)型的集合論的目標(biāo)是在不得到悖論的情況下,得到一個(gè)表達(dá)力強(qiáng)的邏輯。

注:因版權(quán)方要求,不能公開(kāi)全文,如需全文,請(qǐng)咨詢(xún)雜志社

新經(jīng)濟(jì)

省級(jí)期刊 下單

國(guó)際刊號(hào):1009-8461

國(guó)內(nèi)刊號(hào):44-1474/F

雜志詳情
相關(guān)熱門(mén)期刊
  • 臺(tái)聲·新視角
    省級(jí)期刊 下單

    國(guó)際刊號(hào):1002-9788

    國(guó)內(nèi)刊號(hào):11-1469/D

  • 西部論叢
    省級(jí)期刊 下單

    國(guó)際刊號(hào):1671-6698

    國(guó)內(nèi)刊號(hào):62-1166/F

  • 跨文化交際研究
    省級(jí)期刊 下單
  • 東方論壇
    省級(jí)期刊 下單

    國(guó)際刊號(hào):1005-7110

    國(guó)內(nèi)刊號(hào):37-1216/C

服務(wù)介紹LITERATURE

正規(guī)發(fā)表流程 全程指導(dǎo)

多年專(zhuān)注期刊服務(wù),熟悉發(fā)表政策,投稿全程指導(dǎo)。因?yàn)閷?zhuān)注所以專(zhuān)業(yè)。

保障正刊 雙刊號(hào)

推薦期刊保障正刊,評(píng)職認(rèn)可,企業(yè)資質(zhì)合規(guī)可查。

用戶(hù)信息嚴(yán)格保密

誠(chéng)信服務(wù),簽訂協(xié)議,嚴(yán)格保密用戶(hù)信息,提供正規(guī)票據(jù)。

不成功可退款

如果發(fā)表不成功可退款或轉(zhuǎn)刊。資金受第三方支付寶監(jiān)管,安全放心。