本文關(guān)鍵詞：從羅素的邏輯主義立場(chǎng)看他的類型論，由筆耕文化傳播整理發(fā)布。

文檔介紹：
單位代碼!Q§3§學(xué)號(hào)S2QQ塑12西南蟲謦碩士學(xué)位論文k羅素的邏輯主義立場(chǎng)看他的類型論論文作者:謝時(shí)國(guó)指導(dǎo)教師:唐曉嘉教授學(xué)科專業(yè):邏輯學(xué)研究方向:現(xiàn)代邏輯提交論文日期:2006年4月論文答辯日期:2006年6月學(xué)位授予單位:西南大學(xué)中國(guó)·重慶2006年5月從羅素的邏輯主義立場(chǎng)看他的類型論邏輯學(xué)專業(yè)現(xiàn)代邏輯方向研究生謝時(shí)國(guó)指導(dǎo)教師唐曉嘉教授中文摘要類型論是羅索邏輯主義和哲學(xué)思想發(fā)展的一個(gè)重要成果,是與其邏輯主義立場(chǎng)緊密聯(lián)系在一起的�？梢哉f,類型論是羅索為實(shí)現(xiàn)其邏輯主義夢(mèng)想而產(chǎn)生的一個(gè)重要理論。本文從羅素的數(shù)學(xué)觀入手,分析了羅素的數(shù)學(xué)觀對(duì)羅素后來的研究的重要影響。他認(rèn)為,純粹數(shù)學(xué)就是由所有“p—q”這種命題所構(gòu)成的類,數(shù)學(xué)與邏輯只是相同學(xué)科的不同階段而己。羅素試圖將所有的數(shù)學(xué)都從邏輯推導(dǎo)出來。從而實(shí)現(xiàn)他的邏輯主義綱領(lǐng)。為此.他開始寫作《數(shù)學(xué)原理》,卻發(fā)現(xiàn)了在當(dāng)時(shí)看來似乎無法解決的“羅素悖論”。為了能完成《數(shù)學(xué)原理》的寫作,他創(chuàng)造性地提出了類型論思想。接著,本文細(xì)致地闡述了簡(jiǎn)單類型論的建構(gòu),分析了其核心的概念,包括類型、命題函項(xiàng)和類型的分層。指出簡(jiǎn)單類型論已經(jīng)消除了羅素悖論,但為什么羅素要引入很少有人接受的分支類型論呢?為此,本文首先... 內(nèi)容來自轉(zhuǎn)載請(qǐng)標(biāo)明出處.

  本文關(guān)鍵詞：從羅素的邏輯主義立場(chǎng)看他的類型論，由筆耕文化傳播整理發(fā)布。