书荐丨《从数学到哲学》:近代著名数理逻辑学家王浩哲学代表作...
邢滔滔,北京大学哲学系教授。著有《数理逻辑》等。☆名家推荐:王浩无疑是在国际哲学与逻辑学界最知名、最有成就的华裔学者。他在数理逻辑、数学基础的技术领域有许多开创性的贡献,同时他也在哲学方面对分析哲学提出了深刻的批评。他的这部著作,一边深入浅出地介绍数理逻辑与数学基础的基本概念与成果,一边借此阐述...
书单| 数学思维到底是什么?|科学|代数|哲学|逻辑学|贝叶斯_网易订阅
译者:高坤、邢滔滔近代著名数理逻辑学家王浩在数学、逻辑学、计算机科学领域有着超高天赋和开拓性成果,他一生痴迷于哲学研究,是对世界哲学作出过深刻贡献的华裔学者。本书是王浩的代表作,是其正面集中阐释自己哲学思想的作品。循着从柏拉图到哥德尔的“数学-哲学家”传统,王浩在书中首次对实质事实主义一般立场进行了...
高坤读《从数学到哲学》|王浩的爱智之旅
王浩在《数哲》中单辟一章讨论了集合的概念,它是王浩知识学研究的一个精华部分,当代著名数学哲学家帕森斯(CharlesParsons)就曾评论说,该章应该被所有寻求对此问题之成熟理解的人当作第一读本(参见邢滔滔《逻辑之旅》译后记)。王浩著《逻辑之旅:从哥德尔到哲学》集合的概念是整个现代数学的基础,现代数学的所有概...
“中西的名、实与逻辑学”
讲座由北京大学哲学系教授邢滔滔主讲,主题是“中西的名、实与逻辑学”,中国人民大学哲学院裘江杰主持。中国人民大学哲学院裘江杰主持裘江杰首先介绍了邢滔滔的研究领域及其学术成就。邢滔滔现为北京大学哲学系教授,逻辑教研室主任。主要研究领域为符号逻辑、数学哲学、宗教哲学、中国古代逻辑思想。编、著有《数理逻辑》(...
第一届王浩学术讲座暨学术研讨会在清华大学举行
中科院数学与系统科学研究所副研究员吴刘臻报告的主题为“从笛卡尔平方到幂集的满射”(AsurjectionfromCartesiansquareontopowerset)。北京大学逻辑学教研室主任邢滔滔教授报告了关于“王浩先生的直谓主义理论”(HaoWangonPredicativism)的研究。
逻辑究竟是什么以及逻辑应当是什么?
为什么黑格尔的逻辑叫逻辑,而弗雷格的逻辑也叫逻辑?这是一个比它表面看起来更根本的问题(www.e993.com)2024年10月23日。当然我们可以完全表面地去理解它,即认为黑格尔误用甚至滥用了“逻辑”这个词,也可以说自黑格尔以后,特别是从弗雷格开始,逻辑有了完全不同于黑格尔的,同时也完全固定的含义。但这样的理解和答案显然不能令人满意,因为我们可以进一步...
用好算法,迈向智能社会(开卷知新)
现代逻辑学,特别是数理逻辑,则为算法提供了完善的形式化语言描述。这种形式语言及公理系统方法,为现代算法发展打下良好的语言基础。现代算法与计算机技术密不可分。1946年世界上第一台电子计算机诞生,此后计算机性能不断提升,其强大的运算能力将人类从重复、机械的繁琐推导和计算中解放出来。对计算机来说,算法就是处理...