||
计算与哲学的思想汇流,根植于戈特弗里德・莱布尼茨的理性主义探究。莱布尼茨构想一套普遍符号演算,并率先设计机械式加法机,开启将人类推理形式化、把逻辑思维机械化的宏大事业。莱布尼茨是连接前现代理性形而上学与现代形式计算的关键思想枢纽。尽管其演算体系大体建立在二值二元框架之上,但他的核心抱负 —— 将人类论证转化为由普适规则支配的符号操作 —— 开辟了超越固定二值判断的概念空间。正是这一学术愿景,启发后世学者追问二元逻辑本身的边界,为多值体系的探索注入哲学动因;这类多值体系最终在介观信息论的M3 钻石格结构中获得形式表达。
这套深远的思想蓝图,为计算科学与哲学思辨的对话奠定了最早的理论根基,却在数百年间停留在抽象构想层面,缺少可行的技术落地。直到 20 世纪中叶,在阿兰・图灵革命性理论洞见与现代电子计算机诞生的催化之下,计算与哲学的交叉领域才获得切实的实践意义与学科活力。后续学术工作进一步夯实其理论架构:乔治・布尔的代数体系建立起二元数字计算的基础逻辑范式;鲁道夫・卡尔纳普的逻辑经验主义推动哲学论证走向形式化、严格化与可计算化。学界突破二元二分的刚性框架,早期多值逻辑、尤其是三进制计算的探索,开辟了非布尔逻辑维度,丰富了计算哲学的理论多样性,也为后续介观信息系统的理论建构埋下伏笔。
20 世纪中后期,计算与哲学理论在全球范围内蓬勃发展,经历曲折的思想演进与跨文化本土化进程。西方学界形成现代计算的核心范式:图灵提出图灵测试,为机器智能评估确立哲学判据;约翰・冯・诺依曼确立存储程序计算机体系结构,二者共同催生现代人工智能,其标志性成果便是西蒙与纽厄尔的创新程序 “逻辑理论家”。与此同时,克劳德・香农与沃伦・韦弗将信息论予以数学系统化,奠定数字通信的理论基础;诺伯特・维纳创立控制论,阐释系统反馈、调节与智能控制机制。值得注意的是,控制论在苏联学术史上经历剧烈的思想起落:一度被污名化为资产阶级伪科学、被排挤在主流研究之外,后得到全面平反,被正式承认为合法科学门类,并最终纳入苏共理论框架,成为苏联技术与系统研究的核心支柱。
在主流二进制技术之外,苏联研制出全球唯一量产的平衡三进制计算机赛图恩(Setun)。它采用 “−1、0、+1” 三态逻辑框架,相比布尔二元逻辑具备更自然的对称性与解释弹性。尽管它与现代介观信息论不存在直接的历史传承关系,但其非二元三值结构,在形式上与支撑介观信息领域的非分配格形成呼应,是突破二元逻辑还原论罕见的工程先例。但受苏联计划经济考核体系冲突,叠加全球计算产业对二进制的路径锁定,赛图恩最终停产,标志着多值逻辑、介观式中间态逻辑范式在主流技术迭代中被边缘化。
在西方理论取得突破的同时,中国学者推动现代计算与通信理论的本土化与建制化。毕德显率先在中国系统引介并改造信息论与控制论;而著名的北邮三老,创办国内最早的信息与通信正式学科,为计算与哲学在中国本土的融合筑牢制度根基。
20 世纪 80 年代,全球理论体系趋于成熟、个人计算机广泛普及,计算与哲学的互动超越纯理论探索,进入建制化的规范化学术发展阶段,催生正式的计算与哲学(CAP)学术共同体。该共同体发端于帕特里克・萨佩斯开创性的 VALID 逻辑教学项目;学界关注点逐步转向计算机辅助哲学教学,在 1984 年托莱多国际哲学教学会议、1985 年美国哲学协会西部会议上开启专题学术研讨。首届 CAP 专项会议 1986 年在克利夫兰州立大学成功举办,聚焦计算教学工具的实践落地与教学创新。此后年会轮流在密歇根州立大学、达特茅斯学院、卡内基梅隆大学、斯坦福大学等顶尖机构举办,不断拓展研究边界,容纳席卷当代哲学的 “计算转向” 的全部维度。随着常设指导委员会建立,规范组织治理与学术运行,至 2000 年,CAP 在美国完成东西海岸的全域布局。2004 年国际计算与哲学协会(IACAP)章程正式获批,是历史性里程碑,标志着计算与哲学的交叉融合,成长为成熟、体系化、具备全球影响力的独立学术学科。
计算与哲学的汇流,同样对未来技术走向具备深刻启示。它迫使研究者反思计算系统内嵌的底层逻辑,而非单纯追逐性能提升。对二元还原论的批判,连同介观信息、格这类非布尔结构的理论探索,为下一代硬件与认知模型打开全新概念视域。它启发人们寻找超越主流二元架构的替代性计算范式,重新唤起对多值、中间态计算的探究,呼应当年被弃置的赛图恩项目。
对人工智能而言,这一跨学科对话引导学界深入审视机器推理、语义奠基,以及模拟与真正理解之间的边界,提供哲学约束,避免盲目追逐算力。此外,CAP 与 IACAP 的建制传统搭建起持续的学术平台,供伦理学家、逻辑学家与工程师共同考察新兴技术带来的本体论、认识论与社会风险。将技术创新锚定在严谨的哲学反思之上,计算与哲学的交叉领域,助力引导未来技术走向更富解释性、包容性且理性稳固的方向,而非任由工程仅沿着产业惯性向前推进。
笔者有幸于 2000 年发现当代国际信息哲学之父弗洛里迪的关于信息哲学诞生的宣言,《什么是信息哲学?》。并在 2001进行摘译,刊于 2002 年第四期的《世界哲学》, 2003 年在《自然辩证法研究》第一期刊发《从信息的哲学问题到信息哲学》,将学说与学科区分开来。2004 年在《自然辩证法通讯》提出自己的学说“模态信息论”。2005 年又受邀参加在瑞典举办的 E-CAP 05 的国际会议,并花一个小时的时间在大会上做了题为《通向信息哲学的东方进路》讲演。2004 年由商务印书馆购买下弗洛里迪主编的《计算与信息哲学导论》的教学参考书的版权,由我担任主译,组织国内 20 多位青年才俊,历时 6 年完成全书的翻译工作,并于 2010 年出版,这是国内首部为高校师生准备的教学参考书。比北京师范大学出版社出版的《信息哲学手册》早了五年。该书作为长销书,在国内的高校有很好的传播。2008 年又通过中国社会科学院—英国学术院的官方协议,将弗洛里迪请到中国,分别在中国社会科学院哲学所,北京理工大学,中国人民大学,北京大学与西安交通大学做了五场巡回讲演,为信息哲学在中国的发展起到实质性促进。
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2026-10-16 03:44
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社