從羅素的邏輯主義立場(chǎng)看他的類型論.pdf

1、類型論是羅素邏輯主義和哲學(xué)思想發(fā)展的一個(gè)重要成果，是與其邏輯主義立場(chǎng)緊密聯(lián)系在一起的?？梢哉f(shuō)，類型論是羅素為實(shí)現(xiàn)其邏輯主義夢(mèng)想而產(chǎn)生的一個(gè)重要理論。 本文從羅素的數(shù)學(xué)觀入手，分析了羅素的數(shù)學(xué)觀對(duì)羅素后來(lái)的研究的重要影響。他認(rèn)為，純粹數(shù)學(xué)就是由所有“p→q”這種命題所構(gòu)成的類，數(shù)學(xué)與邏輯只是相同學(xué)科的不同階段而已。羅素試圖將所有的數(shù)學(xué)都從邏輯推導(dǎo)出來(lái)，從而實(shí)現(xiàn)他的邏輯主義綱領(lǐng)。為此，他開(kāi)始寫作《數(shù)學(xué)原理》，卻發(fā)現(xiàn)了在當(dāng)時(shí)看來(lái)似乎無(wú)

2、法解決的“羅素悖論”。為了能完成《數(shù)學(xué)原理》的寫作，他創(chuàng)造性地提出了類型論思想。 接著，本文細(xì)致地闡述了簡(jiǎn)單類型論的建構(gòu)，分析了其核心的概念，包括類型、命題函項(xiàng)和類型的分層。指出簡(jiǎn)單類型論已經(jīng)消除了羅素悖論，但為什么羅素要引入很少有人接受的分支類型論呢?為此，本文首先比較分析了簡(jiǎn)單類型論與分支類型論在內(nèi)容構(gòu)建的區(qū)別，并進(jìn)而從羅素實(shí)在論的哲學(xué)立場(chǎng)角度出發(fā)，分析了從簡(jiǎn)單類型論到分支類型論的跨越是有著必然性的。 最后，文章梳理