集合与数理逻辑哪个更基础?
来源:互联网 发布:淘宝有没有人工客服 编辑:程序博客网 时间:2024/05/01 03:46
大部分的离散数学图书第一章不是集合论就是数理逻辑,那到底是集合论基础一点还是数理逻辑基础一点?
从这个粗略的结构图可以初步看出来,集合与逻辑是两种不同的基础,没有谁比谁更基础的问题。大家工作在不同的维度上。集合与以其为基础派生出来的形成层次结构的各概念是静态的结构概念;逻辑推理则为形成这样的结构提供了逻辑工具--定义、定理和证明。属方法论哲学层面的概念。也就是所谓有工具性学科:工具性的科学是学习其它专门科学知识的工具。参考如下的形式逻辑作一门工具性学科在科学中的角色和意义:
现在来小结一下这个经典的概念层次结构:
集合
定义二:A set is any well-defined collection of objects, each of which is called a member or an element of the set.
定义三:集合是一个范畴类概念,因此是一个不予定义的概念,只能通过描述它的一些特性加以说明。所谓“集合”,是由我们的知觉或思维确定的总体。明确区分的对象m聚集成一个整体M,这些对象叫做M的“元素”。
定义四: 将具有某种特征或满足一定性质的所有对象或事物视为一个整体时,这一整体就称为集合,而这些事物或对象就称为属于该集合的元素。
集合 A A是由明确区分的对象聚集成的一
个整体
元素 a a是明确区分的对象
属于 a∈A a属于A,a是A的元素
不属于 a∉A 或 ¬ (a∈A) a不属于A,a不是A的元素 注意数理逻辑出现了--逻辑 非¬
集合A A = {a,b,c} 或 A = {a,b,c,……} 集合A由a,b,c,……等元素组成
集合B B = {x| P(x)} 集合B由具有性质P(x)的元素x组成
子集 A ⊆ B 或 B ⊇ A
从这个粗略的结构图可以初步看出来,集合与逻辑是两种不同的基础,没有谁比谁更基础的问题。大家工作在不同的维度上。集合与以其为基础派生出来的形成层次结构的各概念是静态的结构概念;逻辑推理则为形成这样的结构提供了逻辑工具--定义、定理和证明。属方法论哲学层面的概念。也就是所谓有工具性学科:工具性的科学是学习其它专门科学知识的工具。参考如下的形式逻辑作一门工具性学科在科学中的角色和意义:
形式逻辑不是哲学,不是世界观的组成部分。它和语法相类似,属于工具性科学的范畴。形式逻·辑知识同一切专门科学推理论证的思维逻辑形式有密切联系,因此,它是其它专门科学推理、论证知识方面必不可少的工具。它是学习任何专门科学所必不可少的,但不能代替任何专门科学。正如语法学习的再好并不能代替其它科学的学习一样,形式逻辑除了解决思维逻辑形式方面(概念明确、判断恰当、推理合乎逻辑、论证有说服力)的问题之外,不能解决任何具体科学问题。
现在来小结一下这个经典的概念层次结构:
集合
- 定义:
定义二:A set is any well-defined collection of objects, each of which is called a member or an element of the set.
定义三:集合是一个范畴类概念,因此是一个不予定义的概念,只能通过描述它的一些特性加以说明。所谓“集合”,是由我们的知觉或思维确定的总体。明确区分的对象m聚集成一个整体M,这些对象叫做M的“元素”。
定义四: 将具有某种特征或满足一定性质的所有对象或事物视为一个整体时,这一整体就称为集合,而这些事物或对象就称为属于该集合的元素。
- 形式表述:
集合 A A是由明确区分的对象聚集成的一
个整体
元素 a a是明确区分的对象
属于 a∈A a属于A,a是A的元素
不属于 a∉A 或 ¬ (a∈A) a不属于A,a不是A的元素 注意数理逻辑出现了--逻辑 非¬
集合A A = {a,b,c} 或 A = {a,b,c,……} 集合A由a,b,c,……等元素组成
集合B B = {x| P(x)} 集合B由具有性质P(x)的元素x组成
子集 A ⊆ B 或 B ⊇ A
- 集合与数理逻辑哪个更基础?
- 哪个更“开放”:FreeBSD与Linux比较
- 哪个更“开放”:FreeBSD与Linux比较
- c++与c#哪个更适合自学
- 职业教育与学历教育,哪个更重要?
- 存储过程与Insert哪个更快
- 哪个更“开放” FreeBSD与Linux比较
- 哪个更“开放” FreeBSD与Linux比较
- Linux与Windows哪个更适合你?
- 离散数学基础-数理逻辑
- 数理逻辑基础概念
- 数理逻辑--归纳与演绎
- 数理逻辑与集合论发展
- 数理逻辑与集合论
- Linux与Windows哪个更合你的味口
- 解放日报:“爱国病毒”与“谢谢中国”哪个更可怕
- 酸奶与牛奶哪个更容易使人发胖
- IT项目管理中,技术与管理哪个更重要?
- Access关键字如下
- jexcelapi使用小记
- 最近在做什么呢,稍微总结一把
- C#读写者线程(用AutoResetEvent实现同步)
- 技巧:在Silverlight应用程序中进行数据验证
- 集合与数理逻辑哪个更基础?
- openlayers
- Hibernate 入门(1)
- Hibernate 入门(2)
- Hibernate 入门(3)
- 在Eclipse3.0.x配置基于STRUTS的WEB开发环境
- hibernate官方入门教程 (转载)
- 新博客开张
- 如何学习linux编程(转载)