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

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

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