为真者理论不仅是当前形而上学领域一个重要分支，同时也是分析哲学中的一个核心议题，该理论建立在“真基于实在”的直觉之上，认为一个命题之所以为真是因为某物存在，而不是相反，每一个命题都至少有一个“为真者”使其为真，二者之间具有成真关系。　　本文第一部分首先对为真者概念的形而上学历史进行考察，展示出这一概念所具有的思想源头与形成的理论背景。其次对命题与为真者之间所具有的成真关系进行描述与界定，说明这一关系所具有的几种性质，其中阿姆斯特朗所提出的“跨范畴关系”被认为是成真关系的本质，即命题作为真之载体，为真者作为成真原因，前者代表语言，后者代表世界，分属不同范畴。最后从认识论的层面对为真者概念进行阐释，并介绍为真者理论的基本内容，在为真者丰盛论中，借助罗素有关普遍事实的观点对普遍性真命题的为真者进行论证，从而支撑为真者丰盛论。在为真者原则与衍推原则中，为真者概念被给予公理化的规定，并认为在逻辑上具有衍推关系，但是这种衍推原则需要某种限定。　　本文第二部分引入为真者理论所面对的一个争议话题:否定性真命题。对于肯定性真命题来说，在实在中找到某一使其为真的实体或事实是容易的，但对否定性真命题来说，这却是困难的，因为否定性真命题所描述的正是实在中不存在的事物，很显然，如果否定性真命题没有一个为真者，那么对为真者理论将形成一个巨大挑战。否定命题与肯定命题有着不同的性质及成真关系，意味着需要对二者进行对比分析，并提出否定性真命题的为真者原则。另外，借助维特根斯坦有关否定命题的观点，可以发现命题有着独立于实在的意义，否定命题来自对被否定命题的一种否定描述，否定命题与肯定命题对应着同一个实在，这种类似一元论的观点成为解决该问题的路径之一。莫尔纳利用四个约束命题来论证否定性真命题的为真者一定是肯定性的存在，有关这四个约束命题的讨论涵盖着争论的焦点，因此对于莫尔纳难题的解决可以被认为是对否定性真命题的为真者问题的解决。针对莫尔纳难题，韦希特提出一种“简单”方案，一个否定性真命题所包含的原子命题的假值是该命题的为真者，该方案被认为符合莫尔纳的四个约束命题，并且与阿姆斯特朗所提出的“为假者”概念相关，本文将为真者、为假者、肯定命题、否定命题四者进行对比与分析，并对简单方案给出评论，说明其优缺点及思想内涵。　　本文第三部分首先阐述了成真关系下的解释功能，一方面，在命题与实在之间具有一种解释关系。另一方面，对成真关系的不同刻画，使得对命题或语句为真的原因有着不同的解释。其次讨论了为真者理论的形而上学前提，并介绍了一种对该前提论证理由的反驳意见，借助真之实在论同样可以解释为真者理论的形而上学前提，这使得为真者理论得到削弱。最后说明了为真者理论发展的必要性与可能性，并提出两种可能的发展路径。