罗素的《数理哲学导论》
这本书以数学的算术化为起点,即用自然数定义数学中的其他概念,由自然数的性质导出数学中的所有命题。在肯定数学能归约到自然数的理论后,下一步应该是将自然数的理论再行归约,到最小一组概念和前提。弗芮格成功的达到了用纯逻辑的概念定义数。所谓数就是某一个类的数(项数或基数),而一个类的数就是所有和这个类有一一对应关系的类的类。然后用一个类的数定义0与后继,进而定义自然数。不仅皮亚诺的三个基本概念可以定义,皮亚诺的五个基本命题,包括数学归纳法,也可以有以上的定义推导得出。在自然数中,1是0的后继,2是1的后继,如此等等。自然数形成一个有一定次序的序列。在自然数序列的基础上,罗素逐步引出有理数,实数和复数。本书也有错误:即把数学等同于逻辑,把数学看成逻辑的延伸。把类看成是逻辑的虚构,所以数也是逻辑的虚构,也是错的。因为他把抽象的一般的东西,如类和集合看成是人们思维的虚构,或者是符号的虚构,是错的。(未完待续)
罗素的《数理哲学导论》相关推荐
- 皮亚诺算术体系 【第一章 自然数串】(数理哲学导论)
最近在阅读罗素大神的数理哲学导论,本书是罗素继1903年问世的<数学原则>和1910-1913年出版的三大卷黄黄巨著<数学原理>之后所写的一本书,本来是想直接开肝数学原理的,但 ...
- 数的定义 【第二章 数的定义】(数理哲学导论)
一对一的定义: 如果x对y有所说的关系,则没有其他的项x'对y有这种关系:并且x对于y以外的任何项y'也没有相同的关系 多对一与一对多定义: 只满足一对一条件中的第一个的关系称为一对多关系,只满足第二 ...
- 《华中科技大学公开课:哲学导论》 摘抄
http://v.163.com/movie/2012/3/Q/V/M7SRRCG2O_M7SU8CAQV.html <华中科技大学公开课:哲学导论> <人的哲学> 幸福: ...
- 阅读笔记 |《科学史和科学哲学导论》舒斯特
目录 第一篇 科学史与"事实崇拜" 第1章 导论 第2章 面对事实的历史学家和科学史家 第3章 科学史中的辉格史观问题 第4章 事实和知觉的"理论渗透" 第二篇 ...
- 【操作系统之哲学导论】进程/线程管理篇
文章目录 基础原理 操作系统导论 1.程序是如何运行的 2.操作系统的核心功能 操作系统基本概念 1.计算机硬件基本知识 2.用户态和内核态 3.进程 4.系统调用 5.壳 进程管理 进程 进程调度 ...
- 哲学导论--读书笔记
看了前两章... 随手做个笔记... 哲学.宗教和科学一直都是紧密相关的.它们虽然各有侧重,但目标都是一样的,那就是强调思想和认识的重要性,强调理解我们这个世界,从某种更宏观的甚至是从宇宙的角度来审视 ...
- 王德峰的《哲学导论》评论 1
10年第5次. 1.我不认为哲学是民族所独有的,存在一个超出民族范围的哲学.(仁是什么,这根本无关紧要,孔老二也只是个普通人丧家狗而已) 2.自由不是欲望得到满足,而是人可以去追求欲望的这个过程.至于 ...
- 【操作系统之哲学导论】其它
文章目录 IO原理篇 多核原理篇 多核环境下的进程同步与调度 操作系统设计之哲学原理 IO原理篇 1.从操作系统设计人员来看,输入输出设备分为两种,字符设备和块设备 字符设备以字符为单位,不能寻址,例 ...
- 《大问题:简明哲学导论》读书笔记及个人所想
前言 哲学.宗教和科学一直都是紧密相关的.它们虽各有侧重,但目标都是一样的,那就是强调思想和认识的重要性,强调理解我们这个世界,从某种更宏观的甚至是从宇宙的角度来审视我们生活的重要性.思想,决定了 ...
最新文章
- 异常:System.BadImageFormatException,未能加载正确的程序集XXX或其某一依赖项
- SELECT COUNT(*) 底层究竟干了啥么?
- 中国矿山机械行业运行现状与投资战略规划报告2022版
- 保持你的决心——《传说之下》背后的设计之道
- scipy.ndimage.zoom上采样与下采样
- MVC开发中的常见错误-04-“System.NullReferenceException”类型的异常在 BBFJ.OA.WebApp.dll 中发生,但未在用户代码中进行处理...
- 第 8 章 容器网络 - 061 - flannel 的连通与隔离
- 优秀ppt作品范例_毕业论文答辩ppt模板优秀范例
- Ubuntu 16.04服务器 软件的安装及配置
- C++Builder 2010深入TApplication类之方法
- 学习总结:即时通讯项目里面的语音处理-文件模式录音
- Gitlab用户角色权限Guest、Reporter、Developer、Master、Owner
- ubuntu php代码编辑器,Linux_ubuntu16.04编辑器vi该怎么使用?,vi编辑器,ubuntu中最基本的文 - phpStudy...
- 房子要室内设计了,先从讲装修的施工工艺开始!
- ofo小黄车骑车券无条件领取,人人有份!
- 新三板上市企业专利数据(含发明专利、实用新型专利、外观设计专利)
- linux bt客户端 命令行,Linux下的Bt客户端
- 【数据结构与算法】一篇文章彻底搞懂二分查找(思路图解+代码优化)两种实现方式,递归与非递归
- ASP.NET格式转换
- 税控盘签名认证服务器状态,不用插税盘,也可以勾选认证发票、确认签名了 !...