摘要:近百年來(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)雜志社