Leibniz’s argument for God’s existence from the existence of the necessary truths crucially involves the premises that all truths are true in virtue of something distinct from them (they need what contemporary metaphysicans sometimes call a “truth-maker”). Since necessary truths would be true even if there were no finite minds to think them, such truths cannot be true in virtue of facts about human psychology. Against the Platonic suggestion that they are true in virtue of Forms existing outside