使真者理论与关于基本存在的形而上学

使真者理论(truthmaker theory)分为两种类型,一类归于语义学,可称为“语义学的使真者理论”,一类归于形而上学,可称为“形而上学的使真者理论”。前者想用一种更细致的语义刻画来解决语言哲学问题,或解决由哲学困惑所激发的语义学问题,后者想说明一个真值承担者为真的形而上学基础。