摘要:近百年來,數(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)方要求,不能公開全文,如需全文,請咨詢雜志社