博文
哲学大传统背景下的信息哲学
|||
按：这是我做的一篇研究笔记，将信息哲学的来龙去脉作了梳理。目前我的这个基本观点已经得到国际学界的认可。在这里我将其主要的观点拿出来与大家分享。
在哲学上，任何一个哲学流派，都要在哲学传统上找到自己的思想脉络，如果没有传统，则难免没有收摄而“行之不远”。那么信息哲学的在哲学传统上的思想脉络究竟是什么？以信息哲学为基本框架的转换是工业社会向信息社会转换的映现。而从哲学史的角度看信息哲学，则可以将其视为一种大传统的转换，或一种大的哲学传统的回归。那么这个大的哲学传统究竟是什么样的传统？
西方哲学史有两种讲法，一种是教科书的编年讲法，一种是按哲学传统的讲法。牟宗三曾重新将西方哲学做了梳理。他特别强调西方哲学有三大传统：柏拉图传统，康德传统以及莱布尼兹－罗素传统。实际上，这三大传统大致可以概括为古典传统、现代传统和形式传统三种。这里我们更关心的是形式传统，“由莱布尼茨开出一个骨干，往下贯至罗素。这种讲法是大家不十分熟悉的。”因为人们大都“以大陆理性主义来赅括笛卡儿、斯宾诺莎与莱布尼兹。英国方面则由洛克、贝克莱、休谟而形成经验主义。”这是“顺哲学史的讲法”，牟宗三则“以叙述骨干来看西方学问的精彩”，即以形式传统为主线将欧陆与英美哲学传统整合起来，以此为核心“把莱布尼兹提出来由其讲逻辑、数学而发展到罗素，这便形成一个大传统。”
控制论创始人维纳（罗素的学生）把莱布尼茨的工作看得很高，他说，“假如我必须为控制论从科学史上挑选出一位守护神，那就挑选莱布尼茨，莱布尼茨的哲学集中表现在两个密切联系着的概念上：普遍符号论和推理演算的概念。” 不难看出，科学家认为莱布尼茨的贡献主要在于“普遍语言”和“符号逻辑”。实际上，莱布尼茨只是提出一个构想，仅仅给出论证的最初几个步骤，并没有完全实现，他的工作是罗素完成的。因而要把莱布尼茨和罗素串起来，即他的逻辑代数而至罗素的数学原理。这一大传统的成就集中在罗素，即他的数学原理集大成。罗素实际上也把莱布尼茨认做数理逻辑的先驱，在《西方哲学史》中对莱布尼茨的哲学他有这样的评价：“他又是数理逻辑的一个先驱，在谁也没认识到数理逻辑的重要性的时候，他看到了他的重要。”
从维纳和罗素对莱布尼茨的评价来看，他们之所以认为莱布尼茨工作的重要仅仅是出于技术上的考虑，即他关于普遍语言和推理演算的构想。莱布尼茨的哲学理论却受到了忽视。罗素甚至认为，莱布尼茨那些形而上学仅仅是些妄想。然而，从莱布尼茨的哲学体系来看，普遍语言和推理演算只不过是他的哲学体系的基础。实际上，真正理解莱布尼茨工作的可以从康德开始，康德说他被休谟从独断论的睡梦中唤醒，那么是谁的独断论此前一直让康德昏睡的呢？正是莱布尼茨弟子传下来的独断论。康德非常审慎的处理了莱布尼茨的哲学，通过康德的批判、抉择、衡量，将莱布尼茨重要的思想和观点做了扬弃，但康德却不采取独断论的态度。然而我们读康德的书却无法看到这个痕迹。这大约出于两种原因。首先，康德并没有完全看到莱布尼茨的所有著作包括莱布尼茨的通信等，因为莱布尼茨的著作生前只发表了很少一部分，就连莱布尼茨自己也说，仅凭他发表的著作来评价他，肯定会误解他；其次，康德本人开创了一套独特的哲学理论。尤其是康德的逻辑学，他认为逻辑学在亚里士多德时期已经成熟了，不需要再做什么改动，他便将亚里士多德的传统逻辑改造成他自己的先验逻辑。因而莱布尼茨的哲学在康德那里有一断，而这一断就是数百年。信息哲学的兴起则表现出面向这一传统的回归的趋势。
传统逻辑的形式化工作花费了很长时间，莱布尼茨在他那个时代的主要贡献在于，他是第一个将亚里士多德的逻辑中的四种命题以代数的方式表示出来，这在当时非常有意义。因为这样做的结果便是使原本不够严格的表示方法精致起来。传统三段论中的推理哪些有效，哪些无效便可以一目了然，同时也使原本没有接触到的问题显现出来。经过莱布尼茨的形式化工作，亚里士多德的本来已经有点形式化的逻辑体系便更加确定。但是，这一阶段的形式化工作还是在传统逻辑方面，依然有局限性。由莱布尼茨的代数逻辑到罗素数学原理建构的那个体系，便形成了实质蕴涵系统。这个系统也不是十全十美，有些逻辑真值还是不能表示出来。到了20世纪初， 美国逻辑学家C. I. 刘易斯就提出另外一套系统，称为严格蕴涵系统。
之所以强调莱布尼茨－罗素传统是因为从亚里士多德用符号把逻辑表示程一个系统，只是第一阶段。到莱布尼茨的逻辑代数又表示成一个系统，由此一转便成罗素的系统，因此莱布尼茨和罗素可以合在一起。如果将莱布尼茨的逻辑代数当作一个过渡，而以罗素为代表，就是实质蕴涵系统，因此无论从头还是从尾说，莱布尼茨与罗素构成第二阶段。到刘易斯再提出严格蕴涵系统，属于第三阶段，纯粹逻辑发展到第三阶段就算是基本完成了。这个漫长的过程显现出“西方的成就，是其他民族所做不到的，这是西方文化得精彩。由莱布尼茨发展到罗素是积极的，有积极的成果，而且是建设性的，构造性的；不是破坏性的、解构性的。” 从这个意义上说，中国的学术界依然要强调补上形式传统这一课。
莱布尼茨－罗素传统仅限于现在所谓的“经典逻辑”，但由于刘易斯对罗素系统的中心概念“实质蕴涵”不满意，认为对于蕴涵这个概念做这样的理解与直觉相去甚远，过弱；按照刘易斯的意思是应该予以加强。后来他终于提出“严格蕴涵”系统，其中用到“必然”与“可能”两个模态词，并以此构造出“严格蕴涵”演算体系，开创了“现代模态逻辑”。刘易斯不仅完善了罗素的形式系统，构造出严格蕴涵系统，而且还使莱布尼茨关于可能世界的理论得到复兴。这一阶段被认为是模态逻辑的“农业革命”。也是现代模态逻辑学的肇始，而且许多工作还是初步的。模态逻辑在那时处于“手工业”状态。这个时期大约持续了60年左右，它迎来了所谓的“工业革命”，是在1960年代左右出现的，其间模态逻辑曾被斥为“哲学的私生子”，然而，克里普克（S. A. Kripke）等人后来引入了模态逻辑的关系语义学理论，克里普克采用了莱布尼茨所创立了“可能世界学说”，被国际逻辑学界广为采用，同时其他构建出来的语义学都要与克里普克的关系语义学相兼容，所以说克里普克的关系语言学可被视为一种标准。而且此时模态逻辑作为逻辑学独立分支成熟的标志。从此以后，模态逻辑进入所谓的“大工业”时代。现代模态逻辑为信息与计算科学和信息与通信技术开辟了广泛的应用前景。尤其是上个世纪90年代以来量子信息科学的成就使得量子计算机的构想迈出了实质性的一步，可以预见这套理论还将发挥巨大的作用。
莱布尼茨可能世界的理论及其当代的发展，对信息哲学的发展也会有所促进。在讨论可能世界实质的过程中， D.刘易斯提出模态柏拉图主义，克里普克则根据亚里士多德的理论的“潜存”概念提出后验的模态理论。另外，我们似乎还可以将可能世界视为信息中的世界，即世界在信息中（world in information），这就是一种模态信息论（modal information theory, 简称MIT），或模态信息主义（modal informationalism）的解释。因而似乎可以把可能世界直接理解为信息世界（informational world）。随着量子信息科学的发展，我们对信息的认识更加深入，和“经典逻辑”与“现代逻辑”一样，信息同样具有“经典信息”和“量子信息”。那么，对于这两种信息的处理方法是否也与逻辑采取同样的方法，则是有待于我们进一步的探讨，由于科学对信息的探讨仅仅是刚刚开始，所以对信息的哲学的探讨便尤其显得重要。
信息哲学的兴起突显了形式传统。根据《牛津英语词典》（OED）的语源学考证，information（信息）的“根”可以追溯到form（形式）。所以信息哲学本身无疑具有形式传统的“基因”。实际上，与“形式”相关的一系列哲学理论均可收纳入形式传统，如皮尔斯的指号学、胡塞尔形式本体论、现代的虚拟实在、人工生命、网络结构以及基因工程中的计算机建模等问题，这是传统哲学所未能涉及的领域，因而可以说信息哲学将哲学探究的疆域拓展了，为人类理解做出了新贡献。
https://blog.sciencenet.cn/blog-105489-219299.html
上一篇：莱布尼茨与易学的数理派
下一篇：莱布尼茨对德国建国的贡献
哲学大传统背景下的信息哲学
在哲学上，任何一个哲学流派，都要在哲学传统上找到自己的思想脉络，如果没有传统，则难免没有收摄而“行之不远”。那么信息哲学的在哲学传统上的思想脉络究竟是什么？以信息哲学为基本框架的转换是工业社会向信息社会转换的映现。而从哲学史的角度看信息哲学，则可以将其视为一种大传统的转换，或一种大的哲学传统的回归。那么这个大的哲学传统究竟是什么样的传统？
西方哲学史有两种讲法，一种是教科书的编年讲法，一种是按哲学传统的讲法。牟宗三曾重新将西方哲学做了梳理。他特别强调西方哲学有三大传统：柏拉图传统，康德传统以及莱布尼兹－罗素传统。实际上，这三大传统大致可以概括为古典传统、现代传统和形式传统三种。这里我们更关心的是形式传统，“由莱布尼茨开出一个骨干，往下贯至罗素。这种讲法是大家不十分熟悉的。”因为人们大都“以大陆理性主义来赅括笛卡儿、斯宾诺莎与莱布尼兹。英国方面则由洛克、贝克莱、休谟而形成经验主义。”这是“顺哲学史的讲法”，牟宗三则“以叙述骨干来看西方学问的精彩”，即以形式传统为主线将欧陆与英美哲学传统整合起来，以此为核心“把莱布尼兹提出来由其讲逻辑、数学而发展到罗素，这便形成一个大传统。”
控制论创始人维纳（罗素的学生）把莱布尼茨的工作看得很高，他说，“假如我必须为控制论从科学史上挑选出一位守护神，那就挑选莱布尼茨，莱布尼茨的哲学集中表现在两个密切联系着的概念上：普遍符号论和推理演算的概念。” 不难看出，科学家认为莱布尼茨的贡献主要在于“普遍语言”和“符号逻辑”。实际上，莱布尼茨只是提出一个构想，仅仅给出论证的最初几个步骤，并没有完全实现，他的工作是罗素完成的。因而要把莱布尼茨和罗素串起来，即他的逻辑代数而至罗素的数学原理。这一大传统的成就集中在罗素，即他的数学原理集大成。罗素实际上也把莱布尼茨认做数理逻辑的先驱，在《西方哲学史》中对莱布尼茨的哲学他有这样的评价：“他又是数理逻辑的一个先驱，在谁也没认识到数理逻辑的重要性的时候，他看到了他的重要。”
从维纳和罗素对莱布尼茨的评价来看，他们之所以认为莱布尼茨工作的重要仅仅是出于技术上的考虑，即他关于普遍语言和推理演算的构想。莱布尼茨的哲学理论却受到了忽视。罗素甚至认为，莱布尼茨那些形而上学仅仅是些妄想。然而，从莱布尼茨的哲学体系来看，普遍语言和推理演算只不过是他的哲学体系的基础。实际上，真正理解莱布尼茨工作的可以从康德开始，康德说他被休谟从独断论的睡梦中唤醒，那么是谁的独断论此前一直让康德昏睡的呢？正是莱布尼茨弟子传下来的独断论。康德非常审慎的处理了莱布尼茨的哲学，通过康德的批判、抉择、衡量，将莱布尼茨重要的思想和观点做了扬弃，但康德却不采取独断论的态度。然而我们读康德的书却无法看到这个痕迹。这大约出于两种原因。首先，康德并没有完全看到莱布尼茨的所有著作包括莱布尼茨的通信等，因为莱布尼茨的著作生前只发表了很少一部分，就连莱布尼茨自己也说，仅凭他发表的著作来评价他，肯定会误解他；其次，康德本人开创了一套独特的哲学理论。尤其是康德的逻辑学，他认为逻辑学在亚里士多德时期已经成熟了，不需要再做什么改动，他便将亚里士多德的传统逻辑改造成他自己的先验逻辑。因而莱布尼茨的哲学在康德那里有一断，而这一断就是数百年。信息哲学的兴起则表现出面向这一传统的回归的趋势。
传统逻辑的形式化工作花费了很长时间，莱布尼茨在他那个时代的主要贡献在于，他是第一个将亚里士多德的逻辑中的四种命题以代数的方式表示出来，这在当时非常有意义。因为这样做的结果便是使原本不够严格的表示方法精致起来。传统三段论中的推理哪些有效，哪些无效便可以一目了然，同时也使原本没有接触到的问题显现出来。经过莱布尼茨的形式化工作，亚里士多德的本来已经有点形式化的逻辑体系便更加确定。但是，这一阶段的形式化工作还是在传统逻辑方面，依然有局限性。由莱布尼茨的代数逻辑到罗素数学原理建构的那个体系，便形成了实质蕴涵系统。这个系统也不是十全十美，有些逻辑真值还是不能表示出来。到了20世纪初， 美国逻辑学家C. I. 刘易斯就提出另外一套系统，称为严格蕴涵系统。
之所以强调莱布尼茨－罗素传统是因为从亚里士多德用符号把逻辑表示程一个系统，只是第一阶段。到莱布尼茨的逻辑代数又表示成一个系统，由此一转便成罗素的系统，因此莱布尼茨和罗素可以合在一起。如果将莱布尼茨的逻辑代数当作一个过渡，而以罗素为代表，就是实质蕴涵系统，因此无论从头还是从尾说，莱布尼茨与罗素构成第二阶段。到刘易斯再提出严格蕴涵系统，属于第三阶段，纯粹逻辑发展到第三阶段就算是基本完成了。这个漫长的过程显现出“西方的成就，是其他民族所做不到的，这是西方文化得精彩。由莱布尼茨发展到罗素是积极的，有积极的成果，而且是建设性的，构造性的；不是破坏性的、解构性的。” 从这个意义上说，中国的学术界依然要强调补上形式传统这一课。
莱布尼茨－罗素传统仅限于现在所谓的“经典逻辑”，但由于刘易斯对罗素系统的中心概念“实质蕴涵”不满意，认为对于蕴涵这个概念做这样的理解与直觉相去甚远，过弱；按照刘易斯的意思是应该予以加强。后来他终于提出“严格蕴涵”系统，其中用到“必然”与“可能”两个模态词，并以此构造出“严格蕴涵”演算体系，开创了“现代模态逻辑”。刘易斯不仅完善了罗素的形式系统，构造出严格蕴涵系统，而且还使莱布尼茨关于可能世界的理论得到复兴。这一阶段被认为是模态逻辑的“农业革命”。也是现代模态逻辑学的肇始，而且许多工作还是初步的。模态逻辑在那时处于“手工业”状态。这个时期大约持续了60年左右，它迎来了所谓的“工业革命”，是在1960年代左右出现的，其间模态逻辑曾被斥为“哲学的私生子”，然而，克里普克（S. A. Kripke）等人后来引入了模态逻辑的关系语义学理论，克里普克采用了莱布尼茨所创立了“可能世界学说”，被国际逻辑学界广为采用，同时其他构建出来的语义学都要与克里普克的关系语义学相兼容，所以说克里普克的关系语言学可被视为一种标准。而且此时模态逻辑作为逻辑学独立分支成熟的标志。从此以后，模态逻辑进入所谓的“大工业”时代。现代模态逻辑为信息与计算科学和信息与通信技术开辟了广泛的应用前景。尤其是上个世纪90年代以来量子信息科学的成就使得量子计算机的构想迈出了实质性的一步，可以预见这套理论还将发挥巨大的作用。
莱布尼茨可能世界的理论及其当代的发展，对信息哲学的发展也会有所促进。在讨论可能世界实质的过程中， D.刘易斯提出模态柏拉图主义，克里普克则根据亚里士多德的理论的“潜存”概念提出后验的模态理论。另外，我们似乎还可以将可能世界视为信息中的世界，即世界在信息中（world in information），这就是一种模态信息论（modal information theory, 简称MIT），或模态信息主义（modal informationalism）的解释。因而似乎可以把可能世界直接理解为信息世界（informational world）。随着量子信息科学的发展，我们对信息的认识更加深入，和“经典逻辑”与“现代逻辑”一样，信息同样具有“经典信息”和“量子信息”。那么，对于这两种信息的处理方法是否也与逻辑采取同样的方法，则是有待于我们进一步的探讨，由于科学对信息的探讨仅仅是刚刚开始，所以对信息的哲学的探讨便尤其显得重要。
信息哲学的兴起突显了形式传统。根据《牛津英语词典》（OED）的语源学考证，information（信息）的“根”可以追溯到form（形式）。所以信息哲学本身无疑具有形式传统的“基因”。实际上，与“形式”相关的一系列哲学理论均可收纳入形式传统，如皮尔斯的指号学、胡塞尔形式本体论、现代的虚拟实在、人工生命、网络结构以及基因工程中的计算机建模等问题，这是传统哲学所未能涉及的领域，因而可以说信息哲学将哲学探究的疆域拓展了，为人类理解做出了新贡献。
https://blog.sciencenet.cn/blog-105489-219299.html
上一篇：莱布尼茨与易学的数理派
下一篇：莱布尼茨对德国建国的贡献
