模态逻辑；模态逻辑哲学中图分类号：B81 文献标志码：A 从直观上看，模态逻辑①(modal logic)是研究“可能”(possibility)、“必然”(necessity)等模态算子(modal operator)的逻辑。随着国内学界对模态逻辑研究热度的持续升温，以模态逻辑中的哲学问题为研究对象的模态逻辑哲学(philosophy of modal logic)也方兴未艾一近十几年来国内学界出版和发表了大量的模态逻辑哲学专著和论文。本文的目的是综述和评价这一领域的国内研究状况，以期在模态逻辑新技术不断出现的情况下，引发学界对这些模态逻辑哲学问题的新讨论。迄今为止，逻辑哲学还是一个不确定的领域，国内外学界对于逻辑哲学(philosophy of logic)和哲学逻辑(philosophical logic)应该研究什么依然没有形成一致的看法“，因此相应地，模态逻辑哲学究竟包括哪些内容尚无定论。但是从国内外的文献来看，有一些问题被公认为是模态逻......