从逻辑与哲学双重视角剖析克里普克可能世界理论

从逻辑与哲学双重视角剖析克里普克可能世界理论一、引言1.1研究背景与目的在逻辑与哲学的发展历程中，克里普克的可能世界理论占据着举足轻重的地位。自莱布尼茨提出“可能世界”概念后，这一概念便成为逻辑与哲学领域探讨的重要话题，而克里普克对可能世界理论的创新性阐释，更是引发了学界的广泛关注与深入讨论。从逻辑角度来看，可能世界理论为模态逻辑提供了坚实的语义基础。模态逻辑致力于研究可能性、必然性等模态概念，而克里普克通过引入可能世界语义学，使模态逻辑的研究实现了重大突破，从抽象的形式系统迈向更为直观且富有解释力的语义模型。例如，在经典模态逻辑中，对于“必然”和“可能”的理解较为模糊，而在克里普克的可能世界语义学框架下，“必然真”被定义为在所有可能世界中都为真，“可能真”则是在至少一个可能世界中为真，这种清晰的语义界定极大地推动了现代模态逻辑的发展，为逻辑学家们深入研究模态推理和逻辑规律提供了有力工具。在哲学领域，克里普克的可能世界理论同样产生了深远影响。它为解决一系列哲学问题提供了全新的视角和方法，如本质主义、同一性、知识论等。在本质主义方面，克里普克借助可能世界理论，对事物的本质属性进行了深入探讨，认为事物的本质属性是在所有可能世界中都保持不变的属性，这一观点打破了传统哲学对本质的认知局限，引发了哲学界对本质问题的重新思考和激烈争论；在同一性问题上，可能世界理论为分析跨世界同一性提供了思路，有助于我们理解在不同可能世界中个体的身份识别和本质特征的保持，从而对哲学中的个体存在和变化问题有更深刻的认识。本研究旨在从逻辑与哲学的双重视角，深入剖析克里普克可能世界理论。通过对该理论的系统研究，揭示其丰富的理论内涵、内在逻辑结构以及在逻辑与哲学领域的重要影响。同时，客观分析该理论存在的争议和局限性，为进一步完善和发展可能世界理论提供参考，推动逻辑与哲学相关领域的研究不断深入。1.2国内外研究现状国外学者对克里普克可能世界理论的研究起步较早，成果丰硕。在逻辑领域，众多学者围绕可能世界语义学展开深入研究，如对模态逻辑系统的完备性、可靠性等元逻辑性质的探讨。他们通过对不同模态逻辑系统在可能世界语义模型下的分析，进一步完善了模态逻辑的理论体系。在哲学方面，学者们对克里普克基于可能世界理论提出的本质主义、命名理论等进行了广泛而深入的讨论。例如，对于本质主义中关于个体本质和自然种类本质的界定，存在着不同的观点和争论。一些学者支持克里普克的观点，认为本质属性在事物的存在和识别中具有关键作用；而另一些学者则提出质疑，认为本质的定义和确定存在诸多困难，可能世界的概念在本质主义的应用中也存在一些问题。国内学界对克里普克可能世界理论的研究近年来也呈现出蓬勃发展的态势。逻辑学界在引入和介绍国外研究成果的基础上，开始对可能世界语义学的本土化应用进行探索，尝试将其与中国传统逻辑思想相结合，拓展逻辑研究的新领域。哲学界则从不同的哲学流派和理论视角出发，对克里普克的可能世界理论进行解读和批判。有的学者从马克思主义哲学的角度，分析可能世界理论与现实世界的关系，探讨其在哲学本体论和认识论上的意义；有的学者则从语言哲学的角度，研究可能世界理论对语言意义和指称的影响，以及与自然语言逻辑的关联。然而，已有研究也存在一些不足之处。一方面，在逻辑与哲学的交叉研究方面还不够深入，往往侧重于从单一学科视角进行分析，未能充分挖掘可能世界理论在逻辑与哲学之间的内在联系和相互作用。另一方面，对于克里普克可能世界理论在当代哲学和逻辑发展中的新应用和新挑战研究不够全面，缺乏对其在人工智能、认知科学等新兴领域应用的系统研究，对理论发展过程中出现的新问题和新争议也未能及时进行深入探讨。1.3研究方法与创新点本论文将综合运用多种研究方法，以确保研究的全面性和深入性。文献研究法是本研究的基础方法之一。通过广泛查阅国内外关于克里普克可能世界理论的学术文献，包括专著、期刊论文、学位论文等，全面了解该理论的发展历程、研究现状以及主要观点和争议。对这些文献进行系统梳理和分析，为深入研究提供坚实的理论基础，避免研究的盲目性和重复性。对比分析法也将被大量运用。将克里普克的可能世界理论与其他相关理论进行对比，如莱布尼茨的可能世界理论、大卫・刘易斯的模态实在论等。通过对比，清晰展现克里普克理论的独特之处和创新点，同时分析不同理论之间的联系和差异，从更广阔的学术视野中理解可能世界理论的发展脉络和理论价值。本研究的创新点主要体现在以下两个方面。一是研究视角的创新，从逻辑与哲学的双重视角对克里普克可能世界理论进行分析。这种跨学科的研究视角有助于打破学科壁垒，全面揭示该理论在不同学科领域的内涵、应用和影响，深入挖掘其在逻辑与哲学之间的桥梁作用，为相关研究提供新的思路和方法。二是研究内容的创新，不仅关注克里普克可能世界理论的基本内容和传统应用，还将深入探讨该理论在当代哲学和逻辑发展中的新争议和新影响，如在人工智能语义理解、认知科学知识表征等新兴领域的应用和挑战。通过对这些前沿问题的研究，进一步拓展了该理论的研究边界，为其在当代学术研究中的发展提供新的方向和动力。二、克里普克可能世界理论溯源2.1莱布尼茨的可能世界概念2.1.1概念的提出与神学背景莱布尼茨在1710年出版的《神义论》中正式提出了“可能世界”概念，这一概念的提出有着深刻的神学背景，主要是为了解决宗教哲学中由来已久的神义论问题。在基督教的传统观念中，上帝被认为是全知、全能、至善的存在，但现实世界却充满了无数的不幸、灾祸和恶行，这就引发了人们对于上帝正义性的质疑：如果上帝是全善的，为何会创造这样一个充满苦难的世界？莱布尼茨对基督教上帝创世观点进行了重要的发挥和特殊的理解。他认为，上帝在创世时，心中存在着无数的可能事物及其组合而成的可能世界。这些可能世界是上帝创世的备选对象，它们存在于上帝的心目中，是形而上的概念。例如，在上帝的构想中，可能存在一个没有战争、疾病和痛苦的世界，也可能存在一个所有生物都能和谐共处、人类道德水准极高的世界。莱布尼茨运用矛盾律和自己创造的充足理由律来界定和阐释可能世界概念。他认为，只要可能事物之间的组合不产生矛盾，就能构成一个共存的可能世界。比如，一个世界中，人类既能拥有飞行的能力，又能保持地球现有的生态平衡，这种组合在逻辑上不矛盾，就可以构成一个可能世界。而每一个可能世界里共存事物之间及其自主运动的法则，都要满足充足理由律，才能像钟表一样相互协调、和谐有序地发展。在某个可能世界中，四季的更替、生物的繁衍等自然现象都有其内在的充足理由，它们相互关联、相互影响，共同构成了这个世界的和谐秩序。2.1.2可能世界与现实世界的关系莱布尼茨认为，现实世界是上帝从众多可能世界中选择并创造的，而且这个现实世界是所有可能世界中最好的世界。从逻辑角度来看，现实世界是符合逻辑一致性的，它内部的事物和事件之间的关系满足矛盾律和充足理由律，不存在逻辑上的矛盾和混乱。从伦理意义上讲，上帝的至善本性决定了他必然会选择最好的世界来创造。虽然现实世界存在着各种苦难和罪恶，但莱布尼茨认为，这些看似不好的因素实际上是为了实现更大的善。他将现实世界比作一幅宏大的画卷，从局部看可能存在一些不和谐的色彩，但从整体上看，这些色彩却共同构成了一幅完美的画作。现实世界中的苦难和罪恶可能是为了激发人类的道德成长、培养坚韧的品质，或者是为了实现某种更高层次的正义。莱布尼茨还运用概率论的思想来进一步说明现实世界的优越性。他认为，在众多的可能世界中，每个可能世界都有其存在的概率，但现实世界是所有可能世界中最有可能被实现的世界，因为它包含了最多的善和最少的恶。他将可能世界的完美程度看作是一个可以量化的概念，通过对各种因素的综合考量，得出现实世界是最优选择的结论。从形而上学的角度，莱布尼茨强调现实世界与可能世界之间的连续性和关联性。他认为，可能世界是现实世界的潜在形式，现实世界是可能世界的一种具体实现。虽然现实世界是最好的，但其他可能世界也并非毫无意义，它们是上帝创世的丰富想象和无限可能性的体现，与现实世界共同构成了一个完整的世界体系。2.2克里普克对可能世界概念的继承与发展2.2.1对莱布尼茨概念的扬弃克里普克接受了莱布尼茨关于可能世界的部分观点，同时对其进行了大胆的创新和改造，尤其是抛弃了莱布尼茨可能世界概念中的神学色彩，将其从一个神学概念转变为一个纯粹的逻辑和哲学概念。莱布尼茨的可能世界依赖于上帝的选择和创造，而克里普克则从逻辑和语义的角度重新阐释可能世界。他认为，可能世界不是存在于上帝心目中的抽象概念，而是与我们对语言和命题的理解密切相关。在克里普克的理论中，可能世界是用来解释模态词（如“必然”“可能”）的语义工具，通过可能世界语义学，我们可以更清晰地理解模态命题的真值条件。克里普克也继承了莱布尼茨关于可能世界的一些基本逻辑原则。他认可莱布尼茨运用矛盾律来界定可能世界的方法，即一个可能世界不能包含逻辑上矛盾的事物或事件。在克里普克的可能世界语义学中，这一原则被贯彻到对模态命题的分析中。对于一个必然命题，如“2+2=4”，在所有的可能世界中这个命题都为真，因为其否定“2+2≠4”是逻辑矛盾的，不符合可能世界的逻辑一致性要求。2.2.2克里普克的可能世界定义与特征克里普克将可能世界定义为“世界可能会采取的各种方式”，或是整个世界的状态或历史。这个定义更加贴近人类的认知和语言表达，强调了可能世界的多样性和相对性。与莱布尼茨的可能世界不同，克里普克的可能世界不是预先存在于上帝心中的固定模式，而是我们根据语言和思维的可能性构建出来的概念。我们可以想象一个世界，在这个世界里，苹果从树上掉下来不是因为万有引力，而是因为某种未知的神秘力量，这个想象中的世界就是一个可能世界。克里普克的可能世界具有现实世界的反事实情形这一重要特征。他认为，我们可以通过设想现实世界中某些条件的改变来构建可能世界。如果在现实世界中，我今天选择了去上班，那么在一个可能世界中，我可能选择了请假在家休息。这种对现实世界的反事实设想，为我们理解事物的本质属性和模态命题提供了直观的方式。通过考察在不同的可能世界中事物的属性和关系的变化，我们可以确定哪些属性是事物的本质属性，哪些是偶然属性。在现实世界中，水的化学成分为H₂O，在所有的可能世界中，只要是水，其化学成分必然是H₂O，这就表明H₂O是水的本质属性。而水在现实世界中通常是无色无味的液体，但在某些可能世界中，由于环境条件的改变，水可能呈现出其他的物理状态，如在极低温度下变成固体，这说明水的无色无味液体状态是偶然属性。三、逻辑视野中的克里普克可能世界理论3.1作为模态逻辑语义学模型的可能世界3.1.1克里普克可能世界语义学模型构建克里普克为模态逻辑创立的可能世界语义学模型，是现代模态逻辑发展的重要基石。该模型主要包含可能世界、可达关系、赋值函数等关键要素。可能世界是这一模型的基础元素。在克里普克的理论中，可能世界并非是一种抽象的、形而上的存在，而是具有丰富具体内涵的概念。它可以被理解为世界可能呈现的各种不同状态或情形，是对现实世界的多样化拓展和想象。我们可以设想一个物理规律与现实世界不同的可能世界，在这个世界中，物体的运动速度可以超过光速，或者重力的作用方式发生了改变；也可以设想一个历史发展轨迹与现实世界不同的可能世界，比如在这个世界中，拿破仑在滑铁卢战役中取得了胜利，从而改变了整个欧洲的历史进程。这些不同的设想都构成了一个个独特的可能世界。所有的可能世界构成了一个集合，这个集合涵盖了所有可以想象到的世界状态，为模态逻辑的研究提供了广阔的语义空间。可达关系是连接不同可能世界的桥梁，它描述了可能世界之间的一种相对关系。对于两个可能世界w_1和w_2，如果从w_1能够通过某种方式到达w_2，那么就称w_1可达w_2。这种可达关系的具体性质和含义取决于具体的逻辑系统和应用场景。在一些逻辑系统中，可达关系可能表示时间上的先后顺序，即如果w_1是w_2的过去状态，那么w_1可达w_2；在另一些逻辑系统中，可达关系可能表示认知上的可能性，即如果在w_1中某个认知主体认为w_2是可能的，那么w_1可达w_2。可达关系的存在使得我们能够在不同的可能世界之间进行推理和转换，从而深入研究模态命题的逻辑性质。赋值函数则是为命题在可能世界中赋予真值的工具。对于一个给定的命题p和可能世界w，赋值函数V会确定p在w中的真值。如果p在w中为真，那么V(p,w)=1；如果p在w中为假，那么V(p,w)=0。通过赋值函数，我们可以将抽象的命题与具体的可能世界联系起来，从而确定命题在不同世界状态下的真假情况。对于命题“明天会下雨”，在某个可能世界w中，如果根据该世界的气象条件和相关信息，明天确实会下雨，那么赋值函数会赋予该命题在w中为真；而在另一个可能世界w'中，如果气象条件显示明天不会下雨，那么赋值函数会赋予该命题在w'中为假。将这些要素组合起来，就构成了克里普克可能世界语义学模型M=\langleW,R,V\rangle。在这个模型中，W是可能世界的集合，R是可达关系，V是赋值函数。通过这个模型，我们可以对模态逻辑中的各种概念和命题进行精确的语义解释。对于必然命题\squarep，在可能世界w中，\squarep为真当且仅当对于所有满足wRw'的可能世界w'，p在w'中都为真；对于可能命题\Diamondp，在可能世界w中，\Diamondp为真当且仅当存在至少一个满足wRw'的可能世界w'，使得p在w'中为真。这种精确的语义解释为模态逻辑的研究提供了坚实的基础，使得逻辑学家能够更加深入地探讨模态推理的规律和性质。3.1.2该语义学对模态逻辑发展的推动克里普克的可能世界语义学极大地推动了模态逻辑的发展，使其成为现代逻辑学中一个成熟且重要的分支。在可能世界语义学出现之前，模态逻辑的发展面临着诸多困境。由于缺乏清晰、直观的语义解释，模态逻辑中的一些概念和推理规则难以被准确理解和把握。对于“必然”和“可能”这两个核心模态概念，在传统的模态逻辑中，它们的含义较为模糊，缺乏明确的定义和解释方式，这导致了在模态推理中常常出现一些困惑和争议。而克里普克的可能世界语义学为这些模态概念提供了直观且精确的解释。通过将“必然”定义为在所有可达的可能世界中都为真，将“可能”定义为在至少一个可达的可能世界中为真，使得模态概念的含义变得清晰明了。这种清晰的语义界定为模态逻辑的研究提供了坚实的基础，使得逻辑学家能够更加准确地分析和研究模态推理的规则和性质。可能世界语义学还解决了模态逻辑中的一些长期存在的难题。其中一个典型的难题是关于模态算子的迭代问题，例如\square\squarep和\Diamond\Diamondp等表达式的含义和逻辑性质。在可能世界语义学的框架下，这些迭代模态算子的含义可以得到清晰的解释。对于\square\squarep，它表示在所有可达的可能世界中，\squarep都为真，即对于所有满足wRw'的可能世界w'，再对于所有满足w'Rw''的可能世界w''，p在w''中都为真。这种解释使得我们能够深入理解迭代模态算子的逻辑意义，从而解决了模态逻辑中的一个重要难题。可能世界语义学的出现还促进了模态逻辑的系统化和公理化发展。它为模态逻辑系统的可靠性和完备性证明提供了有力的工具。通过构建可能世界语义模型，逻辑学家可以严格地证明不同模态逻辑系统的可靠性，即如果一个命题在某个模态逻辑系统中是可证的，那么它在相应的可能世界语义模型中一定是有效的；同时，也可以证明模态逻辑系统的完备性，即如果一个命题在相应的可能世界语义模型中是有效的，那么它在该模态逻辑系统中一定是可证的。这种可靠性和完备性的证明是模态逻辑成熟的重要标志，它使得模态逻辑成为一个具有严密理论体系的学科。可能世界语义学还为模态逻辑的应用开辟了广阔的道路。在计算机科学、人工智能、哲学等领域，模态逻辑都得到了广泛的应用，而这些应用的基础正是克里普克的可能世界语义学。在计算机科学中，模态逻辑被用于描述和分析程序的行为和性质，可能世界语义学为程序的状态空间和行为逻辑提供了有效的建模方法；在人工智能中，模态逻辑被用于知识表示和推理，可能世界语义学帮助我们更好地理解和处理知识的不确定性和可能性；在哲学中，模态逻辑被用于分析和解决各种哲学问题，如本体论、认识论、伦理学等，可能世界语义学为哲学问题的探讨提供了更加精确和深入的分析工具。3.2真与可能世界的逻辑关联3.2.1二者互为条件的关系在克里普克的可能世界理论中，命题的真与可能世界之间存在着紧密的、互为条件的关系。这种关系是理解该理论逻辑内涵的关键。一方面，命题的真依赖于可能世界来确定。一个命题的真假并非孤立存在，而是与特定的可能世界相关联。在现实世界中，“水在标准大气压下100℃沸腾”是一个真命题，这是基于现实世界的物理规律和环境条件得出的结论。然而，在其他可能世界中，物理规律或环境条件可能发生改变，比如在一个大气压与现实世界不同的可能世界中，水的沸点可能不再是100℃，那么“水在标准大气压下100℃沸腾”这个命题在这个可能世界中就可能为假。这表明，命题的真值是相对于特定的可能世界而言的，离开可能世界的背景，我们无法确定一个命题的真假。另一方面，可能世界也需要通过命题的真来描述和刻画。每个可能世界都具有自身独特的特征和属性，这些特征和属性是通过一系列命题的真来体现的。对于一个想象中的可能世界，我们可以通过描述其中的事物状态、事件发生情况等命题来展现这个可能世界的特点。在一个可能世界中，我们可以说“天空是绿色的”“人类拥有超能力”等命题为真，这些真命题共同构成了这个可能世界的独特图景。如果没有这些关于可能世界中各种情况的真命题，可能世界就会变得空洞无物，缺乏具体的内涵和特征。这种互为条件的关系体现了真与可能世界之间的内在联系。它们相互依存、相互制约，共同构成了克里普克可能世界理论的逻辑基础。在逻辑分析和推理中，我们必须同时考虑命题的真和可能世界的因素，才能准确地理解和把握各种模态命题的含义和逻辑性质。对于“必然命题”，我们需要在所有可能世界中考察相关命题的真值情况，才能确定其是否为必然真；对于“可能命题”，则需要在至少一个可能世界中找到使其为真的情况。这种基于真与可能世界关系的分析方法，为模态逻辑的研究提供了有力的工具，使得我们能够更加深入地探讨可能性、必然性等模态概念。3.2.2真对可能世界的理解作用从真的角度去理解可能世界，能够为我们把握可能世界的特征和差异提供有效的途径。通过判断命题在不同可能世界中的真值，我们可以深入了解每个可能世界的独特性质，进而区分不同的可能世界。当我们考虑一系列命题在不同可能世界中的真假时，这些命题就像是一把把钥匙，打开了认识可能世界的大门。假设我们有三个命题：“地球围绕太阳公转”“存在外星人”“所有物体都有质量”。在现实世界中，“地球围绕太阳公转”和“所有物体都有质量”是真命题，而“存在外星人”的真假尚未确定。但在其他可能世界中，这些命题的真值可能会发生变化。在某个可能世界中，由于宇宙演化的差异，行星的运动规律与现实世界不同，“地球围绕太阳公转”可能为假；在另一个可能世界中，生命的诞生和演化条件与现实世界截然不同，“存在外星人”可能为真。通过分析这些命题在不同可能世界中的真值变化，我们可以发现不同可能世界之间的差异。这些差异体现在物理规律、事物存在状态、事件发生情况等多个方面。如果一个可能世界中物理规律与现实世界有很大不同，那么许多基于现实物理规律的命题在这个可能世界中的真值就会改变。在一个引力常数与现实世界不同的可能世界中，关于物体运动和力学现象的命题，如“苹果会因为重力下落”“物体的加速度与力成正比”等，其真值可能会发生变化。这表明，这个可能世界在物理层面上与现实世界存在差异。命题的真还可以帮助我们理解可能世界之间的相似性。如果在多个可能世界中，大部分命题的真值是相同的，那么这些可能世界在某些方面就具有相似的特征。在一些可能世界中，人类社会的发展模式、文化传统等方面可能存在相似之处，反映这些方面的命题在这些可能世界中的真值也会较为接近。通过对这些命题真值的比较和分析，我们可以归纳出这些可能世界的共同特征，从而更好地理解它们之间的相似性。真在理解可能世界的结构和层次方面也具有重要作用。在一个可能世界体系中，不同的可能世界可能处于不同的层次或具有不同的结构关系。通过考察命题在这些可能世界中的真值传递和变化规律，我们可以揭示可能世界体系的结构和层次。如果在某个可能世界集合中，存在一些基本命题，这些命题的真值决定了其他相关命题在不同可能世界中的真值，那么我们就可以根据这些基本命题的真值情况，将可能世界划分为不同的层次或类别，从而构建出可能世界体系的结构框架。3.2.3可能世界对真的界定方式可能世界为命题的真提供了明确的界定标准，通过可能世界，我们可以清晰地区分必然真、可能真等不同类型的真概念，深入理解它们与可能世界的对应关系。必然真与可能世界的关系密切。在克里普克的理论中，一个命题被认为是必然真的，当且仅当它在所有的可能世界中都为真。这意味着，无论世界可能采取何种状态，该命题都始终成立，不受任何可能情况的影响。数学命题“1+1=2”就是一个必然真的例子。在任何可能世界中，无论物理规律、自然现象或社会文化如何不同，“1+1=2”这个命题都不会改变其真值，因为它的真理性是基于数学的基本定义和逻辑规则，不依赖于具体的世界状态。必然真的命题具有绝对的普遍性和确定性，它们在所有可能世界中的一致性体现了其强大的逻辑必然性。可能真则与必然真有所不同。一个命题是可能真的，只要它在至少一个可能世界中为真。这表明，虽然该命题在现实世界中不一定为真，但在其他某些想象或假设的世界状态下，它有成立的可能性。“存在会飞的马”这个命题在现实世界中显然是假的，因为根据我们对现实生物的了解，马并不具备飞行的能力。然而，在一些神话、幻想或虚构的可能世界中，比如在古希腊神话中，就存在着飞马珀加索斯，所以在这些可能世界中，“存在会飞的马”这个命题为真。这说明，可能真的命题反映了世界的多样性和可能性，它们突破了现实世界的限制，展现了在不同可能情况下事物的存在方式和状态。除了必然真和可能真，还有一些与可能世界相关的真概念，如偶然真。一个命题是偶然真的，当它在现实世界中为真，但在其他一些可能世界中为假。“今天是晴天”这个命题在现实世界中可能是真的，但在其他可能世界中，由于天气情况的不同，它可能为假。偶然真的命题体现了现实世界的特定状态与其他可能世界状态之间的差异，它们的真理性依赖于现实世界的具体情况，具有一定的偶然性和相对性。可能世界对真的界定方式还体现在对命题真值条件的细致分析上。对于不同类型的命题，其在可能世界中的真值条件也有所不同。对于原子命题，其真值通常直接取决于可能世界中相关事物的实际状态；而对于复合命题，如合取命题（p\landq）、析取命题（p\lorq）、蕴含命题（p\toq）等，其真值则是根据组成它们的原子命题在可能世界中的真值，按照相应的逻辑规则来确定。在一个可能世界中，如果命题p为真，命题q也为真，那么合取命题p\landq在这个可能世界中为真；如果命题p为真，命题q为假，那么蕴含命题p\toq在这个可能世界中的真值则需要根据蕴含的逻辑规则来判断。这种基于可能世界对命题真值条件的精确分析，使得我们能够更加准确地理解和把握命题的真理性，进一步深化了对可能世界与真之间关系的认识。3.2.4真与可能世界的区别辨析虽然真与可能世界在克里普克的可能世界理论中存在着紧密的联系，但它们在概念、性质等方面也存在着明显的区别，在逻辑分析中，准确辨析这些区别至关重要，以避免出现概念混淆和逻辑错误。从概念本质上看，“真”主要是一个关于命题与事实或事态之间关系的概念，它描述的是命题所表达的内容是否与某个世界中的实际情况相符合。当我们说一个命题为真时，意味着该命题所陈述的内容在特定的世界中是真实存在或成立的。“雪是白色的”这个命题在现实世界中为真，因为现实世界中的雪确实呈现出白色的状态，命题与现实事实相符合。而“可能世界”则是一个更具本体论意味的概念，它代表了世界可能具有的各种不同状态或情形，是对现实世界的一种拓展和想象。可能世界不仅仅是关于事实的描述，还包含了各种可能性和假设情况，它是一个更为宽泛和抽象的概念框架。在性质方面，真具有相对性和确定性的双重特点。相对性体现在命题的真总是相对于特定的可能世界而言的，同一个命题在不同的可能世界中可能具有不同的真值。在现实世界中，“地球是太阳系的行星”为真，但在某个虚构的可能世界中，宇宙的结构和天体的分布与现实世界不同，这个命题可能为假。确定性则体现在，一旦确定了一个可能世界，命题在这个世界中的真值就是确定的，要么为真，要么为假，不存在模棱两可的情况。相比之下，可能世界具有多样性和开放性的性质。多样性表现在可能世界的种类繁多，涵盖了各种可以想象到的世界状态，从物理规律不同的世界到历史发展迥异的世界，每一个可能世界都有其独特的特征。开放性则意味着可能世界的范围是没有严格边界的，随着人们的想象和认知的拓展，新的可能世界不断被构思和创造出来。四、哲学视野中的克里普克可能世界理论4.1可能世界与自然语言4.1.1自然语言中的模态表达与可能世界在自然语言的使用中，“可能”“必然”等模态词极为常见，它们是我们表达对世界认知和判断的重要工具，而这些模态表达与克里普克的可能世界理论存在着紧密的联系。当我们说“明天可能会下雨”时，“可能”这个模态词表明了一种不确定性，即明天的天气存在下雨和不下雨等多种可能性。从可能世界的角度理解，这句话意味着在某些可能世界中，明天会下雨；而在另一些可能世界中，明天则不会下雨。这些可能世界涵盖了所有关于明天天气的想象和假设情况，它们共同构成了我们对“明天天气”这一事件的可能性空间。再如，“三角形内角和必然等于180°”，这里的“必然”表达了一种确定性和普遍性。在克里普克的可能世界理论中，这意味着在所有的可能世界中，三角形内角和都等于180°。无论世界的物理规律、自然现象或社会文化如何变化，只要是符合“三角形”定义的图形，其内角和都必然是180°。这体现了必然命题在所有可能世界中的一致性和不变性。通过可能世界理论，我们能够更深入地理解自然语言中模态表达的含义和逻辑结构。模态词的使用实际上是在对不同的可能世界进行量化和限定，“可能”指向了至少一个可能世界，“必然”则涵盖了所有的可能世界。这种理解方式为自然语言的逻辑分析提供了有力的工具，使得我们能够更加准确地把握语言表达的逻辑内涵和语义信息。4.1.2可能世界理论对自然语言语义分析的作用克里普克的可能世界理论为自然语言语义分析开辟了全新的视角，在解决语义模糊、歧义等复杂问题方面展现出了强大的能力，使语义分析更加精确和深入。自然语言中常常存在语义模糊的现象，一个词语或句子可能具有多种潜在的含义，这给语义分析带来了很大的困难。“他是一个tallman”，“tall”这个词在不同的语境中可能有不同的标准，对于篮球运动员来说，“tall”可能意味着身高超过2米；而对于普通人来说，身高超过1.8米可能就被认为是“tall”。运用可能世界理论，我们可以通过设想不同的可能世界来确定“tall”的具体含义。在一个以篮球运动员为主要对象的可能世界中，“tallman”的标准就会与日常生活中的标准不同。通过这种方式，我们能够在不同的可能世界情境中明确语义的边界，消除语义模糊带来的理解障碍。歧义问题也是自然语言语义分析中的一大挑战。“他看见一个拿着望远镜的男人和一个女人”，这句话存在歧义，既可以理解为男人拿着望远镜，也可以理解为女人拿着望远镜。借助可能世界理论，我们可以构建不同的可能世界来分析这种歧义。在一个可能世界中，男人拿着望远镜，他和女人一起被看到；在另一个可能世界中，女人拿着望远镜，而男人和她同时被看到。通过对这些不同可能世界的分析，我们能够清晰地分辨出句子的不同语义解释，从而准确理解句子所表达的含义。可能世界理论还可以帮助我们分析自然语言中一些复杂的语义关系，如条件句的语义。“如果今天下雨，那么我就会带伞”，从可能世界的角度看，这句话描述了在所有满足“今天下雨”这个条件的可能世界中，“我就会带伞”这个结果都会发生。通过这种方式，我们能够更准确地把握条件句中前件和后件之间的逻辑联系，深入理解自然语言中条件关系的语义内涵。4.2可能世界本体地位的确立4.2.1关于可能世界本体论的不同观点在哲学领域，对于可能世界的本体论地位，学者们持有多种不同的观点，其中较为典型的是模态实在论和温和实在论。模态实在论以大卫・刘易斯为代表，他主张可能世界是真实存在的实体，与我们所处的现实世界具有相同的本体论地位。在刘易斯看来，存在着无数个相互独立的可能世界，每个可能世界都包含着各种具体的事物和事件。这些可能世界之间不存在时空上的联系，但它们都是客观存在的。就像我们生活在现实世界中，这个世界有具体的山川、河流、人物等，其他可能世界同样也有各自独特的存在物。在某个可能世界中，可能存在着会飞的马、拥有超能力的人类等在现实世界中看似奇幻的事物，这些事物在它们所在的可能世界中是真实存在的，与现实世界中的事物一样具有实在性。温和实在论则以克里普克为代表，他认为可能世界是现实世界的反事实情形，是我们对现实世界进行想象和假设的结果，并不具有独立的物理实体地位。克里普克强调，可能世界是一种非真实的情形，是我们为了理解模态概念和解决哲学问题而引入的理论工具。我们可以设想如果历史发生了不同的转折，世界会变成什么样，这些设想出来的世界就是可能世界。但它们并不是像现实世界那样独立存在的实体，而是基于现实世界的一种思维构建。4.2.2克里普克的温和实在论及其论证克里普克的温和实在论立场在哲学界具有重要的影响力，他通过一系列论证来阐述自己的观点。克里普克认为可能世界不是独立的物理实体，而是被规定的情境。他反对将可能世界看作是与现实世界一样真实存在的实体，认为这种观点会带来许多不必要的形而上学问题。如果可能世界是独立的物理实体，那么我们如何确定不同可能世界之间的个体同一性？如何解释可能世界之间的因果关系？这些问题在模态实在论的框架下很难得到合理的解答。克里普克强调我们是通过对现实世界的反事实假设来构建可能世界的。我们在思考问题时，常常会说“如果……那么……”，这种表达方式就是在构建可能世界。“如果我当初选择了另一条职业道路，那么我的生活将会不同”，这里我们通过对现实中职业选择的改变，构建了一个新的可能世界。在这个可能世界中，我们的生活状态、经历等都发生了变化。这种构建方式表明，可能世界是基于现实世界的，是我们对现实世界的一种想象和拓展，而不是独立于现实世界的物理存在。克里普克还通过对语言和命题的分析来支持自己的观点。他认为我们在使用语言表达模态命题时，所涉及的可能世界是为了理解命题的真值条件而引入的语义工具。“可能明天会下雪”这个命题，我们通过设想不同的可能世界来确定其真值。在某些可能世界中，明天会下雪，那么这个命题在这些可能世界中为真；在另一些可能世界中，明天不会下雪，那么这个命题在这些可能世界中为假。这说明可能世界在语言和命题的分析中起到了语义解释的作用，而不是作为独立的实体存在。4.3本质主义与可能世界理论4.3.1克里普克的本质主义观点阐述克里普克的本质主义观点是其哲学思想的重要组成部分，它与可能世界理论紧密相连，为我们理解事物的本质提供了独特的视角。对于个体本质，克里普克提出了起源说。他认为个体的起源是其本质的一部分，具有不可改变性。以亚里士多德为例，亚里士多德的起源，即他由特定的父母所生，在特定的历史和文化背景下诞生，这些起源性的因素构成了亚里士多德本质的重要方面。在任何可能世界中，只要我们谈论的是亚里士多德这个个体，他的起源都必须保持不变。如果在某个可能世界中，一个人虽然拥有与亚里士多德相似的思想和成就，但他的起源与现实中的亚里士多德不同，那么这个人就不能被认为是亚里士多德。这表明个体的起源在确定个体身份和本质方面具有关键作用。在自然种类本质方面，克里普克主张内在结构说。他认为自然种类的本质是由其内在结构决定的，这种内在结构在所有可能世界中都保持不变。水的本质是H₂O，这是由水的内在化学结构所决定的。无论在现实世界还是其他任何可能世界中，只要是水这种物质，其化学结构必然是H₂O。如果在某个可能世界中，有一种物质虽然外观和水相似，也具有水的一些常见性质，但它的化学结构不是H₂O，那么这种物质就不能被称为水。这体现了自然种类本质的内在结构在确定自然种类身份和本质方面的决定性作用。4.3.2本质主义在可能世界中的体现与作用在可能世界中，本质主义具有重要的体现和作用，它帮助我们确定个体和自然种类的同一性，限制了可能世界的可能性。本质主义为确定个体和自然种类的同一性提供了依据。在不同的可能世界中，我们通过个体的本质属性和自然种类的本质特征来识别和确定它们的身份。在一个可能世界中，有一个人具有与现实世界中爱因斯坦相似的外貌、行为和成就，但如果他的起源与爱因斯坦不同，比如他不是由现实中爱因斯坦的父母所生，那么我们就不能确定他就是爱因斯坦。同样，对于自然种类，在一个可能世界中，如果一种液体具有水的外观和一些常见性质，但它的化学结构不是H₂O，我们就不能将其认定为水。本质主义使得我们在跨越不同可能世界时，能够准确地识别和确定个体和自然种类的同一性，避免了因可能世界的多样性而导致的身份混淆。本质主义还限制了可能世界的可能性。由于个体和自然种类的本质在所有可能世界中都保持不变，这就对可能世界的构建和想象施加了一定的限制。我们不能设想一个可能世界，在其中亚里士多德不是由他的亲生父母所生，或者水的化学结构不是H₂O。这种限制并不是对我们思维的束缚，而是为了确保我们对可能世界的思考和讨论具有逻辑一致性和合理性。它使得我们在探索可能世界的过程中，能够基于事物的本质属性进行有意义的思考，避免陷入无意义的幻想和逻辑混乱。五、克里普克可能世界理论的争议与反思5.1理论面临的主要争议问题5.1.1跨界同一性问题在克里普克的可能世界理论中，跨界同一性问题是一个备受关注的核心争议点。当我们考虑不同可能世界中的个体时，如何确定它们是否为同一个体，成为了一个棘手的难题。在现实世界中，我们可以通过个体所具有的一系列属性来识别和确定它，如外貌、性格、经历等。然而，当我们将视角扩展到可能世界时，情况变得复杂起来。因为在不同的可能世界中，个体的属性可能会发生显著的变化。以亚里士多德为例，在现实世界中，他是古希腊著名的哲学家，是柏拉图的学生，亚历山大的老师，著有众多哲学著作。但在某个可能世界中，由于历史的偶然因素，他可能从未涉足哲学领域，而是成为了一名商人；在另一个可能世界中，他可能在幼年时就遭遇意外，未能长大成人，也就无法取得我们所熟知的那些哲学成就。在这些不同的可能世界中，亚里士多德的属性差异巨大，那么我们如何判断这些不同属性的个体是否还是同一个亚里士多德呢？如果我们单纯依据属性来判断跨界同一性，那么由于不同可能世界中个体属性的多样性，很难找到一个固定的属性集合来确定个体的同一性。这就导致了在确定跨界个体的同一性时，会面临诸多不确定性和模糊性。因为一个个体的属性可能会随着可能世界的变化而变化，而且不同的属性在不同的可能世界中对于个体的重要性也难以确定。此外，属性本身的界定也存在问题。有些属性可能是本质属性，对于个体的同一性具有决定性作用；而有些属性则可能是偶然属性，不影响个体的本质。但如何准确地区分本质属性和偶然属性，在哲学界一直存在争议。克里普克提出的个体起源作为本质属性的观点，虽然为解决跨界同一性问题提供了一种思路，但也并非毫无争议。对于一些复杂的个体或事物，仅仅依据起源来确定同一性是否足够，仍然值得探讨。比如对于一些具有复杂社会文化属性的个体，其起源可能只是一个基础因素，而在其成长和发展过程中所形成的社会关系、文化背景等属性，也可能对其同一性产生重要影响。5.1.2本质主义的困境本质主义是克里普克可能世界理论的重要组成部分，然而，这一理论也面临着诸多质疑和困境。其中，本质的确定标准是一个关键问题。克里普克主张个体的本质在于其起源，自然种类的本质在于其内在结构。对于个体的起源，虽然在某些情况下能够为确定个体的同一性提供一定的依据，但也存在一些难以解释的情况。对于一些通过人工制造或合成的物体，其起源的界定可能并不清晰。一个由多种零部件组装而成的机器，每个零部件都有其各自的来源，那么该机器的本质起源应该如何确定呢？是所有零部件的集合，还是某个关键零部件的起源？这使得在实际应用中，依据起源来确定个体本质的标准变得模糊不清。在自然种类的本质确定方面，内在结构说也面临挑战。随着科学技术的不断发展，我们对事物内在结构的认识也在不断深化。以水为例，传统上认为水的本质是H₂O，这是基于其化学分子结构。然而，现代科学研究发现，水在不同的物理条件下，其分子结构可能会发生一些微妙的变化，而且水中还可能存在一些杂质或其他微观结构，这些因素是否会影响水的本质界定呢？如果仅仅依据H₂O这一分子结构来确定水的本质，那么对于一些特殊状态下的水或含有杂质的水，我们是否还能将其视为本质上的水呢？本质属性与非本质属性的区分同样存在困难。在克里普克的理论中，本质属性被认为是在所有可能世界中都保持不变的属性，而非本质属性则是可能会发生变化的属性。然而，在实际判断中，很难明确地划分哪些属性是本质属性，哪些是非本质属性。对于一个人来说，其外貌、身高、体重等属性显然是可以变化的，属于非本质属性。但像性格、价值观等相对稳定的属性，是否就一定是本质属性呢？在不同的可能世界中，一个人的性格和价值观也可能会因为经历的不同而发生改变，那么这些属性又该如何归类呢？而且，对于不同的个体或事物，本质属性和非本质属性的划分可能也会有所不同，缺乏一个统一的、普遍适用的划分标准。本质主义还面临着与科学发展的协调性问题。科学知识是不断发展和更新的，我们对事物本质的认识也会随着科学的进步而发生变化。克里普克的本质主义理论似乎过于强调本质的固定性和确定性，与科学知识的动态发展存在一定的矛盾。在科学研究中，我们常常会发现新的现象和规律，这些发现可能会挑战我们对某些事物本质的传统认识。如果坚持本质主义的固定本质观念，可能会阻碍我们对新知识的接受和理解，限制科学的发展。5.1.3可能世界的本体论难题可能世界的本体论问题一直是哲学界争论不休的焦点，克里普克的可能世界理论也无法回避这一难题。首先，可能世界是否真实存在，这是一个根本性的问题。虽然克里普克提出可能世界是现实世界的反事实情形，是我们对现实世界进行想象和假设的结果，但这并没有完全解决可能世界的本体论地位问题。一些哲学家认为，可能世界仅仅是一种理论工具，是为了方便我们理解模态概念和进行逻辑分析而引入的，它们并不具有真实的存在性。从这个角度来看，可能世界类似于数学中的抽象概念，如集合、函数等，它们在理论研究中具有重要的作用，但并不对应于现实世界中的实际存在物。我们在讨论“可能明天会下雨”时，通过设想不同的可能世界来分析这个命题的真假，但这些可能世界只是我们思维中的一种构造，并不真实存在于某个地方。另一些哲学家则主张可能世界具有某种程度的实在性。大卫・刘易斯的模态实在论认为，可能世界与现实世界一样，都是真实存在的实体，它们之间的区别仅仅在于我们所处的位置不同。在刘易斯看来，存在着无数个相互独立的可能世界，每个可能世界都包含着各种具体的事物和事件，这些可能世界之间不存在时空上的联系，但它们都是客观存在的。然而，这种观点面临着诸多质疑，其中最主要的问题是它与我们的日常直觉和常识相悖。我们很难想象存在着无数个与现实世界同样真实的可能世界，而且这些世界之间的关系也难以理解和解释。即使我们承认可能世界具有一定的实在性，那么它们的存在方式也是一个难以解答的问题。可能世界是一种抽象的存在，还是一种具体的实体存在？如果是抽象的存在，那么它们以何种方式存在于我们的思维之外？如果是具体的实体存在，那么它们与现实世界之间的物理关系是怎样的？这些问题都没有一个明确的答案，使得可能世界的本体论问题变得更加复杂和神秘。可能世界的本体论问题还与其他哲学问题密切相关，如因果关系、自由意志等。如果可能世界是真实存在的，那么它们之间的因果关系如何确定？我们在现实世界中的行为和决策是否会对其他可能世界产生影响？这些问题进一步加剧了可能世界本体论难题的复杂性，使得哲学家们在这个问题上难以达成共识。5.2对争议问题的分析与回应5.2.1针对跨界同一性问题的解决思路为了解决跨界同一性问题，哲学家们提出了多种思路，其中对应体理论是一种具有代表性的解决方案。对应体理论由大卫・刘易斯提出，他认为在不同的可能世界中，不存在严格意义上的同一对象，而是存在着相互对应的个体，这些对应个体之间具有相似的属性和特征。在一个可能世界中，亚里士多德可能是一位哲学家；在另一个可能世界中，他的对应体可能是一位政治家。虽然这两个个体不是严格同一的，但它们之间存在着某种相似性和对应关系，这种对应关系是基于它们在各自可能世界中的属性和角色。对应体理论的合理性在于，它避免了直接面对跨界同一性的难题，通过引入对应关系，为我们理解不同可能世界中个体的关系提供了一种新的视角。它承认不同可能世界中个体属性的多样性，不再试图寻找一个固定的、跨越所有可能世界的同一性标准，而是强调个体在不同世界中的相似性和关联性。这种理论在一定程度上符合我们对可能世界的直观理解，因为我们在想象不同的可能世界时，往往会关注个体在不同情境下的相似行为和特征。然而，对应体理论也存在一些局限性。首先，对应关系的确定缺乏明确的标准。如何判断两个个体是否为对应体，往往依赖于主观的判断和直觉。对于亚里士多德在不同可能世界中的对应体，我们很难给出一个客观的标准来确定哪些个体与他具有对应关系，这使得对应体理论在实际应用中存在一定的模糊性。其次，对应体理论可能会导致一些与直觉相悖的结论。在某些情况下，对应体之间的差异可能非常大，以至于我们很难将它们视为同一对象的对应体。如果在一个可能世界中，亚里士多德的对应体是一只动物，虽然它们之间可能存在某些微弱的对应关系，但这种对应关系与我们对亚里士多德的传统认知相差甚远，难以被人们接受。除了对应体理论，还有一些其他的解决思路。一些哲学家主张通过本质属性来确定跨界同一性，认为只要个体在不同可能世界中保持其本质属性不变，就可以认定它们是同一个体。然而，正如前面所提到的，本质属性的确定本身就是一个难题，这使得这种解决思路也面临着诸多挑战。还有一些哲学家尝试从语言分析的角度来解决跨界同一性问题，认为跨界同一性问题是由于语言表达的模糊性和不确定性导致的，通过对语言的精确分析和界定，可以解决这一问题。但这种方法也存在一定的局限性，因为语言本身的复杂性和多样性使得对其进行精确分析并非易事，而且语言分析往往难以完全涵盖现实世界中的所有情况。5.2.2对本质主义困境的反思与辩护针对本质主义所面临的困境，我们需要从多个角度进行反思与辩护。从克里普克理论本身出发，我们可以对本质的确定标准进行进一步的细化和完善。对于个体起源作为本质属性的观点，虽然存在一些难以解释的情况，但我们可以通过引入更多的限定条件来增强其解释力。对于那些通过人工制造或合成的物体，我们可以将其制造过程、设计目的等因素纳入到本质起源的考量范围。对于一台机器，其本质起源不仅包括零部件的来源，还包括其设计和制造的初衷，以及在制造过程中所遵循的技术规范和标准。这样可以更全面地确定其本质起源，从而为确定其在不同可能世界中的同一性提供更有力的依据。从其他哲学观点出发，我们也可以为本质主义提供辩护。一些哲学家认为，本质属性和非本质属性的区分并非绝对的，而是相对的，这取决于我们的认知目的和语境。在某些认知目的下，一个属性可能被视为本质属性；而在另一些认知目的下，它可能被视为非本质属性。对于一个科学家来说，水的化学分子结构H₂O可能是其本质属性，因为这对于研究水的化学性质和反应至关重要；而对于一个普通人来说，水的无色无味、可饮用等属性可能更为重要，在日常生活的语境中，这些属性可能被视为水的本质属性。这种相对性的观点可以在一定程度上缓解本质主义中关于本质属性和非本质属性区分的困境，使得我们能够更加灵活地理解和应用本质主义理论。我们还可以从科学发展的角度来反思本质主义。虽然科学知识的发展会不断挑战我们对事物本质的传统认识，但这并不意味着本质主义本身是错误的。相反，它提醒我们要以开放的态度看待本质，不断更新和完善我们对事物本质的认识。随着科学的进步，我们对事物内在结构和本质属性的认识会越来越深入，这为本质主义的发展提供了新的机遇和动力。我们可以结合最新的科学研究成果，对本质主义理论进行修正和扩展，使其更好地适应科学发展的需求。在量子力学中，微观粒子的性质和行为与我们传统的认知有很大不同，这就促使我们重新思考微观粒子的本质属性和同一性问题，从而推动本质主义在微观领域的发展。5.2.3关于可能世界本体论难题的思考可能世界本体论难题的根源在于我们对存在概念的理解和对世界本质的探索。不同的哲学观点在这个问题上的分歧主要源于对存在的定义和对可能世界与现实世界关系的不同看法。一些哲学家认为存在就是指在现实世界中的实际存在，从这个角度出发，可能世界由于不具备现实世界中的实体存在性，因此被认为是不存在的。而另一些哲学家则拓宽了存在的概念，认为存在不仅仅局限于现实世界中的实体，还包括各种抽象的、潜在的存在形式，可能世界就属于这种广义的存在范畴。不同观点之间的分歧主要体现在对可能世界的实在性程度和存在方式的理解上。模态实在论者如大卫・刘易斯认为可能世界与现实世界具有相同的实在性，都是具体的实体存在；而温和实在论者如克里普克则认为可能世界是现实世界的反事实情形，是一种非真实的存在，不具有独立的物理实体地位。这种分歧的背后，反映了不同哲学家对世界本质和人类认知能力的不同假设。模态实在论者倾向于认为世界是多元的，人类的认知能力可以触及到不同的可能世界；而温和实在论者则更强调现实世界的基础性和优先性，认为可能世界是我们基于现实世界进行思维构建的产物。为了更好地理解可能世界本体论难题，我们可以尝试提出新的思考角度。从认知建构的角度来看，可能世界是人类认知的一种工具，它是我们在思维中对现实世界进行拓展和想象的结果。我们通过构建可能世界来探索各种可能性，理解事物的本质和规律。虽然可能世界本身不具有独立的物理存在性，但它在人类的认知过程中具有重要的意义。我们可以想象一个没有战争和疾病的可能世界，通过对这个世界的思考，我们可以反思现实世界中的问题，探索解决问题的方法。从这个角度来看，可能世界的存在方式是一种认知存在，它存在于人类的思维和认知活动中。我们还可以从语义学的角度来思考可能世界的本体论地位。可能世界在语义学中扮演着重要的角色，它为我们理解语言中的模态概念提供了语义基础。通过可能世界语义学，我们可以对“必然”“可能”等模态词进行精确的语义解释。从这个角度来看，可能世界的存在是为了满足语言表达和语义分析的需要，它的本体论地位与语言的结构和功能密切相关。我们可以将可能世界视为一种语义构造，它的存在是为了使我们的语言能够更准确地表达和理解各种可能性和必然性。5.3理论的局限性与启示5.3.1克里普克可能世界理论的局限性分析尽管克里普克的可能世界理论在逻辑和哲学领域产生了深远的影响，但不可否认，该理论在解决某些哲学和逻辑问题时存在一定的局限性。在对一些复杂的哲学概念解释方面，克里普克的理论显得不够完善。对于意识、价值等抽象且复杂的哲学概念，可能世界理论的解释力