数学基础是研究数学最基本的概念和逻辑结构,着眼于人类知识的统一 。其中最基本的数学概念有:数、形、集、函数、算法、数学公理、数学定义、数学证明 。
读者可能会问数学不是太狭隘了吗?数学哲学不是有着相当专业的兴趣吗?与哲学中广泛的人文问题,如善、真、美等问题相比,更是如此?
在一般哲学中讨论数学有三个原因:数学在科学思想中一直扮演着特殊的角色 。数学对象的抽象本质提出了不同寻常和独特的哲学挑战 。
数学基础是一门技术复杂程度极高的学科 。因此,许多思想家推测数学基础可以作为其他科学基础的模型或模式 。数学哲学是一个高度明确的试验平台,数学家和哲学家都可以在这里探索各种一般哲学学说在特定科学背景下的表现 。
我的目的是说明逻辑在数学基础中的作用 。有个故事,欧几里德几何在通往柏拉图学院的大门上方,有一个著名的铭文:不要让不懂几何学的人进入这里 。柏拉图就这样表明了他对几何学的高度评价 。
柏拉图认为几何学是“培养哲学家的第一要素”,因为它的抽象性 。欧几里德从21个定义、5个假设和5个共同概念开始 。在那之后,其余的元素是一个精心演绎的结构,由数百个命题组成 。每个命题都有自己的论证 。这些论证是三段论的形式 。在每一个三段论中,前提都被确定为来自定义、假设、共同概念和先前论证的命题 。例如,在任何三角形中,如果产生一条边,则外角大于内角和对角中的任何一个是一系列三段论 。
假设2,如果两条直线彼此相切,它们使垂直角彼此相等 。的确,欧几里德的三段论并不总是严格符合亚里士多德的模板 。然而,标准是非常高的,亚里士多德的影响是显而易见的 。亚里士多德的逻辑学和欧几里德的几何学是古希腊公认的伟大科学成就 。数学形式理论几何的形式理论随着17世纪和18世纪微积分的出现,数学发展非常迅速,很少关注逻辑基础 。欧几里德的几何学仍然被认为是逻辑严谨的典范,是一门组织良好的科学学科,光辉典范 。但多产的启蒙主义数学家几乎没有兴趣尝试把微积分放在一个同样坚实的基础上 。直到19世纪后半叶,科学家们才开始认真地研究这个基本问题 。由此产生的危机产生了深远的后果 。甚至欧几里德的几何学本身也受到了严格的审查 。诸如几何学家发现了他们所认为的元素中的缺口或不精确之处 。所有这些基础性活动的一个结果就是彻底的改革 。
致敬亚里士多德!
在逻辑上,存在优先于所有其他的现实,因为一个事物不可能以某种方式存在,除非它只是存在 。因此,由于存在的这种逻辑优先性,托马斯称之为“最形式的存在”,“它是所有行为的现实性”,因为一个事物是以存在为美德的,“行为是以假设为基础的” 。

文章插图

文章插图

文章插图
因果之推算,易学之变化之因,规律之总结,思维之方式,科学之理论,善恶之理性…说法不同…客观多角度观察收集,分析判断,以便合理解释,找到共通之处,道理,真理 。

文章插图
因果
因为你打人了并致人轻伤,有人报警了,受伤的不愿意调解,你必受法很惩罚 。
长辈为人缺德,子女必然会被人不会比,长辈为人和善家的子女,少帮助扶助 。
什么家风教育出什么样的人品,大多数如此
- 螃蟹脚的功效与作用
- 凯旋门是什么牌子的包包 圣罗兰的包包辨别真假
- 百度地图如何开启自动省电模式?百度地图开启自动省电模式的方法
- 海底的生物有什么
- 微光怎么看自己的视频播放 微光怎么看自己的视频
- wps中怎么使用自带论文查重功能?wps中使用自带论文查重功能的方法
- 怎样挑选石斛最好?
- 西凤酒是哪个省的
- 日本人的英文 怎么造句呢
- 颜色的名称
