This is an interpretation of some important theories of truth from Descartes to Leibniz. The main focus is on three related features of these theories. The first is that true propositions are analyzed in terms of ideas or concepts. The second is that concept containment is the primary account of truth. And the third is that ideas or concepts are understood compositionally; they are aggregates of ideas that bottom out in simple ideas. In the case of Spinoza, the traditional equation of truth with existence or being can also be found. Finally, in Hobbes and Leibniz we find the framework for formal theories of truth and inference.
