噜噜噜噜私人影院,少妇人妻综合久久中文字幕888,AV天堂永久资源网,5566影音先锋

多元量化和無類型集合論對邏輯悖論的規(guī)避

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

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

注:因版權(quán)方要求,不能公開全文,如需全文,請咨詢雜志社

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

省級期刊 下單

國際刊號:1009-8461

國內(nèi)刊號:44-1474/F

雜志詳情
相關(guān)熱門期刊
  • 臺聲·新視角
    省級期刊 下單

    國際刊號:1002-9788

    國內(nèi)刊號:11-1469/D

  • 西部論叢
    省級期刊 下單

    國際刊號:1671-6698

    國內(nèi)刊號:62-1166/F

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

    國際刊號:1005-7110

    國內(nèi)刊號:37-1216/C

服務(wù)介紹LITERATURE

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

多年專注期刊服務(wù),熟悉發(fā)表政策,投稿全程指導(dǎo)。因?yàn)閷W⑺詫I(yè)。

保障正刊 雙刊號

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

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

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

不成功可退款

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