论文部分内容阅读
本文是关于虚构对象的形而上学研究。关于虚构对象的形而上学研究主要牵涉两个问题：我们的本体论是否应该包含虚构对象?假如我们的本体论包含虚构对象，虚构对象属于什么范畴、具有哪些特征?针对第一个问题，不同的回答导致关于虚构对象的实在论和反实在论争论。针对第二个问题，不同的回答导致不同的虚构对象理论。
首先，本文为关于虚构对象的实在论进行辩护。针对包含虚构名字的单称陈述和对虚构对象进行存在量化的真陈述，实在论者拥有系统、简单、直接的语义学，到目前为止，尚未出现一个令人满意的反实在论语义学。因此，有理由坚持实在论语义学，进而坚持实在论。
其次，分析讨论已有虚构对象理论：可能主义、经验主义和柏拉图主义。三种理论都面临各自的困境。比如，可能主义者面临同一化困境；经验主义者不能解释虚构对象是如何被创造的；有的柏拉图主义者诉诸未经合理解释的形而上学范畴，有的柏拉图主义者依赖未经合理解释的形而上学概念。然而，柏拉图主义能更合理地解释虚构对象的相关特征，柏拉图主义是更有前途的一种理论。
最后，提出一个新的虚构对象理论，即二阶模态公理化虚构对象理论SMLM。SMLM的核心概念是虚构性质。我们将说明，虚构性质拥有合适的引入动机，具有合理的同一化标准，具有透明的区分标准，是合理的形而上学概念。我们还将论证，和其它理论相比，SMLM拥有更好的解释力，而且自身的合理性能够得到合理辩护。基于这些，SMLM是更合理的虚构对象理论。