Compression Digest
compression/_posts/2014-04-04-math-is-the-basis-of-science.md
数学是科学的基础
[Literal] 古以色列人的宗教教义强调与唯一绝对的人格神所订立的契约,并接受神的审判,这种对契约的敬畏促使他们将思考推向逻辑方向。[Literal] 以色列宗教中神与先知的争论,以及对命令正确性的辨明,孕育了逻辑学并促使其与数学结合。[AI Synthesis] 这种强调逻辑和辩论的宗教传统,为数学成为科学的“龙头”奠定了基础。[Literal] 中国数学虽与实用性紧密相关,但缺乏如希腊欧几里得几何学那样的显性论证性,因此未能形成前后一贯的逻辑体系。[Literal] 逻辑体系需要获得宗教上的合理性,摆脱魔术和巫术的纠缠,才能单纯运作。[Literal] “问题有没有答案”是人类面临的最大问题,而“神是否真的存在”是神学最大的难题。[Literal] 古代中国虽喜好逻辑辩论,但未能综合归结出形式逻辑学的理论法则,其逻辑主要依赖揣摩对方心情和说服技巧,而非客观真理。[Literal] 古以色列的一神教,通过神与人之间绝对的契约概念,催生了高度精密的逻辑学,特别是“矛盾律”和“排中律”,成为数学的源头。[Literal] 矛盾律规定两个命题不会都为真或都为假,排中律则排除了第三种可能性,这两个原则构成了形式逻辑学的基础。[Literal] 归谬法,以矛盾律为基础,促使科学研究的态度从“真理的发现”转变为“模型的建构”。[Literal] 科学通过将“可能正确”的归纳法替换为“正确”而发展,尽管归纳法本身只能导出可能正确的规律,而非绝对正确的规律。[Literal] 近代资本主义的根基“私人所有权”源于基督教中神对受造物的绝对所有权,其抽象性和绝对性使得资本主义社会能够以数学方式处理所有权问题,验证同一律、矛盾律、排中律。
Key points
- [Literal] 古以色列宗教对契约的强调以及神与先知的争论,是逻辑学和数学结合的催化剂。
- [Literal] 中国数学缺乏显性论证性,未能形成前后一贯的逻辑体系,这是其未能成为科学龙头的原因之一。
- [Literal] “矛盾律”和“排中律”是形式逻辑学的基石,由古以色列人关于绝对契约的宗教观念所催生,并成为数学的源头。
- [Literal] 归谬法是基于矛盾律的强大研究方法,促使科学研究从发现真理转向建构模型。
- [Literal] 归纳法是科学发展的驱动力,但它只能导出“可能正确”的规律,而非绝对正确的规律。
- [Literal] 近代资本主义的“私人所有权”概念具有绝对性和抽象性,使其能够与数学逻辑(如矛盾律)相结合,促进了资本主义的成长。
- [Literal] “空”的思想否定了形式逻辑学,佛教徒对“神存在吗?”问题的回答超越了“有”或“没有”的二元对立。
模式/提醒
- [AI Synthesis] 宗教信仰中的绝对性(如契约、唯一神)和辩论传统,是孕育严谨逻辑和数学思维的重要土壤。
- [AI Synthesis] 形式逻辑学的基本原则(如矛盾律、排中律)不仅是数学的基础,也深刻影响了哲学、法律和经济学等领域。
- [AI Synthesis] 科学研究方法的演变(从发现真理到建构模型)与数学逻辑工具的发展(如归谬法)密切相关。
- [AI Synthesis] 抽象和绝对化的概念(如所有权、数学公理)是构建复杂系统(如资本主义经济、数学体系)的关键。