人工智能与哲学研讨会报告.ppt

人工智能与哲学研讨会报告走向实验的哲学——透视哲学研究中的计算建模方法 报告人：周昌乐教授 厦门大学人工智能研究所 2004年10月28日 摘 要 一直以来，尽管有不同的思潮和取向，哲学研究方法在本质上主要是思辨的，与科学的实验方法毫不相关。但随着非线性科学与计算技术的迅速发展，目前哲学研究中也兴起了全新的计算实验方法。本文就是介绍近些年来哲学研究中的这些新方法，并通过具体悖论语义的动态复杂性描述、形式系统的整体性刻画，以及“囚徒困境策略”的计算竞争实验等实例的分析，强调了这种计算模拟方法在未来哲学研究中的重要意义。 一、实验哲学概论 1、随着当代科学的迅猛发展，特别是生命科学、认知科学、非线性科学、人工智能等这些新兴科学的不断成熟，17世纪从哲学分离出来的科学似乎正在起着替代哲学的作用，而纯哲学的研究也越来越走向了狭窄的概念分析之路。 一、实验哲学概论 （续） 2、原先的那些本体问题、认识问题、道德问题、甚至美学等问题，似乎都可以用科学的成果来解答。因此英国物理学家格里宾断言：“是科学变成了哲学，还是哲学变成了科学？无论你如何看待，可以肯定的是，这二者之间的界线已经变得模糊，变得远不如今天大多数科学家和哲学家自己所认为的那样实在。” 一、实验哲学概论 （续） 3、应该说实验哲学的兴起，正是这种哲学与科学发展趋势更进一步的结果：科学的实验方法（计算模拟）走进了最后的纯哲学的领域！ 一、实验哲学概论 （续） 4、实际上，使用计算模型作为工具来进行哲学研究，特别是在哲学逻辑方面，是完全可能的。美国数学家戈林姆等人就给出了大量的研究实例。一幅画胜过千言万语，对于那些思辨的哲学研究，通过计算模型，可以给出更加形象的整体性刻画，从而揭示原先无法认识到的深层内涵。 一、实验哲学概论 （续） 5、用建模的方法来说明哲学思想并不新奇，自柏拉图以来一直有哲学家在使用建模方法从事哲学研究。中国禅宗中的五位偏正关系，实际上也是一种哲学模型，以揭示禅理。周敦颐的太极图说更是如此。新奇的是，采用计算模拟的方法来对哲学模型进行仿真，从而得到对哲学思想更深刻的洞察。 一、实验哲学概论 （续） 6、可以把计算化的哲学模型看作是特别鲜活、有时是复杂万分结构的思想实验，它可以使问题更清晰、透明，使隐含的结构更直观、并使人利用模型发现新假设、新方法、新问题和新困难所在。 二、悖论语义的混沌动力学研究 1、悖论问题是逻辑哲学中的一个重要问题。传统的悖论研究主要是围绕着如何在形式系统中消除或规避悖论（即传统悖论研究声称的解决悖论），而悖论本身的语义复杂性往往不是研究重点。 二、悖论语义的混沌动力学研究（续） 2、对于悖论研究而言，重要的不是规避悖论，而是探寻悖论本性，因为悖论是人类逻辑思维复杂性的必然反映，蕴涵着的是事物根本的复杂性。因此悖论是不可避免的，因为悖论本身就是事物复杂性走向极端的必然反映，就像线性是平庸的一样，一致性是平庸的，只有非线性混沌表现的悖论才是具有更为丰富的结构和生命力！ 二、悖论语义的混沌动力学研究（续） 3、那么如何才能展示悖论语义复杂结构的本质呢？显然靠传统悖论的研究方法是不够的。为此我们必须关注逻辑悖论语义的动力学性质。因此，必须采用一种全新的方法来应对悖论，这个方法就是计算模拟的方法，即使用计算机模型来考察自指的动态图案，以揭示悖论的更多性质。 二、悖论语义的混沌动力学研究（续） 4、必须强调的是，我们并非要“解决”悖论，而只是开辟自指和自指理论的语义动力学，这样就可以通过使用计算机建模来将传统悖论扩展到无限取值逻辑中。关注的是语义不稳定性无限复杂的模式、混沌和悖论之中隐藏的模式，而不是简单的语义稳定性模式。这些语义不稳定性模式是一些尚未探明的问题。 二、悖论语义的混沌动力学研究（续） 5、对于说谎者命题，变成无穷取值命题后，就可表示为Vfb，其真值为 |Vfb|=1-Abs(0-|b|) 其中b为说谎者命题本身，如果动态看其取值，则有 Xn+1=|bn+1|=1-Abs(0-|b|)=1-Abs(0-Xn) 即由迭代函数 Xn+1=1-Abs(0- Xn) 描述，不同初始值x0代入，形成不同的时序图。 二、悖论语义的混沌动力学研究（续） 6、如果用方程组 z＝1－Abs(0-x) x=z 来替换上述迭代函数，并用相空间（x，z）点来描述，其震荡行为则得到不同的相空间模式，结果不难发现，当x0=1/2时得到一个稳定吸引子相空间模式，其它取值时则为周期2的吸引子相空间模式。 二、悖论语义的混沌动力学研究（续）