On Leibniz’s Truth
Let a statement be any sentence of form
\[ \mathcal S + \phi \]
Where \(\mathcal S\) is a subject and \(\phi\) is a predicate. The sentences “Spinoza died in the Hague”, and “Grey is grey”, for example, qualify as statements. In the first, we have “Spinoza” as the subject, and “died in the Hague” as the predicate. Note that, for a sentence to qualify as a statement, its predicate does not need to contain an object (consider the sentence \(X\text{ is.