Socratic Mirror
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

模式/提醒

Sources