Through an analysis of the technical and philosophical challenges in the development of modal logic, the author points out that these challenges have their roots in the philosophical commitment to essentialism of modal logic, 通过分析模态逻辑发展过程中所遭受到的来自技术及哲学方面的挑战,指出这一系列问题的产生归根结底在于:模态逻辑,特别是量化模态逻辑,在哲学上承诺了本质主义,本质主义是模态逻辑的最终哲学归宿。