数理逻辑在中国的发展史研究（1920-1966）
发布时间：2021-07-02 19:35
数理逻辑,又称符号逻辑、理论逻辑或逻辑斯蒂,数学的一个分支,用数学方法研究的逻辑或形式逻辑。数理逻辑诞生于17世纪末,迄今为止,已有三百余年的历史。数理逻辑最初是作为“运用数学方法的逻辑”而兴起的。随后,数学的发展提出并要求解决数学的逻辑和哲学基础问题,于是数理逻辑又进一步发展成主要是“关于数学的逻辑”,并且与数学基础理论相结合,成了一门具有强大生命力和广泛应用的数学科学。1920年,随着英国著名哲学家、数学家、社会活动家,数理逻辑的集大成者罗素（1872-1970）来华,数理逻辑正式传入中国。本文以1920-1966年间数理逻辑在中国的发展历史为研究对象,在系统地挖掘、收集和整理原始文献和研究文献的基础上,进行了较为细致和深入的研究,力图从整体上厘清其发展的基本脉络,呈现主要科学家的贡献和中外数理逻辑交流等情况,较为客观地反映其发展水平和特点。本文主要包括以下4部分内容:1.分前史时期、第一阶段、第二阶段、第三阶段梳理数理逻辑的诞生及其各分支的发展历史。2.考察了20世纪上半叶中国学者对数理逻辑的引介工作。分析了罗素来华之前,中国学者关于数理逻辑的探讨以及罗素《数理逻辑》讲演的历史背...
【文章来源】：内蒙古师范大学内蒙古自治区
【文章页数】：180 页
【学位级别】：博士
【部分图文】：
研究思路
内蒙古师范大学博士学位论文40图3-1《罗素算理哲学》图3-2《算理哲学》（一、二）4.罗素在第12章“抡选法及相乘公理”中说道：给定两个类，分别含u、v个元素，那么他们的乘积含vu个元素。傅、张提出，若取u2，0v，是否可以理解为含0个元素的类的子类构成的类含02个元素。5.关于“上极限”和“极限”的定义。傅、张构造了一个集合，含有a,b,c三个元素，彼此之间有关系P，并且与外的元素d有关系P。那么根据罗素关于“上极限”和“极限的定义”，得出结论：d是集合的上极限但不是极限。6.书中的“大于”可以用“不小于”代替。7.书中的Subordinateseries（从属序列）和sub-series（子序列）之间的区别是什么。8.是否可以用“序级”或“”代替“每一个从属序列”。[1]遗憾的是，罗素当时正受疾病困扰，傅、张二人并不知情，而且也没有资料表明罗素是否收到过这封信。《罗素算理哲学》（图3-1）1922年作为共学社“罗素丛书”[2]之一由商务印书馆出版，1924年、1933年再版；1930年以上下两册收入民国万有文库，编号0079（图3-2）；1982年，由晏成书（1923-1995）翻译，命名为《数理哲学导论》（图3-3），由商务印书馆出版。《罗素算理哲学》保留了原著所有内容，包括著者原序、原书出版者的弁言、正文内容共十八章及索引，译著将索引部分改成“中英名词对照表”，以便读者参考。正文内容由自然数纚；数之界说；有[1]XuYibao．BertrandRussellandtheIntroductionofMathematicalLogicinChina［J］.HistoryandPhilosophyofLogic，2003（24）：185-187.[2]“共学社”于1920年4月在北京成立，主要以翻译西方书籍为主，由梁启超等人发起，核心人物有蒋百里、张君劢和张东荪等。罗素来华之后，商务印书馆资助共学社出版了一套罗素丛书。罗素丛?
内蒙古师范大学博士学位论文40图3-1《罗素算理哲学》图3-2《算理哲学》（一、二）4.罗素在第12章“抡选法及相乘公理”中说道：给定两个类，分别含u、v个元素，那么他们的乘积含vu个元素。傅、张提出，若取u2，0v，是否可以理解为含0个元素的类的子类构成的类含02个元素。5.关于“上极限”和“极限”的定义。傅、张构造了一个集合，含有a,b,c三个元素，彼此之间有关系P，并且与外的元素d有关系P。那么根据罗素关于“上极限”和“极限的定义”，得出结论：d是集合的上极限但不是极限。6.书中的“大于”可以用“不小于”代替。7.书中的Subordinateseries（从属序列）和sub-series（子序列）之间的区别是什么。8.是否可以用“序级”或“”代替“每一个从属序列”。[1]遗憾的是，罗素当时正受疾病困扰，傅、张二人并不知情，而且也没有资料表明罗素是否收到过这封信。《罗素算理哲学》（图3-1）1922年作为共学社“罗素丛书”[2]之一由商务印书馆出版，1924年、1933年再版；1930年以上下两册收入民国万有文库，编号0079（图3-2）；1982年，由晏成书（1923-1995）翻译，命名为《数理哲学导论》（图3-3），由商务印书馆出版。《罗素算理哲学》保留了原著所有内容，包括著者原序、原书出版者的弁言、正文内容共十八章及索引，译著将索引部分改成“中英名词对照表”，以便读者参考。正文内容由自然数纚；数之界说；有[1]XuYibao．BertrandRussellandtheIntroductionofMathematicalLogicinChina［J］.HistoryandPhilosophyofLogic，2003（24）：185-187.[2]“共学社”于1920年4月在北京成立，主要以翻译西方书籍为主，由梁启超等人发起，核心人物有蒋百里、张君劢和张东荪等。罗素来华之后，商务印书馆资助共学社出版了一套罗素丛书。罗素丛?
【参考文献】：
期刊论文
[1]张申府对数理逻辑在中国早期传播的贡献[J]. 苏日娜,代钦. 数学通报. 2019(10)
[2]《罗素算理哲学》与数理逻辑在中国的早期传播[J]. 苏日娜,代钦,敖特根. 自然辩证法通讯. 2019(11)
[3]数理逻辑[J]. 语数外学习(高中版上旬). 2019(05)
[4]数学大家 九三先贤——纪念汤璪真诞辰120周年[J]. 李仲来. 民主与科学. 2018(03)
[5]新中国建立初期高校院系调整的历史考察[J]. 苏知心. 江苏第二师范学院学报. 2018(01)
[6]汤璪真对绝对微分学中微分分配性质的改进[J]. 黄金子. 广西民族大学学报(自然科学版). 2017(03)
[7]沈有鼎逻辑思想研究及其意义[J]. 谷成城,文艳,张晓芒. 重庆理工大学学报(社会科学). 2017(07)
[8]20世纪前期现代逻辑在中国的译介补述[J]. 何杨. 现代哲学. 2017(02)
[9]王浩的生平与学术成就（英文）[J]. 张尚水,张家龙,张清宇,王路. 逻辑学研究. 2016(02)
[10]论贵州教育家肖文灿的“四有”精神[J]. 张勇. 教育文化论坛. 2016(01)
博士论文
[1]20世纪的中国逻辑史研究[D]. 张晴.中国社会科学院研究生院 2003
硕士论文
[1]罗素的数学逻辑主义思想研究[D]. 陈志美.华南师范大学 2002
本文编号：3261091
【文章来源】：内蒙古师范大学内蒙古自治区
【文章页数】：180 页
【学位级别】：博士
【部分图文】：
研究思路
内蒙古师范大学博士学位论文40图3-1《罗素算理哲学》图3-2《算理哲学》（一、二）4.罗素在第12章“抡选法及相乘公理”中说道：给定两个类，分别含u、v个元素，那么他们的乘积含vu个元素。傅、张提出，若取u2，0v，是否可以理解为含0个元素的类的子类构成的类含02个元素。5.关于“上极限”和“极限”的定义。傅、张构造了一个集合，含有a,b,c三个元素，彼此之间有关系P，并且与外的元素d有关系P。那么根据罗素关于“上极限”和“极限的定义”，得出结论：d是集合的上极限但不是极限。6.书中的“大于”可以用“不小于”代替。7.书中的Subordinateseries（从属序列）和sub-series（子序列）之间的区别是什么。8.是否可以用“序级”或“”代替“每一个从属序列”。[1]遗憾的是，罗素当时正受疾病困扰，傅、张二人并不知情，而且也没有资料表明罗素是否收到过这封信。《罗素算理哲学》（图3-1）1922年作为共学社“罗素丛书”[2]之一由商务印书馆出版，1924年、1933年再版；1930年以上下两册收入民国万有文库，编号0079（图3-2）；1982年，由晏成书（1923-1995）翻译，命名为《数理哲学导论》（图3-3），由商务印书馆出版。《罗素算理哲学》保留了原著所有内容，包括著者原序、原书出版者的弁言、正文内容共十八章及索引，译著将索引部分改成“中英名词对照表”，以便读者参考。正文内容由自然数纚；数之界说；有[1]XuYibao．BertrandRussellandtheIntroductionofMathematicalLogicinChina［J］.HistoryandPhilosophyofLogic，2003（24）：185-187.[2]“共学社”于1920年4月在北京成立，主要以翻译西方书籍为主，由梁启超等人发起，核心人物有蒋百里、张君劢和张东荪等。罗素来华之后，商务印书馆资助共学社出版了一套罗素丛书。罗素丛?
内蒙古师范大学博士学位论文40图3-1《罗素算理哲学》图3-2《算理哲学》（一、二）4.罗素在第12章“抡选法及相乘公理”中说道：给定两个类，分别含u、v个元素，那么他们的乘积含vu个元素。傅、张提出，若取u2，0v，是否可以理解为含0个元素的类的子类构成的类含02个元素。5.关于“上极限”和“极限”的定义。傅、张构造了一个集合，含有a,b,c三个元素，彼此之间有关系P，并且与外的元素d有关系P。那么根据罗素关于“上极限”和“极限的定义”，得出结论：d是集合的上极限但不是极限。6.书中的“大于”可以用“不小于”代替。7.书中的Subordinateseries（从属序列）和sub-series（子序列）之间的区别是什么。8.是否可以用“序级”或“”代替“每一个从属序列”。[1]遗憾的是，罗素当时正受疾病困扰，傅、张二人并不知情，而且也没有资料表明罗素是否收到过这封信。《罗素算理哲学》（图3-1）1922年作为共学社“罗素丛书”[2]之一由商务印书馆出版，1924年、1933年再版；1930年以上下两册收入民国万有文库，编号0079（图3-2）；1982年，由晏成书（1923-1995）翻译，命名为《数理哲学导论》（图3-3），由商务印书馆出版。《罗素算理哲学》保留了原著所有内容，包括著者原序、原书出版者的弁言、正文内容共十八章及索引，译著将索引部分改成“中英名词对照表”，以便读者参考。正文内容由自然数纚；数之界说；有[1]XuYibao．BertrandRussellandtheIntroductionofMathematicalLogicinChina［J］.HistoryandPhilosophyofLogic，2003（24）：185-187.[2]“共学社”于1920年4月在北京成立，主要以翻译西方书籍为主，由梁启超等人发起，核心人物有蒋百里、张君劢和张东荪等。罗素来华之后，商务印书馆资助共学社出版了一套罗素丛书。罗素丛?
【参考文献】：
期刊论文
[1]张申府对数理逻辑在中国早期传播的贡献[J]. 苏日娜,代钦. 数学通报. 2019(10)
[2]《罗素算理哲学》与数理逻辑在中国的早期传播[J]. 苏日娜,代钦,敖特根. 自然辩证法通讯. 2019(11)
[3]数理逻辑[J]. 语数外学习(高中版上旬). 2019(05)
[4]数学大家 九三先贤——纪念汤璪真诞辰120周年[J]. 李仲来. 民主与科学. 2018(03)
[5]新中国建立初期高校院系调整的历史考察[J]. 苏知心. 江苏第二师范学院学报. 2018(01)
[6]汤璪真对绝对微分学中微分分配性质的改进[J]. 黄金子. 广西民族大学学报(自然科学版). 2017(03)
[7]沈有鼎逻辑思想研究及其意义[J]. 谷成城,文艳,张晓芒. 重庆理工大学学报(社会科学). 2017(07)
[8]20世纪前期现代逻辑在中国的译介补述[J]. 何杨. 现代哲学. 2017(02)
[9]王浩的生平与学术成就（英文）[J]. 张尚水,张家龙,张清宇,王路. 逻辑学研究. 2016(02)
[10]论贵州教育家肖文灿的“四有”精神[J]. 张勇. 教育文化论坛. 2016(01)
博士论文
[1]20世纪的中国逻辑史研究[D]. 张晴.中国社会科学院研究生院 2003
硕士论文
[1]罗素的数学逻辑主义思想研究[D]. 陈志美.华南师范大学 2002
本文编号：3261091
本文链接：https://www.wllwen.com/shekelunwen/ljx/3261091.html
