發(fā)布時間：2021-07-02 19:35

　　數(shù)理邏輯,又稱符號邏輯、理論邏輯或邏輯斯蒂,數(shù)學(xué)的一個分支,用數(shù)學(xué)方法研究的邏輯或形式邏輯。數(shù)理邏輯誕生于17世紀(jì)末,迄今為止,已有三百余年的歷史。數(shù)理邏輯最初是作為“運(yùn)用數(shù)學(xué)方法的邏輯”而興起的。隨后,數(shù)學(xué)的發(fā)展提出并要求解決數(shù)學(xué)的邏輯和哲學(xué)基礎(chǔ)問題,于是數(shù)理邏輯又進(jìn)一步發(fā)展成主要是“關(guān)于數(shù)學(xué)的邏輯”,并且與數(shù)學(xué)基礎(chǔ)理論相結(jié)合,成了一門具有強(qiáng)大生命力和廣泛應(yīng)用的數(shù)學(xué)科學(xué)。1920年,隨著英國著名哲學(xué)家、數(shù)學(xué)家、社會活動家,數(shù)理邏輯的集大成者羅素（1872-1970）來華,數(shù)理邏輯正式傳入中國。本文以1920-1966年間數(shù)理邏輯在中國的發(fā)展歷史為研究對象,在系統(tǒng)地挖掘、收集和整理原始文獻(xiàn)和研究文獻(xiàn)的基礎(chǔ)上,進(jìn)行了較為細(xì)致和深入的研究,力圖從整體上厘清其發(fā)展的基本脈絡(luò),呈現(xiàn)主要科學(xué)家的貢獻(xiàn)和中外數(shù)理邏輯交流等情況,較為客觀地反映其發(fā)展水平和特點(diǎn)。本文主要包括以下4部分內(nèi)容:1.分前史時期、第一階段、第二階段、第三階段梳理數(shù)理邏輯的誕生及其各分支的發(fā)展歷史。2.考察了20世紀(jì)上半葉中國學(xué)者對數(shù)理邏輯的引介工作。分析了羅素來華之前,中國學(xué)者關(guān)于數(shù)理邏輯的探討以及羅素《數(shù)理邏輯》講演的歷史背... 

【文章來源】：內(nèi)蒙古師范大學(xué)內(nèi)蒙古自治區(qū)

【文章頁數(shù)】：180 頁

【學(xué)位級別】：博士

【部分圖文】：

研究思路

內(nèi)蒙古師范大學(xué)博士學(xué)位論文40圖3-1《羅素算理哲學(xué)》圖3-2《算理哲學(xué)》（一、二）4.羅素在第12章“掄選法及相乘公理”中說道：給定兩個類，分別含u、v個元素，那么他們的乘積含vu個元素。傅、張?zhí)岢觯羧2，0v，是否可以理解為含0個元素的類的子類構(gòu)成的類含02個元素。5.關(guān)于“上極限”和“極限”的定義。傅、張構(gòu)造了一個集合，含有a,b,c三個元素，彼此之間有關(guān)系P，并且與外的元素d有關(guān)系P。那么根據(jù)羅素關(guān)于“上極限”和“極限的定義”，得出結(jié)論：d是集合的上極限但不是極限。6.書中的“大于”可以用“不小于”代替。7.書中的Subordinateseries（從屬序列）和sub-series（子序列）之間的區(qū)別是什么。8.是否可以用“序級”或“”代替“每一個從屬序列”。[1]遺憾的是，羅素當(dāng)時正受疾病困擾，傅、張二人并不知情，而且也沒有資料表明羅素是否收到過這封信�！读_素算理哲學(xué)》（圖3-1）1922年作為共學(xué)社“羅素叢書”[2]之一由商務(wù)印書館出版，1924年、1933年再版；1930年以上下兩冊收入民國萬有文庫，編號0079（圖3-2）；1982年，由晏成書（1923-1995）翻譯，命名為《數(shù)理哲學(xué)導(dǎo)論》（圖3-3），由商務(wù)印書館出版�！读_素算理哲學(xué)》保留了原著所有內(nèi)容，包括著者原序、原書出版者的弁言、正文內(nèi)容共十八章及索引，譯著將索引部分改成“中英名詞對照表”，以便讀者參考。正文內(nèi)容由自然數(shù)纚；數(shù)之界說；有[1]XuYibao．BertrandRussellandtheIntroductionofMathematicalLogicinChina［J］.HistoryandPhilosophyofLogic，2003（24）：185-187.[2]“共學(xué)社”于1920年4月在北京成立，主要以翻譯西方書籍為主，由梁啟超等人發(fā)起，核心人物有蔣百里、張君勱和張東蓀等。羅素來華之后，商務(wù)印書館資助共學(xué)社出版了一套羅素叢書。羅素叢?

內(nèi)蒙古師范大學(xué)博士學(xué)位論文40圖3-1《羅素算理哲學(xué)》圖3-2《算理哲學(xué)》（一、二）4.羅素在第12章“掄選法及相乘公理”中說道：給定兩個類，分別含u、v個元素，那么他們的乘積含vu個元素。傅、張?zhí)岢�，若取u2，0v，是否可以理解為含0個元素的類的子類構(gòu)成的類含02個元素。5.關(guān)于“上極限”和“極限”的定義。傅、張構(gòu)造了一個集合，含有a,b,c三個元素，彼此之間有關(guān)系P，并且與外的元素d有關(guān)系P。那么根據(jù)羅素關(guān)于“上極限”和“極限的定義”，得出結(jié)論：d是集合的上極限但不是極限。6.書中的“大于”可以用“不小于”代替。7.書中的Subordinateseries（從屬序列）和sub-series（子序列）之間的區(qū)別是什么。8.是否可以用“序級”或“”代替“每一個從屬序列”。[1]遺憾的是，羅素當(dāng)時正受疾病困擾，傅、張二人并不知情，而且也沒有資料表明羅素是否收到過這封信�！读_素算理哲學(xué)》（圖3-1）1922年作為共學(xué)社“羅素叢書”[2]之一由商務(wù)印書館出版，1924年、1933年再版；1930年以上下兩冊收入民國萬有文庫，編號0079（圖3-2）；1982年，由晏成書（1923-1995）翻譯，命名為《數(shù)理哲學(xué)導(dǎo)論》（圖3-3），由商務(wù)印書館出版�！读_素算理哲學(xué)》保留了原著所有內(nèi)容，包括著者原序、原書出版者的弁言、正文內(nèi)容共十八章及索引，譯著將索引部分改成“中英名詞對照表”，以便讀者參考。正文內(nèi)容由自然數(shù)纚；數(shù)之界說；有[1]XuYibao．BertrandRussellandtheIntroductionofMathematicalLogicinChina［J］.HistoryandPhilosophyofLogic，2003（24）：185-187.[2]“共學(xué)社”于1920年4月在北京成立，主要以翻譯西方書籍為主，由梁啟超等人發(fā)起，核心人物有蔣百里、張君勱和張東蓀等。羅素來華之后，商務(wù)印書館資助共學(xué)社出版了一套羅素叢書。羅素叢?

【參考文獻(xiàn)】：
期刊論文
[1]張申府對數(shù)理邏輯在中國早期傳播的貢獻(xiàn)[J]. 蘇日娜,代欽.  數(shù)學(xué)通報. 2019(10)
[2]《羅素算理哲學(xué)》與數(shù)理邏輯在中國的早期傳播[J]. 蘇日娜,代欽,敖特根.  自然辯證法通訊. 2019(11)
[3]數(shù)理邏輯[J].   語數(shù)外學(xué)習(xí)(高中版上旬). 2019(05)
[4]數(shù)學(xué)大家 九三先賢——紀(jì)念湯璪真誕辰120周年[J]. 李仲來.  民主與科學(xué). 2018(03)
[5]新中國建立初期高校院系調(diào)整的歷史考察[J]. 蘇知心.  江蘇第二師范學(xué)院學(xué)報. 2018(01)
[6]湯璪真對絕對微分學(xué)中微分分配性質(zhì)的改進(jìn)[J]. 黃金子.  廣西民族大學(xué)學(xué)報(自然科學(xué)版). 2017(03)
[7]沈有鼎邏輯思想研究及其意義[J]. 谷成城,文艷,張曉芒.  重慶理工大學(xué)學(xué)報(社會科學(xué)). 2017(07)
[8]20世紀(jì)前期現(xiàn)代邏輯在中國的譯介補(bǔ)述[J]. 何楊.  現(xiàn)代哲學(xué). 2017(02)
[9]王浩的生平與學(xué)術(shù)成就（英文）[J]. 張尚水,張家龍,張清宇,王路.  邏輯學(xué)研究. 2016(02)
[10]論貴州教育家肖文燦的“四有”精神[J]. 張勇.  教育文化論壇. 2016(01)

博士論文
[1]20世紀(jì)的中國邏輯史研究[D]. 張晴.中國社會科學(xué)院研究生院 2003

碩士論文
[1]羅素的數(shù)學(xué)邏輯主義思想研究[D]. 陳志美.華南師范大學(xué) 2002



本文編號：3261091