体裁说明：本文是基于各方公开著作、论文与论述立场编写的虚构对话，用于集中呈现真实存在的思想分歧。文中台词均非真实引语，不得作为引用来源；对话也不代表相关人物（包括在世者）对任何具体措辞的认可。各方的实际主张请查阅其原始文献。
引言
存在与本质的关系问题是形而上学的核心议题之一。亚里士多德（Aristotle, 前384—前322）在雅典创立了实体理论，认为个别事物是第一实体，形式与质料的结合构成了现实存在。约一千三百年后，伊本·西那（Avicenna, 980—1037）在中亚波斯文化圈继承并发展了亚里士多德的哲学，提出了存在与本质的著名区分，深刻影响了中世纪伊斯兰哲学和基督教经院哲学。
这场对话探讨一个根本问题：当我们说某物"存在"时，"存在"本身是什么？它是事物的本质属性，还是附加在本质之上的东西？这个问题的答案决定了我们如何理解现实的结构。
第一幕：实体与个别
亚里士多德：伊本·西那，让我从最基本的概念开始。现实世界由个别事物组成——这匹马、这个人、这棵树。这些个别事物是第一实体，它们独立存在，不依赖于其他事物。
阿维森纳：老师，我继承了您的实体理论，但我需要做一个重要的区分。每个事物都有两个方面：它的本质（mahiyya）和它的存在（wujud）。马的本质是"马之为马"，但马的存在是另一回事——这匹具体的马存在，而独角兽也有本质却没有存在。
亚里士多德：我理解你的区分，但我不确定它是否必要。对我来说，个别事物的实体就是它的形式与质料的结合。这匹马之所以是这匹马，是因为马的形式与这团质料结合了。存在就是这种结合本身，不是附加在本质之上的东西。
阿维森纳：但老师，请考虑这个问题：我们可以理解马的本质而不知道马是否存在。这说明本质和存在是可以分离的。如果它们不可分离，我们就不可能在不知道存在的情况下理解本质。
第二幕：可能存在与必然存在
阿维森纳：让我进一步阐述。我把存在分为三种：必然存在（wajib al-wujud）、可能存在（mumkin al-wujud）和不可能存在（mumtani' al-wujud）。必然存在是自身即必然的，不可能不存在；可能存在是自身既可能存在也可能不存在的；不可能存在是自身即不可能的。
亚里士多德：你把存在分成了等级。在我的体系中，也有类似的想法——不动的推动者是纯粹的现实性（energeia），它是一切运动的最终原因。但我不确定是否需要"必然存在"这个概念。
阿维森纳：必然存在是必要的，因为它解释了为什么可能存在者存在。可能存在者自身不包含存在的理由——它的本质不蕴含存在。因此，必须有一个必然存在者，它的本质就是存在本身，它使一切可能存在者得以存在。
亚里士多德：你在描述神。我的不动的推动者也是最高存在，但它不是创造者——它只是吸引万物趋向它，是一切运动的目的因。你的必然存在者似乎更具主动性。
阿维森纳：是的，我的必然存在者既是目的因也是动力因。它不仅吸引万物，还赋予万物存在。可能存在者的存在来自于必然存在者——这不是时间上的因果，而是存在论上的依赖。
第三幕：本质先于存在
阿维森纳：老师，让我明确我的立场：本质先于存在。当我们理解一个事物时，我们首先理解它的本质——它是什么，然后才知道它是否存在。存在是附加在本质之上的属性，不是本质的组成部分。
亚里士多德：我不同意。对我来说，本质和存在是不可分离的。一个没有存在的本质只是思想中的概念，不是现实中的事物。现实中的马就是形式与质料的结合——它的本质就是它的存在方式。
阿维森纳：但老师，我们可以思考独角兽的本质——有角的马——而独角兽并不存在。这证明本质可以独立于存在而被理解。存在不是本质的一部分，而是本质的偶性。
亚里士多德：独角兽的例子恰恰证明了我的观点。独角兽的本质不是真正的本质——它只是我们想象的组合。真正的本质必须在现实中实例化。没有现实存在的"本质"只是概念，不是本质。
第四幕：形式与本质
亚里士多德：让我用我的形式因来解释。每个事物的形式就是它的本质。马的形式决定了马是什么——它的结构、功能、目的。形式不是抽象的概念，而是现实事物的内在结构。
阿维森纳：我同意形式是本质的一部分，但形式本身不蕴含存在。马的形式告诉我们马是什么，但不告诉我们马是否存在。存在需要一个外在的原因——必然存在者。
亚里士多德：你引入了一个不必要的层次。对我来说，事物的存在就是它的形式与质料的结合。我不需要一个外在的原因来解释存在——存在是事物自身的现实性。
阿维森纳：但老师，这导致一个困难：如果事物的存在是自身即有的，那么事物就是必然存在的。但我们知道事物是可变化的、可消亡的——它们的存在不是必然的。因此，它们的存在必须来自于外在的原因。
第五幕：神与创造
亚里士多德：伊本·西那，你把我的不动的推动者变成了创造者。在我的体系中，神不是创造者——世界是永恒的，神只是世界的最终目的因。你为什么需要创造的概念？
阿维森纳：因为可能存在者需要一个存在的原因。如果世界是永恒的，它仍然是可能存在者——它的本质不蕴含存在。因此，必然存在者必须持续地赋予世界存在。这就是创造——不是时间上的开始，而是存在论上的依赖。
亚里士多德：你的创造概念引入了意志。必然存在者"选择"赋予可能存在者存在。但在我的体系中，神没有意志——神是纯粹的思想，思想自身。神不选择创造，世界自然地趋向神。
阿维森纳：意志是一个困难的问题。我承认必然存在者的意志不同于人的意志。但某种意义上，可能存在者的存在确实依赖于必然存在者——这种依赖关系就是我所说的创造。
第六幕：对后世的影响
亚里士多德：伊本·西那，你的区分——本质与存在的区分——在后世产生了什么影响？
阿维森纳：这个区分深刻影响了中世纪哲学。托马斯·阿奎那（Thomas Aquinas）接受了本质与存在的区分，用它来论证上帝的存在——上帝是唯一本质即存在者。邓斯·司各脱（Duns Scotus）进一步发展了这个思想。甚至现代存在主义者——萨特说"存在先于本质"——也是在回应这个古老的问题。
亚里士多德：有趣。萨特颠倒了你的命题——他说人首先存在，然后通过选择定义自己的本质。这与你的立场正好相反。
阿维森纳：萨特讨论的是人，我讨论的是一切存在者。对于物来说，本质先于存在；对于人来说，也许存在先于本质——因为人有自由意志，可以通过选择塑造自己。
第七幕：当代回响
亚里士多德：伊本·西那，我们争论了存在与本质的关系，但这个问题在当代还有意义吗？
阿维森纳：当然。存在与本质的问题涉及最根本的形而上学问题：现实的结构是什么？事物为什么存在？这些问题在当代分析形而上学中仍然是活跃的议题。
亚里士多德：也许我们的分歧不在于对错，而在于角度。我从个别事物出发，关注现实的结构；你从存在本身出发，关注存在的来源。两种角度都是必要的。
阿维森纳：我同意。存在与本质的区分不是一个可以解决的问题，而是一个需要不断思考的问题。每个时代都会重新发现它的意义。
分析
亚里士多德与阿维森纳的根本分歧在于：存在是否可以与本质分离。亚里士多德认为本质与存在在现实中不可分离——个别事物的形式与质料的结合就是它的存在方式。阿维森纳则认为本质与存在在概念上可以分离——我们可以理解本质而不知道存在，因此存在是附加在本质之上的属性。
这个分歧的深层意义在于对神的理解。亚里士多德的神是纯粹的思想，不是创造者；阿维森纳的必然存在者是创造者，赋予一切可能存在者以存在。阿维森纳的方案更接近一神论的宗教传统，但也面临一个问题：必然存在者的意志如何与必然性协调？
当代启示
存在与本质的问题在当代依然具有现实意义。在人工智能时代，我们面临一个类似的问题：机器的本质（算法、数据结构）是否蕴含意识的存在？如果本质先于存在，那么足够复杂的算法可能自然产生意识；如果存在需要外在的原因，那么意识可能永远不会从纯粹的计算中产生。
这个古老的问题提醒我们：对现实的理解不仅是科学的任务，也是哲学的任务。科学告诉我们事物如何运作，哲学告诉我们事物为什么存在。
延伸阅读：亚里士多德《形而上学》；阿维森纳《治疗论》（Kitab al-Shifa'）；托马斯·阿奎那《论存在与本质》