作者newSung (全民乱讲之全民大闷锅)
看板gallantry
标题Re: [闲聊] 为什麽欧洲数学在近代能领先全球?
时间Mon Jan 18 11:35:24 2010
※ 引述《bx (bx)》之铭言:
: ※ 引述《newSung (全民乱讲之全民大闷锅)》之铭言:
: : 最後我想请问bx兄两个问题
: : 请问没了「逻辑学」,中国数学怎麽尽量地系统化?
: : 请问宋代没亡,宋代如何独自发展出逻辑学?
: : 老实说,依我对宋代的理学了解,我看不到宋代发展出逻辑学的可能性
: 中国不是没有逻辑学,也不是没有引进逻辑学。
: 在魏晋时期,中国就曾经试图接续墨家的逻辑学发展,称为墨辩。
: 而在唐朝时,中国也就曾引进过印度的逻辑学,称之为因明学。
阁下所说得都是辩证法,不是什麽逻辑学
有许多人常常会把「辩证法」误以为是「辩证逻辑学」
「辩证法」可以说是「辩证逻辑学」原始雏型,但「辩证法」不等於「辩证逻辑学」
「辩证逻辑学」是西方哲学产物,它一直到黑格尔才有了比较系统性的论述
其真正的发展与建构得力於马克思主义的诞生与研究
古代的辩证法在中国、印度与古希腊都能找到
但辩证逻辑与数学的发展关系最小,几乎没什麽关联性
数学最重视的逻辑学学问是「形式逻辑」与「数理逻辑」
而「数理逻辑」是「形式逻辑」发展下的产物,最为不同的地方是用抽象代数来陈述
形式逻辑这一门学问是西方特有的产物,印度没有,中国也没有
: 重要的是,中国数学有没有走到需要更严密的逻辑学来有效促进发展的那一步。
: 当中国社会能够发展到那一步时,或许也就是希腊数学或西方逻辑学引进中国的那一刻。
: 如果外来学术没有被引入也没有关系,当数学能够成为一个学术体系时,
: 自然就有足够的驱动力去发展属於中国的数学系统,又或是走向另一个未知,
: 这或许会让数学的发展道路不像西方那样有爆发性的成长,
: 却不代表就发展不出系统性的数学出来。
何时?所以我要问的就是
阁下能从宋代理学推论出宋代有诞生「形式逻辑」的可能性吗?
数学就是一门讲究形式逻辑的学问,没形式逻辑根本不可能系统化
阁下说没「形式逻辑」能把数学系统化,我请问一下,怎麽做?
我一直在询问阁下如何推论,阁下却一直逃避这种推论,只说有这种可能性
但推论与证明呢?没有推论与证明,光一直强调可能性,是没说服力的!
: 西方数学在近代化之後的发展,就像是有了元素周期表之後的化学研究,
: 天上掉下来了希腊数学,这帮助很大,但若认为没有希腊数学就不能好好研究数学,
: 甚至认为天上没有掉下来希腊数学,就不可能自行发展出近代数学,
: 我不知道这是什麽道理。
: 世界上已知有三个文明发展出逻辑学来,即希腊、印度和中国,
: 如果说中国没有任何逻辑学的基础,也不曾引进任何外来的逻辑学,
: 这可以说是发展学术的重大不利因素,但显然不是这样。
: 强调只有希腊逻辑学的传承发展,才能诞生近代数学,则未免是过於强烈的主张。
: 当然,还是要说明,这只是就近代数学的既有发展路线来说的,
: 这不代表我认为中国的数学只有这麽一条发展路线,
: 因为中国还有相当独特的系统论和演算方法研究的传统,
: 这可能让中国数学走向不同的发展道路。
: 若没有蒙古人的因素,宋朝要怎麽发展下去,其实是一个未知数,
所以请阁下论证阿,阁下一直强调,没形式逻辑,中国数学也能系统化发展
请问怎麽系统化发展?
阁下既然说「没古希腊的形式逻辑学,中国也能诞生系统化的数学」
那阁下就应该负起论证这一段论述的责任,光说可能性,只是空谈,没说服力可言
: 但重点在於不要用「中国印象」,特别是拿明清以来的中国印象来看过去的中国,
: 而不是真切的历史知识来理解中国。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 222.157.5.167
1F:推 bx:形式逻辑是辩论逻辑的定理化发展 但仍然是一脉相承的 说到这里 01/18 12:15
2F:→ bx:还有我一直说的是未知 反而是你坚持否定 谁有答案谁该论证 01/18 12:18
3F:→ bx:你若不对中国数学和历史有所认知 就不该简单说不可能 01/18 12:18
4F:→ bx:理学更不是唯一的学问 会提到理学是因为你对中国的简陋印象 01/18 12:20
5F:→ bx:跟逻辑学会不会从理学发展出来 一点关系也没有 01/18 12:20
6F:→ bx:你根本就只是在打击不存在的论述 并扣到我头上来 01/18 12:21
7F:→ bx:我不会再就这个题目回应你的文章了 01/18 12:23
8F:→ bx:还有形式逻辑在数学上的成功 是现代数学的成功 而不是近代数学 01/18 12:27
9F:→ bx:而我们讨论的是近代数学 那还有很遥远的距离 01/18 12:27
10F:→ bx:而能成功发展近代数学出来 就不太可能不接触到希腊的形式逻辑 01/18 12:31
11F:→ bx:到时是自发研究还是引进都没有差别 反正就是会有 01/18 12:31
12F:→ bx:而我们讨论的关键在於古代数学到近代数学的跨越 不要鸡同鸭讲 01/18 12:32