Russell0514 发表于 2024-5-21 11:45:56

dqaq 发表于 2024-5-20 17:33
这段叙述很高级。感觉像AI写的。
但是，我不会算数除法，你用现代数学的代数空间来教我除法，结果我连加 ...

目前最尖峰的AI技术如SORA或GPT-4都基于图灵机体系，还缺乏反思的能力，所以它不可能自我创造出反思之反思的相关语言。所以，这段叙述肯定不是AI所为。

按时间的线索，形式逻辑的创始人亚里士多德是古希腊人，是公元前的人；而思辨逻辑的创始人黑格尔出生在18世纪；现代数学即数理逻辑则起源于上世纪初。现代人都自以为比古人聪明。{:1_475:}

dqaq 发表于 2024-5-21 12:07:33

Russell0514 发表于 2024-5-21 11:45
目前最尖峰的AI技术如SORA或GPT-4都基于图灵机体系，还缺乏反思的能力，所以它不可能自我创造出反思之反 ...

数理逻辑是形式逻辑的符号化和运算化，反过来说也行，形式逻辑是数理逻辑的语言化。都是演绎法的具体体现。
辩证逻辑的鼻祖不能算黑格尔，亚里斯多德老师的老师苏格拉底、中国的老子，这些才算是辩证逻辑的鼻祖。只是苏格拉底文盲一个，没留下著作。

Russell0514 发表于 2024-5-21 13:45:31

dqaq 发表于 2024-5-21 12:07
数理逻辑是形式逻辑的符号化和运算化，反过来说也行，形式逻辑是数理逻辑的语言化。都是演绎法的具体体现 ...

形式、数理和思辨三大逻辑体系可不是百度搜一下就懂的，思辨逻辑在黑格尔的大逻辑和小逻辑那里才形成一套完整的思辨体系，苏格拉底的辩证逻辑，只能算朴素的辩证逻辑，离黑格尔的体系还早着呢，更毋论老子了。如果有兴趣，我们可以私聊，把这里还是交给电相关的知识吧。{:1_473:}

贾行家 发表于 2024-5-21 14:24:11

规范：“奉天承运，皇帝诏曰……”      设计人员：“领旨谢恩”
标准：“奉中堂大人手谕……”      设计人员：“属下明白”
规程：“红灯照、照红灯、杀毛子、灭大清”      设计人员：“仙姑下凡、法力无边”

handone 发表于 2024-5-22 08:26:11

标准是技术性的中性词；
规范带有行政指令性；
规程是用于规定动作和流程；

这是我能想到的区别。
至于现在这些标准规范名称用的准确与否，看它内容的侧重点，只有专家自己清楚了。{:1_428:}{:1_428:}{:1_428:}
页: 1 [2]
查看完整版本: 规范、标准、规程到底有什么不同？